Copyright	License : BSD3
Maintainer	The Idris Community.
Safe Haskell	None
Language	Haskell2010

IRTS.Lang

Description

Documentation

data Endianness Source #

Constructors

Native
BE
LE

Instances

Eq Endianness Source #
Methods (==) :: Endianness -> Endianness -> Bool # (/=) :: Endianness -> Endianness -> Bool #
Show Endianness Source #
Methods showsPrec :: Int -> Endianness -> ShowS # show :: Endianness -> String # showList :: [Endianness] -> ShowS #

data LVar Source #

Constructors

Loc Int
Glob Name

Instances

Eq LVar Source #
Methods (==) :: LVar -> LVar -> Bool # (/=) :: LVar -> LVar -> Bool #
Show LVar Source #
Methods showsPrec :: Int -> LVar -> ShowS # show :: LVar -> String # showList :: [LVar] -> ShowS #

data LExp Source #

Constructors

LV LVar
LApp Bool LExp [LExp]
LLazyApp Name [LExp]
LLazyExp LExp
LForce LExp
LLet Name LExp LExp
LLam [Name] LExp
LProj LExp Int
LCon (Maybe LVar) Int Name [LExp]
LCase CaseType LExp [LAlt]
LConst Const
LForeign FDesc FDesc [(FDesc, LExp)]
LOp PrimFn [LExp]
LNothing
LError String

Instances

Eq LExp Source #
Methods (==) :: LExp -> LExp -> Bool # (/=) :: LExp -> LExp -> Bool #
Show LExp Source #
Methods showsPrec :: Int -> LExp -> ShowS # show :: LExp -> String # showList :: [LExp] -> ShowS #

data FDesc Source #

Constructors

FCon Name
FStr String
FUnknown
FIO FDesc
FApp Name [FDesc]

Instances

Eq FDesc Source #
Methods (==) :: FDesc -> FDesc -> Bool # (/=) :: FDesc -> FDesc -> Bool #
Show FDesc Source #
Methods showsPrec :: Int -> FDesc -> ShowS # show :: FDesc -> String # showList :: [FDesc] -> ShowS #

data Export Source #

Constructors

ExportData FDesc
ExportFun Name FDesc FDesc [FDesc]

Instances

Eq Export Source #
Methods (==) :: Export -> Export -> Bool # (/=) :: Export -> Export -> Bool #
Show Export Source #
Methods showsPrec :: Int -> Export -> ShowS # show :: Export -> String # showList :: [Export] -> ShowS #

data ExportIFace Source #

Constructors

Export Name String [Export]

Instances

Eq ExportIFace Source #
Methods (==) :: ExportIFace -> ExportIFace -> Bool # (/=) :: ExportIFace -> ExportIFace -> Bool #
Show ExportIFace Source #
Methods showsPrec :: Int -> ExportIFace -> ShowS # show :: ExportIFace -> String # showList :: [ExportIFace] -> ShowS #

data PrimFn Source #

Instances

