License | BSD-3-Clause |
---|---|
Maintainer | Jamie Willis |
Stability | unstable |
Safe Haskell | None |
Language | Haskell2010 |
This module exposes Coins
and the relevant operations. These are used by
constant input analysis to side-step unnecessary length checks and character
reads (in the case of lookahead).
Since: 1.5.0.0
Documentation
Packages together the known input that can be consumed after a length-check with the number of characters that can be rewound on a lookahead backtrack.
Since: 1.5.0.0
Coins | |
|
Makes a Coins
value with equal quantities of coins and characters.
Since: 1.5.0.0
minCoins :: Coins -> Coins -> Coins Source #
Takes the pairwise min of two Coins
values.
Since: 1.5.0.0
maxCoins :: Coins -> Coins -> Coins Source #
Takes the pairwise max of two Coins
values.
Since: 1.5.0.0
plus :: Coins -> Coins -> Coins Source #
Performs the pairwise addition of two Coins
values.
Since: 1.5.0.0