idris-0.9.16: Functional Programming Language with Dependent Types

Safe Haskell	None
Language	Haskell98

IRTS.LangOpts

Documentation

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

nextN :: State Int Name Source

doInline :: LDefs -> LDecl -> LDecl Source