Safe Haskell	None
Language	Haskell2010

Rel8.Internal.Table.Ord

Synopsis

class EqTable a => OrdTable a where
- ordTable :: Columns a (Dict (Sql DBOrd))
(<:) :: OrdTable a => a -> a -> Expr Bool
(<=:) :: OrdTable a => a -> a -> Expr Bool
(>:) :: OrdTable a => a -> a -> Expr Bool
(>=:) :: OrdTable a => a -> a -> Expr Bool
least :: OrdTable a => a -> a -> a
greatest :: OrdTable a => a -> a -> a

Documentation

class EqTable a => OrdTable a where Source #

The class of Tables that can be ordered. Ordering on tables is defined by their lexicographic ordering of all columns, so this class means "all columns in a Table have an instance of DBOrd".

Minimal complete definition

Nothing

Methods

ordTable :: Columns a (Dict (Sql DBOrd)) Source #

default ordTable :: (GTable TOrdTable TColumns (Rep (Record a)), Columns a ~ GColumns TColumns (Rep (Record a))) => Columns a (Dict (Sql DBOrd)) Source #

Instances

Instances details

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

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

Test if one Table sorts before another. Corresponds to comparing all columns with <.

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

Test if one Table sorts before, or is equal to, another. Corresponds to comparing all columns with <=.

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

Test if one Table sorts after another. Corresponds to comparing all columns with >.

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

Test if one Table sorts after another. Corresponds to comparing all columns with >=.

least :: OrdTable a => a -> a -> a Source #

Given two Tables, return the table that sorts before the other.

greatest :: OrdTable a => a -> a -> a Source #

Given two Tables, return the table that sorts after the other.