git.iko.soy/rel8
on e150ff4 help sign in
rel8/src/Rel8/Type/Monoid.hs
79 lines 1.7 kB history raw
1{-# language DataKinds #-}
2{-# language FlexibleContexts #-}
3{-# language FlexibleInstances #-}
4{-# language OverloadedStrings #-}
5{-# language StandaloneKindSignatures #-}
6{-# language TypeFamilies #-}
7{-# language UndecidableInstances #-}
9module Rel8.Type.Monoid
10 ( DBMonoid( memptyExpr )
11 )
12where
14-- base
15import Data.Kind ( Constraint, Type )
16import Prelude hiding ( null )
18-- bytestring
19import Data.ByteString ( ByteString )
20import qualified Data.ByteString.Lazy as Lazy ( ByteString )
22-- case-insensitive
23import Data.CaseInsensitive ( CI )
25-- rel8
26import {-# SOURCE #-} Rel8.Expr ( Expr )
27import Rel8.Expr.Array ( sempty )
28import Rel8.Expr.Serialize ( litExpr )
29import Rel8.Schema.Nullability ( Nullabilizes, nullabilization )
30import Rel8.Type ( DBType, typeInformation )
31import Rel8.Type.Semigroup ( DBSemigroup )
33-- text
34import Data.Text ( Text )
35import qualified Data.Text.Lazy as Lazy ( Text )
37-- time
38import Data.Time.Clock ( DiffTime, NominalDiffTime )
41type DBMonoid :: Type -> Constraint
42class DBSemigroup a => DBMonoid a where
43 memptyExpr :: Expr a
46instance (DBType db, Nullabilizes db a) => DBMonoid [a] where
47 memptyExpr = sempty nullabilization typeInformation
50instance DBMonoid DiffTime where
51 memptyExpr = litExpr 0
54instance DBMonoid NominalDiffTime where
55 memptyExpr = litExpr 0
58instance DBMonoid Text where
59 memptyExpr = litExpr ""
62instance DBMonoid Lazy.Text where
63 memptyExpr = litExpr ""
66instance DBMonoid (CI Text) where
67 memptyExpr = litExpr ""
70instance DBMonoid (CI Lazy.Text) where
71 memptyExpr = litExpr ""
74instance DBMonoid ByteString where
75 memptyExpr = litExpr ""
78instance DBMonoid Lazy.ByteString where
79 memptyExpr = litExpr ""