Idris.Pretty.Annotations

(source)

Definitions

data IdrisSyntax : Type

Totality: total
Visibility: public export
Constructors:

Hole : IdrisSyntax
TCon : Maybe Name -> IdrisSyntax
DCon : Maybe Name -> IdrisSyntax
Fun : Name -> IdrisSyntax
Bound : IdrisSyntax
Keyword : IdrisSyntax
Pragma : IdrisSyntax

Hints:

Pretty IdrisSyntax (NamedPats todo vars)
Pretty IdrisSyntax (PatClause todo vars)
Pretty IdrisSyntax Premise
Pretty IdrisSyntax (BasicMultiBinder' KindedName)
Pretty IdrisSyntax (PBinder' KindedName)
Pretty IdrisSyntax IPTerm
Pretty IdrisSyntax Pat
Pretty IdrisSyntax PrimType
Pretty IdrisSyntax Constant

keyword : Doc IdrisSyntax -> Doc IdrisSyntax

Totality: total
Visibility: export

hole : Doc IdrisSyntax -> Doc IdrisSyntax

Totality: total
Visibility: export

let_ : Doc IdrisSyntax

Totality: total
Visibility: export

in_ : Doc IdrisSyntax

Totality: total
Visibility: export

case_ : Doc IdrisSyntax

Totality: total
Visibility: export

of_ : Doc IdrisSyntax

Totality: total
Visibility: export

lcurly : Doc IdrisSyntax

Totality: total
Visibility: export

semi : Doc IdrisSyntax

Totality: total
Visibility: export

equals : Doc IdrisSyntax

Totality: total
Visibility: export

arrow : Doc IdrisSyntax

Totality: total
Visibility: export

fatArrow : Doc IdrisSyntax

Totality: total
Visibility: export

rcurly : Doc IdrisSyntax

Totality: total
Visibility: export

do_ : Doc IdrisSyntax

Totality: total
Visibility: export

with_ : Doc IdrisSyntax

Totality: total
Visibility: export

record_ : Doc IdrisSyntax

Totality: total
Visibility: export

impossible_ : Doc IdrisSyntax

Totality: total
Visibility: export

forall_ : Doc IdrisSyntax

Totality: total
Visibility: export

auto_ : Doc IdrisSyntax

Totality: total
Visibility: export

default_ : Doc IdrisSyntax

Totality: total
Visibility: export

rewrite_ : Doc IdrisSyntax

Totality: total
Visibility: export

pragma : Doc IdrisSyntax -> Doc IdrisSyntax

Totality: total
Visibility: export

prettyRig : RigCount -> Doc IdrisSyntax

Totality: total
Visibility: export