Moduletorsor-0.1.0.1Haskell2010

Torsor

The typeclasses provides in this module are equivalent to three of the typeclasses from the vector-space package. This package uses MPTCs with functional dependencies instead of type families in order to improved error messages.

3 classes

Packagetorsor-0.1.0.1
Exports3
LanguageHaskell2010
LicenceBSD-3-Clause
SourceTorsor.hs

classclass Additive v where

Methods

zero :: v
invert :: v -> v
plus :: v -> v -> v
minus :: v -> v -> v

Instances11Additive, …

Additive Int16Defined in torsor-0.1.0.1 · Torsor
Additive Int32Defined in torsor-0.1.0.1 · Torsor
Additive Int64Defined in torsor-0.1.0.1 · Torsor
Additive Int8Defined in torsor-0.1.0.1 · Torsor
Additive DoubleDefined in torsor-0.1.0.1 · Torsor
Additive IntDefined in torsor-0.1.0.1 · Torsor
Additive WordDefined in torsor-0.1.0.1 · Torsor
Additive Word16Defined in torsor-0.1.0.1 · Torsor
Additive Word32Defined in torsor-0.1.0.1 · Torsor
Additive Word64Defined in torsor-0.1.0.1 · Torsor
Additive Word8Defined in torsor-0.1.0.1 · Torsor

classclass Additive v => Torsor p v | p -> v where

Methods

add :: v -> p -> p
difference :: p -> p -> v

Instances11Torsor, …

Torsor Int16 Int16Defined in torsor-0.1.0.1 · Torsor
Torsor Int32 Int32Defined in torsor-0.1.0.1 · Torsor
Torsor Int64 Int64Defined in torsor-0.1.0.1 · Torsor
Torsor Int8 Int8Defined in torsor-0.1.0.1 · Torsor
Torsor Double DoubleDefined in torsor-0.1.0.1 · Torsor
Torsor Int IntDefined in torsor-0.1.0.1 · Torsor
Torsor Word WordDefined in torsor-0.1.0.1 · Torsor
Torsor Word16 Word16Defined in torsor-0.1.0.1 · Torsor
Torsor Word32 Word32Defined in torsor-0.1.0.1 · Torsor
Torsor Word64 Word64Defined in torsor-0.1.0.1 · Torsor
Torsor Word8 Word8Defined in torsor-0.1.0.1 · Torsor

classclass (Additive v, Additive s) => Scaling v s | v -> s where

Methods

scale :: s -> v -> v

Instances11Scaling, …

Scaling Int16 Int16Defined in torsor-0.1.0.1 · Torsor
Scaling Int32 Int32Defined in torsor-0.1.0.1 · Torsor
Scaling Int64 Int64Defined in torsor-0.1.0.1 · Torsor
Scaling Int8 Int8Defined in torsor-0.1.0.1 · Torsor
Scaling Double DoubleDefined in torsor-0.1.0.1 · Torsor
Scaling Int IntDefined in torsor-0.1.0.1 · Torsor
Scaling Word WordDefined in torsor-0.1.0.1 · Torsor
Scaling Word16 Word16Defined in torsor-0.1.0.1 · Torsor
Scaling Word32 Word32Defined in torsor-0.1.0.1 · Torsor
Scaling Word64 Word64Defined in torsor-0.1.0.1 · Torsor
Scaling Word8 Word8Defined in torsor-0.1.0.1 · Torsor