Data.Dynamic

Авторские права	(c) The University of Glasgow 2001
Лицензия	В стиле BSD (см. файл libraries/base/LICENSE)
Сопровождающий	libraries@haskell.org
Стабильность	стабильный
Переносимость	переносимый
Безопасный Haskell	Safe
Язык	Haskell2010

Содержание

Тип Dynamic
Преобразование в Dynamic и обратно
Применение функций динамического типа
Дополнительные реэкспорты

Описание

Интерфейс Dynamic предоставляет базовую поддержку динамических типов.

Предоставляются операции для помещения значений произвольного типа в значение динамического типа Dynamic, а также операции для преобразования динамических значений в конкретный (мономорфный) тип.

Тип Dynamic

data Dynamic where Источник

Значение типа Dynamic — это объект, инкапсулированный вместе со своим типом.

Значение Dynamic может представлять только мономорфное значение; попытка создать значение типа Dynamic из выражения с полиморфным типом приведёт к ошибке неоднозначности (см. toDyn).

Операция Show над значением типа Dynamic возвращает красиво отформатированное представление типа объекта; это полезно для отладки.

Конструкторы

Dynamic :: forall a. TypeRep a -> a -> Dynamic

Экземпляры

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

Exception Dynamic Источник	С версии: base-4.0.0.0
Подробности экземпляра Определён в GHC.Internal.Data.Dynamic Методы toException :: Dynamic -> SomeException Источник fromException :: SomeException -> Maybe Dynamic Источник displayException :: Dynamic -> String Источник backtraceDesired :: Dynamic -> Bool Источник
Show Dynamic Источник	С версии: base-2.1
Подробности экземпляра Определён в GHC.Internal.Data.Dynamic Методы showsPrec :: Int -> Dynamic -> ShowS Источник show :: Dynamic -> String Источник showList :: [Dynamic] -> ShowS Источник

Преобразование в Dynamic и обратно

toDyn :: Typeable a => a -> Dynamic Источник

Преобразует произвольное значение в объект типа Dynamic.

Объект должен иметь тип, являющийся экземпляром Typeable; это гарантирует, что в Dynamic можно преобразовать только объекты с мономорфным типом. Чтобы преобразовать полиморфный объект в Dynamic, укажите для него сигнатуру мономорфного типа. Например:

   toDyn (id :: Int -> Int)

fromDyn Источник

Аргументы

:: Typeable a
=> Dynamic	объект с динамическим типом
-> a	значение по умолчанию
-> a	возвращает: значение первого аргумента, если оно имеет правильный тип, в противном случае — значение второго аргумента.

Преобразует объект Dynamic обратно в обычное значение Haskell правильного типа. См. также fromDynamic.

fromDynamic Источник

Аргументы

:: Typeable a
=> Dynamic	объект с динамическим типом
-> Maybe a	возвращает: `Just a`, если объект с динамическим типом имеет правильный тип (и его значение — `a`), или `Nothing` в противном случае.