type-ord-0.1: Type-level comparison operator

Portabilitysee LANGUAGE pragmas (... GHC)
Stabilityexperimental
Maintainernicolas.frisby@gmail.com

Type.Ord.Base

Description

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

Synopsis

Documentation

module Type.Booleans

type family Compare l r Source

Type-level comparison.

data LT Source

data EQ Source

data GT Source

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