| License | Apache-2.0 |
|---|---|
| Safe Haskell | None |
| Language | GHC2021 |
Singular.Registry.Funding
Contents
Description
The one place the conformance runner's pre-run funding check lives: what that runner requires before the first transaction is built, the diagnostic that names the address, what is required, what is there, and the faucet step, and the rendering of lovelace amounts that diagnostic reads. Writes judge the wallet on the measured outlay as client policy, not on this floor.
Synopsis
- data FundingFloor = FundingFloor {
- floorTotal :: Integer
- floorCollateral :: Integer
- defaultFundingFloor :: FundingFloor
- checkFunding :: (Network, LedgerProvider w IO) -> Addr -> FundingFloor -> IO ()
Funding
data FundingFloor Source #
What the conformance runner requires before the first transaction is built. A floor, not a guarantee: it catches the empty and the nearly-empty wallet at the start of a conformance run rather than inside a balance exception halfway through one. Writes do not use it.
Constructors
| FundingFloor | |
Fields
| |
Instances
| Show FundingFloor Source # | |
Defined in Singular.Registry.Funding Methods showsPrec :: Int -> FundingFloor -> ShowS Source # show :: FundingFloor -> String Source # showList :: [FundingFloor] -> ShowS Source # | |
| Eq FundingFloor Source # | |
Defined in Singular.Registry.Funding Methods (==) :: FundingFloor -> FundingFloor -> Bool Source # (/=) :: FundingFloor -> FundingFloor -> Bool Source # | |
defaultFundingFloor :: FundingFloor Source #
100 ada held, with 5 ada of it in an ada-only output.
checkFunding :: (Network, LedgerProvider w IO) -> Addr -> FundingFloor -> IO () Source #
Refuse to start when the funding wallet cannot pay, naming the address, what is required, what is there, and the faucet step.