Safe Haskell	None
Language	Haskell2010

Opaleye.Internal.TableMaker

Synopsis

newtype ViewColumnMaker strings columns = ViewColumnMaker (PackMap () () strings columns)
runViewColumnMaker :: ViewColumnMaker strings tablecolumns -> strings -> tablecolumns
type ColumnMaker = Unpackspec
runColumnMaker :: Applicative f => ColumnMaker tablecolumns columns -> (PrimExpr -> f PrimExpr) -> tablecolumns -> f columns
tableColumn :: ViewColumnMaker String (Column a)
column :: ColumnMaker (Column a) (Column a)

Documentation

newtype ViewColumnMaker strings columns Source #

Constructors

ViewColumnMaker (PackMap () () strings columns)

Instances

Instances details

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 #
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') #
Default ViewColumnMaker String (Column a) Source #
Instance details Defined in Opaleye.Internal.TableMaker Methods def :: ViewColumnMaker String (Column a) #
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 #
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 #

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

tableColumn :: ViewColumnMaker String (Column a) Source #

column :: ColumnMaker (Column a) (Column a) Source #

Deprecated: Use unpackspecColumn instead