Safe Haskell	None
Language	Haskell2010

Elm.TyRep

Description

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

Synopsis

data ETypeDef
- = ETypeAlias EAlias
- | ETypePrimAlias EPrimAlias
- | ETypeSum ESum
data EType
- = ETyVar ETVar
- | ETyCon ETCon
- | ETyApp EType EType
- | ETyTuple Int
newtype ETCon = ETCon {
- tc_name :: String
}
newtype ETVar = ETVar {
- tv_name :: String
}
data ETypeName = ETypeName {
- et_name :: String
- et_args :: [ETVar]
}
data EPrimAlias = EPrimAlias {
- epa_name :: ETypeName
- epa_type :: EType
}
data EAlias = EAlias {
- ea_name :: ETypeName
- ea_fields :: [(String, EType)]
- ea_omit_null :: Bool
- ea_newtype :: Bool
- ea_unwrap_unary :: Bool
}
data SumTypeFields
- = Anonymous [EType]
- | Named [(String, EType)]
isNamed :: SumTypeFields -> Bool
data SumTypeConstructor = STC {
- _stcName :: String
- _stcEncoded :: String
- _stcFields :: SumTypeFields
}
data ESum = ESum {
- es_name :: ETypeName
- es_constructors :: [SumTypeConstructor]
- es_type :: SumEncoding'
- es_omit_null :: Bool
- es_unary_strings :: Bool
}
unpackTupleType :: EType -> [EType]
unpackToplevelConstr :: EType -> [EType]
class IsElmDefinition a where
- compileElmDef :: Proxy a -> ETypeDef
newtype SumEncoding' = SumEncoding' SumEncoding
defSumEncoding :: SumEncoding'
toElmType :: Typeable a => Proxy a -> EType

Documentation

data ETypeDef Source #

Type definition, including constructors.

Constructors

ETypeAlias EAlias
ETypePrimAlias EPrimAlias
ETypeSum ESum

Instances

Eq ETypeDef Source #
Instance details Defined in Elm.TyRep Methods (==) :: ETypeDef -> ETypeDef -> Bool # (/=) :: ETypeDef -> ETypeDef -> Bool #
Show ETypeDef Source #
Instance details Defined in Elm.TyRep Methods showsPrec :: Int -> ETypeDef -> ShowS # show :: ETypeDef -> String # showList :: [ETypeDef] -> ShowS #
ElmRenderable ETypeDef Source #
Instance details Defined in Elm.TyRender Methods renderElm :: ETypeDef -> String Source #

data EType Source #

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

Constructors

ETyVar ETVar
ETyCon ETCon
ETyApp EType EType
ETyTuple Int

Instances

Eq EType Source #
Instance details Defined in Elm.TyRep Methods (==) :: EType -> EType -> Bool # (/=) :: EType -> EType -> Bool #
Ord EType Source #
Instance details Defined in Elm.TyRep Methods compare :: EType -> EType -> Ordering # (<) :: EType -> EType -> Bool # (<=) :: EType -> EType -> Bool # (>) :: EType -> EType -> Bool # (>=) :: EType -> EType -> Bool # max :: EType -> EType -> EType # min :: EType -> EType -> EType #
Show EType Source #
Instance details Defined in Elm.TyRep Methods showsPrec :: Int -> EType -> ShowS # show :: EType -> String # showList :: [EType] -> ShowS #
ElmRenderable EType Source #
Instance details Defined in Elm.TyRender Methods renderElm :: EType -> String Source #

newtype ETCon Source #

Type constructor:

ETCon "Int"

Constructors

ETCon
Fields tc_name :: String

Instances

Eq ETCon Source #
Instance details Defined in Elm.TyRep Methods (==) :: ETCon -> ETCon -> Bool # (/=) :: ETCon -> ETCon -> Bool #
Ord ETCon Source #
Instance details Defined in Elm.TyRep Methods compare :: ETCon -> ETCon -> Ordering # (<) :: ETCon -> ETCon -> Bool # (<=) :: ETCon -> ETCon -> Bool # (>) :: ETCon -> ETCon -> Bool # (>=) :: ETCon -> ETCon -> Bool # max :: ETCon -> ETCon -> ETCon # min :: ETCon -> ETCon -> ETCon #
Show ETCon Source #
Instance details Defined in Elm.TyRep Methods showsPrec :: Int -> ETCon -> ShowS # show :: ETCon -> String # showList :: [ETCon] -> ShowS #
ElmRenderable ETCon Source #
Instance details Defined in Elm.TyRender Methods renderElm :: ETCon -> String Source #

newtype ETVar Source #

Type variable:

ETVar "a"

Constructors

ETVar
Fields tv_name :: String

Instances

