Type family a ~/ b :: Constraint where a

Question

~/ a = TypeError ('Text "Some error message")
_ ~/ _ = ()

class If f (a ~ Ty, b ~/ Ty) (b ~ Ty, a ~/ Ty) => Cls a b f

не подойдет?

0

26.03.2022

20 просмотров

нужно будет усложнить для f a ~/ g b тоже.

0

26.03.2022

Ну так констрейнт на неравенство нормально вообще никак не сделать, а вот констрейнт на равенство тут настоящий

0

26.03.2022

Но здесь кстати это не сломает forall a . a ~/ a потому что это и так не выполняется

0

26.03.2022

TOV_MULTIMASSO · Accepted Answer

Так это тоже матч, в отличие от встроенного ~

0

26.03.2022