Language.Haskell.To.Elm

Classes

class HasElmType a where

Represents that the corresponding Elm type for the Haskell type a is elmType @a.

Minimal complete definition

elmType | elmDefinition

Methods

elmType :: Type v

default elmType :: Type v

elmDefinition :: Maybe Definition

When Just, this represents that we can generate the definition for the Elm type that corresponds to a using elmDefinition @a.

See deriveElmTypeDefinition for a way to automatically derive elmDefinition.

When Nothing, it means that the type is an already existing Elm type that does not need to be generated.

Instances

HasElmType Bool

Defined in Language.Haskell.To.Elm

Methods

elmType :: Type v

elmDefinition :: Maybe Definition

HasElmType Char

Defined in Language.Haskell.To.Elm

Methods

elmType :: Type v

elmDefinition :: Maybe Definition

HasElmType Double

Defined in Language.Haskell.To.Elm

Methods

elmType :: Type v

elmDefinition :: Maybe Definition

HasElmType Float

Defined in Language.Haskell.To.Elm

Methods

elmType :: Type v

elmDefinition :: Maybe Definition

HasElmType Int

Defined in Language.Haskell.To.Elm

Methods

elmType :: Type v

elmDefinition :: Maybe Definition

HasElmType Int8

Defined in Language.Haskell.To.Elm

Methods

elmType :: Type v

elmDefinition :: Maybe Definition

HasElmType Int16

Defined in Language.Haskell.To.Elm

Methods

elmType :: Type v

elmDefinition :: Maybe Definition

HasElmType Int32

Defined in Language.Haskell.To.Elm

Methods

elmType :: Type v

elmDefinition :: Maybe Definition

HasElmType Word8

Defined in Language.Haskell.To.Elm

Methods

elmType :: Type v

elmDefinition :: Maybe Definition

HasElmType Word16

Defined in Language.Haskell.To.Elm

Methods

elmType :: Type v

elmDefinition :: Maybe Definition

HasElmType Word32

Defined in Language.Haskell.To.Elm

Methods

elmType :: Type v

elmDefinition :: Maybe Definition

HasElmType Text

Defined in Language.Haskell.To.Elm

Methods

elmType :: Type v

elmDefinition :: Maybe Definition

HasElmType UTCTime

Defined in Language.Haskell.To.Elm

Methods

elmType :: Type v

elmDefinition :: Maybe Definition

HasElmType a => HasElmType ([a] :: Type)

Defined in Language.Haskell.To.Elm

Methods

elmType :: Type0 v

elmDefinition :: Maybe Definition

HasElmType a => HasElmType (Maybe a :: Type)

Defined in Language.Haskell.To.Elm

Methods

elmType :: Type0 v

elmDefinition :: Maybe Definition

HasElmType a => HasElmType (Vector a :: Type)

Defined in Language.Haskell.To.Elm

Methods

elmType :: Type0 v

elmDefinition :: Maybe Definition

KnownNat n => HasElmType (Parameter n :: Type)

Defined in Language.Haskell.To.Elm

Methods

elmType :: Type0 v

elmDefinition :: Maybe Definition

(HasElmType a, HasElmType b) => HasElmType ((a, b) :: Type)

Defined in Language.Haskell.To.Elm

Methods

elmType :: Type0 v

elmDefinition :: Maybe Definition

class HasElmType a => HasElmDecoder value a where

Represents that the Elm type that corresponds to a has a decoder from value, namely elmDecoder @value @a.

Minimal complete definition

elmDecoder | elmDecoderDefinition

Methods

elmDecoder :: Expression v

default elmDecoder :: Expression v

elmDecoderDefinition :: Maybe Definition

When Just, this represents that we can generate the Elm decoder definition from value for the Elm type that corresponds to a.

See deriveElmJSONDecoder for a way to automatically derive elmDecoderDefinition when value = Value.

Instances

KnownNat n => HasElmDecoder (value :: k) (Parameter n :: Type)

Defined in Language.Haskell.To.Elm

Methods

elmDecoder :: Expression v

elmDecoderDefinition :: Maybe Definition

HasElmDecoder Text Text

Defined in Language.Haskell.To.Elm

Methods

elmDecoder :: Expression v

elmDecoderDefinition :: Maybe Definition

HasElmDecoder Value Bool

Defined in Language.Haskell.To.Elm

Methods

elmDecoder :: Expression v

elmDecoderDefinition :: Maybe Definition

HasElmDecoder Value Char

Defined in Language.Haskell.To.Elm

Methods

elmDecoder :: Expression v

elmDecoderDefinition :: Maybe Definition

HasElmDecoder Value Double

Defined in Language.Haskell.To.Elm

Methods

elmDecoder :: Expression v

elmDecoderDefinition :: Maybe Definition

HasElmDecoder Value Float

Defined in Language.Haskell.To.Elm

