Documentation

Aesop.BaseM

State of the BaseM monad.

Instances For
    Equations
    Instances For
      Equations
      @[reducible, inline]
      abbrev Aesop.BaseM (α : Type) :

      Aesop's base monad. Contains no interesting data, only various caches and stats.

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

        Run a BaseM action.

        Equations
        Instances For
          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.