Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusIR.Strictness

Description

Strictness analysis.

Synopsis

isStrictIn ∷ ∀ tyname name uni fun a. Eq name ⇒ name → Term tyname name uni fun a → Bool

Documentation

isStrictIn ∷ ∀ tyname name uni fun a. Eq name ⇒ name → Term tyname name uni fun a → Bool Source #

Whether the given name is strict in the given term.