morley-1.19.0: Developer tools for the Michelson Language
Safe HaskellSafe-Inferred
LanguageHaskell2010

Morley.Michelson.Typed.ClassifiedInstr.Internal.Classifiers.IsAlwaysFailing

Description

Actual decision implementation for FailureType.

Synopsis

Documentation

isAlwaysFailing :: InstrEnum -> FailureType Source #

Decide whether an instruction is always failing. Only NEVER and FAILWITH are considered always failing.