Data.Postgres.Custom.Enum

typeName :: forall @a ty. CustomEnum a ty => String

class CustomEnum :: Type -> Symbol -> Constraintclass (IsSymbol ty, Rep a, Eq a) <= CustomEnum a ty | a -> ty where

Members

• enumVariants :: NonEmptyArray (a /\ String)
• parseEnum :: String -> Maybe a
• printEnum :: a -> String

defaultParseEnum :: forall a ty. CustomEnum a ty => String -> Maybe a

defaultPrintEnum :: forall a ty. CustomEnum a ty => a -> String

defaultDeserializeEnum :: forall @a ty. CustomEnum a ty => Raw -> RepT a

defaultSerializeEnum :: forall @a ty. CustomEnum a ty => a -> RepT Raw

class GenericCustomEnum a  where

Members

• genericEnumVariants' :: NonEmptyArray (a /\ String)
• genericParseEnum' :: String -> Maybe a
• genericPrintEnum' :: a -> String

Instances

• (IsSymbol n) => GenericCustomEnum (Constructor n NoArguments)
• (GenericCustomEnum a, GenericCustomEnum b) => GenericCustomEnum (Sum a b)

enumPrintExpr :: forall @a ty. CustomEnum a ty => a -> Maybe String

genericEnumVariants :: forall a g. Generic a g => GenericCustomEnum g => NonEmptyArray (a /\ String)

genericParseEnum :: forall a g. Generic a g => GenericCustomEnum g => String -> Maybe a

genericPrintEnum :: forall a g. Generic a g => GenericCustomEnum g => a -> String

create :: forall @a ty. CustomEnum a ty => Query