Safe Haskell	None
Language	Haskell2010

PlutusCore.StdLib.Data.ScottUnit

Description

Scott-encoded unit and related functions.

Synopsis

unit :: forall (uni :: Type -> Type). Type TyName uni ()
unitval :: forall term (uni :: Type -> Type) fun. TermLike term TyName Name uni fun => term ()

Documentation

unit :: forall (uni :: Type -> Type). Type TyName uni () Source #

() as a PLC type.

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

unitval :: forall term (uni :: Type -> Type) fun. TermLike term TyName Name uni fun => term () Source #

() as a PLC term.

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