1. Aleksey Khudyakov
  2. type-level-numbers


Aleksey Khudyakov  committed 2b165e3

Update comment about type comparisons

  • Participants
  • Parent commits 1f5a78a
  • Branches default

Comments (0)

Files changed (1)

File TypeLevel/Number/Classes.hs

View file
 -- Compare type family is instance of these type classes.
 -- These instance could have problems. They weren't exensively tested.
+-- Also error messages are really unhelpful.
 -- | Numbers n and m are instances of this class if and only is n < m.
 class Lesser n m