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

module Rel8.Schema.HTable.Trio
  ( HTrio(..)
  )
where

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

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


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