Spec-Zone.ru › Haskell 7

Foreign.Marshal.Error

Авторские права (c) Группа разработчиков FFI 2001
Лицензия BSD-стиль (см. файл libraries/base/LICENSE)
Поддержка ffi@haskell.org
Устойчивость временная
Переносимость переносимый
Safe Haskell Надёжный
Язык Haskell2010

Описание

Функции для проверки возвращаемых значений и вызова исключения userError в случае значений, указывающих на ошибочное состояние.

throwIf Исходный код

Аргументы

:: (a -> Bool)

условие ошибки по результату действия IO

-> (a -> String)

вычисляет сообщение об ошибке из ошибочных результатов действия IO

-> IO a

действие IO для выполнения

-> IO a

Выполнить действие IO, выбросив исключение userError, если предикат возвращает значение True, когда применяется к результату, возвращённому действием IO. Если исключение не выбрасывается, вернуть результат вычисления.

throwIf_ :: (a -> Bool) -> (a -> String) -> IO a -> IO () Исходный код

Как throwIf, но игнорируя результат

throwIfNeg :: (Ord a, Num a) => (a -> String) -> IO a -> IO a Исходный код

Предотвращает отрицательные значения результатов

throwIfNeg_ :: (Ord a, Num a) => (a -> String) -> IO a -> IO () Исходный код

Как throwIfNeg, но игнорируя результат

throwIfNull :: String -> IO (Ptr a) -> IO (Ptr a) Исходный код

Защита от нулевых указателей

void :: IO a -> IO () Исходный код

Устаревшее: используйте void вместо этого

Игнорировать возвращаемое значение действия IO

© 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/Foreign-Marshal-Error.html

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API