Module Data.Coproduct

co-product

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 Coproduct f g a

• Instances

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

• Functions and Values by Type

Definitions

data Coproduct f g a

Constructors

Inl (f a)

Inr (g a)

Instances

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

Member Functions

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

Functions and Values by Type

f a → Coproduct f g a

Coproduct.Inl

g a → Coproduct f g a

Coproduct.Inr

(Functor β, Functor α) ⇒ (γ → δ) → Coproduct β α γ → Coproduct β α δ

Functor_Coproduct.fmap