Data.Rope.Util.Coproduct

Documentation

data a :+: b

Constructors

Left' !a

Right' !b

Instances

Bifunctor :+:

Coproduct :+:

Functor (:+: a)

data a :+ b

Constructors

Inl !a

Inr b

Instances

Bifunctor :+

Coproduct :+

Monad (:+ a)

Functor (:+ a)

Applicative (:+ a)

class Bifunctor s => Coproduct s where

Methods

left :: a -> s a b

right :: b -> s a b

(|||) :: (a -> c) -> (b -> c) -> s a b -> c

codiag :: s a a -> a

Instances

Coproduct Either

Coproduct :+:

Coproduct :+

counzip :: (Coproduct s, Coproduct s', Functor f) => s (f a) (f b) -> f (s' a b)