sqel-0.0.1.0: Guided derivation for Hasql statements
Safe HaskellSafe-Inferred
LanguageHaskell2010

Sqel.Uid

Documentation

type UidDd si sa = TypeSel (DdTypeSel sa) (Prod (Uid (DdType si) (DdType sa))) *> (Name "id" si > Merge sa) Source #

class (DdType si ~ i, DdType sa ~ a) => UidColumn i a si sa s | i a si sa -> s where Source #

Methods

uidColumn :: Dd si -> Dd sa -> Dd s Source #

Instances

Instances details
(DdType si ~ i, DdType sa ~ a, DdTypeSel sa ~ sel, ProductSel sel (Uid i a) (Dd si :> Dd (Merge sa)) s) => UidColumn i a si sa s Source # 
Instance details

Defined in Sqel.Uid

Methods

uidColumn :: Dd si -> Dd sa -> Dd s Source #

uid :: forall (i :: Type) (a :: Type) (si :: DdK) (sa :: DdK) (s :: DdK). UidColumn i a si sa s => Dd si -> Dd sa -> Dd s Source #

uidAs :: forall (name :: Symbol) (i :: Type) (a :: Type) (si :: DdK) (sa :: DdK) (s :: DdK). UidColumn i a si sa s => Rename s (SetTypeName s name) => Dd si -> Dd sa -> Dd (SetTypeName s name) Source #