Data.Void

Авторские права	(C) 2008-2014 Edward Kmett
Лицензия	В стиле BSD (см. файл libraries/base/LICENSE)
Сопровождающий	Edward Kmett <ekmett@gmail.com>
Стабильность	предварительная
Переносимость	переносимый
Безопасный Haskell	Безопасный
Язык	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 Источник

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 :: Void -> Void -> Ordering Источник

(<) :: Void -> Void -> Bool Источник

(<=) :: Void -> Void -> Bool Источник

(>) :: Void -> Void -> Bool Источник

(>=) :: Void -> Void -> Bool Источник

max :: Void -> Void -> Void Источник

min :: Void -> 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 Источник

Lift Void Источник

Начиная с: template-haskell-2.15.0.0

Сведения об экземпляре

Определён в GHC.Internal.TH.Lift

Методы

lift :: Quote m => Void -> m Exp Источник

liftTyped :: forall (m :: Type -> Type). Quote m => Void -> Code m Void Источник

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)

absurd :: Void -> 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 Void -> 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.14.1/docs/libraries/base-4.22.0.0-66f8/Data-Void.html