Safe Haskell	None
Language	Haskell2010

Opaleye.SQLite.Internal.TableMaker

Documentation

newtype ViewColumnMaker strings columns Source #

Constructors

ViewColumnMaker (PackMap () () strings columns)

Instances

Instances details

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

Constructors

ColumnMaker (PackMap PrimExpr PrimExpr columns columns')

Instances

Instances details

Profunctor ColumnMaker Source #
Instance details 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 Source #
Instance details 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) Source #
Instance details Defined in Opaleye.SQLite.Internal.TableMaker Methods def :: ColumnMaker (Column a) (Column a) #
Functor (ColumnMaker a) Source #
Instance details 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) Source #
Instance details 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 Source #

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

tableColumn :: ViewColumnMaker String (Column a) Source #

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