git.iko.soy/streamly
on master help sign in
Add Fractional and Floating instance
39af783Harendra Kumar
src/Asyncly/AsyncT.hs+30−1
compare with master
unifiedsplit
@@ -456,7 +456,7 @@ instance MonadAsync m => MonadPlus (AsyncT m) where
456-- Num
456-- Num
457------------------------------------------------------------------------------
457------------------------------------------------------------------------------
458
458
459−instance (Num a, Monad (AsyncT m)) => Num (AsyncT m a) where
459+instance (Monad m, Num a) => Num (AsyncT m a) where
460 fromInteger n = pure (fromInteger n)
460 fromInteger n = pure (fromInteger n)
461
461
462 negate = fmap negate
462 negate = fmap negate
@@ -467,6 +467,35 @@ instance (Num a, Monad (AsyncT m)) => Num (AsyncT m a) where
467 (*) = liftA2 (*)
467 (*) = liftA2 (*)
468 (-) = liftA2 (-)
468 (-) = liftA2 (-)
469
469
470+instance (Monad m, Fractional a) => Fractional (AsyncT m a) where
471+ fromRational n = pure (fromRational n)
472+
473+ recip = fmap recip
474+
475+ (/) = liftA2 (/)
476+
477+instance (Monad m, Floating a) => Floating (AsyncT m a) where
478+ pi = pure pi
479+
480+ exp = fmap exp
481+ sqrt = fmap sqrt
482+ log = fmap log
483+ sin = fmap sin
484+ tan = fmap tan
485+ cos = fmap cos
486+ asin = fmap asin
487+ atan = fmap atan
488+ acos = fmap acos
489+ sinh = fmap sinh
490+ tanh = fmap tanh
491+ cosh = fmap cosh
492+ asinh = fmap asinh
493+ atanh = fmap atanh
494+ acosh = fmap acosh
495+
496+ (**) = liftA2 (**)
497+ logBase = liftA2 logBase
498+
470-------------------------------------------------------------------------------
499-------------------------------------------------------------------------------
471-- AsyncT transformer
500-- AsyncT transformer
472-------------------------------------------------------------------------------
501-------------------------------------------------------------------------------