plutus-core-0.1.0.0: Language library for Plutus Core
Safe HaskellNone
LanguageHaskell2010

PlutusIR.Purity

Synopsis

Documentation

isPure :: ToBuiltinMeaning uni fun => (name -> Strictness) -> Term tyname name uni fun a -> Bool Source #

Will evaluating this term have side effects (looping or error)?. This is slightly wider than the definition of a value, as it includes things that can't be returned from the machine (as they'd be ill-scoped).