Safe Haskell	None
Language	Haskell2010

ProjectM36.Atomable

Synopsis

class (Eq a, NFData a, Binary a, Show a) => Atomable a where
class AtomableG g where
typeToTypeConstructor :: AtomType -> TypeConstructor

Documentation

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

Methods

toAtom :: a -> Atom Source #

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

fromAtom :: Atom -> a Source #

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

toAtomType :: proxy a -> AtomType Source #

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.

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

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

Instances

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

Minimal complete definition

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

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

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

typeToTypeConstructor :: AtomType -> TypeConstructor Source #