Algebra.Morphism.Exponential

Documentation

newtype Exp a

Constructors

Exp a

Instances

Foldable Exp

Defined in Algebra.Morphism.Exponential

Methods

fold :: Monoid m => Exp m -> m

foldMap :: Monoid m => (a -> m) -> Exp a -> m

foldMap' :: Monoid m => (a -> m) -> Exp a -> m

foldr :: (a -> b -> b) -> b -> Exp a -> b

foldr' :: (a -> b -> b) -> b -> Exp a -> b

foldl :: (b -> a -> b) -> b -> Exp a -> b

foldl' :: (b -> a -> b) -> b -> Exp a -> b

foldr1 :: (a -> a -> a) -> Exp a -> a

foldl1 :: (a -> a -> a) -> Exp a -> a

toList :: Exp a -> [a]

null :: Exp a -> Bool

length :: Exp a -> Int

elem :: Eq a => a -> Exp a -> Bool

maximum :: Ord a => Exp a -> a

minimum :: Ord a => Exp a -> a

sum :: Num a => Exp a -> a

product :: Num a => Exp a -> a

Traversable Exp

Defined in Algebra.Morphism.Exponential

Methods

traverse :: Applicative f => (a -> f b) -> Exp a -> f (Exp b)

sequenceA :: Applicative f => Exp (f a) -> f (Exp a)

mapM :: Monad m => (a -> m b) -> Exp a -> m (Exp b)

sequence :: Monad m => Exp (m a) -> m (Exp a)

Functor Exp

Defined in Algebra.Morphism.Exponential

Methods

fmap :: (a -> b) -> Exp a -> Exp b

(<$) :: a -> Exp b -> Exp a

Show a => Show (Exp a)

Defined in Algebra.Morphism.Exponential

Methods

showsPrec :: Int -> Exp a -> ShowS

show :: Exp a -> String

showList :: [Exp a] -> ShowS

Group a => Division (Exp a)

Defined in Algebra.Morphism.Exponential

Methods

recip :: Exp a -> Exp a

(/) :: Exp a -> Exp a -> Exp a

(^) :: Exp a -> Integer -> Exp a

Additive a => Multiplicative (Exp a)

Defined in Algebra.Morphism.Exponential

Methods

(*) :: Exp a -> Exp a -> Exp a

one :: Exp a

(^+) :: Exp a -> Natural -> Exp a

Field a => Roots (Exp a)

Defined in Algebra.Morphism.Exponential

Methods

sqrt :: Exp a -> Exp a

root :: Integer -> Exp a -> Exp a

(^/) :: Exp a -> Rational -> Exp a

Eq a => Eq (Exp a)

Defined in Algebra.Morphism.Exponential

Methods

(==) :: Exp a -> Exp a -> Bool

(/=) :: Exp a -> Exp a -> Bool

Ord a => Ord (Exp a)

Defined in Algebra.Morphism.Exponential

Methods

compare :: Exp a -> Exp a -> Ordering

(<) :: Exp a -> Exp a -> Bool

(<=) :: Exp a -> Exp a -> Bool

(>) :: Exp a -> Exp a -> Bool

(>=) :: Exp a -> Exp a -> Bool

max :: Exp a -> Exp a -> Exp a

min :: Exp a -> Exp a -> Exp a

fromExp :: Exp a -> a

newtype Log a

Constructors

Log a

Instances

Multiplicative a => Scalable Integer (Log a)

Defined in Algebra.Morphism.Exponential

Methods

(*^) :: Integer -> Log a -> Log a

Show a => Show (Log a)

Defined in Algebra.Morphism.Exponential

Methods

showsPrec :: Int -> Log a -> ShowS

show :: Log a -> String

showList :: [Log a] -> ShowS

Multiplicative a => Additive (Log a)

Defined in Algebra.Morphism.Exponential

Methods

(+) :: Log a -> Log a -> Log a

zero :: Log a

times :: Natural -> Log a -> Log a

Division a => Group (Log a)

Defined in Algebra.Morphism.Exponential

Methods

(-) :: Log a -> Log a -> Log a

subtract :: Log a -> Log a -> Log a

negate :: Log a -> Log a

mult :: Integer -> Log a -> Log a

Eq a => Eq (Log a)

Defined in Algebra.Morphism.Exponential

Methods

(==) :: Log a -> Log a -> Bool

(/=) :: Log a -> Log a -> Bool

Ord a => Ord (Log a)

Defined in Algebra.Morphism.Exponential

Methods

compare :: Log a -> Log a -> Ordering

(<) :: Log a -> Log a -> Bool

(<=) :: Log a -> Log a -> Bool

(>) :: Log a -> Log a -> Bool

(>=) :: Log a -> Log a -> Bool

max :: Log a -> Log a -> Log a

min :: Log a -> Log a -> Log a

fromLog :: Log a -> a