elm-bridge-0.2.1.0: Derive Elm types 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 ETypeDef Source

Type definition, including constructors.

data EType Source

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

data ETCon Source

Type constructor:

ETCon "Int"

Constructors

ETCon 

Fields

tc_name :: String
 

data ETVar Source

Type variable:

ETVar "a"

Constructors

ETVar 

Fields

tv_name :: String
 

data ETypeName Source

Type name:

ETypeName "Map" [ETVar "k", ETVar "v"]

Constructors

ETypeName 

Fields

et_name :: String
 
et_args :: [ETVar]
 

unpackTupleType :: EType -> [EType] Source

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