idris-0.9.11.2: Functional Programming Language with Dependent Types

Safe HaskellNone

Idris.DSL

Documentation

debindApp :: SyntaxInfo -> PTerm -> PTermSource

desugar :: SyntaxInfo -> IState -> PTerm -> PTermSource

expandDo :: DSL -> PTerm -> PTermSource

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

unIdiom :: PTerm -> PTerm -> FC -> PTerm -> PTermSource

debind :: PTerm -> PTerm -> PTermSource