PlutusCore.StdLib.Data.ScottUnit
Description
Scott-encoded unit and related functions.
unit
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