Idris2Doc : Compiler.ES.ToAst

Compiler.ES.ToAst

(source)
Functionality to convert an Idris `NamedCExp`
to a sequence of imperative statements.

Definitions

stmt : Ref ESs ESSt => (e : Effect) -> NamedCExp -> Core (Stmt (Just e))
Visibility: export