ProjectM36.Atomable

Documentation

class (Eq a, NFData a, Serialise a, Show a) => Atomable a where

All database values ("atoms") adhere to the Atomable typeclass. This class is derivable allowing new datatypes to be easily marshaling between Haskell values and database values.

Minimal complete definition

Nothing

Methods

toAtom :: a -> Atom

default toAtom :: (Generic a, AtomableG (Rep a)) => a -> Atom

fromAtom :: Atom -> a

default fromAtom :: (Generic a, AtomableG (Rep a)) => Atom -> a

toAtomType :: proxy a -> AtomType

default toAtomType :: (Generic a, AtomableG (Rep a)) => proxy a -> AtomType

toAddTypeExpr :: proxy a -> DatabaseContextExpr

Creates DatabaseContextExpr necessary to load the type constructor and data constructor into the database.

default toAddTypeExpr :: (Generic a, AtomableG (Rep a)) => proxy a -> DatabaseContextExpr

Instances

Atomable Bool

Defined in ProjectM36.Atomable

Methods

toAtom :: Bool -> Atom

fromAtom :: Atom -> Bool

toAtomType :: proxy Bool -> AtomType

toAddTypeExpr :: proxy Bool -> DatabaseContextExpr

Atomable Double

Defined in ProjectM36.Atomable

Methods

toAtom :: Double -> Atom

fromAtom :: Atom -> Double

toAtomType :: proxy Double -> AtomType

toAddTypeExpr :: proxy Double -> DatabaseContextExpr

Atomable Int

Defined in ProjectM36.Atomable

Methods

toAtom :: Int -> Atom

fromAtom :: Atom -> Int

toAtomType :: proxy Int -> AtomType

toAddTypeExpr :: proxy Int -> DatabaseContextExpr

Atomable Integer

Defined in ProjectM36.Atomable

Methods

toAtom :: Integer -> Atom

fromAtom :: Atom -> Integer

toAtomType :: proxy Integer -> AtomType

toAddTypeExpr :: proxy Integer -> DatabaseContextExpr

Atomable ByteString

Defined in ProjectM36.Atomable

Methods

toAtom :: ByteString -> Atom

fromAtom :: Atom -> ByteString

toAtomType :: proxy ByteString -> AtomType

toAddTypeExpr :: proxy ByteString -> DatabaseContextExpr

Atomable UTCTime

Defined in ProjectM36.Atomable

Methods

toAtom :: UTCTime -> Atom

fromAtom :: Atom -> UTCTime

toAtomType :: proxy UTCTime -> AtomType

toAddTypeExpr :: proxy UTCTime -> DatabaseContextExpr

Atomable Text

Defined in ProjectM36.Atomable

Methods

toAtom :: Text -> Atom

fromAtom :: Atom -> Text

toAtomType :: proxy Text -> AtomType

toAddTypeExpr :: proxy Text -> DatabaseContextExpr

Atomable Day

Defined in ProjectM36.Atomable

Methods

toAtom :: Day -> Atom

fromAtom :: Atom -> Day

toAtomType :: proxy Day -> AtomType

toAddTypeExpr :: proxy Day -> DatabaseContextExpr

Atomable UUID

Defined in ProjectM36.Atomable

Methods

toAtom :: UUID -> Atom

fromAtom :: Atom -> UUID

toAtomType :: proxy UUID -> AtomType

toAddTypeExpr :: proxy UUID -> DatabaseContextExpr

Atomable a => Atomable [a]

Defined in ProjectM36.Atomable

Methods

toAtom :: [a] -> Atom

fromAtom :: Atom -> [a]

toAtomType :: proxy [a] -> AtomType

toAddTypeExpr :: proxy [a] -> DatabaseContextExpr

Atomable a => Atomable (Maybe a)

Defined in ProjectM36.Atomable

Methods

toAtom :: Maybe a -> Atom

fromAtom :: Atom -> Maybe a

toAtomType :: proxy (Maybe a) -> AtomType

toAddTypeExpr :: proxy (Maybe a) -> DatabaseContextExpr

Atomable a => Atomable (NonEmpty a)

Defined in ProjectM36.Atomable

Methods

toAtom :: NonEmpty a -> Atom

fromAtom :: Atom -> NonEmpty a

toAtomType :: proxy (NonEmpty a) -> AtomType

toAddTypeExpr :: proxy (NonEmpty a) -> DatabaseContextExpr

(Atomable a, Atomable b) => Atomable (Either a b)

Defined in ProjectM36.Atomable

Methods

toAtom :: Either a b -> Atom

fromAtom :: Atom -> Either a b

toAtomType :: proxy (Either a b) -> AtomType

toAddTypeExpr :: proxy (Either a b) -> DatabaseContextExpr

class AtomableG g where

Methods

toAtomG :: g a -> AtomType -> Atom

fromAtomG :: Atom -> [Atom] -> Maybe (g a)

toAtomTypeG :: g a -> AtomType

toAtomsG :: g a -> [Atom]

toAddTypeExprG :: g a -> AtomType -> DatabaseContextExpr

getConstructorsG :: g a -> [DataConstructorDef]

getConstructorArgsG :: g a -> [DataConstructorDefArg]

Instances

AtomableG (U1 :: k -> Type)

Defined in ProjectM36.Atomable

Methods

toAtomG :: forall (a :: k0). U1 a -> AtomType -> Atom

fromAtomG :: forall (a :: k0). Atom -> [Atom] -> Maybe (U1 a)

toAtomTypeG :: forall (a :: k0). U1 a -> AtomType

toAtomsG :: forall (a :: k0). U1 a -> [Atom]

