NumHask.Data.Wrapped

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

Documentation

newtype Wrapped a

Wrapped numhask instances

Constructors

Wrapped

Fields

• unWrapped :: a

Instances

Show a => Show (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

showsPrec :: Int -> Wrapped a -> ShowS

show :: Wrapped a -> String

showList :: [Wrapped a] -> ShowS

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

AdditiveAction a => AdditiveAction (Wrapped a)

Defined in NumHask.Data.Wrapped

Associated Types

type AdditiveScalar (Wrapped a)

Methods

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

DivisiveAction a => DivisiveAction (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

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

MultiplicativeAction a => MultiplicativeAction (Wrapped a)

Defined in NumHask.Data.Wrapped

Associated Types

type Scalar (Wrapped a)

Methods

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

SubtractiveAction a => SubtractiveAction (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

(|-) :: Wrapped a -> AdditiveScalar (Wrapped a) -> Wrapped a

Additive a => Additive (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

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

zero :: Wrapped a

Subtractive a => Subtractive (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

negate :: Wrapped a -> Wrapped a

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

ExpField a => ExpField (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

exp :: Wrapped a -> Wrapped a

log :: Wrapped a -> Wrapped a

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

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

sqrt :: Wrapped a -> Wrapped a

(Ord a, Eq (Whole a), Integral (Whole a), Subtractive (Whole a), Subtractive a, QuotientField a) => QuotientField (Wrapped a)

Defined in NumHask.Data.Wrapped

Associated Types

type Whole (Wrapped a)

Methods

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

round :: Wrapped a -> Whole (Wrapped a)

ceiling :: Wrapped a -> Whole (Wrapped a)

floor :: Wrapped a -> Whole (Wrapped a)

truncate :: Wrapped a -> Whole (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

BoundedJoinSemiLattice a => BoundedJoinSemiLattice (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

bottom :: Wrapped a

BoundedMeetSemiLattice a => BoundedMeetSemiLattice (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

top :: Wrapped a

JoinSemiLattice a => JoinSemiLattice (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

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

MeetSemiLattice a => MeetSemiLattice (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

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

Basis a => Basis (Wrapped a)

Defined in NumHask.Data.Wrapped

Associated Types

type Mag (Wrapped a)

type Base (Wrapped a)

Methods

magnitude :: Wrapped a -> Mag (Wrapped a)

basis :: Wrapped a -> Base (Wrapped a)

Direction a => Direction (Wrapped a)

Defined in NumHask.Data.Wrapped

Associated Types

type Dir (Wrapped a)

Methods

angle :: Wrapped a -> Dir (Wrapped a)

ray :: Dir (Wrapped a) -> Wrapped a

Epsilon a => Epsilon (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

epsilon :: 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 => StarSemiring (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

star :: Wrapped a -> Wrapped a

plus :: Wrapped a -> Wrapped a

FromInteger a => FromInteger (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

fromInteger :: Integer -> Wrapped a

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)

FromRational a => FromRational (Wrapped a)

Defined in NumHask.Data.Wrapped

Methods

fromRational :: Rational -> 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

type AdditiveScalar (Wrapped a)

Defined in NumHask.Data.Wrapped

type AdditiveScalar (Wrapped a) = AdditiveScalar a

type Scalar (Wrapped a)

Defined in NumHask.Data.Wrapped

type Scalar (Wrapped a) = Scalar a

type Whole (Wrapped a)

Defined in NumHask.Data.Wrapped

type Whole (Wrapped a) = Whole a

type Base (Wrapped a)

Defined in NumHask.Data.Wrapped

type Base (Wrapped a) = Base a

type Dir (Wrapped a)

Defined in NumHask.Data.Wrapped

type Dir (Wrapped a) = Dir a

type Mag (Wrapped a)

Defined in NumHask.Data.Wrapped

type Mag (Wrapped a) = Mag a