Eq PrimFn Source #
Methods (==) :: PrimFn -> PrimFn -> Bool # (/=) :: PrimFn -> PrimFn -> Bool #
Show PrimFn Source #
Methods showsPrec :: Int -> PrimFn -> ShowS # show :: PrimFn -> String # showList :: [PrimFn] -> ShowS #
Generic PrimFn Source #
Associated Types type Rep PrimFn :: * -> * # Methods from :: PrimFn -> Rep PrimFn x # to :: Rep PrimFn x -> PrimFn #
type Rep PrimFn Source #
type Rep PrimFn = D1 (MetaData "PrimFn" "IRTS.Lang" "idris-1.1.0-K6A3QFl6ipd3Ns1JdzUkhF" False) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "LPlus" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArithTy))) (C1 (MetaCons "LMinus" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArithTy)))) ((:+:) (C1 (MetaCons "LTimes" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArithTy))) (C1 (MetaCons "LUDiv" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy))))) ((:+:) ((:+:) (C1 (MetaCons "LSDiv" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArithTy))) (C1 (MetaCons "LURem" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy)))) ((:+:) (C1 (MetaCons "LSRem" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArithTy))) (C1 (MetaCons "LAnd" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy)))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "LOr" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy))) (C1 (MetaCons "LXOr" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy)))) ((:+:) (C1 (MetaCons "LCompl" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy))) (C1 (MetaCons "LSHL" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy))))) ((:+:) ((:+:) (C1 (MetaCons "LLSHR" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy))) (C1 (MetaCons "LASHR" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy)))) ((:+:) (C1 (MetaCons "LEq" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArithTy))) (C1 (MetaCons "LLt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy))))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "LLe" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy))) (C1 (MetaCons "LGt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy)))) ((:+:) (C1 (MetaCons "LGe" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy))) (C1 (MetaCons "LSLt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArithTy))))) ((:+:) ((:+:) (C1 (MetaCons "LSLe" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArithTy))) (C1 (MetaCons "LSGt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArithTy)))) ((:+:) (C1 (MetaCons "LSGe" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArithTy))) (C1 (MetaCons "LSExt" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "LZExt" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy)))) (C1 (MetaCons "LTrunc" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy))))) ((:+:) (C1 (MetaCons "LStrConcat" PrefixI False) U1) (C1 (MetaCons "LStrLt" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "LStrEq" PrefixI False) U1) (C1 (MetaCons "LStrLen" PrefixI False) U1)) ((:+:) (C1 (MetaCons "LIntFloat" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy))) (C1 (MetaCons "LFloatInt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy)))))))) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "LIntStr" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy))) (C1 (MetaCons "LStrInt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy)))) ((:+:) (C1 (MetaCons "LFloatStr" PrefixI False) U1) (C1 (MetaCons "LStrFloat" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "LChInt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy))) (C1 (MetaCons "LIntCh" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IntTy)))) ((:+:) (C1 (MetaCons "LBitCast" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArithTy)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArithTy)))) (C1 (MetaCons "LFExp" PrefixI False) U1)))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "LFLog" PrefixI False) U1) (C1 (MetaCons "LFSin" PrefixI False) U1)) ((:+:) (C1 (MetaCons "LFCos" PrefixI False) U1) (C1 (MetaCons "LFTan" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "LFASin" PrefixI False) U1) (C1 (MetaCons "LFACos" PrefixI False) U1)) ((:+:) (C1 (MetaCons "LFATan" PrefixI False) U1) (C1 (MetaCons "LFSqrt" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "LFFloor" PrefixI False) U1) (C1 (MetaCons "LFCeil" PrefixI False) U1)) ((:+:) (C1 (MetaCons "LFNegate" PrefixI False) U1) (C1 (MetaCons "LStrHead" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "LStrTail" PrefixI False) U1) (C1 (MetaCons "LStrCons" PrefixI False) U1)) ((:+:) (C1 (MetaCons "LStrIndex" PrefixI False) U1) (C1 (MetaCons "LStrRev" PrefixI False) U1)))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "LStrSubstr" PrefixI False) U1) (C1 (MetaCons "LReadStr" PrefixI False) U1)) ((:+:) (C1 (MetaCons "LWriteStr" PrefixI False) U1) (C1 (MetaCons "LSystemInfo" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "LFork" PrefixI False) U1) (C1 (MetaCons "LPar" PrefixI False) U1)) ((:+:) (C1 (MetaCons "LExternal" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name))) ((:+:) (C1 (MetaCons "LCrash" PrefixI False) U1) (C1 (MetaCons "LNoOp" PrefixI False) U1))))))))

data FCallType Source #

Constructors

FStatic
FObject
FConstructor

Instances

Eq FCallType Source #
Methods (==) :: FCallType -> FCallType -> Bool # (/=) :: FCallType -> FCallType -> Bool #
Show FCallType Source #
Methods showsPrec :: Int -> FCallType -> ShowS # show :: FCallType -> String # showList :: [FCallType] -> ShowS #

data FType Source #

Constructors

FArith ArithTy
FFunction
FFunctionIO
FString
FUnit
FPtr
FManagedPtr
FCData
FAny

Instances

Eq FType Source #
Methods (==) :: FType -> FType -> Bool # (/=) :: FType -> FType -> Bool #
Show FType Source #
Methods showsPrec :: Int -> FType -> ShowS # show :: FType -> String # showList :: [FType] -> ShowS #

data LAlt' e Source #

Constructors

LConCase Int Name [Name] e
LConstCase Const e
LDefaultCase e

Instances

Functor LAlt' Source #
Methods fmap :: (a -> b) -> LAlt' a -> LAlt' b # (<$) :: a -> LAlt' b -> LAlt' a #
Eq e => Eq (LAlt' e) Source #
Methods (==) :: LAlt' e -> LAlt' e -> Bool # (/=) :: LAlt' e -> LAlt' e -> Bool #
Data e => Data (LAlt' e) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LAlt' e -> c (LAlt' e) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (LAlt' e) # toConstr :: LAlt' e -> Constr # dataTypeOf :: LAlt' e -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (LAlt' e)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d a. (Data d, Data a) => c (t d a)) -> Maybe (c (LAlt' e)) # gmapT :: (forall b. Data b => b -> b) -> LAlt' e -> LAlt' e # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LAlt' e -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LAlt' e -> r # gmapQ :: (forall d. Data d => d -> u) -> LAlt' e -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LAlt' e -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LAlt' e -> m (LAlt' e) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LAlt' e -> m (LAlt' e) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LAlt' e -> m (LAlt' e) #
Show e => Show (LAlt' e) Source #
Methods showsPrec :: Int -> LAlt' e -> ShowS # show :: LAlt' e -> String # showList :: [LAlt' e] -> ShowS #

type LAlt = LAlt' LExp Source #

data LDecl Source #

Constructors

LFun [LOpt] Name [Name] LExp
LConstructor Name Int Int

Instances

Eq LDecl Source #
Methods (==) :: LDecl -> LDecl -> Bool # (/=) :: LDecl -> LDecl -> Bool #
Show LDecl Source #
Methods showsPrec :: Int -> LDecl -> ShowS # show :: LDecl -> String # showList :: [LDecl] -> ShowS #

type LDefs = Ctxt LDecl Source #

data LOpt Source #

Constructors

Inline
NoInline

Instances

Eq LOpt Source #
Methods (==) :: LOpt -> LOpt -> Bool # (/=) :: LOpt -> LOpt -> Bool #
Show LOpt Source #
Methods showsPrec :: Int -> LOpt -> ShowS # show :: LOpt -> String # showList :: [LOpt] -> ShowS #

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

data LiftState Source #

Constructors

LS Name Int [(Name, LDecl)]

lname :: Name -> Int -> Name Source #

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

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

getNextName :: State LiftState Name Source #

addFn :: Name -> LDecl -> State LiftState () Source #

lift :: [Name] -> LExp -> State LiftState LExp Source #

allocUnique :: LDefs -> (Name, LDecl) -> (Name, LDecl) Source #

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

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

lsubst :: Name -> LExp -> LExp -> LExp Source #

LPlus ArithTy
LMinus ArithTy
LTimes ArithTy
LUDiv IntTy
LSDiv ArithTy
LURem IntTy
LSRem ArithTy
LAnd IntTy
LOr IntTy
LXOr IntTy
LCompl IntTy
LSHL IntTy
LLSHR IntTy
LASHR IntTy
LEq ArithTy
LLt IntTy
LLe IntTy
LGt IntTy
LGe IntTy
LSLt ArithTy
LSLe ArithTy
LSGt ArithTy
LSGe ArithTy
LSExt IntTy IntTy
LZExt IntTy IntTy
LTrunc IntTy IntTy
LStrConcat
LStrLt
LStrEq
LStrLen
LIntFloat IntTy
LFloatInt IntTy
LIntStr IntTy
LStrInt IntTy
LFloatStr
LStrFloat
LChInt IntTy
LIntCh IntTy
LBitCast ArithTy ArithTy
LFExp
LFLog
LFSin
LFCos
LFTan
LFASin
LFACos
LFATan
LFSqrt
LFFloor
LFCeil
LFNegate
LStrHead
LStrTail
LStrCons
LStrIndex
LStrRev
LStrSubstr
LReadStr
LWriteStr
LSystemInfo
LFork
LPar
LExternal Name
LCrash
LNoOp