[{"display_html":"class Additive a where","name":"Additive + zero","module":"NumHask.Algebra.Abstract.Additive","link":"NumHask-Algebra-Abstract-Additive.html#t:Additive"},{"display_html":"sum :: (Additive a, Foldable f) => f a -> a","name":"sum","module":"NumHask.Algebra.Abstract.Additive","link":"NumHask-Algebra-Abstract-Additive.html#v:sum"},{"display_html":"class Additive a => Subtractive a where","name":"Subtractive - negate","module":"NumHask.Algebra.Abstract.Additive","link":"NumHask-Algebra-Abstract-Additive.html#t:Subtractive"},{"display_html":"class Magma a where","name":"Magma magma","module":"NumHask.Algebra.Abstract.Group","link":"NumHask-Algebra-Abstract-Group.html#t:Magma"},{"display_html":"class Magma a => Unital a where","name":"Unital unit","module":"NumHask.Algebra.Abstract.Group","link":"NumHask-Algebra-Abstract-Group.html#t:Unital"},{"display_html":"class Magma a => Associative a","name":"Associative","module":"NumHask.Algebra.Abstract.Group","link":"NumHask-Algebra-Abstract-Group.html#t:Associative"},{"display_html":"class Magma a => Commutative a","name":"Commutative","module":"NumHask.Algebra.Abstract.Group","link":"NumHask-Algebra-Abstract-Group.html#t:Commutative"},{"display_html":"class Magma a => Absorbing a where","name":"Absorbing absorb","module":"NumHask.Algebra.Abstract.Group","link":"NumHask-Algebra-Abstract-Group.html#t:Absorbing"},{"display_html":"class Magma a => Invertible a where","name":"Invertible inv","module":"NumHask.Algebra.Abstract.Group","link":"NumHask-Algebra-Abstract-Group.html#t:Invertible"},{"display_html":"class Magma a => Idempotent a","name":"Idempotent","module":"NumHask.Algebra.Abstract.Group","link":"NumHask-Algebra-Abstract-Group.html#t:Idempotent"},{"display_html":"class (Associative a, Unital a, Invertible a) => Group a","name":"Group","module":"NumHask.Algebra.Abstract.Group","link":"NumHask-Algebra-Abstract-Group.html#t:Group"},{"display_html":"class (Associative a, Unital a, Invertible a, Commutative a) => AbelianGroup a","name":"AbelianGroup","module":"NumHask.Algebra.Abstract.Group","link":"NumHask-Algebra-Abstract-Group.html#t:AbelianGroup"},{"display_html":"class (Magma a, Magma b) => Hom a b where","name":"Hom hom","module":"NumHask.Algebra.Abstract.Homomorphism","link":"NumHask-Algebra-Abstract-Homomorphism.html#t:Hom"},{"display_html":"class Hom a a => End a","name":"End","module":"NumHask.Algebra.Abstract.Homomorphism","link":"NumHask-Algebra-Abstract-Homomorphism.html#t:End"},{"display_html":"class (Hom a b, Hom b a) => Iso a b","name":"Iso","module":"NumHask.Algebra.Abstract.Homomorphism","link":"NumHask-Algebra-Abstract-Homomorphism.html#t:Iso"},{"display_html":"iso :: Iso a b => a -> b","name":"iso","module":"NumHask.Algebra.Abstract.Homomorphism","link":"NumHask-Algebra-Abstract-Homomorphism.html#v:iso"},{"display_html":"invIso :: Iso a b => b -> a","name":"invIso","module":"NumHask.Algebra.Abstract.Homomorphism","link":"NumHask-Algebra-Abstract-Homomorphism.html#v:invIso"},{"display_html":"class Iso a a => Automorphism a","name":"Automorphism","module":"NumHask.Algebra.Abstract.Homomorphism","link":"NumHask-Algebra-Abstract-Homomorphism.html#t:Automorphism"},{"display_html":"class Multiplicative a where","name":"Multiplicative * one","module":"NumHask.Algebra.Abstract.Multiplicative","link":"NumHask-Algebra-Abstract-Multiplicative.html#t:Multiplicative"},{"display_html":"product :: (Multiplicative a, Foldable f) => f a -> a","name":"product","module":"NumHask.Algebra.Abstract.Multiplicative","link":"NumHask-Algebra-Abstract-Multiplicative.html#v:product"},{"display_html":"class Multiplicative a => Divisive a where","name":"Divisive / recip","module":"NumHask.Algebra.Abstract.Multiplicative","link":"NumHask-Algebra-Abstract-Multiplicative.html#t:Divisive"},{"display_html":"type family Actor h","name":"Actor","module":"NumHask.Algebra.Abstract.Action","link":"NumHask-Algebra-Abstract-Action.html#t:Actor"},{"display_html":"class Additive (Actor h) => AdditiveAction h where","name":"AdditiveAction .+ +.","module":"NumHask.Algebra.Abstract.Action","link":"NumHask-Algebra-Abstract-Action.html#t:AdditiveAction"},{"display_html":"class Subtractive (Actor h) => SubtractiveAction h where","name":"SubtractiveAction .- -.","module":"NumHask.Algebra.Abstract.Action","link":"NumHask-Algebra-Abstract-Action.html#t:SubtractiveAction"},{"display_html":"class Multiplicative (Actor h) => MultiplicativeAction h where","name":"MultiplicativeAction .* *.","module":"NumHask.Algebra.Abstract.Action","link":"NumHask-Algebra-Abstract-Action.html#t:MultiplicativeAction"},{"display_html":"class Divisive (Actor h) => DivisiveAction h where","name":"DivisiveAction ./ /.","module":"NumHask.Algebra.Abstract.Action","link":"NumHask-Algebra-Abstract-Action.html#t:DivisiveAction"},{"display_html":"class (Additive a, Multiplicative a) => Distributive a","name":"Distributive","module":"NumHask.Algebra.Abstract.Ring","link":"NumHask-Algebra-Abstract-Ring.html#t:Distributive"},{"display_html":"class Distributive a => Semiring a","name":"Semiring","module":"NumHask.Algebra.Abstract.Ring","link":"NumHask-Algebra-Abstract-Ring.html#t:Semiring"},{"display_html":"class (Distributive a, Subtractive a) => Ring a","name":"Ring","module":"NumHask.Algebra.Abstract.Ring","link":"NumHask-Algebra-Abstract-Ring.html#t:Ring"},{"display_html":"class (Distributive a, Subtractive a) => CommutativeRing a","name":"CommutativeRing","module":"NumHask.Algebra.Abstract.Ring","link":"NumHask-Algebra-Abstract-Ring.html#t:CommutativeRing"},{"display_html":"class (Distributive a, Divisive a) => IntegralDomain a","name":"IntegralDomain","module":"NumHask.Algebra.Abstract.Ring","link":"NumHask-Algebra-Abstract-Ring.html#t:IntegralDomain"},{"display_html":"class Distributive a => StarSemiring a where","name":"StarSemiring star plus","module":"NumHask.Algebra.Abstract.Ring","link":"NumHask-Algebra-Abstract-Ring.html#t:StarSemiring"},{"display_html":"class (StarSemiring a, Idempotent a) => KleeneAlgebra a","name":"KleeneAlgebra","module":"NumHask.Algebra.Abstract.Ring","link":"NumHask-Algebra-Abstract-Ring.html#t:KleeneAlgebra"},{"display_html":"class Distributive a => InvolutiveRing a where","name":"InvolutiveRing adj","module":"NumHask.Algebra.Abstract.Ring","link":"NumHask-Algebra-Abstract-Ring.html#t:InvolutiveRing"},{"display_html":"two :: (Multiplicative a, Additive a) => a","name":"two","module":"NumHask.Algebra.Abstract.Ring","link":"NumHask-Algebra-Abstract-Ring.html#v:two"},{"display_html":"class (Distributive (Actor h), Divisive h, MultiplicativeAction h) => Module h","name":"Module","module":"NumHask.Algebra.Abstract.Module","link":"NumHask-Algebra-Abstract-Module.html#t:Module"},{"display_html":"class TensorProduct a where","name":"TensorProduct outer >< timesleft timesright","module":"NumHask.Algebra.Abstract.TensorProduct","link":"NumHask-Algebra-Abstract-TensorProduct.html#t:TensorProduct"},{"display_html":"type family (a :: k1) >< (b :: k2) :: *","name":"><","module":"NumHask.Algebra.Abstract.TensorProduct","link":"NumHask-Algebra-Abstract-TensorProduct.html#t:-62--60-"},{"display_html":"class Multiplicative a => HadamardMultiplication m a where- (.*.) :: m a -> m a -> m a
","name":"HadamardMultiplication .*.","module":"NumHask.Algebra.Linear.Hadamard","link":"NumHask-Algebra-Linear-Hadamard.html#t:HadamardMultiplication"},{"display_html":"class Divisive a => HadamardDivision m a where- (./.) :: m a -> m a -> m a
","name":"HadamardDivision ./.","module":"NumHask.Algebra.Linear.Hadamard","link":"NumHask-Algebra-Linear-Hadamard.html#t:HadamardDivision"},{"display_html":"class (HadamardMultiplication m a, HadamardDivision m a) => Hadamard m a","name":"Hadamard","module":"NumHask.Algebra.Linear.Hadamard","link":"NumHask-Algebra-Linear-Hadamard.html#t:Hadamard"},{"display_html":"class Distributive a => Integral a where","name":"Integral quot rem div mod quotRem divMod","module":"NumHask.Data.Integral","link":"NumHask-Data-Integral.html#t:Integral"},{"display_html":"class ToInteger a where","name":"ToInteger toInteger","module":"NumHask.Data.Integral","link":"NumHask-Data-Integral.html#t:ToInteger"},{"display_html":"class FromInteger a where","name":"FromInteger fromInteger","module":"NumHask.Data.Integral","link":"NumHask-Data-Integral.html#t:FromInteger"},{"display_html":"fromIntegral :: (ToInteger a, FromInteger b) => a -> b","name":"fromIntegral","module":"NumHask.Data.Integral","link":"NumHask-Data-Integral.html#v:fromIntegral"},{"display_html":"even :: (Eq a, Integral a) => a -> Bool","name":"even","module":"NumHask.Data.Integral","link":"NumHask-Data-Integral.html#v:even"},{"display_html":"odd :: (Eq a, Integral a) => a -> Bool","name":"odd","module":"NumHask.Data.Integral","link":"NumHask-Data-Integral.html#v:odd"},{"display_html":"(^) :: (Ord b, Multiplicative a, Integral b) => a -> b -> a","name":"^","module":"NumHask.Data.Integral","link":"NumHask-Data-Integral.html#v:-94-"},{"display_html":"(^^) :: (Divisive a, Subtractive b, Integral b, Ord b) => a -> b -> a","name":"^^","module":"NumHask.Data.Integral","link":"NumHask-Data-Integral.html#v:-94--94-"},{"display_html":"class IntegralDomain a => Field a","name":"Field","module":"NumHask.Algebra.Abstract.Field","link":"NumHask-Algebra-Abstract-Field.html#t:Field"},{"display_html":"class Field a => ExpField a where","name":"ExpField exp log sqrt ** logBase","module":"NumHask.Algebra.Abstract.Field","link":"NumHask-Algebra-Abstract-Field.html#t:ExpField"},{"display_html":"class (Field a, Subtractive a, Integral b) => QuotientField a b where","name":"QuotientField properFraction truncate round ceiling floor","module":"NumHask.Algebra.Abstract.Field","link":"NumHask-Algebra-Abstract-Field.html#t:QuotientField"},{"display_html":"class IntegralDomain a => UpperBoundedField a where","name":"UpperBoundedField isNaN infinity nan","module":"NumHask.Algebra.Abstract.Field","link":"NumHask-Algebra-Abstract-Field.html#t:UpperBoundedField"},{"display_html":"class (Subtractive a, Field a) => LowerBoundedField a where","name":"LowerBoundedField negInfinity","module":"NumHask.Algebra.Abstract.Field","link":"NumHask-Algebra-Abstract-Field.html#t:LowerBoundedField"},{"display_html":"class Field a => TrigField a where","name":"TrigField pi sin cos tan asin acos atan sinh cosh tanh asinh acosh atanh","module":"NumHask.Algebra.Abstract.Field","link":"NumHask-Algebra-Abstract-Field.html#t:TrigField"},{"display_html":"half :: Field a => a","name":"half","module":"NumHask.Algebra.Abstract.Field","link":"NumHask-Algebra-Abstract-Field.html#v:half"},{"display_html":"class Eq a => JoinSemiLattice a where","name":"JoinSemiLattice \\/","module":"NumHask.Algebra.Abstract.Lattice","link":"NumHask-Algebra-Abstract-Lattice.html#t:JoinSemiLattice"},{"display_html":"joinLeq :: JoinSemiLattice a => a -> a -> Bool","name":"joinLeq","module":"NumHask.Algebra.Abstract.Lattice","link":"NumHask-Algebra-Abstract-Lattice.html#v:joinLeq"},{"display_html":"class Eq a => MeetSemiLattice a where","name":"MeetSemiLattice /\\","module":"NumHask.Algebra.Abstract.Lattice","link":"NumHask-Algebra-Abstract-Lattice.html#t:MeetSemiLattice"},{"display_html":"meetLeq :: MeetSemiLattice a => a -> a -> Bool","name":"meetLeq","module":"NumHask.Algebra.Abstract.Lattice","link":"NumHask-Algebra-Abstract-Lattice.html#v:meetLeq"},{"display_html":"class (JoinSemiLattice a, MeetSemiLattice a) => Lattice a","name":"Lattice","module":"NumHask.Algebra.Abstract.Lattice","link":"NumHask-Algebra-Abstract-Lattice.html#t:Lattice"},{"display_html":"class JoinSemiLattice a => BoundedJoinSemiLattice a where","name":"BoundedJoinSemiLattice bottom","module":"NumHask.Algebra.Abstract.Lattice","link":"NumHask-Algebra-Abstract-Lattice.html#t:BoundedJoinSemiLattice"},{"display_html":"class MeetSemiLattice a => BoundedMeetSemiLattice a where","name":"BoundedMeetSemiLattice top","module":"NumHask.Algebra.Abstract.Lattice","link":"NumHask-Algebra-Abstract-Lattice.html#t:BoundedMeetSemiLattice"},{"display_html":"class (JoinSemiLattice a, MeetSemiLattice a, BoundedJoinSemiLattice a, BoundedMeetSemiLattice a) => BoundedLattice a","name":"BoundedLattice","module":"NumHask.Algebra.Abstract.Lattice","link":"NumHask-Algebra-Abstract-Lattice.html#t:BoundedLattice"},{"display_html":"class Multiplicative a => Signed a where","name":"Signed abs sign","module":"NumHask.Analysis.Metric","link":"NumHask-Analysis-Metric.html#t:Signed"},{"display_html":"class (Additive a, Additive b) => Normed a b where","name":"Normed normL1 normL2","module":"NumHask.Analysis.Metric","link":"NumHask-Analysis-Metric.html#t:Normed"},{"display_html":"class Metric a b where","name":"Metric distanceL1 distanceL2","module":"NumHask.Analysis.Metric","link":"NumHask-Analysis-Metric.html#t:Metric"},{"display_html":"class (Eq a, Additive a, Subtractive a, MeetSemiLattice a) => Epsilon a where","name":"Epsilon epsilon nearZero aboutEqual","module":"NumHask.Analysis.Metric","link":"NumHask-Analysis-Metric.html#t:Epsilon"},{"display_html":"(~=) :: Epsilon a => a -> a -> Bool","name":"~=","module":"NumHask.Analysis.Metric","link":"NumHask-Analysis-Metric.html#v:-126--61-"},{"display_html":"data Complex a = !a :+ !a","name":"Complex :+","module":"NumHask.Data.Complex","link":"NumHask-Data-Complex.html#t:Complex"},{"display_html":"realPart :: Complex a -> a","name":"realPart","module":"NumHask.Data.Complex","link":"NumHask-Data-Complex.html#v:realPart"},{"display_html":"imagPart :: Complex a -> a","name":"imagPart","module":"NumHask.Data.Complex","link":"NumHask-Data-Complex.html#v:imagPart"},{"display_html":"mkPolar :: TrigField a => a -> a -> Complex a","name":"mkPolar","module":"NumHask.Data.Complex","link":"NumHask-Data-Complex.html#v:mkPolar"},{"display_html":"cis :: TrigField a => a -> Complex a","name":"cis","module":"NumHask.Data.Complex","link":"NumHask-Data-Complex.html#v:cis"},{"display_html":"polar :: (RealFloat a, ExpField a) => Complex a -> (a, a)","name":"polar","module":"NumHask.Data.Complex","link":"NumHask-Data-Complex.html#v:polar"},{"display_html":"magnitude :: (ExpField a, RealFloat a) => Complex a -> a","name":"magnitude","module":"NumHask.Data.Complex","link":"NumHask-Data-Complex.html#v:magnitude"},{"display_html":"phase :: RealFloat a => Complex a -> a","name":"phase","module":"NumHask.Data.Complex","link":"NumHask-Data-Complex.html#v:phase"},{"display_html":"class (ExpField (Actor h), Normed h (Actor h), DivisiveAction h) => Banach h where","name":"Banach normalizeL1 normalizeL2","module":"NumHask.Analysis.Banach","link":"NumHask-Analysis-Banach.html#t:Banach"},{"display_html":"class Distributive (Actor h) => Hilbert h where","name":"Hilbert <.>","module":"NumHask.Analysis.Banach","link":"NumHask-Analysis-Banach.html#t:Hilbert"},{"display_html":"module NumHask.Algebra.Abstract.Group","name":"","module":"NumHask.Algebra.Abstract","link":""},{"display_html":"module NumHask.Algebra.Abstract.Additive","name":"","module":"NumHask.Algebra.Abstract","link":""},{"display_html":"module NumHask.Algebra.Abstract.Multiplicative","name":"","module":"NumHask.Algebra.Abstract","link":""},{"display_html":"module NumHask.Algebra.Abstract.Ring","name":"","module":"NumHask.Algebra.Abstract","link":""},{"display_html":"module NumHask.Algebra.Abstract.Field","name":"","module":"NumHask.Algebra.Abstract","link":""},{"display_html":"module NumHask.Algebra.Abstract.Module","name":"","module":"NumHask.Algebra.Abstract","link":""},{"display_html":"module NumHask.Algebra.Abstract.Action","name":"","module":"NumHask.Algebra.Abstract","link":""},{"display_html":"module NumHask.Algebra.Abstract.Lattice","name":"","module":"NumHask.Algebra.Abstract","link":""},{"display_html":"module NumHask.Algebra.Abstract.Homomorphism","name":"","module":"NumHask.Algebra.Abstract","link":""},{"display_html":"data Ratio a = !a :% !a","name":"Ratio :%","module":"NumHask.Data.Rational","link":"NumHask-Data-Rational.html#t:Ratio"},{"display_html":"type Rational = Ratio Integer","name":"Rational","module":"NumHask.Data.Rational","link":"NumHask-Data-Rational.html#t:Rational"},{"display_html":"class ToRatio a where","name":"ToRatio toRatio","module":"NumHask.Data.Rational","link":"NumHask-Data-Rational.html#t:ToRatio"},{"display_html":"class FromRatio a where","name":"FromRatio fromRatio","module":"NumHask.Data.Rational","link":"NumHask-Data-Rational.html#t:FromRatio"},{"display_html":"fromRational :: (ToRatio a, FromRatio b) => a -> b","name":"fromRational","module":"NumHask.Data.Rational","link":"NumHask-Data-Rational.html#v:fromRational"},{"display_html":"reduce :: (Eq a, Subtractive a, Signed a, Integral a) => a -> a -> Ratio a","name":"reduce","module":"NumHask.Data.Rational","link":"NumHask-Data-Rational.html#v:reduce"},{"display_html":"gcd :: (Eq a, Signed a, Integral a) => a -> a -> a","name":"gcd","module":"NumHask.Data.Rational","link":"NumHask-Data-Rational.html#v:gcd"},{"display_html":"newtype Pair a = Pair' (a, a)","name":"Pair Pair'","module":"NumHask.Data.Pair","link":"NumHask-Data-Pair.html#t:Pair"},{"display_html":"pattern Pair :: a -> a -> Pair a","name":"Pair","module":"NumHask.Data.Pair","link":"NumHask-Data-Pair.html#v:Pair"},{"display_html":"data LogField a","name":"LogField","module":"NumHask.Data.LogField","link":"NumHask-Data-LogField.html#t:LogField"},{"display_html":"logField :: ExpField a => a -> LogField a","name":"logField","module":"NumHask.Data.LogField","link":"NumHask-Data-LogField.html#v:logField"},{"display_html":"fromLogField :: ExpField a => LogField a -> a","name":"fromLogField","module":"NumHask.Data.LogField","link":"NumHask-Data-LogField.html#v:fromLogField"},{"display_html":"logToLogField :: a -> LogField a","name":"logToLogField","module":"NumHask.Data.LogField","link":"NumHask-Data-LogField.html#v:logToLogField"},{"display_html":"logFromLogField :: LogField a -> a","name":"logFromLogField","module":"NumHask.Data.LogField","link":"NumHask-Data-LogField.html#v:logFromLogField"},{"display_html":"accurateSum :: (ExpField a, Subtractive a, Foldable f, Ord a) => f (LogField a) -> LogField a","name":"accurateSum","module":"NumHask.Data.LogField","link":"NumHask-Data-LogField.html#v:accurateSum"},{"display_html":"accurateProduct :: (ExpField a, Subtractive a, Foldable f) => f (LogField a) -> LogField a","name":"accurateProduct","module":"NumHask.Data.LogField","link":"NumHask-Data-LogField.html#v:accurateProduct"},{"display_html":"pow :: (ExpField a, LowerBoundedField a, Ord a) => LogField a -> a -> LogField a","name":"pow","module":"NumHask.Data.LogField","link":"NumHask-Data-LogField.html#v:pow"},{"display_html":"newtype Wrapped a = Wrapped {}","name":"Wrapped Wrapped unWrapped","module":"NumHask.Data.Wrapped","link":"NumHask-Data-Wrapped.html#t:Wrapped"},{"display_html":"newtype NumHaskException = NumHaskException {}","name":"NumHaskException NumHaskException errorMessage","module":"NumHask.Exception","link":"NumHask-Exception.html#t:NumHaskException"},{"display_html":"throw :: Exception e => e -> a","name":"throw","module":"NumHask.Exception","link":"NumHask-Exception.html#v:throw"},{"display_html":"newtype Positive a = Positive {}","name":"Positive Positive unPositive","module":"NumHask.Data.Positive","link":"NumHask-Data-Positive.html#t:Positive"},{"display_html":"positive :: (Ord a, Additive a) => a -> Maybe (Positive a)","name":"positive","module":"NumHask.Data.Positive","link":"NumHask-Data-Positive.html#v:positive"},{"display_html":"positive_ :: (Ord a, Additive a) => a -> Positive a","name":"positive_","module":"NumHask.Data.Positive","link":"NumHask-Data-Positive.html#v:positive_"}]