Copyright	(c) 2021 Xy Ren
License	BSD3
Maintainer	xy.r@outlook.com
Stability	unstable
Portability	non-portable (GHC only)
Safe Haskell	None
Language	Haskell2010

Cleff.Internal.Instances

Contents

Orphan instances

Description

This module contains lifted instances of some typeclasses for Eff for convenience. They are all exported in the Cleff module so you shouldn't need to import this module.

This is an internal module and its API may change even between minor versions. Therefore you should be extra careful if you're to depend on this module.

Orphan instances

MonadZip (Eff es) Source #	Compatibility instance for `MonadComprehensions`. Since: 0.2.1.0
Instance details Methods mzip :: Eff es a -> Eff es b -> Eff es (a, b) # mzipWith :: (a -> b -> c) -> Eff es a -> Eff es b -> Eff es c # munzip :: Eff es (a, b) -> (Eff es a, Eff es b) #
Bounded a => Bounded (Eff es a) Source #	Since: 0.2.1.0
Instance details Methods minBound :: Eff es a # maxBound :: Eff es a #
Floating a => Floating (Eff es a) Source #	Since: 0.2.1.0
Instance details Methods pi :: Eff es a # exp :: Eff es a -> Eff es a # log :: Eff es a -> Eff es a # sqrt :: Eff es a -> Eff es a # (**) :: Eff es a -> Eff es a -> Eff es a # logBase :: Eff es a -> Eff es a -> Eff es a # sin :: Eff es a -> Eff es a # cos :: Eff es a -> Eff es a # tan :: Eff es a -> Eff es a # asin :: Eff es a -> Eff es a # acos :: Eff es a -> Eff es a # atan :: Eff es a -> Eff es a # sinh :: Eff es a -> Eff es a # cosh :: Eff es a -> Eff es a # tanh :: Eff es a -> Eff es a # asinh :: Eff es a -> Eff es a # acosh :: Eff es a -> Eff es a # atanh :: Eff es a -> Eff es a # log1p :: Eff es a -> Eff es a # expm1 :: Eff es a -> Eff es a # log1pexp :: Eff es a -> Eff es a # log1mexp :: Eff es a -> Eff es a #
Fractional a => Fractional (Eff es a) Source #	Since: 0.2.1.0
Instance details Methods (/) :: Eff es a -> Eff es a -> Eff es a # recip :: Eff es a -> Eff es a # fromRational :: Rational -> Eff es a #
Num a => Num (Eff es a) Source #	Since: 0.2.1.0
Instance details Methods (+) :: Eff es a -> Eff es a -> Eff es a # (-) :: Eff es a -> Eff es a -> Eff es a # (*) :: Eff es a -> Eff es a -> Eff es a # negate :: Eff es a -> Eff es a # abs :: Eff es a -> Eff es a # signum :: Eff es a -> Eff es a # fromInteger :: Integer -> Eff es a #
IsString a => IsString (Eff es a) Source #	Since: 0.2.1.0
Instance details Methods fromString :: String -> Eff es a #
Semigroup a => Semigroup (Eff es a) Source #	Since: 0.2.1.0
Instance details Methods (<>) :: Eff es a -> Eff es a -> Eff es a # sconcat :: NonEmpty (Eff es a) -> Eff es a # stimes :: Integral b => b -> Eff es a -> Eff es a #
Monoid a => Monoid (Eff es a) Source #	Since: 0.2.1.0
Instance details Methods mempty :: Eff es a # mappend :: Eff es a -> Eff es a -> Eff es a # mconcat :: [Eff es a] -> Eff es a #