(Subtractive a, Normed a a) => Metric a (Positive a) Source # | |
Instance detailsDefined in NumHask.Data.Positive |
Normed a a => Normed a (Positive a) Source # | |
Instance detailsDefined in NumHask.Data.Positive |
(Ord a, UpperBoundedField a) => Bounded (Positive a) Source # | |
Instance detailsDefined in NumHask.Data.Positive |
Eq a => Eq (Positive a) Source # | |
Instance detailsDefined in NumHask.Data.Positive |
Ord a => Ord (Positive a) Source # | |
Instance detailsDefined in NumHask.Data.Positive |
Show a => Show (Positive a) Source # | |
Instance detailsDefined in NumHask.Data.Positive |
(Ord a, Subtractive a) => Subtractive (Positive a) Source # | |
Instance detailsDefined in NumHask.Data.Positive |
Additive a => Additive (Positive a) Source # | |
Instance detailsDefined in NumHask.Data.Positive |
Divisive a => Divisive (Positive a) Source # | |
Instance detailsDefined in NumHask.Data.Positive |
Multiplicative a => Multiplicative (Positive a) Source # | |
Instance detailsDefined in NumHask.Data.Positive |
(Additive a, Multiplicative a) => IntegralDomain (Positive a) Source # | |
Instance detailsDefined in NumHask.Data.Positive |
(Additive a, Multiplicative a) => Distributive (Positive a) Source # | |
Instance detailsDefined in NumHask.Data.Positive |
Integral a => Integral (Positive a) Source # | |
Instance detailsDefined in NumHask.Data.Positive |
(TrigField a, Ord a) => TrigField (Positive a) Source # | |
Instance detailsDefined in NumHask.Data.Positive |
(Ord a, UpperBoundedField a) => UpperBoundedField (Positive a) Source # | |
Instance detailsDefined in NumHask.Data.Positive |
(ExpField a, Ord a) => ExpField (Positive a) Source # | |
Instance detailsDefined in NumHask.Data.Positive |
(Ord a, Subtractive a, Divisive a) => Field (Positive a) Source # | |
Instance detailsDefined in NumHask.Data.Positive |
MeetSemiLattice a => MeetSemiLattice (Positive a) Source # | |
Instance detailsDefined in NumHask.Data.Positive |
JoinSemiLattice a => JoinSemiLattice (Positive a) Source # | |
Instance detailsDefined in NumHask.Data.Positive |
(Epsilon a, Ord a) => Epsilon (Positive a) Source # | |
Instance detailsDefined in NumHask.Data.Positive |
Signed a => Signed (Positive a) Source # | |
Instance detailsDefined in NumHask.Data.Positive |
(Ord a, QuotientField a Integer) => QuotientField (Positive a) (Positive Integer) Source # | |
Instance detailsDefined in NumHask.Data.Positive |