src/Rel8/Query/Distinct.hs · rel8

on 13eac89 help sign in

rel8/src/Rel8/Query/Distinct.hs

37 lines 1.0 kB history raw

1{-# options_ghc -fno-warn-redundant-constraints #-}

3module Rel8.Query.Distinct

4 ( distinct

5 , distinctOn

6 , distinctOnBy

7 )

8where

10-- base

11import Prelude

13-- opaleye

14import qualified Opaleye.Distinct as Opaleye

15import qualified Opaleye.Internal.Order as Opaleye

16import qualified Opaleye.Internal.QueryArr as Opaleye

18-- rel8

19import Rel8.Order ( Order( Order ) )

20import Rel8.Query ( Query )

21import Rel8.Query.Opaleye ( mapOpaleye )

22import Rel8.Table.Eq ( EqTable )

23import Rel8.Table.Opaleye ( distinctspec, unpackspec )

26distinct :: EqTable a => Query a -> Query a

27distinct = mapOpaleye (Opaleye.distinctExplicit distinctspec)

30distinctOn :: EqTable b => (a -> b) -> Query a -> Query a

31distinctOn proj =

32 mapOpaleye (\q -> Opaleye.productQueryArr (Opaleye.distinctOn unpackspec proj . Opaleye.runSimpleQueryArr q))

35distinctOnBy :: EqTable b => (a -> b) -> Order a -> Query a -> Query a

36distinctOnBy proj (Order order) =

37 mapOpaleye (\q -> Opaleye.productQueryArr (Opaleye.distinctOnBy unpackspec proj order . Opaleye.runSimpleQueryArr q))