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 expected actual 

Instances

#expectInferred Source

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