Safe Haskell	None
Language	Haskell2010

Language.Javascript.JMacro.Types

Documentation

data JType Source #

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

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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c JType # toConstr :: JType -> Constr # 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 #
Read JType Source #
Instance details Defined in Language.Javascript.JMacro.Types Methods readsPrec :: Int -> ReadS JType readList :: ReadS [JType] readPrec :: ReadPrec JType readListPrec :: ReadPrec [JType]
Show JType Source #
Instance details Defined in Language.Javascript.JMacro.Types Methods showsPrec :: Int -> JType -> ShowS show :: JType -> String showList :: [JType] -> ShowS
Eq JType Source #
Instance details Defined in Language.Javascript.JMacro.Types Methods (==) :: JType -> JType -> Bool (/=) :: JType -> JType -> Bool
Ord JType Source #
Instance details Defined in Language.Javascript.JMacro.Types Methods compare :: JType -> JType -> Ordering (<) :: JType -> JType -> Bool (<=) :: JType -> JType -> Bool (>) :: JType -> JType -> Bool (>=) :: JType -> JType -> Bool max :: JType -> JType -> JType min :: JType -> JType -> JType
JsToDoc JLocalType Source #
Instance details Defined in Language.Javascript.JMacro.Base Methods jsToDoc :: JLocalType -> Doc Source #
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 # 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 #
Read Constraint Source #
Instance details Defined in Language.Javascript.JMacro.Types Methods readsPrec :: Int -> ReadS Constraint readList :: ReadS [Constraint] readPrec :: ReadPrec Constraint readListPrec :: ReadPrec [Constraint]
Show Constraint Source #
Instance details Defined in Language.Javascript.JMacro.Types Methods showsPrec :: Int -> Constraint -> ShowS show :: Constraint -> String showList :: [Constraint] -> ShowS
Eq Constraint Source #
Instance details Defined in Language.Javascript.JMacro.Types Methods (==) :: Constraint -> Constraint -> Bool (/=) :: Constraint -> Constraint -> Bool
Ord Constraint Source #
Instance details 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
JsToDoc JLocalType Source #
Instance details Defined in Language.Javascript.JMacro.Base Methods jsToDoc :: JLocalType -> Doc Source #

type JLocalType = ([(VarRef, Constraint)], JType) Source #

type VarRef = (Maybe String, Int) Source #

anyType :: TypeParser JType Source #

parseType :: String -> Either ParseError JType Source #

runTypeParser :: CharParser a JLocalType Source #