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