Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
PlutusCore.Check.Uniques
Documentation
checkProgram ∷ (Ord ann, HasUnique name TermUnique, HasUnique tyname TypeUnique, MonadError (UniqueError ann) m) ⇒ (UniqueError ann → Bool) → Program tyname name uni fun ann → m () Source #
checkTerm ∷ (Ord ann, HasUnique name TermUnique, HasUnique tyname TypeUnique, MonadError (UniqueError ann) m) ⇒ (UniqueError ann → Bool) → Term tyname name uni fun ann → m () Source #
data UniqueError ann Source #
Constructors
MultiplyDefined !Unique !ann !ann | |
IncoherentUsage !Unique !ann !ann | |
FreeVariable !Unique !ann |