ProjectM36.Atomable

Documentation

class (Eq a, NFData a, Binary 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.

Methods

toAtom :: a -> Atom

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

fromAtom :: Atom -> a

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

toAtomType :: proxy a -> AtomType

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.

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

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

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 Text

Defined in ProjectM36.Atomable

Methods

toAtom :: Text -> Atom

fromAtom :: Atom -> Text

toAtomType :: proxy Text -> AtomType

toAddTypeExpr :: proxy Text -> DatabaseContextExpr

Atomable UTCTime

Defined in ProjectM36.Atomable

Methods

toAtom :: UTCTime -> Atom

fromAtom :: Atom -> UTCTime

toAtomType :: proxy UTCTime -> AtomType

toAddTypeExpr :: proxy UTCTime -> DatabaseContextExpr

Atomable Day

Defined in ProjectM36.Atomable

Methods

toAtom :: Day -> Atom

fromAtom :: Atom -> Day

toAtomType :: proxy Day -> AtomType

toAddTypeExpr :: proxy Day -> 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

Minimal complete definition

toAtomG, fromAtomG, toAtomTypeG, toAtomsG, toAddTypeExprG, getConstructorsG, getConstructorArgsG

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 -> *)

Defined in ProjectM36.Atomable

Methods

toAtomG :: U1 a -> AtomType -> Atom

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

toAtomTypeG :: U1 a -> AtomType

toAtomsG :: U1 a -> [Atom]

toAddTypeExprG :: U1 a -> AtomType -> DatabaseContextExpr

getConstructorsG :: U1 a -> [DataConstructorDef]

getConstructorArgsG :: U1 a -> [DataConstructorDefArg]

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

Defined in ProjectM36.Atomable

Methods

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

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

toAtomTypeG :: (a :+: b) a0 -> AtomType

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

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

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

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

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

Defined in ProjectM36.Atomable

Methods

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

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

toAtomTypeG :: (a :*: b) a0 -> AtomType

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

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

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

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

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

Defined in ProjectM36.Atomable

Methods

toAtomG :: K1 c a a0 -> AtomType -> Atom

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

toAtomTypeG :: K1 c a a0 -> AtomType

toAtomsG :: K1 c a a0 -> [Atom]

toAddTypeExprG :: K1 c a a0 -> AtomType -> DatabaseContextExpr

getConstructorsG :: K1 c a a0 -> [DataConstructorDef]

getConstructorArgsG :: K1 c a a0 -> [DataConstructorDefArg]

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

Defined in ProjectM36.Atomable

Methods

toAtomG :: M1 S c a a0 -> AtomType -> Atom

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

toAtomTypeG :: M1 S c a a0 -> AtomType

toAtomsG :: M1 S c a a0 -> [Atom]

toAddTypeExprG :: M1 S c a a0 -> AtomType -> DatabaseContextExpr

getConstructorsG :: M1 S c a a0 -> [DataConstructorDef]

getConstructorArgsG :: M1 S c a a0 -> [DataConstructorDefArg]

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

Defined in ProjectM36.Atomable

Methods

toAtomG :: M1 C c a a0 -> AtomType -> Atom

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

toAtomTypeG :: M1 C c a a0 -> AtomType

toAtomsG :: M1 C c a a0 -> [Atom]

toAddTypeExprG :: M1 C c a a0 -> AtomType -> DatabaseContextExpr

getConstructorsG :: M1 C c a a0 -> [DataConstructorDef]

getConstructorArgsG :: M1 C c a a0 -> [DataConstructorDefArg]

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

Defined in ProjectM36.Atomable

Methods

toAtomG :: M1 D c a a0 -> AtomType -> Atom

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

toAtomTypeG :: M1 D c a a0 -> AtomType

toAtomsG :: M1 D c a a0 -> [Atom]

toAddTypeExprG :: M1 D c a a0 -> AtomType -> DatabaseContextExpr

getConstructorsG :: M1 D c a a0 -> [DataConstructorDef]

getConstructorArgsG :: M1 D c a a0 -> [DataConstructorDefArg]

typeToTypeConstructor :: AtomType -> TypeConstructor