Morley.Michelson.Typed.ClassifiedInstr.Internal.Classifiers.IsAlwaysFailing
Description
Actual decision implementation for FailureType.
FailureType
isAlwaysFailing :: InstrEnum -> FailureType Source #
Decide whether an instruction is always failing. Only NEVER and FAILWITH are considered always failing.
NEVER
FAILWITH