Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse code

Fix compilation

  • Loading branch information...
commit 6a7f3ac9d6e5f9e309725623484e645a8bc7374d 1 parent 017cfca
Aleksey Khudyakov authored

Showing 1 changed file with 3 additions and 3 deletions. Show diff stats Hide diff stats

  1. +3 3 Types/Number/Classes.hs
6 Types/Number/Classes.hs
@@ -18,7 +18,7 @@
18 18 module Types.Number.Classes ( -- * Conversion to values
19 19 TypeInt(..)
20 20 -- * Comparison of numbers
21   - , CompareN(..)
  21 + , Compare
22 22 , compareN
23 23 -- ** Data labels for types comparison
24 24 , IsLesser
@@ -67,7 +67,7 @@ class TypeInt n where
67 67 -- when 'n=m' and IsGreater when 'n>m'.
68 68 type family Compare n m :: *
69 69
70   -compareN :: CompareN n m => n -> m -> Compare n m
  70 +compareN :: n -> m -> Compare n m
71 71 compareN _ _ = undefined
72 72
73 73 data IsLesser
@@ -88,7 +88,7 @@ instance Show IsGreater where show _ = "IsGreater"
88 88 -- > someFunction = ...
89 89 --
90 90 -- They have generic instances and every number which is instance of
91   --- CompareN type class is instance of these type classes.
  91 +-- Compare type family is instance of these type classes.
92 92
93 93 -- | Numbers n and m are instances of this class if and only is n < m.
94 94 class Lesser n m

0 comments on commit 6a7f3ac

Please sign in to comment.
Something went wrong with that request. Please try again.