rel8-internal
Safe HaskellNone
LanguageHaskell2010

Rel8.Internal.Schema.Context.Nullify

Documentation

data Nullifiability (context :: Context) where Source #

Constructors

NExpr :: Nullifiability Expr 
NName :: Nullifiability Name 

data NonNullifiability (context :: Context) where Source #

Constructors

NField :: forall table. NonNullifiability (Field table) 
NResult :: NonNullifiability Identity 

nullifiableOrNot :: forall (context :: Context). SContext context -> Either (NonNullifiability context) (Nullifiability context) Source #

absurd :: forall (context :: Context) a. Nullifiability context -> NonNullifiability context -> a Source #

class Nullifiable (context :: Context) Source #

Minimal complete definition

nullifiability

Instances

Instances details
Nullifiable Expr Source # 
Instance details

Defined in Rel8.Internal.Schema.Context.Nullify

Methods

nullifiability :: Nullifiability Expr Source #

Nullifiable Name Source # 
Instance details

Defined in Rel8.Internal.Schema.Context.Nullify

Methods

nullifiability :: Nullifiability Name Source #

nullifiability :: Nullifiable context => Nullifiability context Source #

guarder :: SContext context -> context tag -> (tag -> Bool) -> (Expr tag -> Expr Bool) -> context (Maybe a) -> context (Maybe a) Source #

nullifier :: Nullifiability context -> Spec a -> context a -> context (Nullify a) Source #

unnullifier :: Nullifiability context -> Spec a -> context (Nullify a) -> context a Source #