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

PlutusCore.StdLib.Data.ScottUnit

Description

Scott-encoded unit and related functions.

Synopsis

Documentation

unit ∷ Type TyName uni () Source #

() as a PLC type.

all (A :: *). A -> A

unitval ∷ TermLike term TyName Name uni fun ⇒ term () Source #

() as a PLC term.

/\(A :: *) -> \(x : A) -> x