| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Generators.QuickCheck.Unification
Synopsis
- unificationFailure :: (DefaultUni ()
t2
-> Either String TypeSub Either an error or a substitution (from a subset of
flex) unifyingt1andt2
Perform unification. Sound but not complete.