- module Feldspar.Core.Functions.Logic
- class Type a => Eq a where
- class (Eq a, Ord a) => Ord a where
- class (Type a, Num a, FullProp (Size a)) => Numeric a
- class (Bits a, Type a, FullProp (Size a)) => Bits a where
- (.&.) :: Data a -> Data a -> Data a
- (.|.) :: Data a -> Data a -> Data a
- xor :: Data a -> Data a -> Data a
- complement :: Data a -> Data a
- bit :: Data Index -> Data a
- setBit :: Data a -> Data Index -> Data a
- clearBit :: Data a -> Data Index -> Data a
- complementBit :: Data a -> Data Index -> Data a
- testBit :: Data a -> Data Index -> Data Bool
- shiftLU :: Data a -> Data Index -> Data a
- shiftRU :: Data a -> Data Index -> Data a
- shiftL :: Data a -> Data DefaultInt -> Data a
- shiftR :: Data a -> Data DefaultInt -> Data a
- rotateLU :: Data a -> Data Index -> Data a
- rotateRU :: Data a -> Data Index -> Data a
- rotateL :: Data a -> Data DefaultInt -> Data a
- rotateR :: Data a -> Data DefaultInt -> Data a
- reverseBits :: Data a -> Data a
- bitScan :: Data a -> Data Index
- bitCount :: Data a -> Data Index
- bitSize :: Data a -> Data Index
- isSigned :: Data a -> Data Bool
- (⊕) :: Bits a => Data a -> Data a -> Data a
- (<<) :: Bits a => Data a -> Data Index -> Data a
- (>>) :: Bits a => Data a -> Data Index -> Data a
- class (Numeric a, BoundedInt a, Bits a, Ord a) => Integral a where
- class (Fractional a, Numeric a) => Fractional' a
- module Feldspar.Core.Functions.Complex
- module Feldspar.Core.Functions.Tuple
- arrayLen :: Type a => Data Length -> [a] -> Data [a]
- getIx :: Type a => Data [a] -> Data Index -> Data a
- setIx :: Type a => Data [a] -> Data Index -> Data a -> Data [a]
- getLength :: Type a => Data [a] -> Data Length
- class RandomAccess a where
- module Feldspar.Core.Functions.Conversion
- module Feldspar.Core.Functions.Trace
Documentation
class (Eq a, Ord a) => Ord a whereSource
Redefinition of the standard Ord
class for Feldspar
class (Bits a, Type a, FullProp (Size a)) => Bits a whereSource
Redefinition of the standard Bits
class for Feldspar
(.&.) :: Data a -> Data a -> Data aSource
(.|.) :: Data a -> Data a -> Data aSource
xor :: Data a -> Data a -> Data aSource
complement :: Data a -> Data aSource
bit :: Data Index -> Data aSource
setBit :: Data a -> Data Index -> Data aSource
clearBit :: Data a -> Data Index -> Data aSource
complementBit :: Data a -> Data Index -> Data aSource
testBit :: Data a -> Data Index -> Data BoolSource
shiftLU :: Data a -> Data Index -> Data aSource
shiftRU :: Data a -> Data Index -> Data aSource
shiftL :: Data a -> Data DefaultInt -> Data aSource
shiftR :: Data a -> Data DefaultInt -> Data aSource
rotateLU :: Data a -> Data Index -> Data aSource
rotateRU :: Data a -> Data Index -> Data aSource
rotateL :: Data a -> Data DefaultInt -> Data aSource
rotateR :: Data a -> Data DefaultInt -> Data aSource
reverseBits :: Data a -> Data aSource
bitScan :: Data a -> Data IndexSource
Returns the number of leading zeroes for unsigned types. For signed types it returns the number of unnecessary sign bits
bitCount :: Data a -> Data IndexSource
class (Numeric a, BoundedInt a, Bits a, Ord a) => Integral a whereSource
Redefinition of the standard Integral
class for Feldspar
class (Fractional a, Numeric a) => Fractional' a Source
Fractional types. The relation to the standard Fractional
class is
instanceFrational'
a =>Fractional
(Data
a)
Fractional' Float | |
(Fractional' a, RealFloat a) => Fractional' (Complex a) |
arrayLen :: Type a => Data Length -> [a] -> Data [a]Source
Constructs an array of the given length and initialization.
Array update
class RandomAccess a whereSource
Type a => RandomAccess (Data [a]) | |
Syntactic a => RandomAccess (Vector a) | |
Syntactic a => RandomAccess (Stream a) |