byron-spec-ledger-0.1.0.0: Executable specification of Cardano ledger
Safe HaskellNone
LanguageHaskell2010

Byron.Spec.Ledger.Util

Synopsis

Documentation

mkGoblinGens :: String -> [String] -> Q [Dec] Source #

Take a name (e.g. DELEG) and a list of PredicateFailures 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 SignalGenerators.