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

UntypedPlutusCore.Check.Uniques

Documentation

checkProgram ∷ (Ord ann, HasUnique name TermUnique, MonadError (UniqueError ann) m) ⇒ (UniqueError ann → Bool) → Program name uni fun ann → m () Source #

checkTerm ∷ (Ord ann, HasUnique name TermUnique, MonadError (UniqueError ann) m) ⇒ (UniqueError ann → Bool) → Term name uni fun ann → m () Source #

data UniqueError ann Source #

Constructors

MultiplyDefined !Unique !ann !ann 
IncoherentUsage !Unique !ann !ann 
FreeVariable !Unique !ann 

Instances

Instances details
Functor UniqueError Source # 
Instance details

Defined in PlutusCore.Error

Methods

fmap ∷ (a → b) → UniqueError a → UniqueError b Source #

(<$) ∷ a → UniqueError b → UniqueError a Source #

Exception (UniqueError SrcSpan) Source # 
Instance details

Defined in PlutusCore.Error

Generic (UniqueError ann) Source # 
Instance details

Defined in PlutusCore.Error

Associated Types

type Rep (UniqueError ann) ∷ TypeType Source #

Methods

fromUniqueError ann → Rep (UniqueError ann) x Source #

toRep (UniqueError ann) x → UniqueError ann Source #

Show ann ⇒ Show (UniqueError ann) Source # 
Instance details

Defined in PlutusCore.Error

NFData ann ⇒ NFData (UniqueError ann) Source # 
Instance details

Defined in PlutusCore.Error

Methods

rnfUniqueError ann → () Source #

Eq ann ⇒ Eq (UniqueError ann) Source # 
Instance details

Defined in PlutusCore.Error

Methods

(==)UniqueError ann → UniqueError ann → Bool Source #

(/=)UniqueError ann → UniqueError ann → Bool Source #

Pretty ann ⇒ Pretty (UniqueError ann) Source # 
Instance details

Defined in PlutusCore.Error

Methods

prettyUniqueError ann → Doc ann0 Source #

prettyList ∷ [UniqueError ann] → Doc ann0 Source #

type Rep (UniqueError ann) Source # 
Instance details

Defined in PlutusCore.Error