Opaleye.SQLite.Internal.TableMaker

Documentation

newtype ViewColumnMaker strings columns

Constructors

ViewColumnMaker (PackMap () () strings columns)

Instances

Profunctor ViewColumnMaker

Defined in Opaleye.SQLite.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

Defined in Opaleye.SQLite.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)

Defined in Opaleye.SQLite.Internal.TableMaker

Methods

def :: ViewColumnMaker String (Column a)

Functor (ViewColumnMaker a)

Defined in Opaleye.SQLite.Internal.TableMaker

Methods

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

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

Applicative (ViewColumnMaker a)

Defined in Opaleye.SQLite.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

newtype ColumnMaker columns columns'

Constructors

ColumnMaker (PackMap PrimExpr PrimExpr columns columns')

Instances

Profunctor ColumnMaker

Defined in Opaleye.SQLite.Internal.TableMaker

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

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

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

ProductProfunctor ColumnMaker

Defined in Opaleye.SQLite.Internal.TableMaker

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')

Default ColumnMaker (Column a) (Column a)

Defined in Opaleye.SQLite.Internal.TableMaker

Methods

def :: ColumnMaker (Column a) (Column a)

Functor (ColumnMaker a)

Defined in Opaleye.SQLite.Internal.TableMaker

Methods

fmap :: (a0 -> b) -> ColumnMaker a a0 -> ColumnMaker a b

(<$) :: a0 -> ColumnMaker a b -> ColumnMaker a a0

Applicative (ColumnMaker a)

Defined in Opaleye.SQLite.Internal.TableMaker

Methods

pure :: a0 -> ColumnMaker a a0

(<*>) :: ColumnMaker a (a0 -> b) -> ColumnMaker a a0 -> ColumnMaker a b

liftA2 :: (a0 -> b -> c) -> ColumnMaker a a0 -> ColumnMaker a b -> ColumnMaker a c

(*>) :: ColumnMaker a a0 -> ColumnMaker a b -> ColumnMaker a b

(<*) :: ColumnMaker a a0 -> ColumnMaker a b -> ColumnMaker a a0

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)