Idris2Doc : Syntax.IHateParens

Syntax.IHateParens

(source)

Reexports

importpublic Syntax.IHateParens.Function
importpublic Syntax.IHateParens.List
importpublic Syntax.IHateParens.SortedMap
importpublic Syntax.IHateParens.SortedMap.Dependent
importpublic Syntax.IHateParens.SortedSet
importpublic Syntax.IHateParens.Vect