rel8-internal
Safe HaskellNone
LanguageHaskell2010

Rel8.Internal.Type.Semigroup

Synopsis

Documentation

class DBType a => DBSemigroup a where Source #

The class of DBTypes that form a semigroup. This class is purely a Rel8 concept, and exists to mirror the Semigroup class.

Methods

(<>.) :: Expr a -> Expr a -> Expr a infixr 6 Source #

An associative operation.

Instances

Instances details
DBSemigroup ByteString Source # 
Instance details

Defined in Rel8.Internal.Type.Semigroup

DBSemigroup ByteString Source # 
Instance details

Defined in Rel8.Internal.Type.Semigroup

DBSemigroup EitherTag Source # 
Instance details

Defined in Rel8.Internal.Type.Tag

DBSemigroup MaybeTag Source # 
Instance details

Defined in Rel8.Internal.Type.Tag

DBSemigroup Text Source # 
Instance details

Defined in Rel8.Internal.Type.Semigroup

Methods

(<>.) :: Expr Text -> Expr Text -> Expr Text Source #

DBSemigroup Text Source # 
Instance details

Defined in Rel8.Internal.Type.Semigroup

Methods

(<>.) :: Expr Text -> Expr Text -> Expr Text Source #

DBSemigroup CalendarDiffTime Source # 
Instance details

Defined in Rel8.Internal.Type.Semigroup

DBSemigroup (CI Text) Source # 
Instance details

Defined in Rel8.Internal.Type.Semigroup

Methods

(<>.) :: Expr (CI Text) -> Expr (CI Text) -> Expr (CI Text) Source #

DBSemigroup (CI Text) Source # 
Instance details

Defined in Rel8.Internal.Type.Semigroup

Methods

(<>.) :: Expr (CI Text) -> Expr (CI Text) -> Expr (CI Text) Source #

Sql DBType a => DBSemigroup (NonEmpty a) Source # 
Instance details

Defined in Rel8.Internal.Type.Semigroup

Methods

(<>.) :: Expr (NonEmpty a) -> Expr (NonEmpty a) -> Expr (NonEmpty a) Source #

DBRange a => DBSemigroup (Multirange a) Source # 
Instance details

Defined in Rel8.Internal.Type.Semigroup

Methods

(<>.) :: Expr (Multirange a) -> Expr (Multirange a) -> Expr (Multirange a) Source #

Sql DBType a => DBSemigroup [a] Source # 
Instance details

Defined in Rel8.Internal.Type.Semigroup

Methods

(<>.) :: Expr [a] -> Expr [a] -> Expr [a] Source #