jmacro-0.5.2: QuasiQuotation library for programmatic generation of Javascript code.

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

Eq JType
Data JType
Ord JType
Read JType
Show JType
Typeable JType
JsToDoc JLocalType
JsToDoc JType
Compos JType

data Constraint Source

Constructors

Sub JType
Super JType

Instances

Eq Constraint
Data Constraint
Ord Constraint
Read Constraint
Show Constraint
Typeable Constraint
JsToDoc JLocalType

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

type VarRef = (Maybe String, Int)Source

anyType :: TypeParser JType Source

parseType :: String -> Either ParseError JType Source

runTypeParser :: ParsecT [Char] st' Identity JLocalType Source