Data.Void

Авторские права	(C) 2008-2014 Edward Kmett
Лицензия	BSD-стиль (см. файл libraries/base/LICENSE)
Поддержка	Edward Kmett <ekmett@gmail.com>
Устойчивость	предварительная
Переносимость	переносимая
Safe Haskell	Safe
Язык	Haskell2010

Описание

Логически необитаемый тип данных, используемый для указания того, что данный термин не должен существовать.

С момента: base-4.8.0.0

data Void Исходный код

Необитаемый тип данных

С момента: base-4.8.0.0

Экземпляры

Подробности о экземплярах

Semigroup Void Источник	С версии: base-4.9.0.0
Подробности об экземпляре Определено в GHC.Internal.Base Методы (<>) :: Void -> Void -> Void Источник sconcat :: NonEmpty Void -> Void Источник stimes :: Integral b => b -> Void -> Void Источник
Data Void Источник	С версии: base-4.8.0.0
Подробности об экземпляре Определено в GHC.Internal.Data.Data Методы gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Void -> c Void Источник gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Void Источник toConstr :: Void -> Constr Источник dataTypeOf :: Void -> DataType Источник dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Void) Источник dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Void) Источник gmapT :: (forall b. Data b => b -> b) -> Void -> Void Источник gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Void -> r Источник gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Void -> r Источник gmapQ :: (forall d. Data d => d -> u) -> Void -> [u] Источник gmapQi :: Int -> (forall d. Data d => d -> u) -> Void -> u Источник gmapM :: Monad m => (forall d. Data d => d -> m d) -> Void -> m Void Источник gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Void -> m Void Источник gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Void -> m Void Источник
Exception Void Источник	С версии: base-4.8.0.0
Подробности об экземпляре Определено в GHC.Internal.Exception.Type Методы toException :: Void -> SomeException Источник fromException :: SomeException -> Maybe Void Источник displayException :: Void -> String Источник backtraceDesired :: Void -> Bool Источник
Generic Void Источник

Подробности экземпляра

Определено в GHC.Internal.Generics

Связанные типы

type Rep Void	С тех пор как: base-4.8.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep Void = D1 ('MetaData "Void" "GHC.Internal.Base" "ghc-internal" 'False) (V1 :: Type -> Type)

Методы

from :: Void -> Rep Void x Исходный код

to :: Rep Void x -> Void Исходный код

Ix Void Исходный код

С тех пор как: base-4.8.0.0

Подробности экземпляра

Определено в GHC.Internal.Ix

Методы

range :: (Void, Void) -> [Void] Исходный код

index :: (Void, Void) -> Void -> Int Исходный код

unsafeIndex :: (Void, Void) -> Void -> Int Исходный код

inRange :: (Void, Void) -> Void -> Bool Исходный код

rangeSize :: (Void, Void) -> Int Исходный код

unsafeRangeSize :: (Void, Void) -> Int Исходный код

Read Void Исходный код

Чтение значения Void всегда приводит к ошибке разбора, рассматривая Void как тип данных без конструкторов.

С тех пор как: base-4.8.0.0

Подробности экземпляра

Определено в GHC.Internal.Read

Методы

readsPrec :: Int -> ReadS Void Исходный код

readList :: ReadS [Void] Исходный код

readPrec :: ReadPrec Void Исходный код

readListPrec :: ReadPrec [Void] Исходный код

Show Void Исходный код

С тех пор как: base-4.8.0.0

Подробности экземпляра

Определено в GHC.Internal.Show

Методы

showsPrec :: Int -> Void -> ShowS Исходный код

show :: Void -> String Исходный код

showList :: [Void] -> ShowS Исходный код

Eq Void Исходный код

С тех пор как: base-4.8.0.0

Подробности экземпляра

Определено в GHC.Internal.Base

Методы

(==) :: Void -> Void -> Bool Исходный код

(/=) :: Void -> Void -> Bool Исходный код

Ord Void Исходный код

С тех пор как: base-4.8.0.0

Детали экземпляра Определено в GHC.Internal.Base Методы compare :: Пустое -> Пустое -> Порядок Исходный код (<) :: Пустое -> Пустое -> Булево Исходный код (<=) :: Пустое -> Пустое -> Булево Исходный код (>) :: Пустое -> Пустое -> Булево Исходный код (>=) :: Пустое -> Пустое -> Булево Исходный код max :: Пустое -> Пустое -> Пустое Исходный код min :: Пустое -> Пустое -> Пустое Исходный код
Lift Пустое Исходный код	С момента: template-haskell-2.15.0.0
Детали экземпляра Определено в GHC.Internal.TH.Lift Методы lift :: Выдержка m => Пустое -> m Выражение Исходный код liftTyped :: forall (m :: Тип -> Тип). Выдержка m => Пустое -> Код m Пустое Исходный код
type Rep Пустое Исходный код	С момента: base-4.8.0.0
Детали экземпляра Определено в GHC.Internal.Generics type Rep Пустое = D1 ('Метаданные "Пустое" "GHC.Internal.Base" "ghc-internal" 'Ложь) (V1 :: Тип -> Тип)

absurd :: Пустое -> a Исходный код

Так как Void значения логически не существуют, это демонстрирует логический инструмент «ex falso quodlibet».

>>> let x :: Either Void Int; x = Right 5
>>> :{
case x of
    Right r -> r
    Left l  -> absurd l
:}
5

С момента: base-4.8.0.0

vacuous :: Functor f => f Пустое -> f a Исходный код

Если Void не обитаемо, то любой Functor, содержащий только значения типа Void, не содержит значений. Он реализован в терминах fmap absurd.

С момента: base-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/9.12.1/docs/libraries/base-4.21.0.0-8e62/Data-Void.html