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

Safe Haskell	None
Language	Haskell98

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
JsToDoc JLocalType
JsToDoc JType
Compos1 JType
Typeable * JType

data Constraint Source

Constructors

Sub JType
Super JType

Instances

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

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