Data.Fuel

Definitions

data Fuel : Type

  Fuel for running total operations potentially indefinitely.

Totality: total
Visibility: public export
Constructors:

Dry : Fuel

More : Lazy Fuel -> Fuel

limit : Nat -> Fuel

  Provide `n` units of fuel.

Totality: total
Visibility: public export

forever : Fuel

  Provide fuel indefinitely.
  This function is fundamentally partial.

Visibility: export