idris-1.3.2: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

IRTS.Lang

Description

 

Documentation

data Endianness Source #

Constructors

Native 
BE 
LE 
Instances
Eq Endianness Source # 
Instance details

Defined in IRTS.Lang

Show Endianness Source # 
Instance details

Defined in IRTS.Lang

data LVar Source #

Constructors

Loc Int 
Glob Name 
Instances
Eq LVar Source # 
Instance details

Defined in IRTS.Lang

Methods

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

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

Data LVar Source # 
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 :: (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 Source # 
Instance details

Defined in IRTS.Lang

Methods

showsPrec :: Int -> LVar -> ShowS #

show :: LVar -> String #

showList :: [LVar] -> ShowS #

ToJSON LVar Source # 
Instance details

Defined in IRTS.Portable

data LExp Source #

Instances
Eq LExp Source # 
Instance details

Defined in IRTS.Lang

Methods

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

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

Data LExp Source # 
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 :: (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 #

Ord LExp Source # 
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 #

Show LExp Source # 
Instance details

Defined in IRTS.Lang

Methods

showsPrec :: Int -> LExp -> ShowS #

show :: LExp -> String #

showList :: [LExp] -> ShowS #

ToJSON LAlt Source # 
Instance details

Defined in IRTS.Portable

ToJSON LExp Source # 
Instance details

Defined in IRTS.Portable

data FDesc Source #

Instances
Eq FDesc Source # 
Instance details

Defined in IRTS.Lang

Methods

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

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

Data FDesc Source # 
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 :: (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 #

Ord FDesc Source # 
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 #

Show FDesc Source # 
Instance details

Defined in IRTS.Lang

Methods

showsPrec :: Int -> FDesc -> ShowS #

show :: FDesc -> String #

showList :: [FDesc] -> ShowS #

ToJSON FDesc Source # 
Instance details

Defined in IRTS.Portable

data Export Source #

Instances
Eq Export Source # 
Instance details

Defined in IRTS.Lang

Methods

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

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

Ord Export Source # 
Instance details

Defined in IRTS.Lang

Show Export Source # 
Instance details

Defined in IRTS.Lang

ToJSON Export Source # 
Instance details

Defined in IRTS.Portable

data PrimFn Source #

Instances
Eq PrimFn Source # 
Instance details

Defined in IRTS.Lang

Methods

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

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

Data PrimFn Source # 
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 :: (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 #

Ord PrimFn Source # 
Instance details

Defined in IRTS.Lang

Show PrimFn Source # 
Instance details

Defined in IRTS.Lang

Generic PrimFn Source # 
Instance details

Defined in IRTS.Lang

Associated Types

type Rep PrimFn :: Type -> Type #

Methods

from :: PrimFn -> Rep PrimFn x #

to :: Rep PrimFn x -> PrimFn #

ToJSON PrimFn Source # 
Instance details

Defined in IRTS.Portable

NFData PrimFn Source # 
Instance details

Defined in Idris.DeepSeq

Methods

rnf :: PrimFn -> () #

type Rep PrimFn Source # 
Instance details

Defined in IRTS.Lang

type Rep PrimFn = D1 (MetaData "PrimFn" "IRTS.Lang" "idris-1.3.2-3LpOXLFJmzJ3DT7fAtaO1v" 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 Source #

Constructors

FStatic 
FObject 
FConstructor 
Instances
Eq FCallType Source # 
Instance details

Defined in IRTS.Lang

Ord FCallType Source # 
Instance details

Defined in IRTS.Lang

Show FCallType Source # 
Instance details

Defined in IRTS.Lang

data FType Source #

Instances
Eq FType Source # 
Instance details

Defined in IRTS.Lang

Methods

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

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

Ord FType Source # 
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 #

Show FType Source # 
Instance details

Defined in IRTS.Lang

Methods

showsPrec :: Int -> FType -> ShowS #

show :: FType -> String #

showList :: [FType] -> ShowS #

data LAlt' e Source #

Instances
Functor LAlt' Source # 
Instance details

Defined in IRTS.Lang

Methods

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

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

ToJSON LAlt Source # 
Instance details

Defined in IRTS.Portable

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

Defined in IRTS.Lang

Methods

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

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

Data e => Data (LAlt' e) Source # 
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 :: (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) #

Ord e => Ord (LAlt' e) Source # 
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 #

Show e => Show (LAlt' e) Source # 
Instance details

Defined in IRTS.Lang

Methods

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

show :: LAlt' e -> String #

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

data LDecl Source #

Instances
Eq LDecl Source # 
Instance details

Defined in IRTS.Lang

Methods

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

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

Data LDecl Source # 
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 :: (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 #

Ord LDecl Source # 
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 #

Show LDecl Source # 
Instance details

Defined in IRTS.Lang

Methods

showsPrec :: Int -> LDecl -> ShowS #

show :: LDecl -> String #

showList :: [LDecl] -> ShowS #

ToJSON LDecl Source # 
Instance details

Defined in IRTS.Portable

data LOpt Source #

Constructors

Inline 
NoInline 
Instances
Eq LOpt Source # 
Instance details

Defined in IRTS.Lang

Methods

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

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

Data LOpt Source # 
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 :: (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 #

Ord LOpt Source # 
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 #

Show LOpt Source # 
Instance details

Defined in IRTS.Lang

Methods

showsPrec :: Int -> LOpt -> ShowS #

show :: LOpt -> String #

showList :: [LOpt] -> ShowS #

ToJSON LOpt Source # 
Instance details

Defined in IRTS.Portable

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

data LiftState Source #

Constructors

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

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

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

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

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

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