Algebra.Normed

Documentation

class Ord (Norm a) => Normed a where

Additional types for normed types.

Minimal complete definition

norm, liftNorm

Associated Types

type Norm a

Methods

norm :: a -> Norm a

liftNorm :: Norm a -> a

Instances

Normed Double

Associated Types

type Norm Double :: *

Methods

norm :: Double -> Norm Double

liftNorm :: Norm Double -> Double

Normed Int

Associated Types

type Norm Int :: *

Methods

norm :: Int -> Norm Int

liftNorm :: Norm Int -> Int

Normed Integer

Associated Types

type Norm Integer :: *

Methods

norm :: Integer -> Norm Integer

liftNorm :: Norm Integer -> Integer

(Ord (Norm d), Euclidean d, Euclidean (Norm d), Normed d) => Normed (Fraction d)

Associated Types

type Norm (Fraction d) :: *

Methods

norm :: Fraction d -> Norm (Fraction d)

liftNorm :: Norm (Fraction d) -> Fraction d

Normed r => Normed (Scalar r)

Associated Types

type Norm (Scalar r) :: *

Methods

norm :: Scalar r -> Norm (Scalar r)

liftNorm :: Norm (Scalar r) -> Scalar r

Reifies k p Integer => Normed (F k p)

Associated Types

type Norm (F k p) :: *

Methods

norm :: F k p -> Norm (F k p)

liftNorm :: Norm (F k p) -> F k p