toAddTypeExprG :: forall (a :: k0). U1 a -> AtomType -> DatabaseContextExpr

getConstructorsG :: forall (a :: k0). U1 a -> [DataConstructorDef]

getConstructorArgsG :: forall (a :: k0). U1 a -> [DataConstructorDefArg]

(AtomableG a, AtomableG b) => AtomableG (a :+: b :: k -> Type)

Defined in ProjectM36.Atomable

Methods

toAtomG :: forall (a0 :: k0). (a :+: b) a0 -> AtomType -> Atom

fromAtomG :: forall (a0 :: k0). Atom -> [Atom] -> Maybe ((a :+: b) a0)

toAtomTypeG :: forall (a0 :: k0). (a :+: b) a0 -> AtomType

toAtomsG :: forall (a0 :: k0). (a :+: b) a0 -> [Atom]

toAddTypeExprG :: forall (a0 :: k0). (a :+: b) a0 -> AtomType -> DatabaseContextExpr

getConstructorsG :: forall (a0 :: k0). (a :+: b) a0 -> [DataConstructorDef]

getConstructorArgsG :: forall (a0 :: k0). (a :+: b) a0 -> [DataConstructorDefArg]

(AtomableG a, AtomableG b) => AtomableG (a :*: b :: k -> Type)

Defined in ProjectM36.Atomable

Methods

toAtomG :: forall (a0 :: k0). (a :*: b) a0 -> AtomType -> Atom

fromAtomG :: forall (a0 :: k0). Atom -> [Atom] -> Maybe ((a :*: b) a0)

toAtomTypeG :: forall (a0 :: k0). (a :*: b) a0 -> AtomType

toAtomsG :: forall (a0 :: k0). (a :*: b) a0 -> [Atom]

toAddTypeExprG :: forall (a0 :: k0). (a :*: b) a0 -> AtomType -> DatabaseContextExpr

getConstructorsG :: forall (a0 :: k0). (a :*: b) a0 -> [DataConstructorDef]

getConstructorArgsG :: forall (a0 :: k0). (a :*: b) a0 -> [DataConstructorDefArg]

Atomable a => AtomableG (K1 c a :: k -> Type)

Defined in ProjectM36.Atomable

Methods

toAtomG :: forall (a0 :: k0). K1 c a a0 -> AtomType -> Atom

fromAtomG :: forall (a0 :: k0). Atom -> [Atom] -> Maybe (K1 c a a0)

toAtomTypeG :: forall (a0 :: k0). K1 c a a0 -> AtomType

toAtomsG :: forall (a0 :: k0). K1 c a a0 -> [Atom]

toAddTypeExprG :: forall (a0 :: k0). K1 c a a0 -> AtomType -> DatabaseContextExpr

getConstructorsG :: forall (a0 :: k0). K1 c a a0 -> [DataConstructorDef]

getConstructorArgsG :: forall (a0 :: k0). K1 c a a0 -> [DataConstructorDefArg]

(Selector c, AtomableG a) => AtomableG (M1 S c a :: k -> Type)

Defined in ProjectM36.Atomable

Methods

toAtomG :: forall (a0 :: k0). M1 S c a a0 -> AtomType -> Atom

fromAtomG :: forall (a0 :: k0). Atom -> [Atom] -> Maybe (M1 S c a a0)

toAtomTypeG :: forall (a0 :: k0). M1 S c a a0 -> AtomType

toAtomsG :: forall (a0 :: k0). M1 S c a a0 -> [Atom]

toAddTypeExprG :: forall (a0 :: k0). M1 S c a a0 -> AtomType -> DatabaseContextExpr

getConstructorsG :: forall (a0 :: k0). M1 S c a a0 -> [DataConstructorDef]

getConstructorArgsG :: forall (a0 :: k0). M1 S c a a0 -> [DataConstructorDefArg]

(Constructor c, AtomableG a) => AtomableG (M1 C c a :: k -> Type)

Defined in ProjectM36.Atomable

Methods

toAtomG :: forall (a0 :: k0). M1 C c a a0 -> AtomType -> Atom

fromAtomG :: forall (a0 :: k0). Atom -> [Atom] -> Maybe (M1 C c a a0)

toAtomTypeG :: forall (a0 :: k0). M1 C c a a0 -> AtomType

toAtomsG :: forall (a0 :: k0). M1 C c a a0 -> [Atom]

toAddTypeExprG :: forall (a0 :: k0). M1 C c a a0 -> AtomType -> DatabaseContextExpr

getConstructorsG :: forall (a0 :: k0). M1 C c a a0 -> [DataConstructorDef]

getConstructorArgsG :: forall (a0 :: k0). M1 C c a a0 -> [DataConstructorDefArg]

(Datatype c, AtomableG a) => AtomableG (M1 D c a :: k -> Type)

Defined in ProjectM36.Atomable

Methods

toAtomG :: forall (a0 :: k0). M1 D c a a0 -> AtomType -> Atom

fromAtomG :: forall (a0 :: k0). Atom -> [Atom] -> Maybe (M1 D c a a0)

toAtomTypeG :: forall (a0 :: k0). M1 D c a a0 -> AtomType

toAtomsG :: forall (a0 :: k0). M1 D c a a0 -> [Atom]

toAddTypeExprG :: forall (a0 :: k0). M1 D c a a0 -> AtomType -> DatabaseContextExpr

getConstructorsG :: forall (a0 :: k0). M1 D c a a0 -> [DataConstructorDef]

getConstructorArgsG :: forall (a0 :: k0). M1 D c a a0 -> [DataConstructorDefArg]

typeToTypeConstructor :: AtomType -> TypeConstructor