idris-0.9.15.1: Functional Programming Language with Dependent Types
IRTS.Lang
data Endianness Source
Constructors
Instances
data LVar Source
data LExp Source
data PrimFn Source
data FCallType Source
data FLang Source
data FType Source
data LAlt' e Source
type LAlt = LAlt' LExpSource
data LDecl Source
type LDefs = Ctxt LDeclSource
data LOpt Source
addTags :: Int -> [(Name, LDecl)] -> (Int, [(Name, LDecl)])Source
data LiftState Source
lname :: Name -> Int -> NameSource
liftAll :: [(Name, LDecl)] -> [(Name, LDecl)]Source
lambdaLift :: Name -> LDecl -> [(Name, LDecl)]Source
getNextName :: State LiftState NameSource
addFn :: Name -> LDecl -> State LiftState ()Source
lift :: [Name] -> LExp -> State LiftState LExpSource
allocUnique :: LDefs -> (Name, LDecl) -> (Name, LDecl)Source
usedArg :: Eq t => [t] -> t -> [t]Source
usedIn :: [Name] -> LExp -> [Name]Source