Safe Haskell	None
Language	Haskell2010

Opaleye.Internal.TableMaker

Documentation

newtype ViewColumnMaker strings columns #

Constructors

ViewColumnMaker (PackMap () () strings columns)

Instances

ProductProfunctor ViewColumnMaker #
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 #
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 # (#.) :: Coercible * c b => (b -> c) -> ViewColumnMaker a b -> ViewColumnMaker a c # (.#) :: Coercible * b a => ViewColumnMaker b c -> (a -> b) -> ViewColumnMaker a c #
Default ViewColumnMaker String (Column a) #
Methods def :: ViewColumnMaker String (Column a) #
Functor (ViewColumnMaker a) #
Methods fmap :: (a -> b) -> ViewColumnMaker a a -> ViewColumnMaker a b # (<$) :: a -> ViewColumnMaker a b -> ViewColumnMaker a a #
Applicative (ViewColumnMaker a) #
Methods pure :: a -> ViewColumnMaker a a # (<>) :: ViewColumnMaker a (a -> b) -> ViewColumnMaker a a -> ViewColumnMaker a b # (>) :: ViewColumnMaker a a -> ViewColumnMaker a b -> ViewColumnMaker a b # (<*) :: ViewColumnMaker a a -> ViewColumnMaker a b -> ViewColumnMaker a a #

newtype ColumnMaker columns columns' #

Constructors

Instances

ProductProfunctor ColumnMaker #
Methods purePP :: b -> ColumnMaker a b # (**) :: ColumnMaker a (b -> c) -> ColumnMaker a b -> ColumnMaker a c # empty :: ColumnMaker () () # (*!) :: ColumnMaker a b -> ColumnMaker a' b' -> ColumnMaker (a, a') (b, b') #
Profunctor ColumnMaker #
Methods dimap :: (a -> b) -> (c -> d) -> ColumnMaker b c -> ColumnMaker a d # lmap :: (a -> b) -> ColumnMaker b c -> ColumnMaker a c # rmap :: (b -> c) -> ColumnMaker a b -> ColumnMaker a c # (#.) :: Coercible * c b => (b -> c) -> ColumnMaker a b -> ColumnMaker a c # (.#) :: Coercible * b a => ColumnMaker b c -> (a -> b) -> ColumnMaker a c #
Default ColumnMaker (Column a) (Column a) #
Methods def :: ColumnMaker (Column a) (Column a) #
Functor (ColumnMaker a) #
Methods fmap :: (a -> b) -> ColumnMaker a a -> ColumnMaker a b # (<$) :: a -> ColumnMaker a b -> ColumnMaker a a #
Applicative (ColumnMaker a) #
Methods pure :: a -> ColumnMaker a a # (<>) :: ColumnMaker a (a -> b) -> ColumnMaker a a -> ColumnMaker a b # (>) :: ColumnMaker a a -> ColumnMaker a b -> ColumnMaker a b # (<*) :: ColumnMaker a a -> ColumnMaker a b -> ColumnMaker a a #

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

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