cleff-0.3.1.0: Fast and concise extensible effects
Copyright(c) 2021 Xy Ren
LicenseBSD3
Maintainerxy.r@outlook.com
Stabilityunstable
Portabilitynon-portable (GHC only)
Safe HaskellNone
LanguageHaskell2010

Cleff.Internal.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 #