Data.Void
| Авторские права | (C) 2008-2014 Edward Kmett |
|---|---|
| Лицензия | BSD-стиль (см. файл libraries/base/LICENSE) |
| Поддерживающий | Edward Kmett <ekmett@gmail.com> |
| Стабильность | предварительная |
| Переносимость | переносимая |
| Безопасный Haskell | Безопасный |
| Язык | Haskell2010 |
Описание
Логически пустой тип данных, используемый для указания, что данный термин не должен существовать.
С момента: 4.8.0.0
Тип данных без элементов
С момента: 4.8.0.0
Примеры реализации
Так как значения Void логически не существуют, это демонстрирует логический инструмент «ex falso quodlibet».
С момента: 4.8.0.0
vacuous :: Functor f => f Void -> f a Источник
Если Void не имеет элементов, то любой Functor, содержащий только значения типа Void, не содержит никаких значений.
С момента: 4.8.0.0
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/7.10.3/docs/html/libraries/base-4.8.2.0/Data-Void.html
