| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusCore.Check.Uniques
Documentation
checkProgram :: forall ann name tyname m (uni :: Type -> Type) fun. (Ord ann, HasUnique name TermUnique, HasUnique tyname TypeUnique, MonadError (UniqueError ann) m) => (UniqueError ann -> Bool) -> Program tyname name uni fun ann -> m () Source #
checkTerm :: forall ann name tyname m (uni :: Type -> Type) fun. (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 |