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

Eq JType Source #
Instance details Defined in Language.Javascript.JMacro.Types Methods (==) :: JType -> JType -> Bool # (/=) :: JType -> JType -> Bool #
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 #
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 #
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 #
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

Eq Constraint Source #
Instance details Defined in Language.Javascript.JMacro.Types Methods (==) :: Constraint -> Constraint -> Bool # (/=) :: Constraint -> Constraint -> Bool #
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 #
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 #
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 #
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 #