plutus-core-1.0.0.1: Language library for Plutus Core
Safe Haskell None
Language Haskell2010

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).