plutus-core-1.0.0.1: Language library for Plutus Core
Safe HaskellNone
LanguageHaskell2010

PlutusCore.StdLib.Data.Unit

Description

unit and related functions.

Synopsis

Documentation

unit :: uni `Includes` () => Type TyName uni () Source #

() as a PLC type.

unitval :: (TermLike term TyName Name uni fun, uni `Includes` ()) => term () Source #

() as a PLC term.

sequ :: (TermLike term TyName Name uni fun, uni `Includes` ()) => term () Source #

seq specified to () as a PLC term.