idris-0.9.19: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

IRTS.Lang

Documentation

data Endianness Source

Constructors

Native 
BE 
LE 

data LVar Source

Constructors

Loc Int 
Glob Name 

Instances

data FDesc Source

Instances

data LAlt' e Source

Instances

Functor LAlt' 
Eq e => Eq (LAlt' e) 
Show e => Show (LAlt' e) 

data LDecl Source

Instances

data LOpt Source

Constructors

Inline 
NoInline 

Instances

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 t => [t] -> t -> [t] Source

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