IdrisDoc: Data.Fuel

Data.Fuel

data Fuel : Type

Fuel for running total operations potentially indefinitely.

Dry : Fuel
More : Lazy Fuel -> Fuel
forever : Fuel

Provide fuel indefinitely.
This function is fundamentally partial.

limit : Nat -> Fuel

Provide n units of fuel.