Grisette.Unified.Internal.Class.UnifiedSymOrd

Documentation

class UnifiedSymOrd mode a where

A class that provides unified comparison.

We use this type class to help resolve the constraints for Ord and SymOrd.

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord a) (SymOrd a) => r) -> r

Instances

Typeable mode => UnifiedSymOrd mode Int16

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord Int16) (SymOrd Int16) => r) -> r

Typeable mode => UnifiedSymOrd mode Int32

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord Int32) (SymOrd Int32) => r) -> r

Typeable mode => UnifiedSymOrd mode Int64

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord Int64) (SymOrd Int64) => r) -> r

Typeable mode => UnifiedSymOrd mode Int8

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord Int8) (SymOrd Int8) => r) -> r

Typeable mode => UnifiedSymOrd mode Word16

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord Word16) (SymOrd Word16) => r) -> r

Typeable mode => UnifiedSymOrd mode Word32

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord Word32) (SymOrd Word32) => r) -> r

Typeable mode => UnifiedSymOrd mode Word64

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord Word64) (SymOrd Word64) => r) -> r

Typeable mode => UnifiedSymOrd mode Word8

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord Word8) (SymOrd Word8) => r) -> r

Typeable mode => UnifiedSymOrd mode ByteString

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord ByteString) (SymOrd ByteString) => r) -> r

Typeable mode => UnifiedSymOrd mode AssertionError

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord AssertionError) (SymOrd AssertionError) => r) -> r

Typeable mode => UnifiedSymOrd mode VerificationConditions

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord VerificationConditions) (SymOrd VerificationConditions) => r) -> r

Typeable mode => UnifiedSymOrd mode FPRoundingMode

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord FPRoundingMode) (SymOrd FPRoundingMode) => r) -> r

Typeable mode => UnifiedSymOrd mode Text

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord Text) (SymOrd Text) => r) -> r

Typeable mode => UnifiedSymOrd mode Integer

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord Integer) (SymOrd Integer) => r) -> r

Typeable mode => UnifiedSymOrd mode ()

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord ()) (SymOrd ()) => r) -> r

Typeable mode => UnifiedSymOrd mode Bool

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord Bool) (SymOrd Bool) => r) -> r

Typeable mode => UnifiedSymOrd mode Char

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord Char) (SymOrd Char) => r) -> r

Typeable mode => UnifiedSymOrd mode Double

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord Double) (SymOrd Double) => r) -> r

Typeable mode => UnifiedSymOrd mode Float

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord Float) (SymOrd Float) => r) -> r

Typeable mode => UnifiedSymOrd mode Int

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord Int) (SymOrd Int) => r) -> r

Typeable mode => UnifiedSymOrd mode Word

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord Word) (SymOrd Word) => r) -> r

(Typeable mode, If (IsConMode mode) (Ord a) (SymOrd a)) => UnifiedSymOrd mode a

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord a) (SymOrd a) => r) -> r

UnifiedSymOrd 'Sym v => UnifiedSymOrd 'Sym (Union v)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode 'Sym) (Ord (Union v)) (SymOrd (Union v)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a) => UnifiedSymOrd mode (Identity a)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (Identity a)) (SymOrd (Identity a)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a, Integral a) => UnifiedSymOrd mode (Ratio a)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (Ratio a)) (SymOrd (Ratio a)) => r) -> r

(Typeable mode, KnownNat n, 1 <= n) => UnifiedSymOrd mode (IntN n)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (IntN n)) (SymOrd (IntN n)) => r) -> r

(Typeable mode, KnownNat n, 1 <= n) => UnifiedSymOrd mode (WordN n)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (WordN n)) (SymOrd (WordN n)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a) => UnifiedSymOrd mode (Maybe a)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (Maybe a)) (SymOrd (Maybe a)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a) => UnifiedSymOrd mode [a]

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord [a]) (SymOrd [a]) => r) -> r

