Safe Haskell | None |
---|---|
Language | Haskell98 |
Language.Javascript.JMacro.Types
Documentation
Constructors
JTNum | |
JTString | |
JTBool | |
JTStat | |
JTFunc [JType] JType | |
JTList JType | |
JTMap JType | |
JTRecord JType (Map String JType) | |
JTRigid VarRef (Set Constraint) | |
JTImpossible | |
JTFree VarRef | |
JTForall [VarRef] JType |
Instances
Eq JType Source # | |
Data JType Source # | |
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c JType dataTypeOf :: JType -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c JType) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c JType) gmapT :: (forall b. Data b => b -> b) -> JType -> JType gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> JType -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> JType -> r gmapQ :: (forall d. Data d => d -> u) -> JType -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> JType -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> JType -> m JType gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> JType -> m JType gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> JType -> m JType | |
Ord JType Source # | |
Read JType Source # | |
Defined in Language.Javascript.JMacro.Types | |
Show JType Source # | |
JsToDoc JLocalType Source # | |
Defined in Language.Javascript.JMacro.Base Methods jsToDoc :: JLocalType -> Doc Source # | |
JsToDoc JType Source # | |
Compos1 JType Source # | |
data Constraint Source #
Instances
Eq Constraint Source # | |
Defined in Language.Javascript.JMacro.Types | |
Data Constraint Source # | |
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Constraint toConstr :: Constraint -> Constr dataTypeOf :: Constraint -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Constraint) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Constraint) gmapT :: (forall b. Data b => b -> b) -> Constraint -> Constraint gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Constraint -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Constraint -> r gmapQ :: (forall d. Data d => d -> u) -> Constraint -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Constraint -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Constraint -> m Constraint gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Constraint -> m Constraint gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Constraint -> m Constraint | |
Ord Constraint Source # | |
Defined in Language.Javascript.JMacro.Types Methods compare :: Constraint -> Constraint -> Ordering (<) :: Constraint -> Constraint -> Bool (<=) :: Constraint -> Constraint -> Bool (>) :: Constraint -> Constraint -> Bool (>=) :: Constraint -> Constraint -> Bool max :: Constraint -> Constraint -> Constraint min :: Constraint -> Constraint -> Constraint | |
Read Constraint Source # | |
Defined in Language.Javascript.JMacro.Types Methods readsPrec :: Int -> ReadS Constraint readList :: ReadS [Constraint] readPrec :: ReadPrec Constraint readListPrec :: ReadPrec [Constraint] | |
Show Constraint Source # | |
Defined in Language.Javascript.JMacro.Types Methods showsPrec :: Int -> Constraint -> ShowS show :: Constraint -> String showList :: [Constraint] -> ShowS | |
JsToDoc JLocalType Source # | |
Defined in Language.Javascript.JMacro.Base Methods jsToDoc :: JLocalType -> Doc Source # |
type JLocalType = ([(VarRef, Constraint)], JType) Source #
runTypeParser :: CharParser a JLocalType Source #