idris-0.9.16: Functional Programming Language with Dependent Types

Safe Haskell	None
Language	Haskell98

Idris.DSL

Documentation

debindApp :: SyntaxInfo -> PTerm -> PTerm Source

desugar :: SyntaxInfo -> IState -> PTerm -> PTerm Source

expandDo :: DSL -> PTerm -> PTerm Source

var :: DSL -> Name -> PTerm -> Int -> PTerm Source

unIdiom :: PTerm -> PTerm -> FC -> PTerm -> PTerm Source

debind :: PTerm -> PTerm -> PTerm Source