Data.ANum

Documentation

newtype ANum f n

Constructors

ANum

Fields

• unANum :: f n

Instances

Functor f => Functor (ANum f)

Methods

fmap :: (a -> b) -> ANum f a -> ANum f b

(<$) :: a -> ANum f b -> ANum f a

Applicative f => Applicative (ANum f)

Methods

pure :: a -> ANum f a

(<*>) :: ANum f (a -> b) -> ANum f a -> ANum f b

liftA2 :: (a -> b -> c) -> ANum f a -> ANum f b -> ANum f c

(*>) :: ANum f a -> ANum f b -> ANum f b

(<*) :: ANum f a -> ANum f b -> ANum f a

Foldable f => Foldable (ANum f)

Methods

fold :: Monoid m => ANum f m -> m

foldMap :: Monoid m => (a -> m) -> ANum f a -> m

foldr :: (a -> b -> b) -> b -> ANum f a -> b

foldr' :: (a -> b -> b) -> b -> ANum f a -> b

foldl :: (b -> a -> b) -> b -> ANum f a -> b

foldl' :: (b -> a -> b) -> b -> ANum f a -> b

foldr1 :: (a -> a -> a) -> ANum f a -> a

foldl1 :: (a -> a -> a) -> ANum f a -> a

toList :: ANum f a -> [a]

null :: ANum f a -> Bool

length :: ANum f a -> Int

elem :: Eq a => a -> ANum f a -> Bool

maximum :: Ord a => ANum f a -> a

minimum :: Ord a => ANum f a -> a

sum :: Num a => ANum f a -> a

product :: Num a => ANum f a -> a

Traversable f => Traversable (ANum f)

Methods

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

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

mapM :: Monad m => (a -> m b) -> ANum f a -> m (ANum f b)

sequence :: Monad m => ANum f (m a) -> m (ANum f a)

Eq (f n) => Eq (ANum f n)

Methods

(==) :: ANum f n -> ANum f n -> Bool

(/=) :: ANum f n -> ANum f n -> Bool

(Applicative f, Floating n) => Floating (ANum f n)

Methods

pi :: ANum f n

exp :: ANum f n -> ANum f n

log :: ANum f n -> ANum f n

sqrt :: ANum f n -> ANum f n

(**) :: ANum f n -> ANum f n -> ANum f n

logBase :: ANum f n -> ANum f n -> ANum f n

sin :: ANum f n -> ANum f n

cos :: ANum f n -> ANum f n

tan :: ANum f n -> ANum f n

asin :: ANum f n -> ANum f n

acos :: ANum f n -> ANum f n

atan :: ANum f n -> ANum f n

sinh :: ANum f n -> ANum f n

cosh :: ANum f n -> ANum f n

tanh :: ANum f n -> ANum f n

asinh :: ANum f n -> ANum f n

acosh :: ANum f n -> ANum f n

atanh :: ANum f n -> ANum f n

log1p :: ANum f n -> ANum f n

expm1 :: ANum f n -> ANum f n

log1pexp :: ANum f n -> ANum f n

log1mexp :: ANum f n -> ANum f n

(Applicative f, Fractional n) => Fractional (ANum f n)

Methods

(/) :: ANum f n -> ANum f n -> ANum f n

recip :: ANum f n -> ANum f n

fromRational :: Rational -> ANum f n

(Applicative f, Num n) => Num (ANum f n)

Methods

(+) :: ANum f n -> ANum f n -> ANum f n

(-) :: ANum f n -> ANum f n -> ANum f n

(*) :: ANum f n -> ANum f n -> ANum f n

negate :: ANum f n -> ANum f n

abs :: ANum f n -> ANum f n

signum :: ANum f n -> ANum f n

fromInteger :: Integer -> ANum f n

Ord (f n) => Ord (ANum f n)

Methods

compare :: ANum f n -> ANum f n -> Ordering

(<) :: ANum f n -> ANum f n -> Bool

(<=) :: ANum f n -> ANum f n -> Bool

(>) :: ANum f n -> ANum f n -> Bool

(>=) :: ANum f n -> ANum f n -> Bool

max :: ANum f n -> ANum f n -> ANum f n

min :: ANum f n -> ANum f n -> ANum f n

Show (f n) => Show (ANum f n)

Methods

showsPrec :: Int -> ANum f n -> ShowS

show :: ANum f n -> String

showList :: [ANum f n] -> ShowS