Documentation

Aesop.BaseM

State of the BaseM monad.

Instances For
Equations
Equations
def Aesop.BaseM.run {α : Type} (x : BaseM α) (stats : Stats := ) :

Run a BaseM action.

Equations
Equations
  • One or more equations did not get rendered due to their size.
Equations
  • One or more equations did not get rendered due to their size.
Equations
  • One or more equations did not get rendered due to their size.