numhask-0.12.1.0: A numeric class hierarchy.
Safe HaskellSafe-Inferred
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) 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) Source #

Methods

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

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

Defined in NumHask.Data.Wrapped

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

(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) Source #

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

Defined in NumHask.Data.Wrapped

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

Defined in NumHask.Data.Wrapped

Methods

bottom :: Wrapped a Source #

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

Defined in NumHask.Data.Wrapped

Methods

top :: Wrapped a Source #

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

Defined in NumHask.Data.Wrapped

Methods

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

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

Defined in NumHask.Data.Wrapped

Methods

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

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

Defined in NumHask.Data.Wrapped

Associated Types

type Mag (Wrapped a) Source #

type Base (Wrapped a) Source #

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

Defined in NumHask.Data.Wrapped

Associated Types

type Dir (Wrapped a) Source #

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

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

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 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