Feldspar.Core.Constructs.Floating

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

Safe Haskell | None

Feldspar.Core.Constructs.Floating

# Documentation

data FLOATING a where

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

EvalBind FLOATING |
Semantic FLOATING |
Eval FLOATING |
Render FLOATING |
ToTree FLOATING |
Equality 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 |