Safe Haskell | None |
---|
The Feldspar core language
- data Complex a = !a :+ !a
- module Data.Int
- module Data.Word
- data Range a = Range {
- lowerBound :: a
- upperBound :: a
- class (Ord a, Num a, Bounded a, Integral a, Bits a) => BoundedInt a
- module Feldspar.Core.Types
- module Feldspar.Core.Frontend
- module Feldspar.Core.Collection
Reexported standard modules
data Complex a
Complex numbers are an algebraic type.
For a complex number z
,
is a number with the magnitude of abs
zz
,
but oriented in the positive real direction, whereas
has the phase of signum
zz
, but unit magnitude.
!a :+ !a | forms a complex number from its real and imaginary rectangular components. |
module Data.Int
module Data.Word
Feldspar types
A bounded range of values of type a
Range | |
|
Eq a => Eq (Range a) | |
BoundedInt a => Num (Range a) | Implements |
(Eq (Range a), BoundedInt a) => Ord (Range a) | |
Show a => Show (Range a) | |
(Eq (Range a), BoundedInt a) => Lattice (Range a) | |
(BoundedInt a, BoundedInt b, BoundedInt c) => Num (Range a, Range b, Range c) |
class (Ord a, Num a, Bounded a, Integral a, Bits a) => BoundedInt a Source
Convenience alias for bounded integers
module Feldspar.Core.Types
Frontend
module Feldspar.Core.Frontend
module Feldspar.Core.Collection