Safe Haskell	None
Language	Haskell2010

Rel8.Internal.Schema.HTable.Nullify

Synopsis

newtype HNullify (table :: HTable) (context :: Context) = HNullify (HMapTable Nullify table context)
data Nullify a b
hguard :: forall (t :: HTable) context. HTable t => (forall a. context (Maybe a) -> context (Maybe a)) -> HNullify t context -> HNullify t context
hnulls :: forall (t :: HTable) context. HTable t => (forall a. Spec a -> context (Nullify a)) -> HNullify t context
hnullify :: (HTable t, ProductProfunctor p) => (forall a. Spec a -> p (context a) (context (Nullify a))) -> p (t context) (HNullify t context)
hunnullify :: (HTable t, Apply m) => (forall a. Spec a -> context (Nullify a) -> m (context a)) -> HNullify t context -> m (t context)
hproject :: forall t t' (context :: Context). (forall (ctx :: Context). t ctx -> t' ctx) -> HNullify t context -> HNullify t' context

Documentation

newtype HNullify (table :: HTable) (context :: Context) Source #

Constructors

HNullify (HMapTable Nullify table context)

Instances

Instances details

HTable table => HTable (HNullify table) Source #

Instance details

Defined in Rel8.Internal.Schema.HTable.Nullify

Associated Types

type HField (HNullify table)
Instance details Defined in Rel8.Internal.Schema.HTable.Nullify type HField (HNullify table)

Methods

hfield :: HNullify table context -> HField (HNullify table) a -> context a Source #

htabulate :: (forall a. HField (HNullify table) a -> context a) -> HNullify table context Source #

htraverse :: Apply m => (forall a. f a -> m (g a)) -> HNullify table f -> m (HNullify table g) Source #

hdicts :: forall (c :: Type -> Constraint). HConstrainTable (HNullify table) c => HNullify table (Dict c) Source #

hspecs :: HNullify table Spec Source #

Generic (HNullify table context) Source #

Instance details

Defined in Rel8.Internal.Schema.HTable.Nullify

Associated Types

type Rep (HNullify table context)
Instance details Defined in Rel8.Internal.Schema.HTable.Nullify type Rep (HNullify table context) = D1 ('MetaData "HNullify" "Rel8.Internal.Schema.HTable.Nullify" "rel8-internal-1.8.0.0-inplace" 'True) (C1 ('MetaCons "HNullify" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HMapTable Nullify table context))))

Methods

from :: HNullify table context -> Rep (HNullify table context) x #

to :: Rep (HNullify table context) x -> HNullify table context #

type HField (HNullify table) Source #

Instance details

Defined in Rel8.Internal.Schema.HTable.Nullify

type HField (HNullify table)

type HConstrainTable (HNullify table) c Source #

Instance details

Defined in Rel8.Internal.Schema.HTable.Nullify

type HConstrainTable (HNullify table) c

type Rep (HNullify table context) Source #

Instance details

Defined in Rel8.Internal.Schema.HTable.Nullify

type Rep (HNullify table context) = D1 ('MetaData "HNullify" "Rel8.Internal.Schema.HTable.Nullify" "rel8-internal-1.8.0.0-inplace" 'True) (C1 ('MetaCons "HNullify" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HMapTable Nullify table context))))

data Nullify a b Source #

Transform a Type by allowing it to be null.

Instances

Instances details

MapSpec Nullify Source #
Instance details Defined in Rel8.Internal.Schema.HTable.Nullify Methods mapInfo :: Spec x -> Spec (Eval (Nullify x)) Source #
type Eval (Nullify a :: Type -> Type) Source #
Instance details Defined in Rel8.Internal.Schema.HTable.Nullify type Eval (Nullify a :: Type -> Type) = Nullify a

hguard :: forall (t :: HTable) context. HTable t => (forall a. context (Maybe a) -> context (Maybe a)) -> HNullify t context -> HNullify t context Source #

hnulls :: forall (t :: HTable) context. HTable t => (forall a. Spec a -> context (Nullify a)) -> HNullify t context Source #

hnullify :: (HTable t, ProductProfunctor p) => (forall a. Spec a -> p (context a) (context (Nullify a))) -> p (t context) (HNullify t context) Source #

hunnullify :: (HTable t, Apply m) => (forall a. Spec a -> context (Nullify a) -> m (context a)) -> HNullify t context -> m (t context) Source #

hproject :: forall t t' (context :: Context). (forall (ctx :: Context). t ctx -> t' ctx) -> HNullify t context -> HNullify t' context Source #