(A Data.Type.Equality.== b) ~ 'False?

Question

0

11.12.2021

22 просмотра

Только смысла в этом не очень, это только проверка, потом этот факт использовать для чего-то не выйдет, a :~: b -> Void не выведется

0

11.12.2021

Да, там с лучшим инференсом: type (==) :: k -> k -> Bool type family a == b where f a == g b = f == g && a == b a == a = 'True _ == _ = 'False

0

11.12.2021

кана · Accepted Answer

а там не совсем "~" вроде бы

0

11.12.2021