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

Methods

toAtom :: Bool -> Atom

fromAtom :: Atom -> Bool

toAtomType :: proxy Bool -> AtomType

toAddTypeExpr :: Proxy * Bool -> DatabaseContextExpr

Atomable Double

Methods

toAtom :: Double -> Atom

fromAtom :: Atom -> Double

toAtomType :: proxy Double -> AtomType

toAddTypeExpr :: Proxy * Double -> DatabaseContextExpr

Atomable Int

Methods

toAtom :: Int -> Atom

fromAtom :: Atom -> Int

toAtomType :: proxy Int -> AtomType

toAddTypeExpr :: Proxy * Int -> DatabaseContextExpr

Atomable Integer

Methods

toAtom :: Integer -> Atom

fromAtom :: Atom -> Integer

toAtomType :: proxy Integer -> AtomType

toAddTypeExpr :: Proxy * Integer -> DatabaseContextExpr

Atomable ByteString

Methods

toAtom :: ByteString -> Atom

fromAtom :: Atom -> ByteString

toAtomType :: proxy ByteString -> AtomType

toAddTypeExpr :: Proxy * ByteString -> DatabaseContextExpr

Atomable Text

Methods

toAtom :: Text -> Atom

fromAtom :: Atom -> Text

toAtomType :: proxy Text -> AtomType

toAddTypeExpr :: Proxy * Text -> DatabaseContextExpr

Atomable UTCTime

Methods

toAtom :: UTCTime -> Atom

fromAtom :: Atom -> UTCTime

toAtomType :: proxy UTCTime -> AtomType

toAddTypeExpr :: Proxy * UTCTime -> DatabaseContextExpr

Atomable Day

Methods

toAtom :: Day -> Atom

fromAtom :: Atom -> Day

toAtomType :: proxy Day -> AtomType

toAddTypeExpr :: Proxy * Day -> DatabaseContextExpr

Atomable a => Atomable [a]

Methods

toAtom :: [a] -> Atom

fromAtom :: Atom -> [a]

toAtomType :: proxy [a] -> AtomType

toAddTypeExpr :: Proxy * [a] -> DatabaseContextExpr

Atomable a => Atomable (Maybe a)

Methods

toAtom :: Maybe a -> Atom

fromAtom :: Atom -> Maybe a

toAtomType :: proxy (Maybe a) -> AtomType

toAddTypeExpr :: Proxy * (Maybe a) -> DatabaseContextExpr

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

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

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]

Atomable a => AtomableG * (K1 c a)

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]

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

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]

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

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]

(Datatype Meta c, AtomableG * a) => AtomableG * (M1 D c a)

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]

(Constructor Meta c, AtomableG * a) => AtomableG * (M1 C c a)

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]

(Selector Meta c, AtomableG * a) => AtomableG * (M1 S c a)

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]