feldspar-language-0.1: A functional embedded language for DSP and parallelism

Feldspar.Core.Functions

Description

Primitive and helper functions supported by Feldspar

Synopsis

Documentation

(==) :: Storable a => Data a -> Data a -> Data Bool Source

(/=) :: Storable a => Data a -> Data a -> Data Bool Source

(<) :: Storable a => Data a -> Data a -> Data Bool Source

(>) :: Storable a => Data a -> Data a -> Data Bool Source

(<=) :: Storable a => Data a -> Data a -> Data Bool Source

(>=) :: Storable a => Data a -> Data a -> Data Bool Source

not :: Data Bool -> Data Bool Source

(?) :: Computable a => Data Bool -> (a, a) -> aSource

Selects the elements of the pair depending on the condition

(&&) :: Data Bool -> Data Bool -> Data Bool Source

(||) :: Data Bool -> Data Bool -> Data Bool Source

(&&*) :: Computable a => (a -> Data Bool) -> (a -> Data Bool) -> a -> Data Bool Source

Lazy conjunction, second argument only run if necessary

(||*) :: Computable a => (a -> Data Bool) -> (a -> Data Bool) -> a -> Data Bool Source

Lazy disjunction, second argument only run if necessary

min :: Storable a => Data a -> Data a -> Data aSource

max :: Storable a => Data a -> Data a -> Data aSource

div :: Data Int -> Data Int -> Data Int Source

mod :: Data Int -> Data Int -> Data Int Source

(^) :: Data Int -> Data Int -> Data Int Source

for :: Computable a => Data Int -> Data Int -> a -> (Data Int -> a -> a) -> aSource

for start end init body:

A for-loop ranging over [start .. end]. init is the starting state. The body computes the next state given the current state and the current loop index.