package bwd

You can search for identifiers within the package.

in-package search v0.2.0

bwd
- Bwd
  - Bwd
    
    Notation
  - BwdLabels
    
    Notation
  - BwdNotation

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.