| Safe Haskell | None |
|---|
Feldspar.Core.Constructs.Num
Documentation
data NUM a where
Constructors
| 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)) |