Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package bwd
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module BwdLabels.InfixSource
Notation inspired by Conor McBride.
Notation inspired by Conor McBride.
An alias of BwdLabels.snoc.
An alias of BwdLabels.append.
An alias of BwdLabels.prepend.