elm-bridge-0.4.2: Derive Elm types and Json code from Haskell types

Safe HaskellNone
LanguageHaskell2010

Elm.TyRep

Description

This module defines how the derived Haskell data types are represented. - It is useful for writing type conversion rules.

Synopsis

Documentation

data EType Source #

Type construction : type variables, type constructors, tuples and type application.

Instances

data ETCon Source #

Type constructor:

ETCon "Int"

Constructors

ETCon 

Fields

Instances

data ETVar Source #

Type variable:

ETVar "a"

Constructors

ETVar 

Fields

Instances

data ESum Source #

Instances

Eq ESum Source # 

Methods

(==) :: ESum -> ESum -> Bool #

(/=) :: ESum -> ESum -> Bool #

Ord ESum Source # 

Methods

compare :: ESum -> ESum -> Ordering #

(<) :: ESum -> ESum -> Bool #

(<=) :: ESum -> ESum -> Bool #

(>) :: ESum -> ESum -> Bool #

(>=) :: ESum -> ESum -> Bool #

max :: ESum -> ESum -> ESum #

min :: ESum -> ESum -> ESum #

Show ESum Source # 

Methods

showsPrec :: Int -> ESum -> ShowS #

show :: ESum -> String #

showList :: [ESum] -> ShowS #

ElmRenderable ESum Source # 

unpackTupleType :: EType -> [EType] Source #

Transforms tuple types in a list of types. Otherwise returns a singleton list with the original type.

class IsElmDefinition a where Source #

Minimal complete definition

compileElmDef