Algebra.Morphism.Pointwise

Documentation

newtype Pointwise x a

Function type where all functions are run pointwise.

Constructors

Pointwise (x -> a)

Instances

Applicative (Pointwise x)

Defined in Algebra.Morphism.Pointwise

Methods

pure :: a -> Pointwise x a

(<*>) :: Pointwise x (a -> b) -> Pointwise x a -> Pointwise x b

liftA2 :: (a -> b -> c) -> Pointwise x a -> Pointwise x b -> Pointwise x c

(*>) :: Pointwise x a -> Pointwise x b -> Pointwise x b

(<*) :: Pointwise x a -> Pointwise x b -> Pointwise x a

Functor (Pointwise x)

Defined in Algebra.Morphism.Pointwise

Methods

fmap :: (a -> b) -> Pointwise x a -> Pointwise x b

(<$) :: a -> Pointwise x b -> Pointwise x a

Additive a => AbelianAdditive (Pointwise x a)

Defined in Algebra.Morphism.Pointwise

Additive a => Additive (Pointwise x a)

Defined in Algebra.Morphism.Pointwise

Methods

(+) :: Pointwise x a -> Pointwise x a -> Pointwise x a

zero :: Pointwise x a

times :: Natural -> Pointwise x a -> Pointwise x a

Division a => Division (Pointwise x a)

Defined in Algebra.Morphism.Pointwise

Methods

recip :: Pointwise x a -> Pointwise x a

(/) :: Pointwise x a -> Pointwise x a -> Pointwise x a

(^) :: Pointwise x a -> Integer -> Pointwise x a

Field a => Field (Pointwise x a)

Defined in Algebra.Morphism.Pointwise

Methods

fromRational :: Rational -> Pointwise x a

Group a => Group (Pointwise x a)

Defined in Algebra.Morphism.Pointwise

Methods

(-) :: Pointwise x a -> Pointwise x a -> Pointwise x a

subtract :: Pointwise x a -> Pointwise x a -> Pointwise x a

negate :: Pointwise x a -> Pointwise x a

mult :: Integer -> Pointwise x a -> Pointwise x a

Multiplicative a => Multiplicative (Pointwise x a)

Defined in Algebra.Morphism.Pointwise

Methods

(*) :: Pointwise x a -> Pointwise x a -> Pointwise x a

one :: Pointwise x a

(^+) :: Pointwise x a -> Natural -> Pointwise x a

Ring a => Ring (Pointwise x a)

Defined in Algebra.Morphism.Pointwise

Methods

fromInteger :: Integer -> Pointwise x a

Roots a => Roots (Pointwise x a)

Defined in Algebra.Morphism.Pointwise

Methods

sqrt :: Pointwise x a -> Pointwise x a

root :: Integer -> Pointwise x a -> Pointwise x a

(^/) :: Pointwise x a -> Rational -> Pointwise x a

Transcendental a => Transcendental (Pointwise x a)

Defined in Algebra.Morphism.Pointwise

Methods

pi :: Pointwise x a

exp :: Pointwise x a -> Pointwise x a

log :: Pointwise x a -> Pointwise x a

(**) :: Pointwise x a -> Pointwise x a -> Pointwise x a

logBase :: Pointwise x a -> Pointwise x a -> Pointwise x a

sin :: Pointwise x a -> Pointwise x a

cos :: Pointwise x a -> Pointwise x a

tan :: Pointwise x a -> Pointwise x a

asin :: Pointwise x a -> Pointwise x a

acos :: Pointwise x a -> Pointwise x a

atan :: Pointwise x a -> Pointwise x a

sinh :: Pointwise x a -> Pointwise x a

cosh :: Pointwise x a -> Pointwise x a

tanh :: Pointwise x a -> Pointwise x a

asinh :: Pointwise x a -> Pointwise x a

acosh :: Pointwise x a -> Pointwise x a

atanh :: Pointwise x a -> Pointwise x a

log1p :: Pointwise x a -> Pointwise x a

expm1 :: Pointwise x a -> Pointwise x a

log1pexp :: Pointwise x a -> Pointwise x a

log1mexp :: Pointwise x a -> Pointwise x a

Multiplicative a => Scalable (Pointwise x a) (Pointwise x a)

Defined in Algebra.Morphism.Pointwise

Methods

(*^) :: Pointwise x a -> Pointwise x a -> Pointwise x a

fromPointwise :: Pointwise x a -> x -> a