Safe Haskell	None
Language	Haskell2010

Rel8.Internal.Table.Eq

Synopsis

class Table Expr a => EqTable a where
- eqTable :: Columns a (Dict (Sql DBEq))
(==:) :: EqTable a => a -> a -> Expr Bool
(/=:) :: EqTable a => a -> a -> Expr Bool

Documentation

class Table Expr a => EqTable a where Source #

The class of Tables that can be compared for equality. Equality on tables is defined by equality of all columns all columns, so this class means "all columns in a Table have an instance of DBEq".

Minimal complete definition

Nothing

Methods

eqTable :: Columns a (Dict (Sql DBEq)) Source #

default eqTable :: (GTable TEqTable TColumns (Rep (Record a)), Columns a ~ GColumns TColumns (Rep (Record a))) => Columns a (Dict (Sql DBEq)) Source #

Instances

Instances details

Sql DBEq a => EqTable (Expr a) Source #
Instance details Defined in Rel8.Internal.Table.Eq Methods eqTable :: Columns (Expr a) (Dict (Sql DBEq)) Source #
(context ~ Expr, Rel8able t, HConstrainTable (Columns (t context)) (Sql DBEq)) => EqTable (t context) Source #
Instance details Defined in Rel8.Internal.Table.Rel8able Methods eqTable :: Columns (t context) (Dict (Sql DBEq)) Source #
(EqTable a, context ~ Expr) => EqTable (ListTable context a) Source #
Instance details Defined in Rel8.Internal.Table.List Methods eqTable :: Columns (ListTable context a) (Dict (Sql DBEq)) Source #
(EqTable a, context ~ Expr) => EqTable (MaybeTable context a) Source #
Instance details Defined in Rel8.Internal.Table.Maybe Methods eqTable :: Columns (MaybeTable context a) (Dict (Sql DBEq)) Source #
(EqTable a, context ~ Expr) => EqTable (NonEmptyTable context a) Source #
Instance details Defined in Rel8.Internal.Table.NonEmpty Methods eqTable :: Columns (NonEmptyTable context a) (Dict (Sql DBEq)) Source #
(EqTable a, context ~ Expr) => EqTable (NullTable context a) Source #
Instance details Defined in Rel8.Internal.Table.Null Methods eqTable :: Columns (NullTable context a) (Dict (Sql DBEq)) Source #
(EqTable a, context ~ Expr) => EqTable (Nullify context a) Source #
Instance details Defined in Rel8.Internal.Table.Nullify Methods eqTable :: Columns (Nullify context a) (Dict (Sql DBEq)) Source #
(EqTable a, EqTable b) => EqTable (a, b) Source #
Instance details Defined in Rel8.Internal.Table.Eq Methods eqTable :: Columns (a, b) (Dict (Sql DBEq)) Source #
(EqTable a, EqTable b, context ~ Expr) => EqTable (EitherTable context a b) Source #
Instance details Defined in Rel8.Internal.Table.Either Methods eqTable :: Columns (EitherTable context a b) (Dict (Sql DBEq)) Source #
(EqTable a, EqTable b, context ~ Expr) => EqTable (TheseTable context a b) Source #
Instance details Defined in Rel8.Internal.Table.These Methods eqTable :: Columns (TheseTable context a b) (Dict (Sql DBEq)) Source #
(EqTable a, EqTable b, EqTable c) => EqTable (a, b, c) Source #
Instance details Defined in Rel8.Internal.Table.Eq Methods eqTable :: Columns (a, b, c) (Dict (Sql DBEq)) Source #
(EqTable a, EqTable b, EqTable c, EqTable d) => EqTable (a, b, c, d) Source #
Instance details Defined in Rel8.Internal.Table.Eq Methods eqTable :: Columns (a, b, c, d) (Dict (Sql DBEq)) Source #
(EqTable a, EqTable b, EqTable c, EqTable d, EqTable e) => EqTable (a, b, c, d, e) Source #
Instance details Defined in Rel8.Internal.Table.Eq Methods eqTable :: Columns (a, b, c, d, e) (Dict (Sql DBEq)) Source #
(EqTable a, EqTable b, EqTable c, EqTable d, EqTable e, EqTable f) => EqTable (a, b, c, d, e, f) Source #
Instance details Defined in Rel8.Internal.Table.Eq Methods eqTable :: Columns (a, b, c, d, e, f) (Dict (Sql DBEq)) Source #
(EqTable a, EqTable b, EqTable c, EqTable d, EqTable e, EqTable f, EqTable g) => EqTable (a, b, c, d, e, f, g) Source #
Instance details Defined in Rel8.Internal.Table.Eq Methods eqTable :: Columns (a, b, c, d, e, f, g) (Dict (Sql DBEq)) Source #

(==:) :: EqTable a => a -> a -> Expr Bool infix 4 Source #

Compare two Tables for equality. This corresponds to comparing all columns inside each table for equality, and combining all comparisons with AND.

(/=:) :: EqTable a => a -> a -> Expr Bool infix 4 Source #

Test if two Tables are different. This corresponds to comparing all columns inside each table for inequality, and combining all comparisons with OR.