Idris2Doc : Core.Context.Pretty

Core.Context.Pretty

(source)
Definitions
prettyDef : Def -> Doc IdrisDocAnn
  Visibility: export
prettyDef : Ref Ctxt Defs => Ref Syn SyntaxInfo => Def -> Core (Doc IdrisDocAnn)
  Visibility: export