Module Control.Tensor

The Tensor type class with Tensor.*** 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.Semigroupoid as Semigroupoid

Table of Content

• Definitions

  class Semigroupoid f ⇒ Tensor f

• Instances

  instance Tensor ->

• Functions and Values by Type

Definitions

class Semigroupoid f ⇒ Tensor f

Known Instances

->

Member Functions

*** ∷ Tensor f ⇒ f a b → f c d → f (a, c) (b, d)
infixr  3

Split the input between the two argument semigroupoids and combine their output. Note that this is in general not a functor.

Instances

instance Tensor ->

Member Functions

*** ∷ (γ→β) → (δ→α) → (γ, δ) → (β, α)
infixr  3

Functions and Values by Type

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

Tensor_->.***

Tensor f ⇒ f a b → f c d → f (a, c) (b, d)

Tensor.***