License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
IRTS.Lang
Description
Documentation
data Endianness Source #
Instances
Show Endianness Source # | |
Defined in IRTS.Lang Methods showsPrec :: Int -> Endianness -> ShowS show :: Endianness -> String showList :: [Endianness] -> ShowS | |
Eq Endianness Source # | |
Defined in IRTS.Lang |
Instances
ToJSON LVar | |
Defined in IRTS.Portable Methods toEncoding :: LVar -> Encoding toJSONList :: [LVar] -> Value toEncodingList :: [LVar] -> Encoding | |
Data LVar | |
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 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 Source # | |
Eq LVar Source # | |
Constructors
LV Name | |
LApp Bool LExp [LExp] | |
LLazyApp Name [LExp] | |
LLazyExp LExp | |
LForce LExp | |
LLet Name LExp LExp | |
LLam [Name] LExp | |
LProj LExp Int | |
LCon (Maybe Name) Int Name [LExp] | |
LCase CaseType LExp [LAlt] | |
LConst Const | |
LForeign FDesc FDesc [(FDesc, LExp)] | |
LOp PrimFn [LExp] | |
LNothing | |
LError String |
Instances
ToJSON LAlt | |
Defined in IRTS.Portable Methods toEncoding :: LAlt -> Encoding toJSONList :: [LAlt] -> Value toEncodingList :: [LAlt] -> Encoding | |
ToJSON LExp | |
Defined in IRTS.Portable Methods toEncoding :: LExp -> Encoding toJSONList :: [LExp] -> Value toEncodingList :: [LExp] -> Encoding | |
Data LExp | |
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 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 Source # | |
Eq LExp Source # | |
Ord LExp Source # | |
Instances
ToJSON FDesc | |
Defined in IRTS.Portable Methods toEncoding :: FDesc -> Encoding toJSONList :: [FDesc] -> Value toEncodingList :: [FDesc] -> Encoding | |
Data FDesc | |
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 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 Source # | |
Eq FDesc Source # | |
Ord FDesc Source # | |
Instances
ToJSON Export | |
Defined in IRTS.Portable Methods toEncoding :: Export -> Encoding toJSONList :: [Export] -> Value toEncodingList :: [Export] -> Encoding | |
Show Export Source # | |
Eq Export Source # | |
Ord Export Source # | |
data ExportIFace Source #
Instances
ToJSON ExportIFace | |
Defined in IRTS.Portable Methods toJSON :: ExportIFace -> Value toEncoding :: ExportIFace -> Encoding toJSONList :: [ExportIFace] -> Value toEncodingList :: [ExportIFace] -> Encoding | |
Show ExportIFace Source # | |
Defined in IRTS.Lang Methods showsPrec :: Int -> ExportIFace -> ShowS show :: ExportIFace -> String showList :: [ExportIFace] -> ShowS | |
Eq ExportIFace Source # | |
Defined in IRTS.Lang | |
Ord ExportIFace Source # | |
Defined in IRTS.Lang Methods compare :: ExportIFace -> ExportIFace -> Ordering (<) :: ExportIFace -> ExportIFace -> Bool (<=) :: ExportIFace -> ExportIFace -> Bool (>) :: ExportIFace -> ExportIFace -> Bool (>=) :: ExportIFace -> ExportIFace -> Bool max :: ExportIFace -> ExportIFace -> ExportIFace min :: ExportIFace -> ExportIFace -> ExportIFace |
Constructors
Instances
ToJSON PrimFn | |
Defined in IRTS.Portable Methods toEncoding :: PrimFn -> Encoding toJSONList :: [PrimFn] -> Value toEncodingList :: [PrimFn] -> Encoding | |
Data PrimFn | |
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 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 Source # | |
Show PrimFn Source # | |
NFData PrimFn | |
Defined in Idris.DeepSeq | |
Eq PrimFn Source # | |
Ord PrimFn Source # | |
type Rep PrimFn Source # | |
Defined in IRTS.Lang type Rep PrimFn = D1 ('MetaData "PrimFn" "IRTS.Lang" "idris-1.3.4-3WzTclJnDGuF9nqMis99Gw" '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)))))))) |
Constructors
FStatic | |
FObject | |
FConstructor |
Constructors
FArith ArithTy | |
FFunction | |
FFunctionIO | |
FString | |
FUnit | |
FPtr | |
FManagedPtr | |
FCData | |
FAny |
Constructors
LConCase Int Name [Name] e | |
LConstCase Const e | |
LDefaultCase e |
Instances
ToJSON LAlt | |
Defined in IRTS.Portable Methods toEncoding :: LAlt -> Encoding toJSONList :: [LAlt] -> Value toEncodingList :: [LAlt] -> Encoding | |
Functor LAlt' Source # | |
Data e => Data (LAlt' e) Source # | |
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) 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) Source # | |
Eq e => Eq (LAlt' e) Source # | |
Ord e => Ord (LAlt' e) Source # | |
Instances
ToJSON LDecl | |
Defined in IRTS.Portable Methods toEncoding :: LDecl -> Encoding toJSONList :: [LDecl] -> Value toEncodingList :: [LDecl] -> Encoding | |
Data LDecl | |
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 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 Source # | |
Eq LDecl Source # | |
Ord LDecl Source # | |
Instances
ToJSON LOpt | |
Defined in IRTS.Portable Methods toEncoding :: LOpt -> Encoding toJSONList :: [LOpt] -> Value toEncodingList :: [LOpt] -> Encoding | |
Data LOpt | |
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 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 Source # | |
Eq LOpt Source # | |
Ord LOpt Source # | |
setBaseName :: Name -> State LiftState () Source #
getNextName :: State LiftState Name Source #