@@ -23,14 +23,18 @@ import Rel8.Table.Alternative
26+-- | The @Query@ monad allows you to compose a @SELECT@ query. This monad has
27+-- semantics similar to the list (@[]@) monad.
26type Query :: Type -> Type
28type Query :: Type -> Type
27newtype Query a = Query (Opaleye.Select a)
29newtype Query a = Query (Opaleye.Select a)
28 deriving newtype (Functor, Applicative, Monad)
30 deriving newtype (Functor, Applicative, Monad)
33+-- | '<|>:' = 'unionAll'.
31instance AltTable Query where
34instance AltTable Query where
32 (<|>:) = unionAll
35 (<|>:) = unionAll
38+-- | 'emptyTable' = 'values' @[]@.
35instance AlternativeTable Query where
39instance AlternativeTable Query where
36 emptyTable = values []
40 emptyTable = values []