Database.Groundhog.Instances

Documentation

data family Selector v :: Type -> Type

Instances

data Selector (a', b') constr

Defined in Database.Groundhog.Instances

data Selector (a', b') constr where

• Tuple2_0Selector :: forall a b. Selector (a, b) a
• Tuple2_1Selector :: forall a b. Selector (a, b) b

data Selector (a', b', c') constr

Defined in Database.Groundhog.Instances

data Selector (a', b', c') constr where

• Tuple3_0Selector :: forall a b c. Selector (a, b, c) a
• Tuple3_1Selector :: forall a b c. Selector (a, b, c) b
• Tuple3_2Selector :: forall a b c. Selector (a, b, c) c

data Selector (a', b', c', d') constr

Defined in Database.Groundhog.Instances

data Selector (a', b', c', d') constr where

• Tuple4_0Selector :: forall a b c d. Selector (a, b, c, d) a
• Tuple4_1Selector :: forall a b c d. Selector (a, b, c, d) b
• Tuple4_2Selector :: forall a b c d. Selector (a, b, c, d) c
• Tuple4_3Selector :: forall a b c d. Selector (a, b, c, d) d

data Selector (a', b', c', d', e') constr

Defined in Database.Groundhog.Instances

data Selector (a', b', c', d', e') constr where

• Tuple5_0Selector :: forall a b c d e. Selector (a, b, c, d, e) a
• Tuple5_1Selector :: forall a b c d e. Selector (a, b, c, d, e) b
• Tuple5_2Selector :: forall a b c d e. Selector (a, b, c, d, e) c
• Tuple5_3Selector :: forall a b c d e. Selector (a, b, c, d, e) d
• Tuple5_4Selector :: forall a b c d e. Selector (a, b, c, d, e) e

Orphan instances

ToJSON PersistValue

Methods

toJSON :: PersistValue -> Value

toEncoding :: PersistValue -> Encoding

toJSONList :: [PersistValue] -> Value

toEncodingList :: [PersistValue] -> Encoding

FromJSON PersistValue

Methods

parseJSON :: Value -> Parser PersistValue

parseJSONList :: Value -> Parser [PersistValue]

PrimitivePersistField Bool

Methods

toPrimitivePersistValue :: Bool -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Bool

PrimitivePersistField Double

Methods

toPrimitivePersistValue :: Double -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Double

PrimitivePersistField Int

Methods

toPrimitivePersistValue :: Int -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Int

PrimitivePersistField Int8

Methods

toPrimitivePersistValue :: Int8 -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Int8

PrimitivePersistField Int16

Methods

toPrimitivePersistValue :: Int16 -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Int16

PrimitivePersistField Int32

Methods

toPrimitivePersistValue :: Int32 -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Int32

PrimitivePersistField Int64

Methods

toPrimitivePersistValue :: Int64 -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Int64

PrimitivePersistField Word8

Methods

toPrimitivePersistValue :: Word8 -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Word8

PrimitivePersistField Word16

Methods

toPrimitivePersistValue :: Word16 -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Word16

PrimitivePersistField Word32

Methods

toPrimitivePersistValue :: Word32 -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Word32

PrimitivePersistField Word64

Methods

toPrimitivePersistValue :: Word64 -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Word64

PrimitivePersistField String

Methods

toPrimitivePersistValue :: String -> PersistValue

fromPrimitivePersistValue :: PersistValue -> String

PrimitivePersistField ByteString

Methods

toPrimitivePersistValue :: ByteString -> PersistValue

fromPrimitivePersistValue :: PersistValue -> ByteString

PrimitivePersistField ByteString

Methods

toPrimitivePersistValue :: ByteString -> PersistValue

fromPrimitivePersistValue :: PersistValue -> ByteString

PrimitivePersistField UTCTime

Methods

toPrimitivePersistValue :: UTCTime -> PersistValue

fromPrimitivePersistValue :: PersistValue -> UTCTime

PrimitivePersistField Text

Methods

toPrimitivePersistValue :: Text -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Text

PrimitivePersistField Value

Methods

toPrimitivePersistValue :: Value -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Value

PrimitivePersistField Text

Methods

toPrimitivePersistValue :: Text -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Text

PrimitivePersistField ZonedTime

Methods

toPrimitivePersistValue :: ZonedTime -> PersistValue

fromPrimitivePersistValue :: PersistValue -> ZonedTime

PrimitivePersistField TimeOfDay

Methods

toPrimitivePersistValue :: TimeOfDay -> PersistValue

fromPrimitivePersistValue :: PersistValue -> TimeOfDay

PrimitivePersistField Day

Methods

toPrimitivePersistValue :: Day -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Day

PurePersistField ()

Methods

toPurePersistValues :: () -> [PersistValue] -> [PersistValue]

fromPurePersistValues :: [PersistValue] -> ((), [PersistValue])

(PersistField a, PrimitivePersistField a) => PurePersistField a

Methods

toPurePersistValues :: a -> [PersistValue] -> [PersistValue]

fromPurePersistValues :: [PersistValue] -> (a, [PersistValue])

(PersistField a, PrimitivePersistField a) => SinglePersistField a

Methods

toSinglePersistValue :: PersistBackend m => a -> m PersistValue

fromSinglePersistValue :: PersistBackend m => PersistValue -> m a

PersistField Bool

Methods

persistName :: Bool -> String

toPersistValues :: PersistBackend m => Bool -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Bool, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Bool -> DbType

PersistField Double

Methods

persistName :: Double -> String

toPersistValues :: PersistBackend m => Double -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Double, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Double -> DbType

PersistField Int

Methods

persistName :: Int -> String

toPersistValues :: PersistBackend m => Int -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Int, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Int -> DbType

PersistField Int8

Methods

persistName :: Int8 -> String

toPersistValues :: PersistBackend m => Int8 -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Int8, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Int8 -> DbType

PersistField Int16

Methods

persistName :: Int16 -> String

toPersistValues :: PersistBackend m => Int16 -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Int16, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Int16 -> DbType

PersistField Int32

Methods

persistName :: Int32 -> String

toPersistValues :: PersistBackend m => Int32 -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Int32, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Int32 -> DbType

PersistField Int64

Methods

persistName :: Int64 -> String

toPersistValues :: PersistBackend m => Int64 -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Int64, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Int64 -> DbType

PersistField Word8

Methods

persistName :: Word8 -> String

toPersistValues :: PersistBackend m => Word8 -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Word8, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Word8 -> DbType

PersistField Word16

Methods

persistName :: Word16 -> String

toPersistValues :: PersistBackend m => Word16 -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Word16, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Word16 -> DbType

PersistField Word32

Methods

persistName :: Word32 -> String

toPersistValues :: PersistBackend m => Word32 -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Word32, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Word32 -> DbType

PersistField Word64

Methods

persistName :: Word64 -> String

toPersistValues :: PersistBackend m => Word64 -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Word64, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Word64 -> DbType

PersistField ()

Methods

persistName :: () -> String

toPersistValues :: PersistBackend m => () -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m ((), [PersistValue])

dbType :: DbDescriptor db => proxy db -> () -> DbType

PersistField String

Methods

persistName :: String -> String

toPersistValues :: PersistBackend m => String -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (String, [PersistValue])

dbType :: DbDescriptor db => proxy db -> String -> DbType

PersistField ByteString

Methods

persistName :: ByteString -> String

toPersistValues :: PersistBackend m => ByteString -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (ByteString, [PersistValue])

dbType :: DbDescriptor db => proxy db -> ByteString -> DbType

PersistField ByteString

Methods

persistName :: ByteString -> String

toPersistValues :: PersistBackend m => ByteString -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (ByteString, [PersistValue])

dbType :: DbDescriptor db => proxy db -> ByteString -> DbType

PersistField UTCTime

Methods

persistName :: UTCTime -> String

toPersistValues :: PersistBackend m => UTCTime -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (UTCTime, [PersistValue])

dbType :: DbDescriptor db => proxy db -> UTCTime -> DbType

PersistField Text

Methods

persistName :: Text -> String

toPersistValues :: PersistBackend m => Text -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Text, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Text -> DbType

PersistField Value

Methods

persistName :: Value -> String

toPersistValues :: PersistBackend m => Value -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Value, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Value -> DbType

PersistField Text

Methods

persistName :: Text -> String

toPersistValues :: PersistBackend m => Text -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Text, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Text -> DbType

PersistField ZonedTime

Methods

persistName :: ZonedTime -> String

toPersistValues :: PersistBackend m => ZonedTime -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (ZonedTime, [PersistValue])

dbType :: DbDescriptor db => proxy db -> ZonedTime -> DbType

PersistField TimeOfDay

Methods

persistName :: TimeOfDay -> String

toPersistValues :: PersistBackend m => TimeOfDay -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (TimeOfDay, [PersistValue])

dbType :: DbDescriptor db => proxy db -> TimeOfDay -> DbType

PersistField Day

Methods

persistName :: Day -> String

toPersistValues :: PersistBackend m => Day -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Day, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Day -> DbType

NeverNull Bool

NeverNull Double

NeverNull Int

NeverNull Int8

NeverNull Int16

NeverNull Int32

NeverNull Int64

NeverNull Word8

NeverNull Word16

NeverNull Word32

NeverNull Word64

NeverNull String

NeverNull ByteString

NeverNull ByteString

NeverNull UTCTime

NeverNull Text

NeverNull Value

NeverNull Text

NeverNull ZonedTime

NeverNull TimeOfDay

NeverNull Day

(PersistEntity v, EntityConstr' (IsSumType v) c) => EntityConstr v c

Methods

entityConstrNum :: forall proxy (a :: Type -> Type). proxy v -> c a -> Int

(PrimitivePersistField a, NeverNull a) => PrimitivePersistField (Maybe a)

Methods

toPrimitivePersistValue :: Maybe a -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Maybe a

PersistField a => PersistField [a]

Methods

persistName :: [a] -> String

toPersistValues :: PersistBackend m => [a] -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m ([a], [PersistValue])

dbType :: DbDescriptor db => proxy db -> [a] -> DbType

(PersistField a, NeverNull a) => PersistField (Maybe a)

Methods

persistName :: Maybe a -> String

toPersistValues :: PersistBackend m => Maybe a -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Maybe a, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Maybe a -> DbType

(PersistEntity v, IsUniqueKey k, k ~ Key v (Unique u)) => FieldLike (u (UniqueMarker v)) k

Methods

fieldChain :: (DbDescriptor db, ProjectionDb (u (UniqueMarker v)) db) => proxy db -> u (UniqueMarker v) -> FieldChain

(PersistEntity v, IsUniqueKey k, k ~ Key v (Unique u)) => Assignable (u (UniqueMarker v)) k

(PersistEntity v, IsUniqueKey k, k ~ Key v (Unique u)) => Projection (u (UniqueMarker v)) k

Associated Types

type ProjectionDb (u (UniqueMarker v)) db

type ProjectionRestriction (u (UniqueMarker v)) r

Methods

projectionExprs :: (DbDescriptor db, ProjectionDb (u (UniqueMarker v)) db, ProjectionRestriction (u (UniqueMarker v)) r) => u (UniqueMarker v) -> [UntypedExpr db r] -> [UntypedExpr db r]

projectionResult :: PersistBackend m => u (UniqueMarker v) -> [PersistValue] -> m (k, [PersistValue])

EntityConstr v c => Projection (c (ConstructorMarker v)) v

Associated Types

type ProjectionDb (c (ConstructorMarker v)) db

type ProjectionRestriction (c (ConstructorMarker v)) r

Methods

projectionExprs :: (DbDescriptor db, ProjectionDb (c (ConstructorMarker v)) db, ProjectionRestriction (c (ConstructorMarker v)) r) => c (ConstructorMarker v) -> [UntypedExpr db r] -> [UntypedExpr db r]

projectionResult :: PersistBackend m => c (ConstructorMarker v) -> [PersistValue] -> m (v, [PersistValue])

Show (Key v u) => ToJSON (Key v u)

Methods

toJSON :: Key v u -> Value

toEncoding :: Key v u -> Encoding

toJSONList :: [Key v u] -> Value

toEncodingList :: [Key v u] -> Encoding

Read (Key v u) => FromJSON (Key v u)

Methods

parseJSON :: Value -> Parser (Key v u)

parseJSONList :: Value -> Parser [Key v u]

(DbDescriptor db, PersistEntity v, PersistField v) => PrimitivePersistField (KeyForBackend db v)

Methods

toPrimitivePersistValue :: KeyForBackend db v -> PersistValue

fromPrimitivePersistValue :: PersistValue -> KeyForBackend db v

(PurePersistField a, PurePersistField b) => PurePersistField (a, b)

Methods

toPurePersistValues :: (a, b) -> [PersistValue] -> [PersistValue]

fromPurePersistValues :: [PersistValue] -> ((a, b), [PersistValue])

(PersistField a, PersistField b) => PersistField (a, b)

Methods

persistName :: (a, b) -> String

toPersistValues :: PersistBackend m => (a, b) -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m ((a, b), [PersistValue])

dbType :: DbDescriptor db => proxy db -> (a, b) -> DbType

(DbDescriptor db, PersistEntity v, PersistField v) => PersistField (KeyForBackend db v)

Methods

persistName :: KeyForBackend db v -> String

toPersistValues :: PersistBackend m => KeyForBackend db v -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (KeyForBackend db v, [PersistValue])

dbType :: DbDescriptor db0 => proxy db0 -> KeyForBackend db v -> DbType

NeverNull (KeyForBackend db v)

PrimitivePersistField (Key v u) => NeverNull (Key v u)

(PersistField a', PersistField b') => Embedded (a', b')

Associated Types

data Selector (a', b') :: Type -> Type

Methods

selectorNum :: Selector (a', b') a -> Int

(EntityConstr v c, a ~ AutoKey v) => FieldLike (AutoKeyField v c) a

Methods

fieldChain :: (DbDescriptor db, ProjectionDb (AutoKeyField v c) db) => proxy db -> AutoKeyField v c -> FieldChain

(EntityConstr v c, a ~ AutoKey v) => Assignable (AutoKeyField v c) a

(EntityConstr v c, a ~ AutoKey v) => Projection (AutoKeyField v c) a

Associated Types

type ProjectionDb (AutoKeyField v c) db

type ProjectionRestriction (AutoKeyField v c) r

Methods

projectionExprs :: (DbDescriptor db, ProjectionDb (AutoKeyField v c) db, ProjectionRestriction (AutoKeyField v c) r) => AutoKeyField v c -> [UntypedExpr db r] -> [UntypedExpr db r]

projectionResult :: PersistBackend m => AutoKeyField v c -> [PersistValue] -> m (a, [PersistValue])

a ~ Bool => Projection (Cond db r) a

Associated Types

type ProjectionDb (Cond db r) db

type ProjectionRestriction (Cond db r) r

Methods

projectionExprs :: (DbDescriptor db0, ProjectionDb (Cond db r) db0, ProjectionRestriction (Cond db r) r0) => Cond db r -> [UntypedExpr db0 r0] -> [UntypedExpr db0 r0]

projectionResult :: PersistBackend m => Cond db r -> [PersistValue] -> m (a, [PersistValue])

(Projection a1 a1', Projection a2 a2') => Projection (a1, a2) (a1', a2')

Associated Types

type ProjectionDb (a1, a2) db

type ProjectionRestriction (a1, a2) r

Methods

projectionExprs :: (DbDescriptor db, ProjectionDb (a1, a2) db, ProjectionRestriction (a1, a2) r) => (a1, a2) -> [UntypedExpr db r] -> [UntypedExpr db r]

projectionResult :: PersistBackend m => (a1, a2) -> [PersistValue] -> m ((a1', a2'), [PersistValue])

(PurePersistField a, PurePersistField b, PurePersistField c) => PurePersistField (a, b, c)

Methods

toPurePersistValues :: (a, b, c) -> [PersistValue] -> [PersistValue]

fromPurePersistValues :: [PersistValue] -> ((a, b, c), [PersistValue])

(PersistField a, PersistField b, PersistField c) => PersistField (a, b, c)

Methods

persistName :: (a, b, c) -> String

toPersistValues :: PersistBackend m => (a, b, c) -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m ((a, b, c), [PersistValue])

dbType :: DbDescriptor db => proxy db -> (a, b, c) -> DbType

(PersistField a', PersistField b', PersistField c') => Embedded (a', b', c')

Associated Types

data Selector (a', b', c') :: Type -> Type

Methods

selectorNum :: Selector (a', b', c') a -> Int

(EntityConstr v c, PersistField a) => FieldLike (Field v c a) a

Methods

fieldChain :: (DbDescriptor db, ProjectionDb (Field v c a) db) => proxy db -> Field v c a -> FieldChain

(EntityConstr v c, PersistField a) => Assignable (Field v c a) a

PersistField a => Projection (Expr db r a) a

Associated Types

type ProjectionDb (Expr db r a) db

type ProjectionRestriction (Expr db r a) r

Methods

projectionExprs :: (DbDescriptor db0, ProjectionDb (Expr db r a) db0, ProjectionRestriction (Expr db r a) r0) => Expr db r a -> [UntypedExpr db0 r0] -> [UntypedExpr db0 r0]

projectionResult :: PersistBackend m => Expr db r a -> [PersistValue] -> m (a, [PersistValue])

(EntityConstr v c, PersistField a) => Projection (Field v c a) a

Associated Types

type ProjectionDb (Field v c a) db

type ProjectionRestriction (Field v c a) r

Methods

projectionExprs :: (DbDescriptor db, ProjectionDb (Field v c a) db, ProjectionRestriction (Field v c a) r) => Field v c a -> [UntypedExpr db r] -> [UntypedExpr db r]

projectionResult :: PersistBackend m => Field v c a -> [PersistValue] -> m (a, [PersistValue])

(Projection a1 a1', Projection a2 a2', Projection a3 a3') => Projection (a1, a2, a3) (a1', a2', a3')

Associated Types

type ProjectionDb (a1, a2, a3) db

type ProjectionRestriction (a1, a2, a3) r

Methods

projectionExprs :: (DbDescriptor db, ProjectionDb (a1, a2, a3) db, ProjectionRestriction (a1, a2, a3) r) => (a1, a2, a3) -> [UntypedExpr db r] -> [UntypedExpr db r]

projectionResult :: PersistBackend m => (a1, a2, a3) -> [PersistValue] -> m ((a1', a2', a3'), [PersistValue])

(PurePersistField a, PurePersistField b, PurePersistField c, PurePersistField d) => PurePersistField (a, b, c, d)

Methods

toPurePersistValues :: (a, b, c, d) -> [PersistValue] -> [PersistValue]

fromPurePersistValues :: [PersistValue] -> ((a, b, c, d), [PersistValue])

(PersistField a, PersistField b, PersistField c, PersistField d) => PersistField (a, b, c, d)

Methods

persistName :: (a, b, c, d) -> String

toPersistValues :: PersistBackend m => (a, b, c, d) -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m ((a, b, c, d), [PersistValue])

dbType :: DbDescriptor db => proxy db -> (a, b, c, d) -> DbType

(PersistField a', PersistField b', PersistField c', PersistField d') => Embedded (a', b', c', d')

Associated Types

data Selector (a', b', c', d') :: Type -> Type

Methods

selectorNum :: Selector (a', b', c', d') a -> Int

(EntityConstr v c, PersistField a) => FieldLike (SubField db v c a) a

Methods

fieldChain :: (DbDescriptor db0, ProjectionDb (SubField db v c a) db0) => proxy db0 -> SubField db v c a -> FieldChain

(EntityConstr v c, PersistField a) => Assignable (SubField db v c a) a

(EntityConstr v c, PersistField a) => Projection (SubField db v c a) a

Associated Types

type ProjectionDb (SubField db v c a) db

type ProjectionRestriction (SubField db v c a) r

Methods

projectionExprs :: (DbDescriptor db0, ProjectionDb (SubField db v c a) db0, ProjectionRestriction (SubField db v c a) r) => SubField db v c a -> [UntypedExpr db0 r] -> [UntypedExpr db0 r]

projectionResult :: PersistBackend m => SubField db v c a -> [PersistValue] -> m (a, [PersistValue])

(Projection a1 a1', Projection a2 a2', Projection a3 a3', Projection a4 a4') => Projection (a1, a2, a3, a4) (a1', a2', a3', a4')

Associated Types

type ProjectionDb (a1, a2, a3, a4) db

type ProjectionRestriction (a1, a2, a3, a4) r

Methods

projectionExprs :: (DbDescriptor db, ProjectionDb (a1, a2, a3, a4) db, ProjectionRestriction (a1, a2, a3, a4) r) => (a1, a2, a3, a4) -> [UntypedExpr db r] -> [UntypedExpr db r]

projectionResult :: PersistBackend m => (a1, a2, a3, a4) -> [PersistValue] -> m ((a1', a2', a3', a4'), [PersistValue])

(PurePersistField a, PurePersistField b, PurePersistField c, PurePersistField d, PurePersistField e) => PurePersistField (a, b, c, d, e)

Methods

toPurePersistValues :: (a, b, c, d, e) -> [PersistValue] -> [PersistValue]

fromPurePersistValues :: [PersistValue] -> ((a, b, c, d, e), [PersistValue])

(PersistField a, PersistField b, PersistField c, PersistField d, PersistField e) => PersistField (a, b, c, d, e)

Methods

persistName :: (a, b, c, d, e) -> String

toPersistValues :: PersistBackend m => (a, b, c, d, e) -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m ((a, b, c, d, e), [PersistValue])

dbType :: DbDescriptor db => proxy db -> (a, b, c, d, e) -> DbType

(PersistField a', PersistField b', PersistField c', PersistField d', PersistField e') => Embedded (a', b', c', d', e')

Associated Types

data Selector (a', b', c', d', e') :: Type -> Type

Methods

selectorNum :: Selector (a', b', c', d', e') a -> Int

(Projection a1 a1', Projection a2 a2', Projection a3 a3', Projection a4 a4', Projection a5 a5') => Projection (a1, a2, a3, a4, a5) (a1', a2', a3', a4', a5')

Associated Types

type ProjectionDb (a1, a2, a3, a4, a5) db

type ProjectionRestriction (a1, a2, a3, a4, a5) r

Methods

projectionExprs :: (DbDescriptor db, ProjectionDb (a1, a2, a3, a4, a5) db, ProjectionRestriction (a1, a2, a3, a4, a5) r) => (a1, a2, a3, a4, a5) -> [UntypedExpr db r] -> [UntypedExpr db r]

projectionResult :: PersistBackend m => (a1, a2, a3, a4, a5) -> [PersistValue] -> m ((a1', a2', a3', a4', a5'), [PersistValue])