Variants.hs

-- | Haskell-specific convenience layer over the generated Hydra.Dsl.Variants module.
-- Adds Haskell enum -> TypedTerm converter functions.

module Hydra.Dsl.Meta.Variants (
  module Hydra.Dsl.Variants,
  module Hydra.Dsl.Meta.Variants,
) where

import Hydra.Kernel
import Hydra.Dsl.Meta.Phantoms
import Hydra.Dsl.Variants


-- | Convert a Haskell LiteralVariant to a TypedTerm
literalVariant :: LiteralVariant -> TypedTerm LiteralVariant
literalVariant v = injectUnit _LiteralVariant $ case v of
  LiteralVariantBinary -> _LiteralVariant_binary
  LiteralVariantBoolean -> _LiteralVariant_boolean
  LiteralVariantDecimal -> _LiteralVariant_decimal
  LiteralVariantFloat -> _LiteralVariant_float
  LiteralVariantInteger -> _LiteralVariant_integer
  LiteralVariantString -> _LiteralVariant_string

-- | Convert a Haskell TermVariant to a TypedTerm
termVariant :: TermVariant -> TypedTerm TermVariant
termVariant v = injectUnit _TermVariant $ case v of
  TermVariantAnnotated -> _TermVariant_annotated
  TermVariantApplication -> _TermVariant_application
  TermVariantCases -> _TermVariant_cases
  TermVariantEither -> _TermVariant_either
  TermVariantLambda -> _TermVariant_lambda
  TermVariantLet -> _TermVariant_let
  TermVariantList -> _TermVariant_list
  TermVariantLiteral -> _TermVariant_literal
  TermVariantMap -> _TermVariant_map
  TermVariantOptional -> _TermVariant_optional
  TermVariantPair -> _TermVariant_pair
  TermVariantProject -> _TermVariant_project
  TermVariantRecord -> _TermVariant_record
  TermVariantSet -> _TermVariant_set
  TermVariantTypeLambda -> _TermVariant_typeLambda
  TermVariantTypeApplication -> _TermVariant_typeApplication
  TermVariantInject -> _TermVariant_inject
  TermVariantUnit -> _TermVariant_unit
  TermVariantUnwrap -> _TermVariant_unwrap
  TermVariantVariable -> _TermVariant_variable
  TermVariantWrap -> _TermVariant_wrap

-- | Convert a Haskell TypeVariant to a TypedTerm
typeVariant :: TypeVariant -> TypedTerm TypeVariant
typeVariant v = injectUnit _TypeVariant $ case v of
  TypeVariantAnnotated -> _TypeVariant_annotated
  TypeVariantApplication -> _TypeVariant_application
  TypeVariantEither -> _TypeVariant_either
  TypeVariantFunction -> _TypeVariant_function
  TypeVariantForall -> _TypeVariant_forall
  TypeVariantList -> _TypeVariant_list
  TypeVariantLiteral -> _TypeVariant_literal
  TypeVariantMap -> _TypeVariant_map
  TypeVariantOptional -> _TypeVariant_optional
  TypeVariantPair -> _TypeVariant_pair
  TypeVariantRecord -> _TypeVariant_record
  TypeVariantSet -> _TypeVariant_set
  TypeVariantUnion -> _TypeVariant_union
  TypeVariantUnit -> _TypeVariant_unit
  TypeVariantVariable -> _TypeVariant_variable
  TypeVariantVoid -> _TypeVariant_void
  TypeVariantWrap -> _TypeVariant_wrap