Idris2Doc : Data.Fuel

Data.Fuel

dataFuel : Type
  Fuel for running total operations potentially indefinitely.

Totality: total
Constructors:
Dry : Fuel
More : Lazy Fuel -> Fuel
forever : Fuel
  Provide fuel indefinitely.
This function is fundamentally partial.

limit : Nat -> Fuel
  Provide `n` units of fuel.

Totality: total