Structures · Lean core
SeqRight
The *> operator is overloaded using seqRight.
When thinking about f as potential side effects, *> evaluates first the left and then the right
argument for their side effects, discarding the value of the left argument and returning the value
of the right argument.
For most applications, Applicative or Monad should be used rather than SeqRight itself.
- Defined in
- Init.Prelude
- Shape
- One type argument · adds seqRight
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by1
Concrete types that are instances0
No instance on a concrete type; it is reached through other classes.
How is a type an instance?
Loading the hierarchy index…
Assumed by0
No theorem or definition in Mathlib takes this class as a hypothesis.
Ancestors0
No ancestors.