on master help sign in
Document DBSemigroup
eb180faOllie Charles
src/Rel8/Type/Semigroup.hs+3
@@ -41,8 +41,11 @@ import qualified Data.Text.Lazy as Lazy ( Text )
41import Data.Time.Clock ( DiffTime, NominalDiffTime )
41import Data.Time.Clock ( DiffTime, NominalDiffTime )
42
42
43
43
44+-- | The class of 'DBType's that form a semigroup. This class is purely a Rel8
45+-- concept, and exists to mirror the 'Semigroup' class.
44type DBSemigroup :: Type -> Constraint
46type DBSemigroup :: Type -> Constraint
45class DBType a => DBSemigroup a where
47class DBType a => DBSemigroup a where
48+ -- | An associative operation.
46 (<>.) :: Expr a -> Expr a -> Expr a
49 (<>.) :: Expr a -> Expr a -> Expr a
47 infixr 6 <>.
50 infixr 6 <>.
48
51