(Typeable mode, UnifiedSymOrd mode a, UnifiedSymOrd mode b) => UnifiedSymOrd mode (Either a b)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (Either a b)) (SymOrd (Either a b)) => r) -> r

(Typeable mode, ValidFP eb sb) => UnifiedSymOrd mode (FP eb sb)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (FP eb sb)) (SymOrd (FP eb sb)) => r) -> r

(Typeable mode, UnifiedSymOrd1 mode m, UnifiedSymOrd mode a) => UnifiedSymOrd mode (MaybeT m a)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (MaybeT m a)) (SymOrd (MaybeT m a)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a, UnifiedSymOrd mode b) => UnifiedSymOrd mode (a, b)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (a, b)) (SymOrd (a, b)) => r) -> r

(Typeable mode, UnifiedSymOrd mode e, UnifiedSymOrd1 mode m, UnifiedSymOrd mode a) => UnifiedSymOrd mode (ExceptT e m a)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (ExceptT e m a)) (SymOrd (ExceptT e m a)) => r) -> r

(Typeable mode, UnifiedSymOrd1 mode m, UnifiedSymOrd mode a) => UnifiedSymOrd mode (IdentityT m a)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (IdentityT m a)) (SymOrd (IdentityT m a)) => r) -> r

(Typeable mode, UnifiedSymOrd mode w, UnifiedSymOrd1 mode m, UnifiedSymOrd mode a) => UnifiedSymOrd mode (WriterT w m a)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (WriterT w m a)) (SymOrd (WriterT w m a)) => r) -> r

(Typeable mode, UnifiedSymOrd mode w, UnifiedSymOrd1 mode m, UnifiedSymOrd mode a) => UnifiedSymOrd mode (WriterT w m a)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (WriterT w m a)) (SymOrd (WriterT w m a)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a, UnifiedSymOrd mode b, UnifiedSymOrd mode c) => UnifiedSymOrd mode (a, b, c)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (a, b, c)) (SymOrd (a, b, c)) => r) -> r

