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

on 00a36f5 help sign in

34 lines 1.0 kB history raw

1{-# language DataKinds #-}

2{-# language DeriveAnyClass #-}

3{-# language DeriveGeneric #-}

4{-# language DerivingStrategies #-}

5{-# language StandaloneKindSignatures #-}

7module Rel8.Schema.HTable.These

8 ( HTheseTable(..)

9 )

10where

12-- base

13import GHC.Generics ( Generic )

14import Prelude

16-- rel8

17import Rel8.Kind.Necessity ( Necessity( Required ) )

18import Rel8.Schema.HTable ( HTable )

19import Rel8.Schema.HTable.Identity ( HIdentity )

20import Rel8.Schema.HTable.Nullify ( HNullify )

21import qualified Rel8.Schema.Kind as K

22import Rel8.Schema.Spec ( Spec( Spec ) )

23import Rel8.Type.Tag ( MaybeTag )

26type HTheseTable :: K.HTable -> K.HTable -> K.HTable

27data HTheseTable here there context = HTheseTable

28 { hhereTag :: HIdentity ('Spec '["hasHere"] 'Required MaybeTag (Maybe MaybeTag)) context

29 , hhere :: HNullify here context

30 , hthereTag :: HIdentity ('Spec '["hasThere"] 'Required MaybeTag (Maybe MaybeTag)) context

31 , hthere :: HNullify there context

32 }

33 deriving stock Generic

34 deriving anyclass HTable