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 #

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 #