Internal.Data.Basic.Foreign

Documentation

class ForeignKeyConstraint fk => ForeignKeyFieldsMatch fk fromFields toFields where

Minimal complete definition

foreignKeyFieldsMatch, foreignKeyFieldsSet

Methods

foreignKeyFieldsMatch :: Entity (FromDb c) (ForeignKeyFrom fk) -> Var Filtering (ForeignKeyTo fk) -> ConditionExp

foreignKeyFieldsSet :: Entity entKind (ForeignKeyFrom fk) -> Entity (FromDb c) (ForeignKeyTo fk) -> Entity (WithFieldsSet fromFields entKind) (ForeignKeyFrom fk)

Instances

((~) * from (ForeignKeyFrom fk), (~) * to (ForeignKeyTo fk), TableField to toField, TableField from fromField, (~) * (TableFieldType to toField) (TableFieldType from fromField), ToField (TableFieldType from fromField), Ord (TableFieldType to toField), ForeignKeyFieldsMatch fk ((:) Symbol f1 f1s) ((:) Symbol f2 f2s), (~) ExpressionKind (KindOfDbExp (TableFieldType from fromField)) LiteralExp) => ForeignKeyFieldsMatch fk ((:) Symbol fromField ((:) Symbol f1 f1s)) ((:) Symbol toField ((:) Symbol f2 f2s))

Methods

foreignKeyFieldsMatch :: Entity (FromDb c) (ForeignKeyFrom fk) -> Var Filtering (ForeignKeyTo fk) -> ConditionExp

foreignKeyFieldsSet :: Entity entKind (ForeignKeyFrom fk) -> Entity (FromDb c) (ForeignKeyTo fk) -> Entity (WithFieldsSet ((Symbol ': fromField) ((Symbol ': f1) f1s)) entKind) (ForeignKeyFrom fk)

(ForeignKeyConstraint fk, (~) * from (ForeignKeyFrom fk), (~) * to (ForeignKeyTo fk), TableField to toField, TableField from fromField, (~) * (TableFieldType to toField) (TableFieldType from fromField), ToField (TableFieldType from fromField), Ord (TableFieldType to toField), (~) ExpressionKind (KindOfDbExp (TableFieldType from fromField)) LiteralExp) => ForeignKeyFieldsMatch fk ((:) Symbol fromField ([] Symbol)) ((:) Symbol toField ([] Symbol))

Methods

foreignKeyFieldsMatch :: Entity (FromDb c) (ForeignKeyFrom fk) -> Var Filtering (ForeignKeyTo fk) -> ConditionExp

