idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

IRTS.Lang

Description

 

Documentation

data Endianness #

Constructors

Native 
BE 
LE 

Instances

Instances details
Show Endianness # 
Instance details

Defined in IRTS.Lang

Eq Endianness # 
Instance details

Defined in IRTS.Lang

data LVar #

Constructors

Loc Int 
Glob Name 

Instances

Instances details
ToJSON LVar # 
Instance details

Defined in IRTS.Portable

Data LVar # 
Instance details

Defined in IRTS.JavaScript.LangTransforms

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LVar -> c LVar #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LVar #

toConstr :: LVar -> Constr #

dataTypeOf :: LVar -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LVar) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LVar) #

gmapT :: (forall b. Data b => b -> b) -> LVar -> LVar #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LVar -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LVar -> r #

gmapQ :: (forall d. Data d => d -> u) -> LVar -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> LVar -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LVar -> m LVar #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LVar -> m LVar #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LVar -> m LVar #

Show LVar # 
Instance details

Defined in IRTS.Lang

Methods

showsPrec :: Int -> LVar -> ShowS #

show :: LVar -> String #

showList :: [LVar] -> ShowS #

Eq LVar # 
Instance details

Defined in IRTS.Lang

Methods

(==) :: LVar -> LVar -> Bool #

(/=) :: LVar -> LVar -> Bool #

data LExp #

Instances

Instances details
ToJSON LAlt # 
Instance details

Defined in IRTS.Portable

ToJSON LExp # 
Instance details

Defined in IRTS.Portable

Data LExp # 
Instance details

Defined in IRTS.JavaScript.LangTransforms

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LExp -> c LExp #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LExp #

toConstr :: LExp -> Constr #

dataTypeOf :: LExp -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LExp) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LExp) #

gmapT :: (forall b. Data b => b -> b) -> LExp -> LExp #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LExp -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LExp -> r #

gmapQ :: (forall d. Data d => d -> u) -> LExp -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> LExp -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LExp -> m LExp #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LExp -> m LExp #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LExp -> m LExp #

Show LExp # 
Instance details

Defined in IRTS.Lang

Methods

showsPrec :: Int -> LExp -> ShowS #

show :: LExp -> String #

showList :: [LExp] -> ShowS #

Eq LExp # 
Instance details

Defined in IRTS.Lang

Methods

(==) :: LExp -> LExp -> Bool #

(/=) :: LExp -> LExp -> Bool #

Ord LExp # 
Instance details

Defined in IRTS.Lang

Methods

compare :: LExp -> LExp -> Ordering #

(<) :: LExp -> LExp -> Bool #

(<=) :: LExp -> LExp -> Bool #

(>) :: LExp -> LExp -> Bool #

(>=) :: LExp -> LExp -> Bool #

max :: LExp -> LExp -> LExp #

min :: LExp -> LExp -> LExp #

data FDesc #

Instances

Instances details
ToJSON FDesc # 
Instance details

Defined in IRTS.Portable

Data FDesc # 
Instance details

Defined in IRTS.JavaScript.LangTransforms

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FDesc -> c FDesc #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FDesc #

toConstr :: FDesc -> Constr #

dataTypeOf :: FDesc -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FDesc) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FDesc) #

gmapT :: (forall b. Data b => b -> b) -> FDesc -> FDesc #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FDesc -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FDesc -> r #

gmapQ :: (forall d. Data d => d -> u) -> FDesc -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> FDesc -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FDesc -> m FDesc #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FDesc -> m FDesc #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FDesc -> m FDesc #

Show FDesc # 
Instance details

Defined in IRTS.Lang

Methods

showsPrec :: Int -> FDesc -> ShowS #

show :: FDesc -> String #

showList :: [FDesc] -> ShowS #

Eq FDesc # 
Instance details

Defined in IRTS.Lang

Methods

(==) :: FDesc -> FDesc -> Bool #

(/=) :: FDesc -> FDesc -> Bool #

Ord FDesc # 
Instance details

Defined in IRTS.Lang

Methods

compare :: FDesc -> FDesc -> Ordering #

(<) :: FDesc -> FDesc -> Bool #

(<=) :: FDesc -> FDesc -> Bool #

(>) :: FDesc -> FDesc -> Bool #

(>=) :: FDesc -> FDesc -> Bool #

max :: FDesc -> FDesc -> FDesc #

min :: FDesc -> FDesc -> FDesc #

data Export #

Instances

Instances details
ToJSON Export # 
Instance details

Defined in IRTS.Portable

Show Export # 
Instance details

Defined in IRTS.Lang

