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

on 11bcbbb help sign in

28 lines 584 B history raw

1{-# language DataKinds #-}

2{-# language DeriveAnyClass #-}

3{-# language DeriveGeneric #-}

4{-# language DerivingStrategies #-}

5{-# language StandaloneKindSignatures #-}

7module Rel8.Schema.HTable.Trio

8 ( HTrio(..)

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 HTrio :: K.HTable -> K.HTable -> K.HTable -> K.HTable

22data HTrio x y z context = HTrio

23 { hfst :: x context

24 , hsnd :: y context

25 , htrd :: z context

26 }

27 deriving stock Generic

28 deriving anyclass HTable