Opaleye.Internal.TableMaker

Documentation

newtype ViewColumnMaker strings columns

Constructors

ViewColumnMaker (PackMap () () strings columns)

Instances

ProductProfunctor ViewColumnMaker

Methods

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

ColumnMaker (PackMap PrimExpr PrimExpr columns columns')

Instances

ProductProfunctor ColumnMaker

Methods

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

tableColumn :: ViewColumnMaker String (Column a)

column :: ColumnMaker (Column a) (Column a)