@@ -23,14 +23,18 @@ import Rel8.Table.Alternative
2323 )
2424
2525
26+-- | The @Query@ monad allows you to compose a @SELECT@ query. This monad has
27+-- semantics similar to the list (@[]@) monad.
2628type Query :: Type -> Type
2729newtype Query a = Query (Opaleye.Select a)
2830 deriving newtype (Functor, Applicative, Monad)
2931
3032
33+-- | '<|>:' = 'unionAll'.
3134instance AltTable Query where
3235 (<|>:) = unionAll
3336
3437
38+-- | 'emptyTable' = 'values' @[]@.
3539instance AlternativeTable Query where
3640 emptyTable = values []