Eq ETVar Source #
Instance details Defined in Elm.TyRep Methods (==) :: ETVar -> ETVar -> Bool # (/=) :: ETVar -> ETVar -> Bool #
Ord ETVar Source #
Instance details Defined in Elm.TyRep Methods compare :: ETVar -> ETVar -> Ordering # (<) :: ETVar -> ETVar -> Bool # (<=) :: ETVar -> ETVar -> Bool # (>) :: ETVar -> ETVar -> Bool # (>=) :: ETVar -> ETVar -> Bool # max :: ETVar -> ETVar -> ETVar # min :: ETVar -> ETVar -> ETVar #
Show ETVar Source #
Instance details Defined in Elm.TyRep Methods showsPrec :: Int -> ETVar -> ShowS # show :: ETVar -> String # showList :: [ETVar] -> ShowS #
ElmRenderable ETVar Source #
Instance details Defined in Elm.TyRender Methods renderElm :: ETVar -> String Source #

data ETypeName Source #

Type name:

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

Constructors

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

Instances

Eq ETypeName Source #
Instance details Defined in Elm.TyRep Methods (==) :: ETypeName -> ETypeName -> Bool # (/=) :: ETypeName -> ETypeName -> Bool #
Ord ETypeName Source #
Instance details Defined in Elm.TyRep Methods compare :: ETypeName -> ETypeName -> Ordering # (<) :: ETypeName -> ETypeName -> Bool # (<=) :: ETypeName -> ETypeName -> Bool # (>) :: ETypeName -> ETypeName -> Bool # (>=) :: ETypeName -> ETypeName -> Bool # max :: ETypeName -> ETypeName -> ETypeName # min :: ETypeName -> ETypeName -> ETypeName #
Show ETypeName Source #
Instance details Defined in Elm.TyRep Methods showsPrec :: Int -> ETypeName -> ShowS # show :: ETypeName -> String # showList :: [ETypeName] -> ShowS #
ElmRenderable ETypeName Source #
Instance details Defined in Elm.TyRender Methods renderElm :: ETypeName -> String Source #

data EPrimAlias Source #

Constructors

EPrimAlias
Fields epa_name :: ETypeName epa_type :: EType

Instances

Eq EPrimAlias Source #
Instance details Defined in Elm.TyRep Methods (==) :: EPrimAlias -> EPrimAlias -> Bool # (/=) :: EPrimAlias -> EPrimAlias -> Bool #
Ord EPrimAlias Source #
Instance details Defined in Elm.TyRep Methods compare :: EPrimAlias -> EPrimAlias -> Ordering # (<) :: EPrimAlias -> EPrimAlias -> Bool # (<=) :: EPrimAlias -> EPrimAlias -> Bool # (>) :: EPrimAlias -> EPrimAlias -> Bool # (>=) :: EPrimAlias -> EPrimAlias -> Bool # max :: EPrimAlias -> EPrimAlias -> EPrimAlias # min :: EPrimAlias -> EPrimAlias -> EPrimAlias #
Show EPrimAlias Source #
Instance details Defined in Elm.TyRep Methods showsPrec :: Int -> EPrimAlias -> ShowS # show :: EPrimAlias -> String # showList :: [EPrimAlias] -> ShowS #
ElmRenderable EPrimAlias Source #
Instance details Defined in Elm.TyRender Methods renderElm :: EPrimAlias -> String Source #

data EAlias Source #

Constructors

EAlias
Fields ea_name :: ETypeName ea_fields :: [(String, EType)] ea_omit_null :: Bool ea_newtype :: Bool ea_unwrap_unary :: Bool

Instances

Eq EAlias Source #
Instance details Defined in Elm.TyRep Methods (==) :: EAlias -> EAlias -> Bool # (/=) :: EAlias -> EAlias -> Bool #
Ord EAlias Source #
Instance details Defined in Elm.TyRep Methods compare :: EAlias -> EAlias -> Ordering # (<) :: EAlias -> EAlias -> Bool # (<=) :: EAlias -> EAlias -> Bool # (>) :: EAlias -> EAlias -> Bool # (>=) :: EAlias -> EAlias -> Bool # max :: EAlias -> EAlias -> EAlias # min :: EAlias -> EAlias -> EAlias #
Show EAlias Source #
Instance details Defined in Elm.TyRep Methods showsPrec :: Int -> EAlias -> ShowS # show :: EAlias -> String # showList :: [EAlias] -> ShowS #
ElmRenderable EAlias Source #
Instance details Defined in Elm.TyRender Methods renderElm :: EAlias -> String Source #

data SumTypeFields Source #

Constructors

Anonymous [EType]
Named [(String, EType)]

Instances

