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

Safe HaskellNone

Feldspar.Core.Constructs.Logic

Description

Implementation of Logic constructs

Synopsis

Documentation

data Logic a whereSource

Logic constructs

Constructors

And :: Logic (Bool :-> (Bool :-> Full Bool)) 
Or :: Logic (Bool :-> (Bool :-> Full Bool)) 
Not :: Logic (Bool :-> Full Bool)