Idris.Resugar

Definitions

addBracket : FC -> PTerm' nm -> PTerm' nm

Visibility: export

sugarName : Name -> String

Visibility: export

cleanPTerm : Ref Ctxt Defs => IPTerm -> Core IPTerm

Visibility: export

resugar : Ref Ctxt Defs => Ref Syn SyntaxInfo => Env Term vars -> Term vars -> Core IPTerm

Visibility: export

resugarNoPatvars : Ref Ctxt Defs => Ref Syn SyntaxInfo => Env Term vars -> Term vars -> Core IPTerm

Visibility: export

pterm : Ref Ctxt Defs => Ref Syn SyntaxInfo => IRawImp -> Core IPTerm

Visibility: export