Methods

elmDecoder :: Expression v

elmDecoderDefinition :: Maybe Definition

HasElmDecoder Value Int

Defined in Language.Haskell.To.Elm

Methods

elmDecoder :: Expression v

elmDecoderDefinition :: Maybe Definition

HasElmDecoder Value Int8

Defined in Language.Haskell.To.Elm

Methods

elmDecoder :: Expression v

elmDecoderDefinition :: Maybe Definition

HasElmDecoder Value Int16

Defined in Language.Haskell.To.Elm

Methods

elmDecoder :: Expression v

elmDecoderDefinition :: Maybe Definition

HasElmDecoder Value Int32

Defined in Language.Haskell.To.Elm

Methods

elmDecoder :: Expression v

elmDecoderDefinition :: Maybe Definition

HasElmDecoder Value Word8

Defined in Language.Haskell.To.Elm

Methods

elmDecoder :: Expression v

elmDecoderDefinition :: Maybe Definition

HasElmDecoder Value Word16

Defined in Language.Haskell.To.Elm

Methods

elmDecoder :: Expression v

elmDecoderDefinition :: Maybe Definition

HasElmDecoder Value Word32

Defined in Language.Haskell.To.Elm

Methods

elmDecoder :: Expression v

elmDecoderDefinition :: Maybe Definition

HasElmDecoder Value Text

Defined in Language.Haskell.To.Elm

Methods

elmDecoder :: Expression v

elmDecoderDefinition :: Maybe Definition

HasElmDecoder Value UTCTime

Defined in Language.Haskell.To.Elm

Methods

elmDecoder :: Expression v

elmDecoderDefinition :: Maybe Definition

HasElmDecoder Value a => HasElmDecoder Value ([a] :: Type)

Defined in Language.Haskell.To.Elm

Methods

elmDecoder :: Expression v

elmDecoderDefinition :: Maybe Definition

HasElmDecoder Value a => HasElmDecoder Value (Maybe a :: Type)

Defined in Language.Haskell.To.Elm

Methods

elmDecoder :: Expression v

elmDecoderDefinition :: Maybe Definition

HasElmDecoder Value a => HasElmDecoder Value (Vector a :: Type)

Defined in Language.Haskell.To.Elm

Methods

elmDecoder :: Expression v

elmDecoderDefinition :: Maybe Definition

(HasElmDecoder Value a, HasElmDecoder Value b) => HasElmDecoder Value ((a, b) :: Type)

Defined in Language.Haskell.To.Elm

Methods

elmDecoder :: Expression v

elmDecoderDefinition :: Maybe Definition

class HasElmType a => HasElmEncoder value a where

Represents that the Elm type that corresponds to a has an encoder into value, namely elmEncoder @value @a.

This class has a default instance for types that satisfy HasElmEncoderDefinition, which refers to the name of that definition.

Minimal complete definition

elmEncoder | elmEncoderDefinition

Methods

elmEncoder :: Expression v

default elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

When Just, this represents that we can generate the Elm encoder definition into value for the Elm type that corresponds to a.

See deriveElmJSONEncoder for a way to automatically derive elmEncoderDefinition when value = Value.

Instances

KnownNat n => HasElmEncoder (value :: k) (Parameter n :: Type)

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Text Char

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Text Double

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Text Float

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Text Int

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Text Int8

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Text Int16

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Text Int32

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Text Word8

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Text Word16

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Text Word32

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Text Text

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Value Bool

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Value Char

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Value Double

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Value Float

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Value Int

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Value Int8

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Value Int16

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Value Int32

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Value Word8

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Value Word16

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Value Word32

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Value Text

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Value UTCTime

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Value a => HasElmEncoder Value ([a] :: Type)

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Value a => HasElmEncoder Value (Maybe a :: Type)

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder Value a => HasElmEncoder Value (Vector a :: Type)

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

(HasElmEncoder Value a, HasElmEncoder Value b) => HasElmEncoder Value ((a, b) :: Type)

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

HasElmEncoder a b => HasElmEncoder (Maybe a :: Type) (Maybe b :: Type)

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

Derivers

newtype Options

Elm code generation options

Constructors

Options

Fields

• fieldLabelModifier :: String -> String

  Use this function to go from Haskell record field name to Elm record field name.

defaultOptions :: Options

Type definitions

deriveElmTypeDefinition :: forall a. DeriveParameterisedElmTypeDefinition 0 a => Options -> Qualified -> Definition

Automatically create an Elm definition given a Haskell type.

This is suitable for use as the elmDefinition in a HasElmType instance:

instance HasElmType MyType where
  elmDefinition =
    Just $ deriveElmTypeDefinition @MyType defaultOptions "Api.MyType.MyType"

class DeriveParameterisedElmTypeDefinition numParams a where

Methods

deriveParameterisedElmTypeDefinition :: Options -> Qualified -> Definition

