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