halg-core-0.6.0.0: Core types and functions of halg computational algebra suite.
Safe HaskellNone
LanguageHaskell2010

Algebra.Normed

Synopsis

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 #

Normed Int Source # 
Instance details

Defined in Algebra.Normed

Associated Types

type Norm Int Source #

Normed Integer Source # 
Instance details

Defined in Algebra.Normed

Associated Types

type Norm Integer Source #

Normed a => Normed (WrapNum a) Source # 
Instance details

Defined in Algebra.Normed

Associated Types

type Norm (WrapNum a) Source #

Normed a => Normed (WrapFractional a) Source # 
Instance details

Defined in Algebra.Normed

Associated Types

type Norm (WrapFractional a) Source #

Normed a => Normed (WrapIntegral a) Source # 
Instance details

Defined in Algebra.Normed

Associated Types

type Norm (WrapIntegral a) Source #

Normed a => Normed (WrapAlgebra a) Source # 
Instance details

Defined in Algebra.Normed

Associated Types

type Norm (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 #

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 #