rel8-internal
Safe HaskellNone
LanguageHaskell2010

Rel8.Internal.Schema.HTable.Maybe

Documentation

data HMaybeTable (table :: HTable) (context :: Context) Source #

Constructors

HMaybeTable 

Fields

Instances

Instances details
HTable table => HTable (HMaybeTable table) Source # 
Instance details

Defined in Rel8.Internal.Schema.HTable.Maybe

Associated Types

type HField (HMaybeTable table) 
Instance details

Defined in Rel8.Internal.Schema.HTable.Maybe

type HField (HMaybeTable table)

Methods

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

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

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

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

hspecs :: HMaybeTable table Spec Source #

Generic (HMaybeTable table context) Source # 
Instance details

Defined in Rel8.Internal.Schema.HTable.Maybe

Associated Types

type Rep (HMaybeTable table context) 
Instance details

Defined in Rel8.Internal.Schema.HTable.Maybe

type Rep (HMaybeTable table context) = D1 ('MetaData "HMaybeTable" "Rel8.Internal.Schema.HTable.Maybe" "rel8-internal-1.8.0.0-inplace" 'False) (C1 ('MetaCons "HMaybeTable" 'PrefixI 'True) (S1 ('MetaSel ('Just "htag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HLabel "isJust" (HIdentity (Maybe MaybeTag)) context)) :*: S1 ('MetaSel ('Just "hjust") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HLabel "Just" (HNullify table) context))))

Methods

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

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

type HField (HMaybeTable table) Source # 
Instance details

Defined in Rel8.Internal.Schema.HTable.Maybe

type HField (HMaybeTable table)
type HConstrainTable (HMaybeTable table) c Source # 
Instance details

Defined in Rel8.Internal.Schema.HTable.Maybe

type HConstrainTable (HMaybeTable table) c
type Rep (HMaybeTable table context) Source # 
Instance details

Defined in Rel8.Internal.Schema.HTable.Maybe

type Rep (HMaybeTable table context) = D1 ('MetaData "HMaybeTable" "Rel8.Internal.Schema.HTable.Maybe" "rel8-internal-1.8.0.0-inplace" 'False) (C1 ('MetaCons "HMaybeTable" 'PrefixI 'True) (S1 ('MetaSel ('Just "htag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HLabel "isJust" (HIdentity (Maybe MaybeTag)) context)) :*: S1 ('MetaSel ('Just "hjust") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HLabel "Just" (HNullify table) context))))