Safe Haskell	Safe-Inferred
Language	Haskell2010

Sqel.Product

Documentation

class DdType s ~ a => ProductSel sel a arg s | sel a arg -> s where Source #

Methods

Instances details

(MkTSel sel, fields ~ ProductFields (GDatatypeInfoOf a) (GCode a), meta ~ MetaFor "product type" ('ShowType a) "prod", CompColumn meta fields a arg s) => ProductSel (sel :: TSel) a arg ('DdK 'SelAuto (NoMods :: [Type]) a ('Comp sel ('Prod 'Reg) 'Nest s)) Source #
Instance details Defined in Sqel.Product Methods prodSel :: arg -> Dd ('DdK 'SelAuto NoMods a ('Comp sel ('Prod 'Reg) 'Nest s)) Source #

class DdType s ~ a => Product a arg s | a arg -> s where Source #

Methods

prod :: arg -> Dd s Source #

Instances details

(CompName a sel, ProductSel sel a arg s) => Product a arg s Source #
Instance details Defined in Sqel.Product Methods prod :: arg -> Dd s Source #

prodAs :: forall (name :: Symbol) (a :: Type) (s :: DdK) (arg :: Type). Product a arg s => Rename s (SetName s name) => arg -> Dd (SetName s name) Source #