package bwd

  1. Overview
  2. Docs
package bwd
Legend:
Library
Module
Module type
Parameter
Class
Class type

An alias of Bwd.Notation for infix notation.

include module type of Bwd.Notation

Notation inspired by Conor McBride.

Notation inspired by Conor McBride.

val (#<) : 'a bwd -> 'a -> 'a bwd

An alias of Bwd.snoc.

val (<><) : 'a bwd -> 'a list -> 'a bwd

An alias of Bwd.append.

val (<>>) : 'a bwd -> 'a list -> 'a list

An alias of Bwd.prepend.