| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Generators.QuickCheck.Unification
Synopsis
- unificationFailure ∷ (MonadError String m, Pretty a, Pretty b) ⇒ a → b → m any
- resolutionFailure ∷ MonadError String m ⇒ TyName → Type TyName DefaultUni () → String → m any
- unifyType ∷ TypeCtx → Set TyName → Type TyName DefaultUni () → Type TyName DefaultUni () → Either String TypeSub
Documentation
unificationFailure ∷ (MonadError String m, Pretty a, Pretty b) ⇒ a → b → m any Source #
resolutionFailure ∷ MonadError String m ⇒ TyName → Type TyName DefaultUni () → String → m any Source #