-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Type-level comparison operator
--   
--   Type-level comparison operator with instances for <tt>type-digit</tt>
--   numerals until <a>http://hackage.haskell.org/trac/ghc/ticket/1894</a>
--   is resolved.
@package type-ord
@version 0.2


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

-- | Type-level comparison.

-- | <tt>OrdCase x a b c</tt> reduces to <tt>a</tt>, <tt>b</tt>, or
--   <tt>c</tt>, if <tt>x</tt> is <tt>LT</tt>, <tt>EQ</tt>, or <tt>GT</tt>,
--   respectively.
type OrdCase x a b c = OrdCase_ x a b c
type IsEQ t = OrdCase t False True False
type IsLT t = OrdCase t True False False
type IsGT t = OrdCase t False False True


-- | Type-level comparison operator, its result "kind", and that kind's
--   case expression. Plus instances for <tt>()</tt>-terminated
--   <tt>type-digits</tt> numerals.
module Type.Ord