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

Declare a family for subtraction.

parent 29f4ac81
......@@ -27,6 +27,7 @@ module GHC.TypeLits
-- * Functions on type nats
, type (<=), type (<=?), type (+), type (*), type (^)
, type (-)
-- * Destructing type-nat singletons.
, isZero, IsZero(..)
......@@ -106,6 +107,10 @@ type family (m :: Nat) * (n :: Nat) :: Nat
-- | Exponentiation of type-level naturals.
type family (m :: Nat) ^ (n :: Nat) :: Nat
-- | Subtraction of type-level naturals.
-- Note that this operation is unspecified for some inputs.
type family (m :: Nat) - (n :: Nat) :: Nat
--------------------------------------------------------------------------------
......
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