Idris2Doc : Idris.IDEMode.Pretty

Idris.IDEMode.Pretty

(source)
Definitions
syntaxToProperties : IdrisSyntax -> Maybe Properties
  Visibility: export
annToProperties : IdrisAnn -> Maybe Properties
  Visibility: export
docToProperties : IdrisDocAnn -> Maybe Properties
  Visibility: export