Преобразование типов данных

Лицензия	BSD-стиль (см. файл LICENSE в дистрибутиве)
Поддержка	libraries@haskell.org
Стабильность	экспериментальная
Переносимость	непереносимая
Безопасный Haskell	Нет
Язык	Haskell2010

data Coercion a b where Исходный код

Репрезентативное равенство. Если Coercion a b содержит какое-то завершающее значение, то тип a имеет такое же базовое представление, как тип b.

Чтобы использовать это равенство на практике, выполните сопоставление с образцом на Coercion a b, чтобы получить экземпляр Coercible a b, а затем используйте coerce, чтобы применить его.

С момента: 4.7.0.0

coerceWith :: Coercion a b -> a -> b Исходный код

Безопасное приведение типов, используя репрезентативное равенство

sym :: forall a b. Coercion a b -> Coercion b a Исходный код

Симметрия репрезентативного равенства

trans :: Coercion a b -> Coercion b c -> Coercion a c Исходный код

Транзитивность репрезентативного равенства

repr :: (a :~: b) -> Coercion a b Исходный код

Преобразование пропозиционального (номинального) равенства в репрезентативное равенство

class TestCoercion f where Исходный код

Этот класс содержит типы, где вы можете узнать равенство двух типов из информации, содержащейся в терминах. Как правило, только типы-синглтоны должны принадлежать этому классу.