Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype Committer m a Source #
a Committer a "commits" values of type a. A Sink and a Consumer are some other metaphors for this.
A Committer absorbs
the value being committed; the value disappears into the opaque thing that is a Committer from the pov of usage.
Instances
Contravariant (Committer m) Source # | |
Applicative m => Divisible (Committer m) Source # | |
Applicative m => Decidable (Committer m) Source # | |
Applicative m => Semigroup (Committer m a) Source # | |
Applicative m => Monoid (Committer m a) Source # | |