git.iko.soy/rel8
on ae2ce41 help sign in
rel8/src/Rel8/Schema/HTable/Either.hs
34 lines 989 B history raw
1{-# language DataKinds #-}
2{-# language DeriveAnyClass #-}
3{-# language DeriveGeneric #-}
4{-# language DerivingStrategies #-}
5{-# language StandaloneKindSignatures #-}
7module Rel8.Schema.HTable.Either
8 ( HEitherTable(..)
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.Label ( HLabel )
21import Rel8.Schema.HTable.Nullify ( HNullify )
22import qualified Rel8.Schema.Kind as K
23import Rel8.Schema.Spec ( Spec( Spec ) )
24import Rel8.Type.Tag ( EitherTag )
27type HEitherTable :: K.HTable -> K.HTable -> K.HTable
28data HEitherTable left right context = HEitherTable
29 { htag :: HIdentity ('Spec '["isRight"] 'Required EitherTag) context
30 , hleft :: HLabel "Left" (HNullify left) context
31 , hright :: HLabel "Right" (HNullify right) context
32 }
33 deriving stock Generic
34 deriving anyclass HTable