Module Control.CombineIn

type class CombineIn, which provides the CombineIn.&&& operator

Imports

• 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.Semigroupoid as Semigroupoid

Table of Content

• Definitions

  class Semigroupoid f ⇒ CombineIn f

• Instances

  instance CombineIn ->

• Functions and Values by Type

Definitions

class Semigroupoid f ⇒ CombineIn f

Known Instances

->

Member Functions

&&& ∷ CombineIn f ⇒ f a b → f a c → f a (b, c)
infixr  3

Send the input to both argument semigroupoids and combine their output.

Instances

instance CombineIn ->

Member Functions

&&& ∷ (β→γ) → (β→α) → β → (γ, α)
infixr  3

Functions and Values by Type

(β→γ) → (β→α) → β → (γ, α)

CombineIn_->.&&&

CombineIn f ⇒ f a b → f a c → f a (b, c)

CombineIn.&&&