feldspar-language-0.7: 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) 

Instances

Semantic Logic 
StringTree Logic 
Render Logic 
Eval Logic 
Equality Logic 
EvalBind Logic 
Monotonic Logic 
Sharable Logic 
AlphaEq dom dom dom env => AlphaEq Logic Logic dom env 
SizeProp (:|| Logic Type) 
(:<: (:|| Logic Type) dom, :<: (:|| EQ Type) dom, :<: (:|| ORD Type) dom, Monotonic dom, OptimizeSuper dom) => Optimize (:|| Logic Type) dom