Safe HaskellSafe

Bug310

Synopsis
  • type family (a :: Nat) + (b :: Nat) :: Nat where ...

Documentation

type family (a :: Nat) + (b :: Nat) :: Nat where ... infixl 6 #

Addition of type-level naturals.

Since: 4.7.0.0