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

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