opaleye-0.9.5.1: An SQL-generating DSL targeting PostgreSQL
Safe HaskellSafe-Inferred
LanguageHaskell2010

Opaleye.Internal.TableMaker

Synopsis

Documentation

newtype ViewColumnMaker strings columns Source #

Constructors

ViewColumnMaker (PackMap () () strings columns) 

Instances

Instances details
ProductProfunctor ViewColumnMaker Source # 
Instance details

Defined in Opaleye.Internal.TableMaker

Methods

purePP :: b -> ViewColumnMaker a b #

(****) :: ViewColumnMaker a (b -> c) -> ViewColumnMaker a b -> ViewColumnMaker a c #

empty :: ViewColumnMaker () () #

(***!) :: ViewColumnMaker a b -> ViewColumnMaker a' b' -> ViewColumnMaker (a, a') (b, b') #

Profunctor ViewColumnMaker Source # 
Instance details

Defined in Opaleye.Internal.TableMaker

Methods

dimap :: (a -> b) -> (c -> d) -> ViewColumnMaker b c -> ViewColumnMaker a d #

lmap :: (a -> b) -> ViewColumnMaker b c -> ViewColumnMaker a c #

rmap :: (b -> c) -> ViewColumnMaker a b -> ViewColumnMaker a c #

(#.) :: forall a b c q. Coercible c b => q b c -> ViewColumnMaker a b -> ViewColumnMaker a c #

(.#) :: forall a b c q. Coercible b a => ViewColumnMaker b c -> q a b -> ViewColumnMaker a c #

Default ViewColumnMaker String (Field_ n a) Source # 
Instance details

Defined in Opaleye.Internal.TableMaker

Applicative (ViewColumnMaker a) Source # 
Instance details

Defined in Opaleye.Internal.TableMaker

Methods

pure :: a0 -> ViewColumnMaker a a0 #

(<*>) :: ViewColumnMaker a (a0 -> b) -> ViewColumnMaker a a0 -> ViewColumnMaker a b #

liftA2 :: (a0 -> b -> c) -> ViewColumnMaker a a0 -> ViewColumnMaker a b -> ViewColumnMaker a c #

(*>) :: ViewColumnMaker a a0 -> ViewColumnMaker a b -> ViewColumnMaker a b #

(<*) :: ViewColumnMaker a a0 -> ViewColumnMaker a b -> ViewColumnMaker a a0 #

Functor (ViewColumnMaker a) Source # 
Instance details

Defined in Opaleye.Internal.TableMaker

Methods

fmap :: (a0 -> b) -> ViewColumnMaker a a0 -> ViewColumnMaker a b #

(<$) :: a0 -> ViewColumnMaker a b -> ViewColumnMaker a a0 #

runViewColumnMaker :: ViewColumnMaker strings tablecolumns -> strings -> tablecolumns Source #

type ColumnMaker = Unpackspec Source #

Deprecated: Use Unpackspec instead

runColumnMaker :: Applicative f => ColumnMaker tablecolumns columns -> (PrimExpr -> f PrimExpr) -> tablecolumns -> f columns Source #

Deprecated: Use runUnpackspec instead

column :: ColumnMaker (Field_ n a) (Field_ n a) Source #

Deprecated: Use unpackspecColumn instead