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

on 07daf4f help sign in

31 lines 798 B history raw

1{-# language DataKinds #-}

2{-# language DeriveAnyClass #-}

3{-# language DeriveGeneric #-}

4{-# language DerivingStrategies #-}

5{-# language StandaloneKindSignatures #-}

7module Rel8.Schema.HTable.Maybe

8 ( HMaybeTable(..)

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

26data HMaybeTable table context = HMaybeTable

27 { htag :: HLabel "isJust" (HType (Maybe MaybeTag)) context

28 , hjust :: HLabel "Just" (HNullify table) context

29 }

30 deriving stock Generic

31 deriving anyclass HTable