Safe Haskell | Safe-Inferred |
---|
- class Semigroup g => SemigroupAct g a where
- act :: g -> a -> a
- class (Monoid g, SemigroupAct g a) => MonoidAct g a
- newtype OptionSet g a = OptionSet {
- getOptionSet :: a
- newtype SelfAct a = SelfAct a
- newtype Repeat a = Repeat {
- unwrapRepeat :: a
Documentation
class Semigroup g => SemigroupAct g a whereSource
Represents an action of semigroup g
to set a
.
(Semigroup (Sum n), Bounded a, Enum a, Integral n) => SemigroupAct (Sum n) (EnumBoundedIntAct a) | |
(Semigroup (Sum n), Integral n, Enum a) => SemigroupAct (Sum n) (EnumIntAct a) | |
(Semigroup (Product n), Monoid w, Whole n) => SemigroupAct (Product n) (Repeat w) | The implementation uses |
(Semigroup (SelfAct g), Semigroup g) => SemigroupAct (SelfAct g) (SelfAct g) | |
(Semigroup (Option g), SemigroupAct g a, Semigroup g) => SemigroupAct (Option g) (OptionSet g a) |
class (Monoid g, SemigroupAct g a) => MonoidAct g a Source
A wrapper for constructing a monoid action from Option
.
OptionSet | |
|
(Monoid (Option g), SemigroupAct (Option g) (OptionSet g a), SemigroupAct g a, Monoid g) => MonoidAct (Option g) (OptionSet g a) | |
(Semigroup (Option g), SemigroupAct g a, Semigroup g) => SemigroupAct (Option g) (OptionSet g a) |
A wrapper for a group acting on itself.
SelfAct a |
Functor SelfAct | |
Eq a => Eq (SelfAct a) | |
(Eq (SelfAct a), Ord a) => Ord (SelfAct a) | |
Read a => Read (SelfAct a) | |
Show a => Show (SelfAct a) | |
Monoid g => Monoid (SelfAct g) | |
Semigroup g => Semigroup (SelfAct g) | |
(Monoid (SelfAct g), SemigroupAct (SelfAct g) (SelfAct g), Semigroup g, Monoid g) => MonoidAct (SelfAct g) (SelfAct g) | |
(Semigroup (SelfAct g), Semigroup g) => SemigroupAct (SelfAct g) (SelfAct g) |
A wrapper for represeting the action of natural numbers with multiplication on a monoid.
Repeat | |
|