Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Remove TypeInt type class

  • Loading branch information...
commit 59cb839690cfdb4bf232e4373cdb58f39d294165 1 parent 4dd4b5f
Aleksey Khudyakov authored
Showing with 34 additions and 42 deletions.
  1. +34 −42 TypeLevel/Number/Classes.hs
76 TypeLevel/Number/Classes.hs
View
@@ -15,48 +15,40 @@
--
-- This module contain interface type classes for operations with type
-- level numbers.
-module TypeLevel.Number.Classes ( -- * Conversion to values
- TypeInt(..)
- -- * Comparison of numbers
- , Compare
- , compareN
- -- ** Data labels for types comparison
- , IsLesser
- , IsEqual
- , IsGreater
- -- ** Specialized type classes
- -- $comparing
- , Lesser
- , LesserEq
- , Greater
- , GreaterEq
- -- ** Special traits
- , Positive
- , NonZero
- -- * Arithmetic operations on numbers
- , Next
- , nextN
- , Prev
- , prevN
- , Negate
- , negateN
- , Add
- , addN
- , Sub
- , subN
- , Mul
- , mulN
- , Div
- , divN
- -- * Special classes
- , Normalized
- ) where
-
--- | Type class for conversion type level integral numbers to value
--- level numbers.
-class TypeInt n where
- -- | This function is expected to be completely lazy in its argument.
- toInt :: Integral i => n -> i
+module TypeLevel.Number.Classes ( -- * Comparison of numbers
+ Compare
+ , compareN
+ -- ** Data labels for types comparison
+ , IsLesser
+ , IsEqual
+ , IsGreater
+ -- ** Specialized type classes
+ -- $comparing
+ , Lesser
+ , LesserEq
+ , Greater
+ , GreaterEq
+ -- ** Special traits
+ , Positive
+ , NonZero
+ -- * Arithmetic operations on numbers
+ , Next
+ , nextN
+ , Prev
+ , prevN
+ , Negate
+ , negateN
+ , Add
+ , addN
+ , Sub
+ , subN
+ , Mul
+ , mulN
+ , Div
+ , divN
+ -- * Special classes
+ , Normalized
+ ) where
----------------------------------------------------------------
-- Comparison
Please sign in to comment.
Something went wrong with that request. Please try again.