plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.StdLib.Data.Unit

Description

unit and related functions.

Synopsis

Documentation

unit ∷ uni `HasTypeLevel` () ⇒ Type tyname uni () Source #

() as a PLC type.

unitval ∷ (TermLike term tyname name uni fun, uni `HasTermLevel` ()) ⇒ term () Source #

() as a PLC term.

sequ ∷ (TermLike term tyname Name uni fun, uni `HasTypeAndTermLevel` ()) ⇒ term () Source #

seq specified to () as a PLC term.