Opaleye.SQLite.Table

Documentation

queryTable :: Default ColumnMaker columns columns => Table a columns -> Query columns

Example type specialization:

queryTable :: Table w (Column a, Column b) -> Query (Column a, Column b)

Assuming the makeAdaptorAndInstance splice has been run for the product type Foo:

queryTable :: Table w (Foo (Column a) (Column b) (Column c)) -> Query (Foo (Column a) (Column b) (Column c))

queryTableExplicit :: ColumnMaker tablecolumns columns -> Table a tablecolumns -> Query columns

required :: String -> TableProperties (Column a) (Column a)

optional :: String -> TableProperties (Maybe (Column a)) (Column a)

data View columns

data Writer columns dummy

Instances

Profunctor Writer

Defined in Opaleye.SQLite.Internal.Table

Methods

dimap :: (a -> b) -> (c -> d) -> Writer b c -> Writer a d

lmap :: (a -> b) -> Writer b c -> Writer a c

rmap :: (b -> c) -> Writer a b -> Writer a c

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

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

ProductProfunctor Writer

Defined in Opaleye.SQLite.Internal.Table

Methods

purePP :: b -> Writer a b

(****) :: Writer a (b -> c) -> Writer a b -> Writer a c

empty :: Writer () ()

(***!) :: Writer a b -> Writer a' b' -> Writer (a, a') (b, b')

Functor (Writer a)

Defined in Opaleye.SQLite.Internal.Table

Methods

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

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

Applicative (Writer a)

Defined in Opaleye.SQLite.Internal.Table

Methods

pure :: a0 -> Writer a a0

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

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

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

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

data Table writerColumns viewColumns

Constructors

Table String (TableProperties writerColumns viewColumns)

Instances

Functor (Table a)

Defined in Opaleye.SQLite.Internal.Table

Methods

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

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

data TableProperties writerColumns viewColumns

Instances

Profunctor TableProperties

Defined in Opaleye.SQLite.Internal.Table

Methods

dimap :: (a -> b) -> (c -> d) -> TableProperties b c -> TableProperties a d

lmap :: (a -> b) -> TableProperties b c -> TableProperties a c

rmap :: (b -> c) -> TableProperties a b -> TableProperties a c

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

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

ProductProfunctor TableProperties

Defined in Opaleye.SQLite.Internal.Table

Methods

purePP :: b -> TableProperties a b

(****) :: TableProperties a (b -> c) -> TableProperties a b -> TableProperties a c

empty :: TableProperties () ()

(***!) :: TableProperties a b -> TableProperties a' b' -> TableProperties (a, a') (b, b')

Functor (TableProperties a)

Defined in Opaleye.SQLite.Internal.Table

Methods

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

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

Applicative (TableProperties a)

Defined in Opaleye.SQLite.Internal.Table

Methods

pure :: a0 -> TableProperties a a0

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

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

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

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