rel8-internal
Safe HaskellNone
LanguageHaskell2010

Rel8.Internal.Schema.HTable.Identity

Documentation

newtype HIdentity a (context :: Context) Source #

Constructors

HIdentity 

Fields

Instances

Instances details
Sql DBType a => HTable (HIdentity a) Source # 
Instance details

Defined in Rel8.Internal.Schema.HTable.Identity

Associated Types

type HField (HIdentity a) 
Instance details

Defined in Rel8.Internal.Schema.HTable.Identity

type HField (HIdentity a) = (:~:) a

Methods

hfield :: HIdentity a context -> HField (HIdentity a) a0 -> context a0 Source #

htabulate :: (forall a0. HField (HIdentity a) a0 -> context a0) -> HIdentity a context Source #

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

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

hspecs :: HIdentity a Spec Source #

type HField (HIdentity a) Source # 
Instance details

Defined in Rel8.Internal.Schema.HTable.Identity

type HField (HIdentity a) = (:~:) a
type HConstrainTable (HIdentity a) constraint Source # 
Instance details

Defined in Rel8.Internal.Schema.HTable.Identity

type HConstrainTable (HIdentity a) constraint = constraint a