Module

ExpectInferred

Package
purescript-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 a b. a -> b -> Constraintclass ExpectInferred expected actual 

Instances

#expectInferred Source

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