Data.MonadicStreamFunction.Instances.Num

Number instances for MSFs that produce numbers. This allows you to use numeric operators with MSFs that output numbers, for example, you can write:

msf1 :: MSF Input Double -- defined however you want
msf2 :: MSF Input Double -- defined however you want
msf3 :: MSF Input Double
msf3 = msf1 + msf2

instead of

msf3 = (msf1 &&& msf2) >>> arr (uncurry (+))

Instances are provided for the type classes Num, Fractional and Floating.

Orphan instances

(Monad m, Floating b) => Floating (MSF m a b)

Floating instance for MSFs.

Methods

pi :: MSF m a b

exp :: MSF m a b -> MSF m a b

log :: MSF m a b -> MSF m a b

sqrt :: MSF m a b -> MSF m a b

(**) :: MSF m a b -> MSF m a b -> MSF m a b

logBase :: MSF m a b -> MSF m a b -> MSF m a b

sin :: MSF m a b -> MSF m a b

cos :: MSF m a b -> MSF m a b

tan :: MSF m a b -> MSF m a b

asin :: MSF m a b -> MSF m a b

acos :: MSF m a b -> MSF m a b

atan :: MSF m a b -> MSF m a b

sinh :: MSF m a b -> MSF m a b

cosh :: MSF m a b -> MSF m a b

tanh :: MSF m a b -> MSF m a b

asinh :: MSF m a b -> MSF m a b

acosh :: MSF m a b -> MSF m a b

atanh :: MSF m a b -> MSF m a b

log1p :: MSF m a b -> MSF m a b

expm1 :: MSF m a b -> MSF m a b

log1pexp :: MSF m a b -> MSF m a b

log1mexp :: MSF m a b -> MSF m a b

(Monad m, Fractional b) => Fractional (MSF m a b)

Fractional instance for MSFs.

Methods

(/) :: MSF m a b -> MSF m a b -> MSF m a b

recip :: MSF m a b -> MSF m a b

fromRational :: Rational -> MSF m a b

(Monad m, Num b) => Num (MSF m a b)

Num instance for MSFs.

Methods

(+) :: MSF m a b -> MSF m a b -> MSF m a b

(-) :: MSF m a b -> MSF m a b -> MSF m a b

(*) :: MSF m a b -> MSF m a b -> MSF m a b

negate :: MSF m a b -> MSF m a b

abs :: MSF m a b -> MSF m a b

signum :: MSF m a b -> MSF m a b

fromInteger :: Integer -> MSF m a b