idris-0.9.19: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

IRTS.LangOpts

Documentation

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

nextN :: State Int Name Source

doInline :: LDefs -> LDecl -> LDecl Source