IdrisDoc: Data.Fuel

Data.Fuel

limit : Nat -> Fuel

Provide n units of fuel.

forever : Fuel

Provide fuel indefinitely.
This function is fundamentally partial.

data Fuel : Type

Fuel for running total operations potentially indefinitely.

Dry : Fuel
More : Lazy Fuel -> Fuel