foreignKeyFieldsSet :: Entity entKind (ForeignKeyFrom fk) -> Entity (FromDb c) (ForeignKeyTo fk) -> Entity (WithFieldsSet ((Symbol ': fromField) [Symbol]) entKind) (ForeignKeyFrom fk)

type ForeignKeyLensGet fk m = (ForeignKeyConstraint fk, MonadEffect Basic m, Table (ForeignKeyFrom fk), Table (ForeignKeyTo fk), ForeignKeyFieldsMatch fk (ForeignKeyFromFields fk) (ForeignKeyToFields fk))

foreignKeyLensGet :: forall fk m proxy. ForeignKeyLensGet fk m => proxy fk -> Getter' (Entity (FromDb Live) (ForeignKeyFrom fk)) (m (Entity (FromDb Live) (ForeignKeyTo fk)))

type ForeignKeyLensSet fk = (ForeignKeyConstraint fk, ForeignKeyFieldsMatch fk (ForeignKeyFromFields fk) (ForeignKeyToFields fk))

foreignKeyLensSet :: forall fk entKind c proxy. ForeignKeyLensSet fk => proxy fk -> PolyOptic Identity (Entity entKind (ForeignKeyFrom fk)) (Entity (WithFieldsSet (ForeignKeyFromFields fk) entKind) (ForeignKeyFrom fk)) () (Entity (FromDb c) (ForeignKeyTo fk))

class ForeignKeyLensProxy t where

Minimal complete definition

foreignKeyLensProxy

Methods

foreignKeyLensProxy :: t

Instances

((ForeignKeyConstraint fk0, ForeignKeyFieldsMatch fk0 (ForeignKeyFromFields fk0) (ForeignKeyToFields fk0)), (~) * t4 (Entity entKind0 (ForeignKeyFrom fk0) -> Identity (Entity (WithFieldsSet (ForeignKeyFromFields fk0) entKind0) (ForeignKeyFrom fk0))), (~) * t3 (Entity (FromDb c0) (ForeignKeyTo fk0)), (~) (* -> *) t2 ((->) ()), (~) (* -> * -> *) t1 (->), (~) (* -> *) t0 ((->) (proxy0 fk0))) => ForeignKeyLensProxy (t0 (t1 (t2 (Identity t3)) t4))

Methods

foreignKeyLensProxy :: t0 (t1 (t2 (Identity t3)) t4)

((ForeignKeyConstraint fk0, ForeignKeyFieldsMatch fk0 (ForeignKeyFromFields fk0) (ForeignKeyToFields fk0)), (~) * t3 (Entity (WithFieldsSet (ForeignKeyFromFields fk0) entKind0) (ForeignKeyFrom fk0)), (~) (* -> *) t2 ((->) (Entity entKind0 (ForeignKeyFrom fk0))), (~) (* -> *) t1 ((->) (() -> Identity (Entity (FromDb c0) (ForeignKeyTo fk0)))), (~) (* -> *) t0 ((->) (proxy0 fk0))) => ForeignKeyLensProxy (t0 (t1 (t2 (Identity t3))))

Methods

foreignKeyLensProxy :: t0 (t1 (t2 (Identity t3)))

((ForeignKeyConstraint fk0, MonadEffect Basic m0, Table (ForeignKeyFrom fk0), Table (ForeignKeyTo fk0), ForeignKeyFieldsMatch fk0 (ForeignKeyFromFields fk0) (ForeignKeyToFields fk0)), (~) * t6 (Entity (FromDb Live) (ForeignKeyFrom fk0) -> Const * (m0 (Entity (FromDb Live) (ForeignKeyTo fk0))) (Entity (FromDb Live) (ForeignKeyFrom fk0))), (~) * t5 (m0 (Entity (FromDb Live) (ForeignKeyTo fk0))), (~) * t4 (m0 (Entity (FromDb Live) (ForeignKeyTo fk0))), (~) (* -> * -> *) t3 (Const *), (~) (* -> *) t2 ((->) (m0 (Entity (FromDb Live) (ForeignKeyTo fk0)))), (~) (* -> * -> *) t1 (->), (~) (* -> *) t0 ((->) (proxy0 fk0))) => ForeignKeyLensProxy (t0 (t1 (t2 (t3 t4 t5)) t6))

Methods

foreignKeyLensProxy :: t0 (t1 (t2 (t3 t4 t5)) t6)

((ForeignKeyConstraint fk0, MonadEffect Basic m0, Table (ForeignKeyFrom fk0), Table (ForeignKeyTo fk0), ForeignKeyFieldsMatch fk0 (ForeignKeyFromFields fk0) (ForeignKeyToFields fk0)), (~) * t5 (Entity (FromDb Live) (ForeignKeyFrom fk0)), (~) * t4 (m0 (Entity (FromDb Live) (ForeignKeyTo fk0))), (~) (* -> * -> *) t3 (Const *), (~) (* -> *) t2 ((->) (Entity (FromDb Live) (ForeignKeyFrom fk0))), (~) (* -> *) t1 ((->) (m0 (Entity (FromDb Live) (ForeignKeyTo fk0)) -> Const * (m0 (Entity (FromDb Live) (ForeignKeyTo fk0))) (m0 (Entity (FromDb Live) (ForeignKeyTo fk0))))), (~) (* -> *) t0 ((->) (proxy0 fk0))) => ForeignKeyLensProxy (t0 (t1 (t2 (t3 t4 t5))))

Methods

foreignKeyLensProxy :: t0 (t1 (t2 (t3 t4 t5)))

foreignKeyLens :: forall name o. ForeignKeyLensProxy (Proxy name -> o) => o