Module

ExpectInferred

#type (+)

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

#type (^)

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

#ExpectInferred

class ExpectInferred :: forall k1 k2. k1 -> k2 -> Constraintclass ExpectInferred expected actual 

Instances

#expectInferred

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

Modules