jmacro-0.6.14: 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 Source
Data JType Source
Ord JType Source
Read JType Source
Show JType Source
JsToDoc JLocalType Source
JsToDoc JType Source
Compos1 JType Source

data Constraint Source

Constructors

Sub JType
Super JType

Instances

Eq Constraint Source
Data Constraint Source
Ord Constraint Source
Read Constraint Source
Show Constraint Source
JsToDoc JLocalType 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