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

Safe HaskellNone

Feldspar.Core.Constructs.Floating

Documentation

data FLOATING a whereSource

Constructors

Pi :: (Type a, Floating a) => FLOATING (Full a) 
Exp :: (Type a, Floating a) => FLOATING (a :-> Full a) 
Sqrt :: (Type a, Floating a) => FLOATING (a :-> Full a) 
Log :: (Type a, Floating a) => FLOATING (a :-> Full a) 
Pow :: (Type a, Floating a) => FLOATING (a :-> (a :-> Full a)) 
LogBase :: (Type a, Floating a) => FLOATING (a :-> (a :-> Full a)) 
Sin :: (Type a, Floating a) => FLOATING (a :-> Full a) 
Tan :: (Type a, Floating a) => FLOATING (a :-> Full a) 
Cos :: (Type a, Floating a) => FLOATING (a :-> Full a) 
Asin :: (Type a, Floating a) => FLOATING (a :-> Full a) 
Atan :: (Type a, Floating a) => FLOATING (a :-> Full a) 
Acos :: (Type a, Floating a) => FLOATING (a :-> Full a) 
Sinh :: (Type a, Floating a) => FLOATING (a :-> Full a) 
Tanh :: (Type a, Floating a) => FLOATING (a :-> Full a) 
Cosh :: (Type a, Floating a) => FLOATING (a :-> Full a) 
Asinh :: (Type a, Floating a) => FLOATING (a :-> Full a) 
Atanh :: (Type a, Floating a) => FLOATING (a :-> Full a) 
Acosh :: (Type a, Floating a) => FLOATING (a :-> Full a) 

Instances

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