Idris2Doc : Compiler.Inline

Compiler.Inline

(source)
Definitions
fixArityExp : Ref Ctxt Defs => CExp vars -> Core (CExp vars)
  Visibility: export
inlineDef : Ref Ctxt Defs => Name -> Core ()
  Visibility: export
fixArityDef : Ref Ctxt Defs => Name -> Core ()
  Visibility: export
mergeLamDef : Ref Ctxt Defs => Name -> Core ()
  Visibility: export
addArityHash : Ref Ctxt Defs => Name -> Core ()
  Visibility: export
compileAndInlineAll : Ref Ctxt Defs => Core ()
  Visibility: export