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

Safe HaskellNone

Feldspar.Core.Constructs.Fractional

Documentation

data FRACTIONAL a whereSource

Constructors

DivFrac :: (Type a, Fractional a) => FRACTIONAL (a :-> (a :-> Full a)) 

Instances

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