Module Control.First

type class First with First.first 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) ⇒ First f

• Instances

  instance First ->

• Functions and Values by Type

Definitions

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

Known Instances

->

Member Functions

first ∷ First f ⇒ f a b → f (a, c) (b, c)

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

Instances

instance First ->

Member Functions

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

Functions and Values by Type

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

First_->.first

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

First.first