Safe Haskell	Safe-Inferred
Language	Haskell2010

ProjectM36.Atomable

Synopsis

class (Eq a, NFData a, Serialise a, Show a) => Atomable a where
- toAtom :: a -> Atom
- fromAtom :: Atom -> a
- toAtomType :: proxy a -> AtomType
- toAddTypeExpr :: proxy a -> DatabaseContextExpr
class AtomableG g where
- 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]
typeToTypeConstructor :: AtomType -> TypeConstructor

Documentation

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

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 Source #

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

fromAtom :: Atom -> a Source #

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

toAtomType :: proxy a -> AtomType Source #

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

toAddTypeExpr :: proxy a -> DatabaseContextExpr Source #

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

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

Instances

Instances details

Atomable ByteString Source #
Instance details Defined in ProjectM36.Atomable Methods toAtom :: ByteString -> Atom Source # fromAtom :: Atom -> ByteString Source # toAtomType :: proxy ByteString -> AtomType Source # toAddTypeExpr :: proxy ByteString -> DatabaseContextExpr Source #
Atomable Text Source #
Instance details Defined in ProjectM36.Atomable Methods toAtom :: Text -> Atom Source # fromAtom :: Atom -> Text Source # toAtomType :: proxy Text -> AtomType Source # toAddTypeExpr :: proxy Text -> DatabaseContextExpr Source #
Atomable Day Source #
Instance details Defined in ProjectM36.Atomable Methods toAtom :: Day -> Atom Source # fromAtom :: Atom -> Day Source # toAtomType :: proxy Day -> AtomType Source # toAddTypeExpr :: proxy Day -> DatabaseContextExpr Source #
Atomable UTCTime Source #
Instance details Defined in ProjectM36.Atomable Methods toAtom :: UTCTime -> Atom Source # fromAtom :: Atom -> UTCTime Source # toAtomType :: proxy UTCTime -> AtomType Source # toAddTypeExpr :: proxy UTCTime -> DatabaseContextExpr Source #
Atomable UUID Source #
Instance details Defined in ProjectM36.Atomable Methods toAtom :: UUID -> Atom Source # fromAtom :: Atom -> UUID Source # toAtomType :: proxy UUID -> AtomType Source # toAddTypeExpr :: proxy UUID -> DatabaseContextExpr Source #
Atomable Integer Source #
Instance details Defined in ProjectM36.Atomable Methods toAtom :: Integer -> Atom Source # fromAtom :: Atom -> Integer Source # toAtomType :: proxy Integer -> AtomType Source # toAddTypeExpr :: proxy Integer -> DatabaseContextExpr Source #
Atomable Bool Source #
Instance details Defined in ProjectM36.Atomable Methods toAtom :: Bool -> Atom Source # fromAtom :: Atom -> Bool Source # toAtomType :: proxy Bool -> AtomType Source # toAddTypeExpr :: proxy Bool -> DatabaseContextExpr Source #
Atomable Double Source #
Instance details Defined in ProjectM36.Atomable Methods toAtom :: Double -> Atom Source # fromAtom :: Atom -> Double Source # toAtomType :: proxy Double -> AtomType Source # toAddTypeExpr :: proxy Double -> DatabaseContextExpr Source #
Atomable Int Source #
Instance details Defined in ProjectM36.Atomable Methods toAtom :: Int -> Atom Source # fromAtom :: Atom -> Int Source # toAtomType :: proxy Int -> AtomType Source # toAddTypeExpr :: proxy Int -> DatabaseContextExpr Source #
Atomable a => Atomable (NonEmpty a) Source #
Instance details Defined in ProjectM36.Atomable Methods toAtom :: NonEmpty a -> Atom Source # fromAtom :: Atom -> NonEmpty a Source # toAtomType :: proxy (NonEmpty a) -> AtomType Source # toAddTypeExpr :: proxy (NonEmpty a) -> DatabaseContextExpr Source #
Atomable a => Atomable (Maybe a) Source #
Instance details Defined in ProjectM36.Atomable Methods toAtom :: Maybe a -> Atom Source # fromAtom :: Atom -> Maybe a Source # toAtomType :: proxy (Maybe a) -> AtomType Source # toAddTypeExpr :: proxy (Maybe a) -> DatabaseContextExpr Source #
Atomable a => Atomable [a] Source #
Instance details Defined in ProjectM36.Atomable Methods toAtom :: [a] -> Atom Source # fromAtom :: Atom -> [a] Source # toAtomType :: proxy [a] -> AtomType Source # toAddTypeExpr :: proxy [a] -> DatabaseContextExpr Source #
(Atomable a, Atomable b) => Atomable (Either a b) Source #
Instance details Defined in ProjectM36.Atomable Methods toAtom :: Either a b -> Atom Source # fromAtom :: Atom -> Either a b Source # toAtomType :: proxy (Either a b) -> AtomType Source # toAddTypeExpr :: proxy (Either a b) -> DatabaseContextExpr Source #

