Spec-Zone.ru › Haskell 7

Data.Functor.Product

Авторские права (c) Ross Paterson 2010
Лицензия BSD-стиль (см. файл LICENSE)
Поддержка ross@soi.city.ac.uk
Устойчивость экспериментальная
Переносимость переносимая
Безопасный Haskell Безопасный
Язык Haskell98

Описание

Произведения, поднятые до функторов.

data Product f g a Исходный код

Поднятое произведение функторов.

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

Pair (f a) (g a)

Примеры

(Монад f, Монад g) => Монад (Произведение f g)
(Функтор f, Функтор g) => Функтор (Произведение f g)
(МонадФикс f, МонадФикс g) => МонадФикс (Произведение f g)
(Применительно f, Применительно g) => Применительно (Произведение f g)
(Складываемый f, Складываемый g) => Складываемый (Произведение f g)
(Проходимый f, Проходимый g) => Проходимый (Произведение f g)
(Альтернатива f, Альтернатива g) => Альтернатива (Произведение f g)
(МонадПлюс f, МонадПлюс g) => МонадПлюс (Произведение f g)
(Show1 f, Show1 g) => Show1 (Произведение f g)
(Read1 f, Read1 g) => Read1 (Произведение f g)
(Ord1 f, Ord1 g) => Ord1 (Произведение f g)
(Eq1 f, Eq1 g) => Eq1 (Произведение f g)
(Eq1 f, Eq1 g, Eq a) => Eq (Произведение f g a)
(Ord1 f, Ord1 g, Ord a) => Ord (Произведение f g a)
(Read1 f, Read1 g, Read a) => Read (Произведение f g a)
(Show1 f, Show1 g, Show a) => Show (Произведение f g a)

© 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/transformers-0.4.2.0/Data-Functor-Product.html

Spec-Zone.ru

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