Eq SumTypeFields Source #
Instance details Defined in Elm.TyRep Methods (==) :: SumTypeFields -> SumTypeFields -> Bool # (/=) :: SumTypeFields -> SumTypeFields -> Bool #
Ord SumTypeFields Source #
Instance details Defined in Elm.TyRep Methods compare :: SumTypeFields -> SumTypeFields -> Ordering # (<) :: SumTypeFields -> SumTypeFields -> Bool # (<=) :: SumTypeFields -> SumTypeFields -> Bool # (>) :: SumTypeFields -> SumTypeFields -> Bool # (>=) :: SumTypeFields -> SumTypeFields -> Bool # max :: SumTypeFields -> SumTypeFields -> SumTypeFields # min :: SumTypeFields -> SumTypeFields -> SumTypeFields #
Show SumTypeFields Source #
Instance details Defined in Elm.TyRep Methods showsPrec :: Int -> SumTypeFields -> ShowS # show :: SumTypeFields -> String # showList :: [SumTypeFields] -> ShowS #

isNamed :: SumTypeFields -> Bool Source #

data SumTypeConstructor Source #

Constructors

STC
Fields _stcName :: String _stcEncoded :: String _stcFields :: SumTypeFields

Instances

Eq SumTypeConstructor Source #
Instance details Defined in Elm.TyRep Methods (==) :: SumTypeConstructor -> SumTypeConstructor -> Bool # (/=) :: SumTypeConstructor -> SumTypeConstructor -> Bool #
Ord SumTypeConstructor Source #
Instance details Defined in Elm.TyRep Methods compare :: SumTypeConstructor -> SumTypeConstructor -> Ordering # (<) :: SumTypeConstructor -> SumTypeConstructor -> Bool # (<=) :: SumTypeConstructor -> SumTypeConstructor -> Bool # (>) :: SumTypeConstructor -> SumTypeConstructor -> Bool # (>=) :: SumTypeConstructor -> SumTypeConstructor -> Bool # max :: SumTypeConstructor -> SumTypeConstructor -> SumTypeConstructor # min :: SumTypeConstructor -> SumTypeConstructor -> SumTypeConstructor #
Show SumTypeConstructor Source #
Instance details Defined in Elm.TyRep Methods showsPrec :: Int -> SumTypeConstructor -> ShowS # show :: SumTypeConstructor -> String # showList :: [SumTypeConstructor] -> ShowS #

data ESum Source #

Constructors

ESum
Fields es_name :: ETypeName es_constructors :: [SumTypeConstructor] es_type :: SumEncoding' es_omit_null :: Bool es_unary_strings :: Bool

Instances

Eq ESum Source #
Instance details Defined in Elm.TyRep Methods (==) :: ESum -> ESum -> Bool # (/=) :: ESum -> ESum -> Bool #
Ord ESum Source #
Instance details Defined in Elm.TyRep 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 #
Instance details Defined in Elm.TyRep Methods showsPrec :: Int -> ESum -> ShowS # show :: ESum -> String # showList :: [ESum] -> ShowS #
ElmRenderable ESum Source #
Instance details Defined in Elm.TyRender Methods renderElm :: ESum -> String Source #

unpackTupleType :: EType -> [EType] Source #

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

unpackToplevelConstr :: EType -> [EType] Source #

class IsElmDefinition a where Source #

Methods

compileElmDef :: Proxy a -> ETypeDef Source #

newtype SumEncoding' Source #

Constructors

SumEncoding' SumEncoding

Instances

Eq SumEncoding' Source #
Instance details Defined in Elm.TyRep Methods (==) :: SumEncoding' -> SumEncoding' -> Bool # (/=) :: SumEncoding' -> SumEncoding' -> Bool #
Ord SumEncoding' Source #
Instance details Defined in Elm.TyRep Methods compare :: SumEncoding' -> SumEncoding' -> Ordering # (<) :: SumEncoding' -> SumEncoding' -> Bool # (<=) :: SumEncoding' -> SumEncoding' -> Bool # (>) :: SumEncoding' -> SumEncoding' -> Bool # (>=) :: SumEncoding' -> SumEncoding' -> Bool # max :: SumEncoding' -> SumEncoding' -> SumEncoding' # min :: SumEncoding' -> SumEncoding' -> SumEncoding' #
Show SumEncoding' Source #
Instance details Defined in Elm.TyRep Methods showsPrec :: Int -> SumEncoding' -> ShowS # show :: SumEncoding' -> String # showList :: [SumEncoding'] -> ShowS #

defSumEncoding :: SumEncoding' Source #

toElmType :: Typeable a => Proxy a -> EType Source #

Get an elm-bridge type representation for a Haskell type. This can be used to render the type declaration via ElmRenderable or the the JSON serializer/parser names via jsonSerForType and jsonParserForType.