Safe Haskell	Safe
Language	Haskell2010

Torsor

Description

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.

Documentation

class Additive v where Source #

Minimal complete definition

zero, invert, plus, minus

Methods

zero :: v Source #

invert :: v -> v Source #

plus :: v -> v -> v Source #

minus :: v -> v -> v Source #

Instances

Additive Double Source #
Methods zero :: Double Source # invert :: Double -> Double Source # plus :: Double -> Double -> Double Source # minus :: Double -> Double -> Double Source #
Additive Int Source #
Methods zero :: Int Source # invert :: Int -> Int Source # plus :: Int -> Int -> Int Source # minus :: Int -> Int -> Int Source #
Additive Int8 Source #
Methods zero :: Int8 Source # invert :: Int8 -> Int8 Source # plus :: Int8 -> Int8 -> Int8 Source # minus :: Int8 -> Int8 -> Int8 Source #
Additive Int16 Source #
Methods zero :: Int16 Source # invert :: Int16 -> Int16 Source # plus :: Int16 -> Int16 -> Int16 Source # minus :: Int16 -> Int16 -> Int16 Source #
Additive Int32 Source #
Methods zero :: Int32 Source # invert :: Int32 -> Int32 Source # plus :: Int32 -> Int32 -> Int32 Source # minus :: Int32 -> Int32 -> Int32 Source #
Additive Int64 Source #
Methods zero :: Int64 Source # invert :: Int64 -> Int64 Source # plus :: Int64 -> Int64 -> Int64 Source # minus :: Int64 -> Int64 -> Int64 Source #
Additive Word Source #
Methods zero :: Word Source # invert :: Word -> Word Source # plus :: Word -> Word -> Word Source # minus :: Word -> Word -> Word Source #
Additive Word8 Source #
Methods zero :: Word8 Source # invert :: Word8 -> Word8 Source # plus :: Word8 -> Word8 -> Word8 Source # minus :: Word8 -> Word8 -> Word8 Source #
Additive Word16 Source #
Methods zero :: Word16 Source # invert :: Word16 -> Word16 Source # plus :: Word16 -> Word16 -> Word16 Source # minus :: Word16 -> Word16 -> Word16 Source #
Additive Word32 Source #
Methods zero :: Word32 Source # invert :: Word32 -> Word32 Source # plus :: Word32 -> Word32 -> Word32 Source # minus :: Word32 -> Word32 -> Word32 Source #
Additive Word64 Source #
Methods zero :: Word64 Source # invert :: Word64 -> Word64 Source # plus :: Word64 -> Word64 -> Word64 Source # minus :: Word64 -> Word64 -> Word64 Source #

class Additive v => Torsor p v | p -> v where Source #

Minimal complete definition

add, difference

Methods

add :: v -> p -> p Source #

difference :: p -> p -> v Source #

Instances

Torsor Double Double Source #
Methods add :: Double -> Double -> Double Source # difference :: Double -> Double -> Double Source #
Torsor Int Int Source #
Methods add :: Int -> Int -> Int Source # difference :: Int -> Int -> Int Source #
Torsor Int8 Int8 Source #
Methods add :: Int8 -> Int8 -> Int8 Source # difference :: Int8 -> Int8 -> Int8 Source #
Torsor Int16 Int16 Source #
Methods add :: Int16 -> Int16 -> Int16 Source # difference :: Int16 -> Int16 -> Int16 Source #
Torsor Int32 Int32 Source #
Methods add :: Int32 -> Int32 -> Int32 Source # difference :: Int32 -> Int32 -> Int32 Source #
Torsor Int64 Int64 Source #
Methods add :: Int64 -> Int64 -> Int64 Source # difference :: Int64 -> Int64 -> Int64 Source #
Torsor Word Word Source #
Methods add :: Word -> Word -> Word Source # difference :: Word -> Word -> Word Source #
Torsor Word8 Word8 Source #
Methods add :: Word8 -> Word8 -> Word8 Source # difference :: Word8 -> Word8 -> Word8 Source #
Torsor Word16 Word16 Source #
Methods add :: Word16 -> Word16 -> Word16 Source # difference :: Word16 -> Word16 -> Word16 Source #
Torsor Word32 Word32 Source #
Methods add :: Word32 -> Word32 -> Word32 Source # difference :: Word32 -> Word32 -> Word32 Source #
Torsor Word64 Word64 Source #
Methods add :: Word64 -> Word64 -> Word64 Source # difference :: Word64 -> Word64 -> Word64 Source #

class (Additive v, Additive s) => Scaling v s | v -> s where Source #

Minimal complete definition

scale

Methods

scale :: s -> v -> v Source #

Instances

Scaling Double Double Source #
Methods scale :: Double -> Double -> Double Source #
Scaling Int Int Source #
Methods scale :: Int -> Int -> Int Source #
Scaling Int8 Int8 Source #
Methods scale :: Int8 -> Int8 -> Int8 Source #
Scaling Int16 Int16 Source #
Methods scale :: Int16 -> Int16 -> Int16 Source #
Scaling Int32 Int32 Source #
Methods scale :: Int32 -> Int32 -> Int32 Source #
Scaling Int64 Int64 Source #
Methods scale :: Int64 -> Int64 -> Int64 Source #
Scaling Word Word Source #
Methods scale :: Word -> Word -> Word Source #
Scaling Word8 Word8 Source #
Methods scale :: Word8 -> Word8 -> Word8 Source #
Scaling Word16 Word16 Source #
Methods scale :: Word16 -> Word16 -> Word16 Source #
Scaling Word32 Word32 Source #
Methods scale :: Word32 -> Word32 -> Word32 Source #
Scaling Word64 Word64 Source #
Methods scale :: Word64 -> Word64 -> Word64 Source #