type-ord-0.2: Type-level comparison operator

Portabilitysee LANGUAGE pragmas (... GHC)
Stabilityexperimental
Maintainernicolas.frisby@gmail.com
Safe HaskellSafe-Inferred

Type.Ord.Base

Description

Type-level comparison operator, its result "kind", and that kind's case expression.

Synopsis

Documentation

type family Compare l r :: OrderingSource

Type-level comparison.

type OrdCase x a b c = OrdCase_ x a b cSource

OrdCase x a b c reduces to a, b, or c, if x is LT, EQ, or GT, respectively.

type IsEQ t = OrdCase t False True FalseSource

type IsLT t = OrdCase t True False FalseSource

type IsGT t = OrdCase t False False TrueSource