src/Rel8/Expr/Array.hs · rel8

on 0b34a14 help sign in

rel8/src/Rel8/Expr/Array.hs

53 lines 1.5 kB history raw

1{-# language DataKinds #-}

2{-# language FlexibleContexts #-}

3{-# language ScopedTypeVariables #-}

4{-# language TypeApplications #-}

5{-# language TypeFamilies #-}

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

9module Rel8.Expr.Array

10 ( listOf, nonEmptyOf

11 , sappend, sappend1, sempty

12 )

13where

15-- base

16import Data.List.NonEmpty ( NonEmpty )

17import Prelude

19-- opaleye

20import qualified Opaleye.Internal.HaskellDB.PrimQuery as Opaleye

22-- rel8

23import {-# SOURCE #-} Rel8.Expr ( Expr )

24import Rel8.Expr.Opaleye

25 ( fromPrimExpr, toPrimExpr

26 , zipPrimExprsWith

27 )

28import Rel8.Type ( DBType, typeInformation )

29import Rel8.Type.Array ( array, zipPrimArraysWith )

30import Rel8.Type.Information ( TypeInformation(..) )

31import Rel8.Schema.Nullability ( Unnullify, Nullability, Sql )

34sappend :: Expr [a] -> Expr [a] -> Expr [a]

35sappend = zipPrimExprsWith (zipPrimArraysWith (Opaleye.BinExpr (Opaleye.:||)))

38sappend1 :: Expr (NonEmpty a) -> Expr (NonEmpty a) -> Expr (NonEmpty a)

39sappend1 = zipPrimExprsWith (zipPrimArraysWith (Opaleye.BinExpr (Opaleye.:||)))

42sempty :: Nullability a -> TypeInformation (Unnullify a) -> Expr [a]

43sempty _ info = fromPrimExpr $ array info []

46listOf :: forall a. Sql DBType a => [Expr a] -> Expr [a]

47listOf =

48 fromPrimExpr . array (typeInformation @(Unnullify a)) . fmap toPrimExpr

51nonEmptyOf :: forall a. Sql DBType a => NonEmpty (Expr a) -> Expr (NonEmpty a)

52nonEmptyOf =

53 fromPrimExpr . array (typeInformation @(Unnullify a)) . fmap toPrimExpr