Module Control.Second

type class Second with Second.second operation

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.Tensor as Tensor

Table of Content

• Definitions

  class (Semigroupoid.Semigroupoid f, Tensor f) ⇒ Second f

• Instances

  instance Second ->

• Functions and Values by Type

Definitions

class (Semigroupoid.Semigroupoid f, Tensor f) ⇒ Second f

Known Instances

->

Member Functions

second ∷ Second f ⇒ f c d → f (a, c) (a, d)

Send the second component of the input through the argument tensor, and copy the rest unchanged to the output.

Instances

instance Second ->

Member Functions

second ∷ (γ→α) → (β, γ) → (β, α)

Functions and Values by Type

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

Second_->.second

Second f ⇒ f c d → f (a, c) (a, d)

Second.second