idris-0.9.15: Functional Programming Language with Dependent Types

Safe HaskellNone

IRTS.LangOpts

Documentation

inlineAll :: [(Name, LDecl)] -> [(Name, LDecl)]Source

nextN :: State Int NameSource

doInline :: LDefs -> LDecl -> LDeclSource