Module

ExpectInferred

Package: expect-inferred
Repository: justinwoo/purescript-expect-inferred

#type (+) Source

Operator alias for Prim.TypeError.Beside (right-associative / precedence 2)

#type (^) Source

Operator alias for Prim.TypeError.Above (right-associative / precedence 1)

#ExpectInferred Source

class ExpectInferred :: forall k1 k2. k1 -> k2 -> Constraintclass 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 Source

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

Modules: ExpectInferred