Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

Static gas consumption for free applicatives.

## Synopsis

- requiredGas :: (forall x. f x -> Word) -> Ap f a -> Word

# Documentation

:: (forall x. f x -> Word) | Given an action, its cost. |

-> Ap f a | Program to compute required gas of. |

-> Word |

Compute the number of steps the interpretation of a free applicative action
would take. The number of steps is the cummulative result of the cost
function given to `requiredGas`

. The limit is called the gas, by typical
*car analogy*.