| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cooked.Tweak.Common
Contents
Description
This module defines Tweaks which are the building blocks of our DSL for
attacks. They are skeleton modifications aware of the mockchain state.
Synopsis
- data Tweak :: Effect where
- getTxSkel :: forall r. Member Tweak r => Sem r TxSkel
- putTxSkel :: forall r. Member Tweak r => TxSkel -> Sem r ()
- runTweak :: TxSkel -> Sem (Tweak : effs) a -> Sem effs (TxSkel, a)
- evalTweak :: TxSkel -> Sem (Tweak : effs) a -> Sem effs a
- execTweak :: TxSkel -> Sem (Tweak : effs) a -> Sem effs TxSkel
Tweak effect
data Tweak :: Effect where Source #
An effect that allows to store or retrieve a TxSkel from a context
putTxSkel :: forall r. Member Tweak r => TxSkel -> Sem r () Source #
Overrides the TxSkel in the context
Running a tweak
runTweak :: TxSkel -> Sem (Tweak : effs) a -> Sem effs (TxSkel, a) Source #
Running a Tweak is equivalent to running a state monad storing a TxSkel