idris-0.9.14.3: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

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