Module Data.Product

A pair of two applicative functors, both applied to the same type

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

Table of Content

Definitions

data Product f g a

product ∷ (α γ, β γ) → Product α β γ

unproduct ∷ Product α β γ → (α γ, β γ)
Instances

instance (Functor f, Functor g) ⇒ Functor (Product f g)
Functions and Values by Type

Definitions

data Product f g a

Constructors

Prod (f a) (g a)

product ∷ (α γ, β γ) → Product α β γ

view a tuple as Product

unproduct ∷ Product α β γ → (α γ, β γ)

make a tuple from a Product

Instances

instance (Functor f, Functor g) ⇒ Functor (Product f g)

Member Functions

fmap ∷ (Functor β, Functor α) ⇒ (γ → δ) → Product β α γ → Product β α δ
infixl 4

Functions and Values by Type

Product α β γ → (α γ, β γ): unproduct
(α γ, β γ) → Product α β γ: product
f a → g a → Product f g a: Product.Prod
(Functor β, Functor α) ⇒ (γ → δ) → Product β α γ → Product β α δ: Functor_Product.fmap