idris-1.0: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell98

IRTS.LangOpts

Description

 

Synopsis

Documentation

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

nextN :: State Int Name Source #

doInline :: LDefs -> LDecl -> LDecl Source #

Inline inside a declaration.

Variables are still Name at this stage. Need to preserve uniqueness of variable names in the resulting definition, so invent a new name for every variable we encounter