Type.Data.Ordering

data OProxy ordering

Constructors

• OProxy

class IsOrdering ordering  where

Members

• reflectOrdering :: forall proxy. proxy ordering -> Ordering

Instances

• IsOrdering LT
• IsOrdering EQ
• IsOrdering GT

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

Use a value level Ordering as a type-level Ordering

class Append lhs rhs output | lhs -> rhs output

Instances

• Append LT rhs LT
• Append EQ rhs rhs
• Append GT rhs GT

append :: forall proxy l r o. Append l r o => proxy l -> proxy r -> Proxy o

class Invert ordering result | ordering -> result

Instances

• Invert LT GT
• Invert EQ EQ
• Invert GT LT

invert :: forall proxy i o. Invert i o => proxy i -> Proxy o

class Equals lhs rhs out | 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 proxy l r o. Equals l r o => proxy l -> proxy r -> Proxy o

data Ordering :: Type

The Ordering kind represents the three possibilities of comparing two types of the same kind: LT (less than), EQ (equal to), and GT (greater than).

data LT :: Ordering

The 'less than' ordering type.

data GT :: Ordering

The 'greater than' ordering type.

data EQ :: Ordering

The 'equal to' ordering type.