class AtomableG g where Source #

Methods

toAtomG :: g a -> AtomType -> Atom Source #

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

toAtomTypeG :: g a -> AtomType Source #

toAtomsG :: g a -> [Atom] Source #

toAddTypeExprG :: g a -> AtomType -> DatabaseContextExpr Source #

getConstructorsG :: g a -> [DataConstructorDef] Source #

getConstructorArgsG :: g a -> [DataConstructorDefArg] Source #

Instances

Instances details

AtomableG (U1 :: k -> Type) Source #
Instance details Defined in ProjectM36.Atomable Methods toAtomG :: forall (a :: k0). U1 a -> AtomType -> Atom Source # fromAtomG :: forall (a :: k0). Atom -> [Atom] -> Maybe (U1 a) Source # toAtomTypeG :: forall (a :: k0). U1 a -> AtomType Source # toAtomsG :: forall (a :: k0). U1 a -> [Atom] Source # toAddTypeExprG :: forall (a :: k0). U1 a -> AtomType -> DatabaseContextExpr Source # getConstructorsG :: forall (a :: k0). U1 a -> [DataConstructorDef] Source # getConstructorArgsG :: forall (a :: k0). U1 a -> [DataConstructorDefArg] Source #
(AtomableG a, AtomableG b) => AtomableG (a :*: b :: k -> Type) Source #
Instance details Defined in ProjectM36.Atomable Methods toAtomG :: forall (a0 :: k0). (a :: b) a0 -> AtomType -> Atom Source # fromAtomG :: forall (a0 :: k0). Atom -> [Atom] -> Maybe ((a :: b) a0) Source # toAtomTypeG :: forall (a0 :: k0). (a :: b) a0 -> AtomType Source # toAtomsG :: forall (a0 :: k0). (a :: b) a0 -> [Atom] Source # toAddTypeExprG :: forall (a0 :: k0). (a :: b) a0 -> AtomType -> DatabaseContextExpr Source # getConstructorsG :: forall (a0 :: k0). (a :: b) a0 -> [DataConstructorDef] Source # getConstructorArgsG :: forall (a0 :: k0). (a :*: b) a0 -> [DataConstructorDefArg] Source #
(AtomableG a, AtomableG b) => AtomableG (a :+: b :: k -> Type) Source #
Instance details Defined in ProjectM36.Atomable Methods toAtomG :: forall (a0 :: k0). (a :+: b) a0 -> AtomType -> Atom Source # fromAtomG :: forall (a0 :: k0). Atom -> [Atom] -> Maybe ((a :+: b) a0) Source # toAtomTypeG :: forall (a0 :: k0). (a :+: b) a0 -> AtomType Source # toAtomsG :: forall (a0 :: k0). (a :+: b) a0 -> [Atom] Source # toAddTypeExprG :: forall (a0 :: k0). (a :+: b) a0 -> AtomType -> DatabaseContextExpr Source # getConstructorsG :: forall (a0 :: k0). (a :+: b) a0 -> [DataConstructorDef] Source # getConstructorArgsG :: forall (a0 :: k0). (a :+: b) a0 -> [DataConstructorDefArg] Source #
Atomable a => AtomableG (K1 c a :: k -> Type) Source #
Instance details Defined in ProjectM36.Atomable Methods toAtomG :: forall (a0 :: k0). K1 c a a0 -> AtomType -> Atom Source # fromAtomG :: forall (a0 :: k0). Atom -> [Atom] -> Maybe (K1 c a a0) Source # toAtomTypeG :: forall (a0 :: k0). K1 c a a0 -> AtomType Source # toAtomsG :: forall (a0 :: k0). K1 c a a0 -> [Atom] Source # toAddTypeExprG :: forall (a0 :: k0). K1 c a a0 -> AtomType -> DatabaseContextExpr Source # getConstructorsG :: forall (a0 :: k0). K1 c a a0 -> [DataConstructorDef] Source # getConstructorArgsG :: forall (a0 :: k0). K1 c a a0 -> [DataConstructorDefArg] Source #
(Constructor c, AtomableG a) => AtomableG (M1 C c a :: k -> Type) Source #
Instance details Defined in ProjectM36.Atomable Methods toAtomG :: forall (a0 :: k0). M1 C c a a0 -> AtomType -> Atom Source # fromAtomG :: forall (a0 :: k0). Atom -> [Atom] -> Maybe (M1 C c a a0) Source # toAtomTypeG :: forall (a0 :: k0). M1 C c a a0 -> AtomType Source # toAtomsG :: forall (a0 :: k0). M1 C c a a0 -> [Atom] Source # toAddTypeExprG :: forall (a0 :: k0). M1 C c a a0 -> AtomType -> DatabaseContextExpr Source # getConstructorsG :: forall (a0 :: k0). M1 C c a a0 -> [DataConstructorDef] Source # getConstructorArgsG :: forall (a0 :: k0). M1 C c a a0 -> [DataConstructorDefArg] Source #
(Datatype c, AtomableG a) => AtomableG (M1 D c a :: k -> Type) Source #
Instance details Defined in ProjectM36.Atomable Methods toAtomG :: forall (a0 :: k0). M1 D c a a0 -> AtomType -> Atom Source # fromAtomG :: forall (a0 :: k0). Atom -> [Atom] -> Maybe (M1 D c a a0) Source # toAtomTypeG :: forall (a0 :: k0). M1 D c a a0 -> AtomType Source # toAtomsG :: forall (a0 :: k0). M1 D c a a0 -> [Atom] Source # toAddTypeExprG :: forall (a0 :: k0). M1 D c a a0 -> AtomType -> DatabaseContextExpr Source # getConstructorsG :: forall (a0 :: k0). M1 D c a a0 -> [DataConstructorDef] Source # getConstructorArgsG :: forall (a0 :: k0). M1 D c a a0 -> [DataConstructorDefArg] Source #
(Selector c, AtomableG a) => AtomableG (M1 S c a :: k -> Type) Source #
Instance details Defined in ProjectM36.Atomable Methods toAtomG :: forall (a0 :: k0). M1 S c a a0 -> AtomType -> Atom Source # fromAtomG :: forall (a0 :: k0). Atom -> [Atom] -> Maybe (M1 S c a a0) Source # toAtomTypeG :: forall (a0 :: k0). M1 S c a a0 -> AtomType Source # toAtomsG :: forall (a0 :: k0). M1 S c a a0 -> [Atom] Source # toAddTypeExprG :: forall (a0 :: k0). M1 S c a a0 -> AtomType -> DatabaseContextExpr Source # getConstructorsG :: forall (a0 :: k0). M1 S c a a0 -> [DataConstructorDef] Source # getConstructorArgsG :: forall (a0 :: k0). M1 S c a a0 -> [DataConstructorDefArg] Source #

typeToTypeConstructor :: AtomType -> TypeConstructor Source #