Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Compiler.Laziness

Description

Simulating laziness.

Documentation

delay ∷ Compiling uni fun m ann ⇒ PIRTerm uni fun → m (PIRTerm uni fun) Source #

delayType ∷ Compiling uni fun m ann ⇒ PIRType uni → m (PIRType uni) Source #

delayVar ∷ Compiling uni fun m ann ⇒ PIRVar uni → m (PIRVar uni) Source #

force ∷ CompilingDefault uni fun m ann ⇒ PIRTerm uni fun → m (PIRTerm uni fun) Source #

maybeDelay ∷ Compiling uni fun m ann ⇒ Bool → PIRTerm uni fun → m (PIRTerm uni fun) Source #

maybeDelayVar ∷ Compiling uni fun m ann ⇒ Bool → PIRVar uni → m (PIRVar uni) Source #

maybeForce ∷ CompilingDefault uni fun m ann ⇒ Bool → PIRTerm uni fun → m (PIRTerm uni fun) Source #