| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Core.SemigroupAction
Description
Semigroup action * is an operator where \(s_2 * (s_1 * a) == (s_2 \diamond s_1) * a\) holds.
Synopsis
- class SemigroupAction s a where
- sact :: s -> a -> a
- sactTimes :: (Semigroup s, SemigroupAction s a) => Int -> s -> a -> a
Documentation
class SemigroupAction s a where #
Right semigroup aciton.
Instances
| Semigroup a => SemigroupAction a a # | |
Defined in Data.Core.SemigroupAction | |
| Num a => SemigroupAction (Affine1 a) a # | Limited to length 1 |
Defined in Data.Instances.Affine1 | |
| Num a => SemigroupAction (Affine1 a) (V2 a) # | |
| Num a => SemigroupAction (Mat2x2 a) (V2 a) # | |