Instances

(KnownNat numParams, HasDatatypeInfo a, All2 (HasElmType :: Type -> Constraint) (Code a)) => DeriveParameterisedElmTypeDefinition (numParams :: Nat) (a :: Type)

Defined in Language.Haskell.To.Elm

Methods

deriveParameterisedElmTypeDefinition :: Options -> Qualified -> Definition

DeriveParameterisedElmTypeDefinition (numParams + 1) (f (Parameter numParams)) => DeriveParameterisedElmTypeDefinition (numParams :: Nat) (f :: Type -> b)

Defined in Language.Haskell.To.Elm

Methods

deriveParameterisedElmTypeDefinition :: Options -> Qualified -> Definition

data Parameter (n :: Nat)

Instances

KnownNat n => HasElmEncoder (value :: k) (Parameter n :: Type)

Defined in Language.Haskell.To.Elm

Methods

elmEncoder :: Expression v

elmEncoderDefinition :: Maybe Definition

KnownNat n => HasElmDecoder (value :: k) (Parameter n :: Type)

Defined in Language.Haskell.To.Elm

Methods

elmDecoder :: Expression v

elmDecoderDefinition :: Maybe Definition

KnownNat n => HasElmType (Parameter n :: Type)

Defined in Language.Haskell.To.Elm

Methods

elmType :: Type0 v

elmDefinition :: Maybe Definition

parameterName :: Int -> Qualified

JSON decoders

deriveElmJSONDecoder :: forall a. DeriveParameterisedElmDecoderDefinition 0 Value a => Options -> Options -> Qualified -> Definition

Automatically create an Elm JSON decoder definition given a Haskell type.

This is suitable for use as the elmDecoderDefinition in a HasElmDecoder Value instance:

instance HasElmDecoder Value MyType where
  elmDecoderDefinition =
    Just $ deriveElmJSONDecoder @MyType defaultOptions defaultOptions "Api.MyType.decoder"

Uses the given Options to match the JSON format of derived FromJSON and ToJSON instances.

class DeriveParameterisedElmDecoderDefinition numParams value a where

Methods

deriveParameterisedElmDecoderDefinition :: Options -> Options -> Qualified -> Definition

Instances

DeriveParameterisedElmDecoderDefinition (numParams + 1) value (f (Parameter numParams)) => DeriveParameterisedElmDecoderDefinition (numParams :: Nat) (value :: k) (f :: Type -> b)

Defined in Language.Haskell.To.Elm

Methods

deriveParameterisedElmDecoderDefinition :: Options -> Options -> Qualified -> Definition

(HasElmType a, KnownNat numParams, HasDatatypeInfo a, All2 (HasElmDecoder Value :: Type -> Constraint) (Code a)) => DeriveParameterisedElmDecoderDefinition (numParams :: Nat) Value (a :: Type)

Defined in Language.Haskell.To.Elm

Methods

deriveParameterisedElmDecoderDefinition :: Options -> Options -> Qualified -> Definition

JSON encoders

deriveElmJSONEncoder :: forall a. DeriveParameterisedElmEncoderDefinition 0 Value a => Options -> Options -> Qualified -> Definition

Automatically create an Elm JSON encoder definition given a Haskell type.

This is suitable for use as the elmEncoderDefinition in a 'HasElmEncoder Value instance:

instance HasElmEncoder Value MyType where
  elmEncoderDefinition =
    Just $ deriveElmJSONEncoder @MyType defaultOptions defaultOptions "Api.MyType.encoder"

Uses the given Options to match the JSON format of derived FromJSON and ToJSON instances.

class DeriveParameterisedElmEncoderDefinition numParams value a where

Methods

deriveParameterisedElmEncoderDefinition :: Options -> Options -> Qualified -> Definition

Instances

DeriveParameterisedElmEncoderDefinition (numParams + 1) value (f (Parameter numParams)) => DeriveParameterisedElmEncoderDefinition (numParams :: Nat) (value :: k) (f :: Type -> b)

Defined in Language.Haskell.To.Elm

Methods

deriveParameterisedElmEncoderDefinition :: Options -> Options -> Qualified -> Definition

(HasElmType a, KnownNat numParams, HasDatatypeInfo a, All2 (HasElmEncoder Value :: Type -> Constraint) (Code a)) => DeriveParameterisedElmEncoderDefinition (numParams :: Nat) Value (a :: Type)

Defined in Language.Haskell.To.Elm

Methods

deriveParameterisedElmEncoderDefinition :: Options -> Options -> Qualified -> Definition

jsonDefinitions :: forall t. (HasElmEncoder Value t, HasElmDecoder Value t) => [Definition]

A shorthand for a list of the type definitions for jsonDefinitions @MyType is a shorthand for creating a list of its elmDefinition, elmEncoderDefinition @Value, and elmDecoderDefinition @Value.