Opaleye.SQLite.Internal.Table

Documentation

"pWidget" ''Widget)

widgetTable :: Table (Widget (Maybe (Column PGInt4)) (Column PGText) (Column PGText) (Column PGInt4) (Column PGFloat8)) (Widget (Column PGText) (Column PGText) (Column PGText) (Column PGInt4) (Column PGFloat8)) widgetTable = Table "widgetTable" (pWidget Widget { wid = optional "id" , color = required "color" , location = required "location" , quantity = required "quantity" , radius = required "radius" }) @

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

Constructors

TableProperties (Writer writerColumns viewColumns) (View 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

data View columns

Constructors

View columns

newtype Writer columns dummy

Constructors

Writer (forall f. Functor f => PackMap (f PrimExpr, String) () (f columns) ())

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

queryTable :: ColumnMaker viewColumns columns -> Table writerColumns viewColumns -> Tag -> (columns, PrimQuery)

runColumnMaker :: ColumnMaker tablecolumns columns -> Tag -> tablecolumns -> (columns, [(Symbol, PrimExpr)])

runWriter :: Writer columns columns' -> columns -> [(PrimExpr, String)]

runWriter' :: Writer columns columns' -> NonEmpty columns -> (NonEmpty [PrimExpr], [String])

data Zip a

Constructors

Zip

Fields

• unZip :: NonEmpty [a]

Instances

Semigroup (Zip a)

Defined in Opaleye.SQLite.Internal.Table

Methods

(<>) :: Zip a -> Zip a -> Zip a

sconcat :: NonEmpty (Zip a) -> Zip a

stimes :: Integral b => b -> Zip a -> Zip a

Monoid (Zip a)

Defined in Opaleye.SQLite.Internal.Table

Methods

mempty :: Zip a

mappend :: Zip a -> Zip a -> Zip a

mconcat :: [Zip a] -> Zip a

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

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