| Safe Haskell | Safe-Inferred |
|---|---|
| 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 #
Methods
class Additive v => Torsor p v | p -> v where Source #
Instances
class (Additive v, Additive s) => Scaling v s | v -> s where Source #