# Documentation

Init.Control.EState

instance EStateM.instToStringResult {ε : Type u} {σ : Type u} {α : Type u} [inst : ] [inst : ] :
Equations
• One or more equations did not get rendered due to their size.
instance EStateM.instReprResult {ε : Type u} {σ : Type u} {α : Type u} [inst : Repr ε] [inst : Repr α] :
Repr ()
Equations
• One or more equations did not get rendered due to their size.
@[inline]
def EStateM.orElse' {ε : Type u} {σ : Type u} {α : Type u} {δ : Type u} [inst : ] (x₁ : EStateM ε σ α) (x₂ : EStateM ε σ α) (useFirstEx : ) :
EStateM ε σ α

Alternative orElse operator that allows to select which exception should be used. The default is to use the first exception since the standard orElse uses the second.

Equations
• One or more equations did not get rendered due to their size.
@[always_inline]
instance EStateM.instMonadFinallyEStateM {ε : Type u} {σ : Type u} :
Equations
• One or more equations did not get rendered due to their size.
@[inline]
def EStateM.fromStateM {ε : Type} {σ : Type} {α : Type} (x : StateM σ α) :
EStateM ε σ α
Equations
• = match with | (a, s') =>