Control.Arrow

Авторские права	(c) Ross Paterson 2002
Лицензия	BSD-стиль (см. файл LICENSE в дистрибутиве)
Поддерживающий	libraries@haskell.org
Стабильность	предварительная
Переносимость	переносимый
Безопасный Haskell	Надёжный
Язык	Haskell2010

Стрелки

class Category a => Arrow a where Источник

Базовый класс стрелок.

Примеры должны удовлетворять следующим законам:

• arr id = id

• arr (f >>> g) = arr f >>> arr g

• first (arr f) = arr (first f)

• first (f >>> g) = first f >>> first g

• first f >>> arr fst = arr fst >>> f

• first f >>> arr (id *** g) = arr (id *** g) >>> first f

• first (first f) >>> arr assoc = arr assoc >>> first f

где

assoc ((a,b),c) = (a,(b,c))

Другие комбинаторы имеют разумные определения по умолчанию, которые могут быть переопределены для повышения эффективности.

newtype Kleisli m a b Источник

Стрелки Kleisli монады.

Производные комбинаторы

returnA :: Arrow a => a b b Источник

Стрелка тождества, которая играет роль return в нотации стрелок.

(^>>) :: Arrow a => (b -> c) -> a c d -> a b d infixr 1 Источник

Преобразование слева с чистой функцией.

(>>^) :: Arrow a => a b c -> (c -> d) -> a b d infixr 1 Источник

Преобразование справа с чистой функцией.

(>>>) :: Category cat => cat a b -> cat b c -> cat a c infixr 1 Источник

Композиция слева направо.

(<<<) :: Category cat => cat b c -> cat a b -> cat a c infixr 1 Источник

Композиция справа налево.

Варианты справа налево

(<<^) :: Arrow a => a c d -> (b -> c) -> a b d infixr 1 Источник

Преобразование слева с чистой функцией (вариант справа налево).

(^<<) :: Arrow a => (c -> d) -> a b c -> a b d infixr 1 Источник

Преобразование справа с чистой функцией (вариант справа налево).

Операции моноида

class Arrow a => ArrowZero a where Источник

class ArrowZero a => ArrowPlus a where Источник

Моноид на стрелках.

Условные выражения

class Arrow a => ArrowChoice a where Source

Выбор для стрелок, которые его поддерживают. Этот класс лежит в основе конструкций if и case в стрелочной нотации.

Примеры должны удовлетворять следующим законам:

• left (arr f) = arr (left f)

• left (f >>> g) = left f >>> left g

• f >>> arr Left = arr Left >>> left f

• left f >>> arr (id +++ g) = arr (id +++ g) >>> left f

• left (left f) >>> arr assocsum = arr assocsum >>> left f

где

assocsum (Left (Left x)) = Left x
assocsum (Left (Right y)) = Right (Left y)
assocsum (Right z) = Right (Right z)

Другие комбинаторы имеют разумные определения по умолчанию, которые могут быть переопределены для повышения эффективности.

Применение стрелок

class Arrow a => ArrowApply a where Source

Некоторые стрелки позволяют применять входные данные стрелок к другим входным данным. Примеры должны удовлетворять следующим законам:

• first (arr (\x -> arr (\y -> (x,y)))) >>> app = id

• first (arr (g >>>)) >>> app = second g >>> app

• first (arr (>>> h)) >>> app = app >>> h

Такие стрелки эквивалентны монадам (см. ArrowMonad).

newtype ArrowMonad a b Source

Класс ArrowApply эквивалентен Monad: любая монада порождает стрелку Kleisli, и любой пример ArrowApply определяет монаду.

leftApp :: ArrowApply a => a b c -> a (Either b d) (Either c d) Source

Любой пример ArrowApply может быть преобразован в пример ArrowChoice путем определения left = leftApp.

Обратная связь

class Arrow a => ArrowLoop a where Source

Оператор loop выражает вычисления, в которых выходное значение возвращается как вход, хотя вычисление происходит только один раз. Он лежит в основе конструкции рекурсии по значениям rec в стрелочной нотации. loop должен удовлетворять следующим законам:

расширение

loop (arr f) = arr (\ b -> fst (fix (\ (c,d) -> f (b,d))))

левое сжатие

loop (first h >>> f) = h >>> loop f

правое сжатие

loop (f >>> first h) = loop f >>> h

сдвиг

loop (f >>> arr (id *** k)) = loop (arr (id *** k) >>> f)

исчезновение

loop (loop f) = loop (arr unassoc >>> f >>> arr assoc)

наложение

second (loop f) = loop (arr assoc >>> second f >>> arr unassoc)

где

assoc ((a,b),c) = (a,(b,c))
unassoc (a,(b,c)) = ((a,b),c)