NumHask.Data.Wrapped

Wrapped numhask instances, useful for derivingvia situations to quickly specifiy a numhask friendly numerical type.

Documentation

newtype Wrapped a

Wrapped numeric instances

Constructors

Wrapped

Fields

• unWrapped :: a

Instances

Eq a => Eq (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

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

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

Ord a => Ord (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

compare :: Wrapped a -> Wrapped a -> Ordering

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

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

(>) :: Wrapped a -> Wrapped a -> Bool

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

max :: Wrapped a -> Wrapped a -> Wrapped a

min :: Wrapped a -> Wrapped a -> Wrapped a

Show a => Show (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

showsPrec :: Int -> Wrapped a -> ShowS

show :: Wrapped a -> String

showList :: [Wrapped a] -> ShowS

Subtractive a => Subtractive (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

negate :: Wrapped a -> Wrapped a

(-) :: Wrapped a -> Wrapped a -> Wrapped a

Additive a => Additive (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

(+) :: Wrapped a -> Wrapped a -> Wrapped a

zero :: Wrapped a

Magma a => Idempotent (Wrapped a)

Defined in NumHask.Data.Wrapped

Magma a => Magma (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

(⊕) :: Wrapped a -> Wrapped a -> Wrapped a

Divisive a => Divisive (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

recip :: Wrapped a -> Wrapped a

(/) :: Wrapped a -> Wrapped a -> Wrapped a

Multiplicative a => Multiplicative (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

(*) :: Wrapped a -> Wrapped a -> Wrapped a

one :: Wrapped a

InvolutiveRing a => InvolutiveRing (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

adj :: Wrapped a -> Wrapped a

(StarSemiring a, Magma a) => KleeneAlgebra (Wrapped a)

Defined in NumHask.Data.Wrapped

StarSemiring a => StarSemiring (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

star :: Wrapped a -> Wrapped a

plus :: Wrapped a -> Wrapped a

(Multiplicative a, Subtractive a) => Ring (Wrapped a)

Defined in NumHask.Data.Wrapped

(Additive a, Multiplicative a) => Distributive (Wrapped a)

Defined in NumHask.Data.Wrapped

Integral a => Integral (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

div :: Wrapped a -> Wrapped a -> Wrapped a

mod :: Wrapped a -> Wrapped a -> Wrapped a

divMod :: Wrapped a -> Wrapped a -> (Wrapped a, Wrapped a)

quot :: Wrapped a -> Wrapped a -> Wrapped a

rem :: Wrapped a -> Wrapped a -> Wrapped a

quotRem :: Wrapped a -> Wrapped a -> (Wrapped a, Wrapped a)

TrigField a => TrigField (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

pi :: Wrapped a

sin :: Wrapped a -> Wrapped a

cos :: Wrapped a -> Wrapped a

tan :: Wrapped a -> Wrapped a

asin :: Wrapped a -> Wrapped a

acos :: Wrapped a -> Wrapped a

atan :: Wrapped a -> Wrapped a

atan2 :: Wrapped a -> Wrapped a -> Wrapped a

sinh :: Wrapped a -> Wrapped a

cosh :: Wrapped a -> Wrapped a

tanh :: Wrapped a -> Wrapped a

asinh :: Wrapped a -> Wrapped a

acosh :: Wrapped a -> Wrapped a

atanh :: Wrapped a -> Wrapped a

LowerBoundedField a => LowerBoundedField (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

negInfinity :: Wrapped a

UpperBoundedField a => UpperBoundedField (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

infinity :: Wrapped a

nan :: Wrapped a

ExpField a => ExpField (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

exp :: Wrapped a -> Wrapped a

log :: Wrapped a -> Wrapped a

logBase :: Wrapped a -> Wrapped a -> Wrapped a

(**) :: Wrapped a -> Wrapped a -> Wrapped a

sqrt :: Wrapped a -> Wrapped a

(Subtractive a, Divisive a) => Field (Wrapped a)

Defined in NumHask.Data.Wrapped

BoundedMeetSemiLattice a => BoundedMeetSemiLattice (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

top :: Wrapped a

BoundedJoinSemiLattice a => BoundedJoinSemiLattice (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

bottom :: Wrapped a

MeetSemiLattice a => MeetSemiLattice (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

(/\) :: Wrapped a -> Wrapped a -> Wrapped a

JoinSemiLattice a => JoinSemiLattice (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

(\/) :: Wrapped a -> Wrapped a -> Wrapped a

Epsilon a => Epsilon (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

epsilon :: Wrapped a

nearZero :: Wrapped a -> Bool

aboutEqual :: Wrapped a -> Wrapped a -> Bool

Signed a => Signed (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

sign :: Wrapped a -> Wrapped a

abs :: Wrapped a -> Wrapped a

FromIntegral a b => FromIntegral (Wrapped a) b

Defined in NumHask.Data.Wrapped

Methods

fromIntegral :: b -> Wrapped a

ToIntegral a b => ToIntegral (Wrapped a) b

Defined in NumHask.Data.Wrapped

Methods

toIntegral :: Wrapped a -> b

FromRatio a b => FromRatio (Wrapped a) b

Defined in NumHask.Data.Wrapped

Methods

fromRatio :: Ratio b -> Wrapped a

ToRatio a b => ToRatio (Wrapped a) b

Defined in NumHask.Data.Wrapped

Methods

toRatio :: Wrapped a -> Ratio b

(Ord a, QuotientField a Integer) => QuotientField (Wrapped a) (Wrapped Integer)

Defined in NumHask.Data.Wrapped

Methods

properFraction :: Wrapped a -> (Wrapped Integer, Wrapped a)

round :: Wrapped a -> Wrapped Integer

ceiling :: Wrapped a -> Wrapped Integer

floor :: Wrapped a -> Wrapped Integer

truncate :: Wrapped a -> Wrapped Integer