| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusIR.Strictness
Description
Strictness analysis.
Synopsis
- isStrictIn :: forall tyname name uni fun a. Eq name => name -> Term tyname name uni fun a -> Bool
Documentation
isStrictIn :: forall tyname name uni fun a. Eq name => name -> Term tyname name uni fun a -> Bool #
Whether the given name is strict in the given term.