Idris.Doc.Display

Definitions

displayType : Ref Ctxt Defs => Ref Syn SyntaxInfo => Bool -> Defs -> (Name, (Int, GlobalDef)) -> Core (Doc IdrisSyntax)

Visibility: export

displayTerm : Ref Ctxt Defs => Ref Syn SyntaxInfo => Defs -> ClosedTerm -> Core (Doc IdrisSyntax)

Visibility: export

displayClause : Ref Ctxt Defs => Ref Syn SyntaxInfo => Defs -> (vs : List Name ** (Env Term vs, (Term vs, Term vs))) -> Core (Doc IdrisSyntax)

Visibility: export

displayPats : Ref Ctxt Defs => Ref Syn SyntaxInfo => Bool -> Defs -> (Name, (Int, GlobalDef)) -> Core (Doc IdrisSyntax)

Visibility: export

displayImpl : Ref Ctxt Defs => Ref Syn SyntaxInfo => Defs -> (Name, (Int, GlobalDef)) -> Core (Doc IdrisSyntax)

Visibility: export