| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusIR.Purity
Synopsis
- isPure :: ToBuiltinMeaning uni fun => (name -> Strictness) -> Term tyname name uni fun a -> Bool
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).