Numeric.Log.Signed

Documentation

data SignedLog a

Log-domain Float and Double values, with a sign bit.

Constructors

SLExp

Fields

• signSL :: Bool
• lnSL :: a

Instances

(Eq a, Fractional a) => Eq (SignedLog a)

Methods

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

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

(RealFloat a, Precise a) => Floating (SignedLog a)

Methods

pi :: SignedLog a

exp :: SignedLog a -> SignedLog a

log :: SignedLog a -> SignedLog a

sqrt :: SignedLog a -> SignedLog a

(**) :: SignedLog a -> SignedLog a -> SignedLog a

logBase :: SignedLog a -> SignedLog a -> SignedLog a

sin :: SignedLog a -> SignedLog a

cos :: SignedLog a -> SignedLog a

tan :: SignedLog a -> SignedLog a

asin :: SignedLog a -> SignedLog a

acos :: SignedLog a -> SignedLog a

atan :: SignedLog a -> SignedLog a

sinh :: SignedLog a -> SignedLog a

cosh :: SignedLog a -> SignedLog a

tanh :: SignedLog a -> SignedLog a

asinh :: SignedLog a -> SignedLog a

acosh :: SignedLog a -> SignedLog a

atanh :: SignedLog a -> SignedLog a

log1p :: SignedLog a -> SignedLog a

expm1 :: SignedLog a -> SignedLog a

log1pexp :: SignedLog a -> SignedLog a

log1mexp :: SignedLog a -> SignedLog a

(Precise a, RealFloat a) => Fractional (SignedLog a)

Methods

(/) :: SignedLog a -> SignedLog a -> SignedLog a

recip :: SignedLog a -> SignedLog a

fromRational :: Rational -> SignedLog a

Data a => Data (SignedLog a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SignedLog a -> c (SignedLog a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (SignedLog a)

toConstr :: SignedLog a -> Constr

dataTypeOf :: SignedLog a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (SignedLog a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (SignedLog a))

gmapT :: (forall b. Data b => b -> b) -> SignedLog a -> SignedLog a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SignedLog a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SignedLog a -> r

gmapQ :: (forall d. Data d => d -> u) -> SignedLog a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SignedLog a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SignedLog a -> m (SignedLog a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SignedLog a -> m (SignedLog a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SignedLog a -> m (SignedLog a)

(Precise a, RealFloat a) => Num (SignedLog a)

Methods

(+) :: SignedLog a -> SignedLog a -> SignedLog a

(-) :: SignedLog a -> SignedLog a -> SignedLog a

(*) :: SignedLog a -> SignedLog a -> SignedLog a

negate :: SignedLog a -> SignedLog a

abs :: SignedLog a -> SignedLog a

signum :: SignedLog a -> SignedLog a

fromInteger :: Integer -> SignedLog a

(Ord a, Fractional a) => Ord (SignedLog a)

Methods

compare :: SignedLog a -> SignedLog a -> Ordering

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

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

(>) :: SignedLog a -> SignedLog a -> Bool

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

max :: SignedLog a -> SignedLog a -> SignedLog a

min :: SignedLog a -> SignedLog a -> SignedLog a

(Precise a, RealFloat a, Read a) => Read (SignedLog a)

Methods

readsPrec :: Int -> ReadS (SignedLog a)

readList :: ReadS [SignedLog a]

readPrec :: ReadPrec (SignedLog a)

readListPrec :: ReadPrec [SignedLog a]

(Precise a, RealFloat a, Ord a) => Real (SignedLog a)

Methods

toRational :: SignedLog a -> Rational

(Precise a, RealFloat a) => RealFrac (SignedLog a)

Methods

properFraction :: Integral b => SignedLog a -> (b, SignedLog a)

truncate :: Integral b => SignedLog a -> b

round :: Integral b => SignedLog a -> b

ceiling :: Integral b => SignedLog a -> b

floor :: Integral b => SignedLog a -> b

(Show a, RealFloat a, Eq a, Fractional a) => Show (SignedLog a)

Methods

showsPrec :: Int -> SignedLog a -> ShowS

show :: SignedLog a -> String

showList :: [SignedLog a] -> ShowS

Generic (SignedLog a)

Associated Types

type Rep (SignedLog a) :: * -> *

Methods

from :: SignedLog a -> Rep (SignedLog a) x

to :: Rep (SignedLog a) x -> SignedLog a

type Rep (SignedLog a)

type Rep (SignedLog a) = D1 (MetaData "SignedLog" "Numeric.Log.Signed" "log-domain-0.12-CNdmMpWc5WJDIs53Nv8ljO" False) (C1 (MetaCons "SLExp" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "signSL") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "lnSL") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))))