(Typeable mode, UnifiedSymOrd1 mode f, UnifiedSymOrd1 mode g, UnifiedSymOrd mode a) => UnifiedSymOrd mode (Sum f g a)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (Sum f g a)) (SymOrd (Sum f g a)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a, UnifiedSymOrd mode b, UnifiedSymOrd mode c, UnifiedSymOrd mode d) => UnifiedSymOrd mode (a, b, c, d)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (a, b, c, d)) (SymOrd (a, b, c, d)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a, UnifiedSymOrd mode b, UnifiedSymOrd mode c, UnifiedSymOrd mode d, UnifiedSymOrd mode e) => UnifiedSymOrd mode (a, b, c, d, e)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (a, b, c, d, e)) (SymOrd (a, b, c, d, e)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a, UnifiedSymOrd mode b, UnifiedSymOrd mode c, UnifiedSymOrd mode d, UnifiedSymOrd mode e, UnifiedSymOrd mode f) => UnifiedSymOrd mode (a, b, c, d, e, f)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (a, b, c, d, e, f)) (SymOrd (a, b, c, d, e, f)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a, UnifiedSymOrd mode b, UnifiedSymOrd mode c, UnifiedSymOrd mode d, UnifiedSymOrd mode e, UnifiedSymOrd mode f, UnifiedSymOrd mode g) => UnifiedSymOrd mode (a, b, c, d, e, f, g)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (a, b, c, d, e, f, g)) (SymOrd (a, b, c, d, e, f, g)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a, UnifiedSymOrd mode b, UnifiedSymOrd mode c, UnifiedSymOrd mode d, UnifiedSymOrd mode e, UnifiedSymOrd mode f, UnifiedSymOrd mode g, UnifiedSymOrd mode h) => UnifiedSymOrd mode (a, b, c, d, e, f, g, h)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (a, b, c, d, e, f, g, h)) (SymOrd (a, b, c, d, e, f, g, h)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a, UnifiedSymOrd mode b, UnifiedSymOrd mode c, UnifiedSymOrd mode d, UnifiedSymOrd mode e, UnifiedSymOrd mode f, UnifiedSymOrd mode g, UnifiedSymOrd mode h, UnifiedSymOrd mode i) => UnifiedSymOrd mode (a, b, c, d, e, f, g, h, i)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (a, b, c, d, e, f, g, h, i)) (SymOrd (a, b, c, d, e, f, g, h, i)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a, UnifiedSymOrd mode b, UnifiedSymOrd mode c, UnifiedSymOrd mode d, UnifiedSymOrd mode e, UnifiedSymOrd mode f, UnifiedSymOrd mode g, UnifiedSymOrd mode h, UnifiedSymOrd mode i, UnifiedSymOrd mode j) => UnifiedSymOrd mode (a, b, c, d, e, f, g, h, i, j)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (a, b, c, d, e, f, g, h, i, j)) (SymOrd (a, b, c, d, e, f, g, h, i, j)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a, UnifiedSymOrd mode b, UnifiedSymOrd mode c, UnifiedSymOrd mode d, UnifiedSymOrd mode e, UnifiedSymOrd mode f, UnifiedSymOrd mode g, UnifiedSymOrd mode h, UnifiedSymOrd mode i, UnifiedSymOrd mode j, UnifiedSymOrd mode k) => UnifiedSymOrd mode (a, b, c, d, e, f, g, h, i, j, k)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (a, b, c, d, e, f, g, h, i, j, k)) (SymOrd (a, b, c, d, e, f, g, h, i, j, k)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a, UnifiedSymOrd mode b, UnifiedSymOrd mode c, UnifiedSymOrd mode d, UnifiedSymOrd mode e, UnifiedSymOrd mode f, UnifiedSymOrd mode g, UnifiedSymOrd mode h, UnifiedSymOrd mode i, UnifiedSymOrd mode j, UnifiedSymOrd mode k, UnifiedSymOrd mode l) => UnifiedSymOrd mode (a, b, c, d, e, f, g, h, i, j, k, l)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (a, b, c, d, e, f, g, h, i, j, k, l)) (SymOrd (a, b, c, d, e, f, g, h, i, j, k, l)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a, UnifiedSymOrd mode b, UnifiedSymOrd mode c, UnifiedSymOrd mode d, UnifiedSymOrd mode e, UnifiedSymOrd mode f, UnifiedSymOrd mode g, UnifiedSymOrd mode h, UnifiedSymOrd mode i, UnifiedSymOrd mode j, UnifiedSymOrd mode k, UnifiedSymOrd mode l, UnifiedSymOrd mode m) => UnifiedSymOrd mode (a, b, c, d, e, f, g, h, i, j, k, l, m)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (a, b, c, d, e, f, g, h, i, j, k, l, m)) (SymOrd (a, b, c, d, e, f, g, h, i, j, k, l, m)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a, UnifiedSymOrd mode b, UnifiedSymOrd mode c, UnifiedSymOrd mode d, UnifiedSymOrd mode e, UnifiedSymOrd mode f, UnifiedSymOrd mode g, UnifiedSymOrd mode h, UnifiedSymOrd mode i, UnifiedSymOrd mode j, UnifiedSymOrd mode k, UnifiedSymOrd mode l, UnifiedSymOrd mode m, UnifiedSymOrd mode n) => UnifiedSymOrd mode (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n)) (SymOrd (a, b, c, d, e, f, g, h, i, j, k, l, m, n)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a, UnifiedSymOrd mode b, UnifiedSymOrd mode c, UnifiedSymOrd mode d, UnifiedSymOrd mode e, UnifiedSymOrd mode f, UnifiedSymOrd mode g, UnifiedSymOrd mode h, UnifiedSymOrd mode i, UnifiedSymOrd mode j, UnifiedSymOrd mode k, UnifiedSymOrd mode l, UnifiedSymOrd mode m, UnifiedSymOrd mode n, UnifiedSymOrd mode o) => UnifiedSymOrd mode (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd :: (If (IsConMode mode) (Ord (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)) (SymOrd (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)) => r) -> r

class UnifiedSymOrd1 mode f where

A class that provides unified lifting of comparison.

We use this type class to help resolve the constraints for Ord1 and SymOrd1.

Methods

withBaseSymOrd1 :: (If (IsConMode mode) (Ord1 f) (SymOrd1 f) => r) -> r

Instances

Typeable mode => UnifiedSymOrd1 mode Identity

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd1 :: (If (IsConMode mode) (Ord1 Identity) (SymOrd1 Identity) => r) -> r

Typeable mode => UnifiedSymOrd1 mode Maybe

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd1 :: (If (IsConMode mode) (Ord1 Maybe) (SymOrd1 Maybe) => r) -> r

Typeable mode => UnifiedSymOrd1 mode List

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd1 :: (If (IsConMode mode) (Ord1 List) (SymOrd1 List) => r) -> r

(Typeable mode, If (IsConMode mode) (Ord1 f) (SymOrd1 f), forall a. UnifiedSymOrd mode a => UnifiedSymOrd mode (f a)) => UnifiedSymOrd1 mode f

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd1 :: (If (IsConMode mode) (Ord1 f) (SymOrd1 f) => r) -> r

(Typeable mode, UnifiedSymOrd mode a) => UnifiedSymOrd1 mode (Either a)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd1 :: (If (IsConMode mode) (Ord1 (Either a)) (SymOrd1 (Either a)) => r) -> r

(Typeable mode, UnifiedSymOrd1 mode m) => UnifiedSymOrd1 mode (MaybeT m)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd1 :: (If (IsConMode mode) (Ord1 (MaybeT m)) (SymOrd1 (MaybeT m)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a) => UnifiedSymOrd1 mode ((,) a)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd1 :: (If (IsConMode mode) (Ord1 ((,) a)) (SymOrd1 ((,) a)) => r) -> r

(Typeable mode, UnifiedSymOrd mode e, UnifiedSymOrd1 mode m) => UnifiedSymOrd1 mode (ExceptT e m)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd1 :: (If (IsConMode mode) (Ord1 (ExceptT e m)) (SymOrd1 (ExceptT e m)) => r) -> r

(Typeable mode, UnifiedSymOrd1 mode m) => UnifiedSymOrd1 mode (IdentityT m)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd1 :: (If (IsConMode mode) (Ord1 (IdentityT m)) (SymOrd1 (IdentityT m)) => r) -> r

(Typeable mode, UnifiedSymOrd mode w, UnifiedSymOrd1 mode m) => UnifiedSymOrd1 mode (WriterT w m)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd1 :: (If (IsConMode mode) (Ord1 (WriterT w m)) (SymOrd1 (WriterT w m)) => r) -> r

(Typeable mode, UnifiedSymOrd mode w, UnifiedSymOrd1 mode m) => UnifiedSymOrd1 mode (WriterT w m)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd1 :: (If (IsConMode mode) (Ord1 (WriterT w m)) (SymOrd1 (WriterT w m)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a, UnifiedSymOrd mode b) => UnifiedSymOrd1 mode ((,,) a b)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd1 :: (If (IsConMode mode) (Ord1 ((,,) a b)) (SymOrd1 ((,,) a b)) => r) -> r

(Typeable mode, UnifiedSymOrd1 mode f, UnifiedSymOrd1 mode g) => UnifiedSymOrd1 mode (Sum f g)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd1 :: (If (IsConMode mode) (Ord1 (Sum f g)) (SymOrd1 (Sum f g)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a, UnifiedSymOrd mode b, UnifiedSymOrd mode c) => UnifiedSymOrd1 mode ((,,,) a b c)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd1 :: (If (IsConMode mode) (Ord1 ((,,,) a b c)) (SymOrd1 ((,,,) a b c)) => r) -> r

class UnifiedSymOrd2 mode f where

A class that provides unified lifting of comparison.

We use this type class to help resolve the constraints for Ord2 and SymOrd2.

Methods

withBaseSymOrd2 :: (If (IsConMode mode) (Ord2 f) (SymOrd2 f) => r) -> r

Instances

Typeable mode => UnifiedSymOrd2 mode Either

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd2 :: (If (IsConMode mode) (Ord2 Either) (SymOrd2 Either) => r) -> r

Typeable mode => UnifiedSymOrd2 mode (,)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd2 :: (If (IsConMode mode) (Ord2 (,)) (SymOrd2 (,)) => r) -> r

(Typeable mode, If (IsConMode mode) (Ord2 f) (SymOrd2 f), forall a. UnifiedSymOrd mode a => UnifiedSymOrd1 mode (f a)) => UnifiedSymOrd2 mode f

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd2 :: (If (IsConMode mode) (Ord2 f) (SymOrd2 f) => r) -> r

(Typeable mode, UnifiedSymOrd mode a) => UnifiedSymOrd2 mode ((,,) a)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd2 :: (If (IsConMode mode) (Ord2 ((,,) a)) (SymOrd2 ((,,) a)) => r) -> r

(Typeable mode, UnifiedSymOrd mode a, UnifiedSymOrd mode b) => UnifiedSymOrd2 mode ((,,,) a b)

Defined in Grisette.Unified.Internal.Class.UnifiedSymOrd

Methods

withBaseSymOrd2 :: (If (IsConMode mode) (Ord2 ((,,,) a b)) (SymOrd2 ((,,,) a b)) => r) -> r

(.<=) :: forall mode a. (Typeable mode, UnifiedSymOrd mode a) => a -> a -> GetBool mode

Unified (.<=).

Note that you may sometimes need to write type annotations for the result when the mode isn't clear:

a .<= b :: GetBool mode

One example when it isn't clear is when this is used in unified mrgIf.

(.<) :: forall mode a. (Typeable mode, UnifiedSymOrd mode a) => a -> a -> GetBool mode

Unified (.<).

(.>=) :: forall mode a. (Typeable mode, UnifiedSymOrd mode a) => a -> a -> GetBool mode

Unified (.>=).

(.>) :: forall mode a. (Typeable mode, UnifiedSymOrd mode a) => a -> a -> GetBool mode

Unified (.>).

symCompare :: forall mode a ctx. (Typeable mode, UnifiedSymOrd mode a, Monad ctx) => a -> a -> BaseMonad mode Ordering

Unified symCompare.

liftSymCompare :: forall mode f a b. (Typeable mode, UnifiedSymOrd1 mode f) => (a -> b -> BaseMonad mode Ordering) -> f a -> f b -> BaseMonad mode Ordering

Unified liftSymCompare.

symCompare1 :: forall mode f a. (Typeable mode, UnifiedSymOrd mode a, UnifiedSymOrd1 mode f) => f a -> f a -> BaseMonad mode Ordering

Unified symCompare1.

liftSymCompare2 :: forall mode f a b c d. (Typeable mode, UnifiedSymOrd2 mode f) => (a -> b -> BaseMonad mode Ordering) -> (c -> d -> BaseMonad mode Ordering) -> f a c -> f b d -> BaseMonad mode Ordering

Unified liftSymCompare2.

symCompare2 :: forall mode f a b. (Typeable mode, UnifiedSymOrd mode a, UnifiedSymOrd mode b, UnifiedSymOrd2 mode f) => f a b -> f a b -> BaseMonad mode Ordering

Unified symCompare2.

symMax :: forall mode a. (UnifiedSymOrd mode a, UnifiedITEOp mode a, Typeable mode) => a -> a -> a

Unified symMax.

symMin :: forall mode a. (UnifiedSymOrd mode a, UnifiedITEOp mode a, Typeable mode) => a -> a -> a

Unified symMin.

mrgMax :: forall mode a m. (UnifiedSymOrd mode a, UnifiedBranching mode m, Typeable mode, Applicative m, Mergeable a) => a -> a -> m a

Unified mrgMax.

mrgMin :: forall mode a m. (UnifiedSymOrd mode a, UnifiedBranching mode m, Typeable mode, Applicative m, Mergeable a) => a -> a -> m a

Unified mrgMin.