src/Rel8/Schema/HTable/Quintet.hs · rel8

on 11bcbbb help sign in

30 lines 671 B history raw

1{-# language DataKinds #-}

2{-# language DeriveAnyClass #-}

3{-# language DeriveGeneric #-}

4{-# language DerivingStrategies #-}

5{-# language StandaloneKindSignatures #-}

7module Rel8.Schema.HTable.Quintet

8 ( HQuintet(..)

9 )

10where

12-- base

13import GHC.Generics ( Generic )

14import Prelude ()

16-- rel8

17import Rel8.Schema.HTable ( HTable )

18import qualified Rel8.Schema.Kind as K

21type HQuintet :: K.HTable -> K.HTable -> K.HTable -> K.HTable -> K.HTable -> K.HTable

22data HQuintet v w x y z context = HQuintet

23 { hfst :: v context

24 , hsnd :: w context

25 , htrd :: x context

26 , hfrt :: y context

27 , hfft :: z context

28 }

29 deriving stock Generic

30 deriving anyclass HTable