Copyright	(c) Ross Paterson 2022
License	BSD-style (see the file LICENSE)
Maintainer	[email protected]
Stability	provisional
Portability	portable
Safe Haskell	None
Language	Haskell2010

Data.YAP.Logarithm

Description

An example instance of the algebraic classes: a logarithm adaptor.

Synopsis

Documentation

Formal logarithm type adaptor: addition and subtraction become multiplication and division on the underlying type.

Instances details

Show a => Show (Logarithm a) Source #
Instance details Defined in Data.YAP.Logarithm Methods showsPrec :: Int -> Logarithm a -> ShowS # show :: Logarithm a -> String # showList :: [Logarithm a] -> ShowS #
Eq a => Eq (Logarithm a) Source #
Instance details Defined in Data.YAP.Logarithm Methods (==) :: Logarithm a -> Logarithm a -> Bool # (/=) :: Logarithm a -> Logarithm a -> Bool #
Ord a => Ord (Logarithm a) Source #
Instance details Defined in Data.YAP.Logarithm Methods compare :: Logarithm a -> Logarithm a -> Ordering # (<) :: Logarithm a -> Logarithm a -> Bool # (<=) :: Logarithm a -> Logarithm a -> Bool # (>) :: Logarithm a -> Logarithm a -> Bool # (>=) :: Logarithm a -> Logarithm a -> Bool # max :: Logarithm a -> Logarithm a -> Logarithm a # min :: Logarithm a -> Logarithm a -> Logarithm a #
Semifield a => AbelianGroup (Logarithm a) Source #
Instance details Defined in Data.YAP.Logarithm Methods (-) :: Logarithm a -> Logarithm a -> Logarithm a # negate :: Logarithm a -> Logarithm a # gtimes :: (AbelianGroup b, ToInteger b) => b -> Logarithm a -> Logarithm a #
Semiring a => AdditiveMonoid (Logarithm a) Source #
Instance details Defined in Data.YAP.Logarithm Methods (+) :: Logarithm a -> Logarithm a -> Logarithm a # zero :: Logarithm a # atimes :: ToInteger b => b -> Logarithm a -> Logarithm a #

Formal logarithm. logarithm zero is undefined

inverse of logarithm.