git.iko.soy/rel8
on 4e1b3b7 help sign in
rel8/src/Rel8/Schema/HTable/These.hs
33 lines 941 B 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.Schema.HTable ( HTable )
18import Rel8.Schema.HTable.Identity ( HType )
19import Rel8.Schema.HTable.Label ( HLabel )
20import Rel8.Schema.HTable.Nullify ( HNullify )
21import qualified Rel8.Schema.Kind as K
22import Rel8.Type.Tag ( MaybeTag )
25type HTheseTable :: K.HTable -> K.HTable -> K.HTable
26data HTheseTable here there context = HTheseTable
27 { hhereTag :: HLabel "hereTag" (HType (Maybe MaybeTag)) context
28 , hhere :: HLabel "Here" (HNullify here) context
29 , hthereTag :: HLabel "thereTag" (HType (Maybe MaybeTag)) context
30 , hthere :: HLabel "There" (HNullify there) context
31 }
32 deriving stock Generic
33 deriving anyclass HTable