Eq Export # 
Instance details

Defined in IRTS.Lang

Methods

(==) :: Export -> Export -> Bool #

(/=) :: Export -> Export -> Bool #

Ord Export # 
Instance details

Defined in IRTS.Lang

data PrimFn #

Instances

Instances details
ToJSON PrimFn # 
Instance details

Defined in IRTS.Portable

Data PrimFn # 
Instance details

Defined in IRTS.JavaScript.LangTransforms

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PrimFn -> c PrimFn #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PrimFn #

toConstr :: PrimFn -> Constr #

dataTypeOf :: PrimFn -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PrimFn) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PrimFn) #

gmapT :: (forall b. Data b => b -> b) -> PrimFn -> PrimFn #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PrimFn -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PrimFn -> r #

gmapQ :: (forall d. Data d => d -> u) -> PrimFn -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> PrimFn -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PrimFn -> m PrimFn #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PrimFn -> m PrimFn #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PrimFn -> m PrimFn #

Generic PrimFn # 
Instance details

Defined in IRTS.Lang

Associated Types

type Rep PrimFn 
Instance details

Defined in IRTS.Lang

type Rep PrimFn = D1 ('MetaData "PrimFn" "IRTS.Lang" "idris-1.3.4-F4Dxf3f2x1u8YpuOHHvOMF" 'False) ((((((C1 ('MetaCons "LPlus" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy)) :+: C1 ('MetaCons "LMinus" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy))) :+: (C1 ('MetaCons "LTimes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy)) :+: C1 ('MetaCons "LUDiv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)))) :+: ((C1 ('MetaCons "LSDiv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy)) :+: C1 ('MetaCons "LURem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy))) :+: (C1 ('MetaCons "LSRem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy)) :+: C1 ('MetaCons "LAnd" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy))))) :+: (((C1 ('MetaCons "LOr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)) :+: C1 ('MetaCons "LXOr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy))) :+: (C1 ('MetaCons "LCompl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)) :+: C1 ('MetaCons "LSHL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)))) :+: ((C1 ('MetaCons "LLSHR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)) :+: C1 ('MetaCons "LASHR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy))) :+: (C1 ('MetaCons "LEq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy)) :+: C1 ('MetaCons "LLt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)))))) :+: ((((C1 ('MetaCons "LLe" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)) :+: C1 ('MetaCons "LGt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy))) :+: (C1 ('MetaCons "LGe" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)) :+: C1 ('MetaCons "LSLt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy)))) :+: ((C1 ('MetaCons "LSLe" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy)) :+: C1 ('MetaCons "LSGt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy))) :+: (C1 ('MetaCons "LSGe" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy)) :+: C1 ('MetaCons "LSExt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy))))) :+: (((C1 ('MetaCons "LZExt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)) :+: C1 ('MetaCons "LTrunc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy))) :+: (C1 ('MetaCons "LStrConcat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LStrLt" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LStrEq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LStrLen" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LIntFloat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)) :+: (C1 ('MetaCons "LFloatInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)) :+: C1 ('MetaCons "LIntStr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)))))))) :+: (((((C1 ('MetaCons "LStrInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)) :+: C1 ('MetaCons "LFloatStr" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LStrFloat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LChInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)))) :+: ((C1 ('MetaCons "LIntCh" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)) :+: C1 ('MetaCons "LBitCast" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy))) :+: (C1 ('MetaCons "LFExp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LFLog" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "LFSin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LFCos" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LFTan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LFASin" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LFACos" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LFATan" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LFATan2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LFSqrt" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: ((((C1 ('MetaCons "LFFloor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LFCeil" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LFNegate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LStrHead" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LStrTail" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LStrCons" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LStrIndex" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LStrRev" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "LStrSubstr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LReadStr" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LWriteStr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LSystemInfo" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LFork" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LPar" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LExternal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :+: (C1 ('MetaCons "LCrash" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LNoOp" 'PrefixI 'False) (U1 :: Type -> Type))))))))

Methods

from :: PrimFn -> Rep PrimFn x #

to :: Rep PrimFn x -> PrimFn #

Show PrimFn # 
Instance details

Defined in IRTS.Lang

NFData PrimFn # 
Instance details

Defined in Idris.DeepSeq

Methods

rnf :: PrimFn -> () #

Eq PrimFn # 
Instance details

Defined in IRTS.Lang

Methods

(==) :: PrimFn -> PrimFn -> Bool #

(/=) :: PrimFn -> PrimFn -> Bool #

Ord PrimFn # 
Instance details

Defined in IRTS.Lang

type Rep PrimFn # 
Instance details

Defined in IRTS.Lang

type Rep PrimFn = D1 ('MetaData "PrimFn" "IRTS.Lang" "idris-1.3.4-F4Dxf3f2x1u8YpuOHHvOMF" 'False) ((((((C1 ('MetaCons "LPlus" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy)) :+: C1 ('MetaCons "LMinus" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy))) :+: (C1 ('MetaCons "LTimes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy)) :+: C1 ('MetaCons "LUDiv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)))) :+: ((C1 ('MetaCons "LSDiv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy)) :+: C1 ('MetaCons "LURem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy))) :+: (C1 ('MetaCons "LSRem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy)) :+: C1 ('MetaCons "LAnd" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy))))) :+: (((C1 ('MetaCons "LOr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)) :+: C1 ('MetaCons "LXOr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy))) :+: (C1 ('MetaCons "LCompl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)) :+: C1 ('MetaCons "LSHL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)))) :+: ((C1 ('MetaCons "LLSHR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)) :+: C1 ('MetaCons "LASHR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy))) :+: (C1 ('MetaCons "LEq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy)) :+: C1 ('MetaCons "LLt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)))))) :+: ((((C1 ('MetaCons "LLe" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)) :+: C1 ('MetaCons "LGt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy))) :+: (C1 ('MetaCons "LGe" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)) :+: C1 ('MetaCons "LSLt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy)))) :+: ((C1 ('MetaCons "LSLe" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy)) :+: C1 ('MetaCons "LSGt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy))) :+: (C1 ('MetaCons "LSGe" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy)) :+: C1 ('MetaCons "LSExt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy))))) :+: (((C1 ('MetaCons "LZExt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)) :+: C1 ('MetaCons "LTrunc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy))) :+: (C1 ('MetaCons "LStrConcat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LStrLt" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LStrEq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LStrLen" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LIntFloat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)) :+: (C1 ('MetaCons "LFloatInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)) :+: C1 ('MetaCons "LIntStr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)))))))) :+: (((((C1 ('MetaCons "LStrInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)) :+: C1 ('MetaCons "LFloatStr" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LStrFloat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LChInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)))) :+: ((C1 ('MetaCons "LIntCh" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntTy)) :+: C1 ('MetaCons "LBitCast" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArithTy))) :+: (C1 ('MetaCons "LFExp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LFLog" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "LFSin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LFCos" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LFTan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LFASin" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LFACos" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LFATan" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LFATan2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LFSqrt" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: ((((C1 ('MetaCons "LFFloor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LFCeil" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LFNegate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LStrHead" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LStrTail" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LStrCons" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LStrIndex" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LStrRev" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "LStrSubstr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LReadStr" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LWriteStr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LSystemInfo" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LFork" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LPar" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LExternal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :+: (C1 ('MetaCons "LCrash" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LNoOp" 'PrefixI 'False) (U1 :: Type -> Type))))))))

data FCallType #

Constructors

FStatic 
FObject 
FConstructor 

Instances

Instances details
Show FCallType # 
Instance details

Defined in IRTS.Lang

Eq FCallType # 
Instance details

Defined in IRTS.Lang

Ord FCallType # 
Instance details

Defined in IRTS.Lang

data FType #

Instances

Instances details
Show FType # 
Instance details

Defined in IRTS.Lang

Methods

showsPrec :: Int -> FType -> ShowS #

show :: FType -> String #

showList :: [FType] -> ShowS #

Eq FType # 
Instance details

Defined in IRTS.Lang

Methods

(==) :: FType -> FType -> Bool #

(/=) :: FType -> FType -> Bool #

Ord FType # 
Instance details

Defined in IRTS.Lang

Methods

compare :: FType -> FType -> Ordering #

(<) :: FType -> FType -> Bool #

(<=) :: FType -> FType -> Bool #

(>) :: FType -> FType -> Bool #

(>=) :: FType -> FType -> Bool #

max :: FType -> FType -> FType #

min :: FType -> FType -> FType #

data LAlt' e #

Instances

Instances details
ToJSON LAlt # 
Instance details

Defined in IRTS.Portable

Functor LAlt' # 
Instance details

Defined in IRTS.Lang

Methods

fmap :: (a -> b) -> LAlt' a -> LAlt' b #

(<$) :: a -> LAlt' b -> LAlt' a #

Data e => Data (LAlt' e) # 
Instance details

Defined in IRTS.Lang

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 e0. (Data d, Data e0) => c (t d e0)) -> 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 :: forall r r'. (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) # 
Instance details

Defined in IRTS.Lang

Methods

showsPrec :: Int -> LAlt' e -> ShowS #

show :: LAlt' e -> String #

showList :: [LAlt' e] -> ShowS #

Eq e => Eq (LAlt' e) # 
Instance details

Defined in IRTS.Lang

Methods

(==) :: LAlt' e -> LAlt' e -> Bool #

(/=) :: LAlt' e -> LAlt' e -> Bool #

Ord e => Ord (LAlt' e) # 
Instance details

Defined in IRTS.Lang

Methods

compare :: LAlt' e -> LAlt' e -> Ordering #

(<) :: LAlt' e -> LAlt' e -> Bool #

(<=) :: LAlt' e -> LAlt' e -> Bool #

(>) :: LAlt' e -> LAlt' e -> Bool #

(>=) :: LAlt' e -> LAlt' e -> Bool #

max :: LAlt' e -> LAlt' e -> LAlt' e #

min :: LAlt' e -> LAlt' e -> LAlt' e #

type LAlt = LAlt' LExp #

data LDecl #

Instances

Instances details
ToJSON LDecl # 
Instance details

Defined in IRTS.Portable

Data LDecl # 
Instance details

Defined in IRTS.JavaScript.LangTransforms

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LDecl -> c LDecl #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LDecl #

toConstr :: LDecl -> Constr #

dataTypeOf :: LDecl -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LDecl) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LDecl) #

gmapT :: (forall b. Data b => b -> b) -> LDecl -> LDecl #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LDecl -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LDecl -> r #

gmapQ :: (forall d. Data d => d -> u) -> LDecl -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> LDecl -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LDecl -> m LDecl #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LDecl -> m LDecl #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LDecl -> m LDecl #

Show LDecl # 
Instance details

Defined in IRTS.Lang

Methods

showsPrec :: Int -> LDecl -> ShowS #

show :: LDecl -> String #

showList :: [LDecl] -> ShowS #

Eq LDecl # 
Instance details

Defined in IRTS.Lang

Methods

(==) :: LDecl -> LDecl -> Bool #

(/=) :: LDecl -> LDecl -> Bool #

Ord LDecl # 
Instance details

Defined in IRTS.Lang

Methods

compare :: LDecl -> LDecl -> Ordering #

(<) :: LDecl -> LDecl -> Bool #

(<=) :: LDecl -> LDecl -> Bool #

(>) :: LDecl -> LDecl -> Bool #

(>=) :: LDecl -> LDecl -> Bool #

max :: LDecl -> LDecl -> LDecl #

min :: LDecl -> LDecl -> LDecl #

type LDefs = Ctxt LDecl #

data LOpt #

Constructors

Inline 
NoInline 

Instances

Instances details
ToJSON LOpt # 
Instance details

Defined in IRTS.Portable

Data LOpt # 
Instance details

Defined in IRTS.JavaScript.LangTransforms

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LOpt -> c LOpt #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LOpt #

toConstr :: LOpt -> Constr #

dataTypeOf :: LOpt -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LOpt) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LOpt) #

gmapT :: (forall b. Data b => b -> b) -> LOpt -> LOpt #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LOpt -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LOpt -> r #

gmapQ :: (forall d. Data d => d -> u) -> LOpt -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> LOpt -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LOpt -> m LOpt #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LOpt -> m LOpt #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LOpt -> m LOpt #

Show LOpt # 
Instance details

Defined in IRTS.Lang

Methods

showsPrec :: Int -> LOpt -> ShowS #

show :: LOpt -> String #

showList :: [LOpt] -> ShowS #

Eq LOpt # 
Instance details

Defined in IRTS.Lang

Methods

(==) :: LOpt -> LOpt -> Bool #

(/=) :: LOpt -> LOpt -> Bool #

Ord LOpt # 
Instance details

Defined in IRTS.Lang

Methods

compare :: LOpt -> LOpt -> Ordering #

(<) :: LOpt -> LOpt -> Bool #

(<=) :: LOpt -> LOpt -> Bool #

(>) :: LOpt -> LOpt -> Bool #

(>=) :: LOpt -> LOpt -> Bool #

max :: LOpt -> LOpt -> LOpt #

min :: LOpt -> LOpt -> LOpt #

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

data LiftState #

Constructors

LS (Maybe Name) Int [(Name, LDecl)] (Map ([Name], LExp) Name) 

lname :: Name -> Int -> Name #

renameArgs :: [Name] -> LExp -> ([Name], LExp) #

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

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

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

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

rename :: [(Name, Name)] -> LExp -> LExp #

occName :: Name -> LExp -> Int #