Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 |