Home
last modified time | relevance | path

Searched refs:floatFun (Results 1 – 1 of 1) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Reduce/
H A DFast.hs199 "primFloatSqrt" -> mkPrim 1 $ floatFun sqrt
200 "primFloatExp" -> mkPrim 1 $ floatFun exp
201 "primFloatLog" -> mkPrim 1 $ floatFun log
202 "primFloatSin" -> mkPrim 1 $ floatFun sin
203 "primFloatCos" -> mkPrim 1 $ floatFun cos
204 "primFloatTan" -> mkPrim 1 $ floatFun tan
205 "primFloatASin" -> mkPrim 1 $ floatFun asin
206 "primFloatACos" -> mkPrim 1 $ floatFun acos
207 "primFloatATan" -> mkPrim 1 $ floatFun atan
282 floatFun f [LitFloat a] = float (f a) function
[all …]