jmacro-0.6.18: QuasiQuotation library for programmatic generation of Javascript code.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Javascript.JMacro.Types

Documentation

data JType Source #

Instances

Instances details
Data JType Source # 
Instance details

Defined in Language.Javascript.JMacro.Types

Methods

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

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

toConstr :: JType -> Constr Source #

dataTypeOf :: JType -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Read JType Source # 
Instance details

Defined in Language.Javascript.JMacro.Types

Show JType Source # 
Instance details

Defined in Language.Javascript.JMacro.Types

Eq JType Source # 
Instance details

Defined in Language.Javascript.JMacro.Types

Methods

(==) :: JType -> JType -> Bool Source #

(/=) :: JType -> JType -> Bool Source #

Ord JType Source # 
Instance details

Defined in Language.Javascript.JMacro.Types

JsToDoc JLocalType Source # 
Instance details

Defined in Language.Javascript.JMacro.Base

JsToDoc JType Source # 
Instance details

Defined in Language.Javascript.JMacro.Base

Methods

jsToDoc :: JType -> Doc Source #

Compos1 JType Source # 
Instance details

Defined in Language.Javascript.JMacro.TypeCheck

Methods

compos1 :: (forall a. a -> m a) -> (forall a b. m (a -> b) -> m a -> m b) -> (JType -> m JType) -> JType -> m JType Source #

data Constraint Source #

Constructors

Sub JType 
Super JType 

Instances

Instances details
Data Constraint Source # 
Instance details

Defined in Language.Javascript.JMacro.Types

Methods

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

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

toConstr :: Constraint -> Constr Source #

dataTypeOf :: Constraint -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Read Constraint Source # 
Instance details

Defined in Language.Javascript.JMacro.Types

Show Constraint Source # 
Instance details

Defined in Language.Javascript.JMacro.Types

Eq Constraint Source # 
Instance details

Defined in Language.Javascript.JMacro.Types

Ord Constraint Source # 
Instance details

Defined in Language.Javascript.JMacro.Types

JsToDoc JLocalType Source # 
Instance details

Defined in Language.Javascript.JMacro.Base

anyType :: TypeParser JType Source #