{-# language DataKinds #-}
{-# language DeriveAnyClass #-}
{-# language DeriveGeneric #-}
{-# language DerivingStrategies #-}
{-# language StandaloneKindSignatures #-}

module Rel8.Schema.HTable.Quartet
  ( HQuartet(..)
  )
where

-- base
import GHC.Generics ( Generic )
import Prelude ()

-- rel8
import Rel8.Schema.HTable ( HTable )
import qualified Rel8.Schema.Kind as K


type HQuartet :: K.HTable -> K.HTable -> K.HTable -> K.HTable -> K.HTable
data HQuartet w x y z context = HQuartet
  { forall (w :: HTable) (x :: HTable) (y :: HTable) (z :: HTable)
       (context :: Spec -> *).
HQuartet w x y z context -> w context
hfst :: w context
  , forall (w :: HTable) (x :: HTable) (y :: HTable) (z :: HTable)
       (context :: Spec -> *).
HQuartet w x y z context -> x context
hsnd :: x context
  , forall (w :: HTable) (x :: HTable) (y :: HTable) (z :: HTable)
       (context :: Spec -> *).
HQuartet w x y z context -> y context
htrd :: y context
  , forall (w :: HTable) (x :: HTable) (y :: HTable) (z :: HTable)
       (context :: Spec -> *).
HQuartet w x y z context -> z context
hfrt :: z context
  }
  deriving stock (forall x.
 HQuartet w x y z context -> Rep (HQuartet w x y z context) x)
-> (forall x.
    Rep (HQuartet w x y z context) x -> HQuartet w x y z context)
-> Generic (HQuartet w x y z context)
forall x.
Rep (HQuartet w x y z context) x -> HQuartet w x y z context
forall x.
HQuartet w x y z context -> Rep (HQuartet w x y z context) x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
forall (w :: HTable) (x :: HTable) (y :: HTable) (z :: HTable)
       (context :: Spec -> *) x.
Rep (HQuartet w x y z context) x -> HQuartet w x y z context
forall (w :: HTable) (x :: HTable) (y :: HTable) (z :: HTable)
       (context :: Spec -> *) x.
HQuartet w x y z context -> Rep (HQuartet w x y z context) x
$cto :: forall (w :: HTable) (x :: HTable) (y :: HTable) (z :: HTable)
       (context :: Spec -> *) x.
Rep (HQuartet w x y z context) x -> HQuartet w x y z context
$cfrom :: forall (w :: HTable) (x :: HTable) (y :: HTable) (z :: HTable)
       (context :: Spec -> *) x.
HQuartet w x y z context -> Rep (HQuartet w x y z context) x
Generic
  deriving anyclass HQuartet w x y z SSpec
(forall (context :: Spec -> *) (spec :: Spec).
 HQuartet w x y z context
 -> HField (HQuartet w x y z) spec -> context spec)
-> (forall (context :: Spec -> *).
    (forall (spec :: Spec).
     HField (HQuartet w x y z) spec -> context spec)
    -> HQuartet w x y z context)
-> (forall (m :: * -> *) (f :: Spec -> *) (g :: Spec -> *).
    Apply m =>
    (forall (spec :: Spec). f spec -> m (g spec))
    -> HQuartet w x y z f -> m (HQuartet w x y z g))
-> (forall (c :: Spec -> Constraint).
    HConstrainTable (HQuartet w x y z) c =>
    HQuartet w x y z (Dict c))
-> HQuartet w x y z SSpec
-> HTable (HQuartet w x y z)
forall (m :: * -> *) (f :: Spec -> *) (g :: Spec -> *).
Apply m =>
(forall (spec :: Spec). f spec -> m (g spec))
-> HQuartet w x y z f -> m (HQuartet w x y z g)
forall (c :: Spec -> Constraint).
HConstrainTable (HQuartet w x y z) c =>
HQuartet w x y z (Dict c)
forall (context :: Spec -> *).
(forall (spec :: Spec).
 HField (HQuartet w x y z) spec -> context spec)
-> HQuartet w x y z context
forall (context :: Spec -> *) (spec :: Spec).
HQuartet w x y z context
-> HField (HQuartet w x y z) spec -> context spec
forall (t :: HTable).
(forall (context :: Spec -> *) (spec :: Spec).
 t context -> HField t spec -> context spec)
-> (forall (context :: Spec -> *).
    (forall (spec :: Spec). HField t spec -> context spec)
    -> t context)
-> (forall (m :: * -> *) (f :: Spec -> *) (g :: Spec -> *).
    Apply m =>
    (forall (spec :: Spec). f spec -> m (g spec)) -> t f -> m (t g))
-> (forall (c :: Spec -> Constraint).
    HConstrainTable t c =>
    t (Dict c))
-> t SSpec
-> HTable t
forall (w :: HTable) (x :: HTable) (y :: HTable) (z :: HTable).
(HTable w, HTable x, HTable y, HTable z) =>
HQuartet w x y z SSpec
forall (w :: HTable) (x :: HTable) (y :: HTable) (z :: HTable)
       (m :: * -> *) (f :: Spec -> *) (g :: Spec -> *).
(HTable w, HTable x, HTable y, HTable z, Apply m) =>
(forall (spec :: Spec). f spec -> m (g spec))
-> HQuartet w x y z f -> m (HQuartet w x y z g)
forall (w :: HTable) (x :: HTable) (y :: HTable) (z :: HTable)
       (c :: Spec -> Constraint).
(HTable w, HTable x, HTable y, HTable z,
 HConstrainTable (HQuartet w x y z) c) =>
HQuartet w x y z (Dict c)
forall (w :: HTable) (x :: HTable) (y :: HTable) (z :: HTable)
       (context :: Spec -> *).
(HTable w, HTable x, HTable y, HTable z) =>
(forall (spec :: Spec).
 HField (HQuartet w x y z) spec -> context spec)
-> HQuartet w x y z context
forall (w :: HTable) (x :: HTable) (y :: HTable) (z :: HTable)
       (context :: Spec -> *) (spec :: Spec).
(HTable w, HTable x, HTable y, HTable z) =>
HQuartet w x y z context
-> HField (HQuartet w x y z) spec -> context spec
hspecs :: HQuartet w x y z SSpec
$chspecs :: forall (w :: HTable) (x :: HTable) (y :: HTable) (z :: HTable).
(HTable w, HTable x, HTable y, HTable z) =>
HQuartet w x y z SSpec
hdicts :: forall (c :: Spec -> Constraint).
HConstrainTable (HQuartet w x y z) c =>
HQuartet w x y z (Dict c)
$chdicts :: forall (w :: HTable) (x :: HTable) (y :: HTable) (z :: HTable)
       (c :: Spec -> Constraint).
(HTable w, HTable x, HTable y, HTable z,
 HConstrainTable (HQuartet w x y z) c) =>
HQuartet w x y z (Dict c)
htraverse :: forall (m :: * -> *) (f :: Spec -> *) (g :: Spec -> *).
Apply m =>
(forall (spec :: Spec). f spec -> m (g spec))
-> HQuartet w x y z f -> m (HQuartet w x y z g)
$chtraverse :: forall (w :: HTable) (x :: HTable) (y :: HTable) (z :: HTable)
       (m :: * -> *) (f :: Spec -> *) (g :: Spec -> *).
(HTable w, HTable x, HTable y, HTable z, Apply m) =>
(forall (spec :: Spec). f spec -> m (g spec))
-> HQuartet w x y z f -> m (HQuartet w x y z g)
htabulate :: forall (context :: Spec -> *).
(forall (spec :: Spec).
 HField (HQuartet w x y z) spec -> context spec)
-> HQuartet w x y z context
$chtabulate :: forall (w :: HTable) (x :: HTable) (y :: HTable) (z :: HTable)
       (context :: Spec -> *).
(HTable w, HTable x, HTable y, HTable z) =>
(forall (spec :: Spec).
 HField (HQuartet w x y z) spec -> context spec)
-> HQuartet w x y z context
hfield :: forall (context :: Spec -> *) (spec :: Spec).
HQuartet w x y z context
-> HField (HQuartet w x y z) spec -> context spec
$chfield :: forall (w :: HTable) (x :: HTable) (y :: HTable) (z :: HTable)
       (context :: Spec -> *) (spec :: Spec).
(HTable w, HTable x, HTable y, HTable z) =>
HQuartet w x y z context
-> HField (HQuartet w x y z) spec -> context spec
HTable