plutus-contract-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

Plutus.Trace.Effects.Assert

Synopsis

Documentation

data Assert r where Source #

Constructors

Assert :: String -> (EmulatorState -> Bool) -> Assert () 

assert :: forall effs. Member Assert effs => String -> (EmulatorState -> Bool) -> Eff effs () Source #

handleAssert :: forall effs effs2. (Member (Yield (EmSystemCall effs2 EmulatorMessage) (Maybe EmulatorMessage)) effs, Member (Error EmulatorRuntimeError) effs, Member (State EmulatorState) effs) => Assert ~> Eff effs Source #

Pass EmulatorState to the provided predicate and throw error unless it's true.