Idris.DSL

Documentation

debindApp :: SyntaxInfo -> PTerm -> PTerm

dslify :: SyntaxInfo -> IState -> PTerm -> PTerm

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

mkTTName :: FC -> Name -> PTerm

expandSugar :: DSL -> PTerm -> PTerm

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

Replace DSL-bound variable in a term

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

debind :: PTerm -> PTerm -> PTerm