Commit ea9570d0 authored by Iavor S. Diatchki's avatar Iavor S. Diatchki
Browse files

Add missing instances for (<=)

parent 0b148490
......@@ -84,7 +84,8 @@ class SingI a where
--------------------------------------------------------------------------------
-- | Comparsion of type-level naturals.
class (m :: Nat) <= (n :: Nat)
class (m <=? n) ~ True => (m :: Nat) <= (n :: Nat)
instance ((m <=? n) ~ True) => m <= n
type family (m :: Nat) <=? (n :: Nat) :: Bool
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment