Language.Javascript.JMacro.Types

Documentation

data JType

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

Defined in Language.Javascript.JMacro.Types

Methods

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

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

Data JType

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 :: (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

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

Defined in Language.Javascript.JMacro.Types

Methods

readsPrec :: Int -> ReadS JType

readList :: ReadS [JType]

readPrec :: ReadPrec JType

readListPrec :: ReadPrec [JType]

Show JType

Defined in Language.Javascript.JMacro.Types

Methods

showsPrec :: Int -> JType -> ShowS

show :: JType -> String

showList :: [JType] -> ShowS

JsToDoc JLocalType

Defined in Language.Javascript.JMacro.Base

Methods

jsToDoc :: JLocalType -> Doc

JsToDoc JType

Defined in Language.Javascript.JMacro.Base

Methods

jsToDoc :: JType -> Doc

Compos1 JType

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

data Constraint

Constructors

Sub JType

Super JType

Instances

Eq Constraint

Defined in Language.Javascript.JMacro.Types

Methods

(==) :: Constraint -> Constraint -> Bool

(/=) :: Constraint -> Constraint -> Bool

Data Constraint

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 :: (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

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

Defined in Language.Javascript.JMacro.Types

Methods

readsPrec :: Int -> ReadS Constraint

readList :: ReadS [Constraint]

readPrec :: ReadPrec Constraint

readListPrec :: ReadPrec [Constraint]

Show Constraint

Defined in Language.Javascript.JMacro.Types

Methods

showsPrec :: Int -> Constraint -> ShowS

show :: Constraint -> String

showList :: [Constraint] -> ShowS

JsToDoc JLocalType

Defined in Language.Javascript.JMacro.Base

Methods

jsToDoc :: JLocalType -> Doc

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

type VarRef = (Maybe String, Int)

anyType :: TypeParser JType

parseType :: String -> Either ParseError JType

runTypeParser :: CharParser a JLocalType