Data.Dynamic

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

Содержание

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

Описание

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

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

Тип Dynamic

data Dynamic where Источник

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

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

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

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

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

Примеры использования

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

Show Dynamic	С момента: base-2.1
Подробности примера Определено в Data.Dynamic Методы showsPrec :: Int -> Dynamic -> ShowS Источник show :: Dynamic -> Строка Источник showList :: [Dynamic] -> ShowS Источник
Исключение Dynamic	С момента: base-4.0.0.0
Подробности примера Определено в Data.Dynamic Методы toException :: Dynamic -> SomeException Источник fromException :: SomeException -> Возможно Dynamic Источник displayException :: Dynamic -> Строка Источник

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

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

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

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

   toDyn (id :: Int -> Int)

fromDyn Источник

Аргументы

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

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

fromDynamic Источник

Аргументы

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