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

Safe HaskellNone
LanguageHaskell2010

Feldspar.Core.Frontend.Logic

Synopsis

Documentation

not :: Data Bool -> Data Bool Source

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

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

(&&*) :: Data Bool -> Data Bool -> Data Bool infixr 3 Source

Lazy conjunction, second argument only evaluated if necessary

(||*) :: Data Bool -> Data Bool -> Data Bool infixr 2 Source

Lazy disjunction, second argument only evaluated if necessary