Safe Haskell | None |
---|
Documentation
Abs :: (Type a, Num a, Num (Size a)) => NUM (a :-> Full a) | |
Sign :: (Type a, Num a, Num (Size a)) => NUM (a :-> Full a) | |
Add :: (Type a, Num a, Num (Size a)) => NUM (a :-> (a :-> Full a)) | |
Sub :: (Type a, Num a, Num (Size a)) => NUM (a :-> (a :-> Full a)) | |
Mul :: (Type a, Num a, Num (Size a)) => NUM (a :-> (a :-> Full a)) |