Module Control.Arrow

type class for Arrows

Imports

• import Control.Category as Category
• import Control.CombineIn as CombineIn
• import Control.First as First
• import frege.Prelude as Prelude
• import Prelude.PreludeArrays as PreludeArrays
• import Prelude.PreludeBase as PreludeBase
• import Prelude.PreludeDecimal as PreludeDecimal
• import Prelude.PreludeIO as PreludeIO
• import Prelude.PreludeList as PreludeList
• import Prelude.PreludeMonad as PreludeMonad
• import Prelude.PreludeText as PreludeText
• import Java.util.Regex as Regexp
• import Control.Second as Second

Table of Content

• Definitions

  class (Semigroupoid.Semigroupoid a, Tensor.Tensor a, Second a, First a, CombineIn a, Category a) ⇒ Arrow a

• Instances

  instance Arrow ->

• Functions and Values by Type

Definitions

class (Semigroupoid.Semigroupoid a, Tensor.Tensor a, Second a, First a, CombineIn a, Category a) ⇒ Arrow a

Basic arrow definitions, based on Generalising Monads to Arrows, by John Hughes, Science of Computer Programming, pp67-111, May 2000.

Known Instances

->

Member Functions

arr ∷ Arrow a ⇒ (b → c) → a b c

Lift a function to an arrow.

Instances

instance Arrow ->

Member Functions

arr ∷ (β → α) → β → α

Functions and Values by Type

(β → α) → β → α

Arrow_->.arr

Arrow a ⇒ (b → c) → a b c

Arrow.arr