Safe Haskell	None
Language	Haskell2010

Algebra.Normed

Synopsis

class Ord (Norm a) => Normed a where
- type Norm a
- norm :: a -> Norm a
- liftNorm :: Norm a -> a

Documentation

class Ord (Norm a) => Normed a where Source #

Additional types for normed types.

Associated Types

type Norm a Source #

Methods

norm :: a -> Norm a Source #

liftNorm :: Norm a -> a Source #

Instances

Instances details

Normed Double Source #
Instance details Defined in Algebra.Normed Associated Types type Norm Double Source # Methods norm :: Double -> Norm Double Source # liftNorm :: Norm Double -> Double Source #
Normed Int Source #
Instance details Defined in Algebra.Normed Associated Types type Norm Int Source # Methods norm :: Int -> Norm Int Source # liftNorm :: Norm Int -> Int Source #
Normed Integer Source #
Instance details Defined in Algebra.Normed Associated Types type Norm Integer Source # Methods norm :: Integer -> Norm Integer Source # liftNorm :: Norm Integer -> Integer Source #
Normed a => Normed (WrapNum a) Source #
Instance details Defined in Algebra.Normed Associated Types type Norm (WrapNum a) Source # Methods norm :: WrapNum a -> Norm (WrapNum a) Source # liftNorm :: Norm (WrapNum a) -> WrapNum a Source #
Normed a => Normed (WrapFractional a) Source #
Instance details Defined in Algebra.Normed Associated Types type Norm (WrapFractional a) Source # Methods norm :: WrapFractional a -> Norm (WrapFractional a) Source # liftNorm :: Norm (WrapFractional a) -> WrapFractional a Source #
Normed a => Normed (WrapIntegral a) Source #
Instance details Defined in Algebra.Normed Associated Types type Norm (WrapIntegral a) Source # Methods norm :: WrapIntegral a -> Norm (WrapIntegral a) Source # liftNorm :: Norm (WrapIntegral a) -> WrapIntegral a Source #
Normed a => Normed (WrapAlgebra a) Source #
Instance details Defined in Algebra.Normed Associated Types type Norm (WrapAlgebra a) Source # Methods norm :: WrapAlgebra a -> Norm (WrapAlgebra a) Source # liftNorm :: Norm (WrapAlgebra a) -> WrapAlgebra a Source #
Normed a => Normed (Add a) Source #
Instance details Defined in Algebra.Normed Associated Types type Norm (Add a) Source # Methods norm :: Add a -> Norm (Add a) Source # liftNorm :: Norm (Add a) -> Add a Source #
Normed a => Normed (Mult a) Source #
Instance details Defined in Algebra.Normed Associated Types type Norm (Mult a) Source # Methods norm :: Mult a -> Norm (Mult a) Source # liftNorm :: Norm (Mult a) -> Mult a Source #
(Ord (Norm d), Euclidean d, Euclidean (Norm d), Normed d) => Normed (Fraction d) Source #
Instance details Defined in Algebra.Normed Associated Types type Norm (Fraction d) Source # Methods norm :: Fraction d -> Norm (Fraction d) Source # liftNorm :: Norm (Fraction d) -> Fraction d Source #
Normed r => Normed (Scalar r) Source #
Instance details Defined in Algebra.Scalar Associated Types type Norm (Scalar r) Source # Methods norm :: Scalar r -> Norm (Scalar r) Source # liftNorm :: Norm (Scalar r) -> Scalar r Source #
Reifies p Integer => Normed (F p) Source #
Instance details Defined in Algebra.Field.Prime Associated Types type Norm (F p) Source # Methods norm :: F p -> Norm (F p) Source # liftNorm :: Norm (F p) -> F p Source #