Cleff.Internal.Instances

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)

Compatibility instance for MonadComprehensions.

Since: 0.2.1.0

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)

Since: 0.2.1.0

Methods

minBound :: Eff es a

maxBound :: Eff es a

Floating a => Floating (Eff es a)

Since: 0.2.1.0

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)

Since: 0.2.1.0

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)

Since: 0.2.1.0

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)

Since: 0.2.1.0

Methods

fromString :: String -> Eff es a

Semigroup a => Semigroup (Eff es a)

Since: 0.2.1.0

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)

Since: 0.2.1.0

Methods

mempty :: Eff es a

mappend :: Eff es a -> Eff es a -> Eff es a

mconcat :: [Eff es a] -> Eff es a