Safe Haskell | None |
---|---|
Language | Haskell2010 |
Byron.Spec.Ledger.Util
Synopsis
- mkGoblinGens :: String -> [String] -> Q [Dec]
Documentation
mkGoblinGens :: String -> [String] -> Q [Dec] Source #
Take a name (e.g. DELEG) and a list of PredicateFailure
s in renderPF
form (see repo goblins-sts-breeder; STSExtra typeclass) (e.g.
[UTXOW_InsufficientWitnesses]) and returns `n+1` declarations, where n
is the length of the pfNames
list. There will be 1 decl per element of
pfNames
, which wraps a goblin mutation around the valid SignalGenerator
.
The final decl is a toplevel list of the previously defined SignalGenerator
s.