numhask-0.13.1.0: A numeric class hierarchy.
Safe HaskellNone
LanguageGHC2021

NumHask.Data.Wrapped

Description

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

Synopsis

Documentation

newtype Wrapped a Source #

Wrapped numhask instances

Constructors

Wrapped 

Fields

Instances

Instances details
Show a => Show (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

showsPrec :: Int -> Wrapped a -> ShowS #

show :: Wrapped a -> String #

showList :: [Wrapped a] -> ShowS #

Eq a => Eq (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

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

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

Ord a => Ord (Wrapped a) Source # 
Instance details

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) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Associated Types

type AdditiveScalar (Wrapped a) 
Instance details

Defined in NumHask.Data.Wrapped

type AdditiveScalar (Wrapped a) = AdditiveScalar a

Methods

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

DivisiveAction a => DivisiveAction (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

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

MultiplicativeAction a => MultiplicativeAction (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Associated Types

type Scalar (Wrapped a) 
Instance details

Defined in NumHask.Data.Wrapped

type Scalar (Wrapped a) = Scalar a

Methods

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

SubtractiveAction a => SubtractiveAction (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

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

Additive a => Additive (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

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

zero :: Wrapped a Source #

Subtractive a => Subtractive (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

negate :: Wrapped a -> Wrapped a Source #

(-) :: Wrapped a -> Wrapped a -> Wrapped a Source #

ExpField a => ExpField (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

exp :: Wrapped a -> Wrapped a Source #

log :: Wrapped a -> Wrapped a Source #

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

logBase :: Wrapped a -> Wrapped a -> Wrapped a Source #

sqrt :: Wrapped a -> Wrapped a Source #

(Ord a, Eq (Whole a), Integral (Whole a), Subtractive (Whole a), Subtractive a, QuotientField a) => QuotientField (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Associated Types

type Whole (Wrapped a) 
Instance details

Defined in NumHask.Data.Wrapped

type Whole (Wrapped a) = Whole a

Methods

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

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

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

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

truncate :: Wrapped a -> Whole (Wrapped a) Source #

TrigField a => TrigField (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

pi :: Wrapped a Source #

sin :: Wrapped a -> Wrapped a Source #

cos :: Wrapped a -> Wrapped a Source #

tan :: Wrapped a -> Wrapped a Source #

asin :: Wrapped a -> Wrapped a Source #

acos :: Wrapped a -> Wrapped a Source #

atan :: Wrapped a -> Wrapped a Source #

atan2 :: Wrapped a -> Wrapped a -> Wrapped a Source #

sinh :: Wrapped a -> Wrapped a Source #

cosh :: Wrapped a -> Wrapped a Source #

tanh :: Wrapped a -> Wrapped a Source #

asinh :: Wrapped a -> Wrapped a Source #

acosh :: Wrapped a -> Wrapped a Source #

atanh :: Wrapped a -> Wrapped a Source #

JoinSemiLattice a => JoinSemiLattice (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

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

LowerBounded a => LowerBounded (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

bottom :: Wrapped a Source #

MeetSemiLattice a => MeetSemiLattice (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

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

UpperBounded a => UpperBounded (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

top :: Wrapped a Source #

Basis a => Basis (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Associated Types

type Mag (Wrapped a) 
Instance details

Defined in NumHask.Data.Wrapped

type Mag (Wrapped a) = Mag a
type Base (Wrapped a) 
Instance details

Defined in NumHask.Data.Wrapped

type Base (Wrapped a) = Base a

Methods

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

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

Direction a => Direction (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Associated Types

type Dir (Wrapped a) 
Instance details

Defined in NumHask.Data.Wrapped

type Dir (Wrapped a) = Dir a

Methods

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

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

Epsilon a => Epsilon (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

epsilon :: Wrapped a Source #

Divisive a => Divisive (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

recip :: Wrapped a -> Wrapped a Source #

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

Multiplicative a => Multiplicative (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

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

one :: Wrapped a Source #

InvolutiveRing a => InvolutiveRing (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

adj :: Wrapped a -> Wrapped a Source #

StarSemiring a => StarSemiring (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

star :: Wrapped a -> Wrapped a Source #

plus :: Wrapped a -> Wrapped a Source #

FromInteger a => FromInteger (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

fromInteger :: Integer -> Wrapped a Source #

Integral a => Integral (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

div :: Wrapped a -> Wrapped a -> Wrapped a Source #

mod :: Wrapped a -> Wrapped a -> Wrapped a Source #

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

quot :: Wrapped a -> Wrapped a -> Wrapped a Source #

rem :: Wrapped a -> Wrapped a -> Wrapped a Source #

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

FromRational a => FromRational (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

fromRational :: Rational -> Wrapped a Source #

FromIntegral a b => FromIntegral (Wrapped a) b Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

fromIntegral :: b -> Wrapped a Source #

ToIntegral a b => ToIntegral (Wrapped a) b Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

toIntegral :: Wrapped a -> b Source #

FromRatio a b => FromRatio (Wrapped a) b Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

fromRatio :: Ratio b -> Wrapped a Source #

ToRatio a b => ToRatio (Wrapped a) b Source # 
Instance details

Defined in NumHask.Data.Wrapped

Methods

toRatio :: Wrapped a -> Ratio b Source #

type AdditiveScalar (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

type AdditiveScalar (Wrapped a) = AdditiveScalar a
type Scalar (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

type Scalar (Wrapped a) = Scalar a
type Whole (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

type Whole (Wrapped a) = Whole a
type Base (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

type Base (Wrapped a) = Base a
type Dir (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

type Dir (Wrapped a) = Dir a
type Mag (Wrapped a) Source # 
Instance details

Defined in NumHask.Data.Wrapped

type Mag (Wrapped a) = Mag a