Safe Haskell	None
Language	Haskell2010

Rel8.Internal.Schema.HTable.Label

Documentation

newtype HLabel (label :: Symbol) (table :: HTable) (context :: Context) Source #

Constructors

HLabel (table context)

Instances details

(HTable table, KnownSymbol label) => HTable (HLabel label table) Source #

Instance details

Associated Types

type HField (HLabel label table)
Instance details Defined in Rel8.Internal.Schema.HTable.Label type HField (HLabel label table)

Methods

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

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

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

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

type HField (HLabel label table) Source #

Instance details

type HField (HLabel label table)

type HConstrainTable (HLabel label table) constraint Source #

Instance details

type HConstrainTable (HLabel label table) constraint = HConstrainTable table constraint

hlabel :: forall (label :: Symbol) t (context :: Context). t context -> HLabel label t context Source #

hrelabel :: forall (label' :: Symbol) (label :: Symbol) (t :: HTable) (context :: Context). HLabel label t context -> HLabel label' t context Source #

hunlabel :: forall (label :: Symbol) t (context :: Context). HLabel label t context -> t context Source #

hproject :: forall t t' (label :: Symbol) (context :: Context). (forall (ctx :: Context). t ctx -> t' ctx) -> HLabel label t context -> HLabel label t' context Source #