Idris2Doc : Data.Fuel

Data.Fuel

Fuel : 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