Type.Data.Ordering

data Ordering :: Type

data LT :: Ordering

Instances

• IsOrdering LT
• AppendOrdering LT rhs LT
• InvertOrdering LT GT
• InvertOrdering GT LT
• Equals LT LT True
• Equals EQ LT False
• Equals LT EQ False
• Equals LT GT False
• Equals GT LT False

data EQ :: Ordering

Instances

• IsOrdering EQ
• AppendOrdering EQ rhs rhs
• InvertOrdering EQ EQ
• Equals EQ EQ True
• Equals EQ LT False
• Equals EQ GT False
• Equals LT EQ False
• Equals GT EQ False

data GT :: Ordering

Instances

• IsOrdering GT
• AppendOrdering GT rhs GT
• InvertOrdering LT GT
• InvertOrdering GT LT
• Equals GT GT True
• Equals EQ GT False
• Equals LT GT False
• Equals GT LT False
• Equals GT EQ False

data OProxy (ordering :: Ordering)

Value proxy for Ordering types

Constructors

• OProxy

class IsOrdering (ordering :: Ordering)  where

Class for reflecting a type level Ordering at the value level

Members

• reflectOrdering :: OProxy ordering -> Ordering

Instances

• IsOrdering LT
• IsOrdering EQ
• IsOrdering GT

reifyOrdering :: forall r. Ordering -> (forall o. IsOrdering o => OProxy o -> r) -> r

Use a value level Ordering as a type-level Ordering

class AppendOrdering (lhs :: Ordering) (rhs :: Ordering) (output :: Ordering) | lhs -> rhs output

Append two Ordering types together Reflective of the semigroup for value level Ordering

Instances

• AppendOrdering LT rhs LT
• AppendOrdering EQ rhs rhs
• AppendOrdering GT rhs GT

appendOrdering :: forall o r l. AppendOrdering l r o => OProxy l -> OProxy r -> OProxy o

class InvertOrdering (ordering :: Ordering) (result :: Ordering) | ordering -> result

Invert an Ordering

Instances

• InvertOrdering LT GT
• InvertOrdering EQ EQ
• InvertOrdering GT LT

invertOrdering :: forall o i. InvertOrdering i o => OProxy i -> OProxy o

class Equals (lhs :: Ordering) (rhs :: Ordering) (out :: Boolean) | lhs rhs -> out

Instances

• Equals EQ EQ True
• Equals LT LT True
• Equals GT GT True
• Equals EQ LT False
• Equals EQ GT False
• Equals LT EQ False
• Equals LT GT False
• Equals GT LT False
• Equals GT EQ False

equals :: forall o r l. Equals l r o => OProxy l -> OProxy r -> BProxy o