elm-bridge-0.1.0.0: Derive Elm types from Haskell types

Safe Haskell	Safe-Inferred
Language	Haskell2010

Elm.TyRep

Documentation

class IsElmDefinition a where Source

Methods

compileElmDef :: Proxy a -> ETypeDef Source

data ETypeDef Source

Constructors

ETypeAlias EAlias
ETypePrimAlias EPrimAlias
ETypeSum ESum

Instances

Eq ETypeDef
Show ETypeDef
ElmRenderable ETypeDef

data EType Source

Constructors

ETyVar ETVar
ETyCon ETCon
ETyApp EType EType
ETyTuple Int

Instances

Eq EType
Ord EType
Show EType
ElmRenderable EType

data ETCon Source

Constructors

ETCon
Fields tc_name :: String

Instances

Eq ETCon
Ord ETCon
Show ETCon
ElmRenderable ETCon

data ETVar Source

Constructors

ETVar
Fields tv_name :: String

Instances

Eq ETVar
Ord ETVar
Show ETVar
ElmRenderable ETVar

data ETypeName Source

Constructors

ETypeName
Fields et_name :: String et_args :: [ETVar]

Instances

Eq ETypeName
Ord ETypeName
Show ETypeName
ElmRenderable ETypeName

data EPrimAlias Source

Constructors

EPrimAlias
Fields epa_name :: ETypeName epa_type :: EType

Instances

Eq EPrimAlias
Ord EPrimAlias
Show EPrimAlias
ElmRenderable EPrimAlias

data EAlias Source

Constructors

EAlias
Fields ea_name :: ETypeName ea_fields :: [(String, EType)]

Instances

Eq EAlias
Ord EAlias
Show EAlias
ElmRenderable EAlias

data ESum Source

Constructors

ESum
Fields es_name :: ETypeName es_options :: [(String, [EType])]

Instances

Eq ESum
Ord ESum
Show ESum
ElmRenderable ESum

unpackTupleType :: EType -> [EType] Source

unpackToplevelConstr :: EType -> [EType] Source