ExpectInferred

class ExpectInferred expected actual 

Instances

• ExpectInferred a a
• (Fail (Above (Text "The expected (first) and actual (second) types did not match:") (Beside (Text " ") (Above (Quote expected) (Quote actual))))) => ExpectInferred expected actual

expectInferred :: forall expected actual. ExpectInferred expected actual => Proxy expected -> actual -> Unit