idris-0.9.20: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

IRTS.Lang

Documentation

data LVar Source

Constructors

Loc Int 
Glob Name 

data LAlt' e Source

Instances

data LOpt Source

Constructors

Inline 
NoInline 

addTags :: Int -> [(Name, LDecl)] -> (Int, [(Name, LDecl)]) Source

data LiftState Source

Constructors

LS Name Int [(Name, LDecl)] 

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

usedArg :: (Eq t1, Foldable t) => t t1 -> t1 -> [t1] Source

usedIn :: [Name] -> LExp -> [Name] Source