Data.Extensible.Sum2

Documentation

data (f :+: g) a b

Constructors

InL (f a b)

InR (g a b)

Instances

(:>+:) c a => Sum2 ((:+:) c b) a

Methods

peek2 :: (c :+: b) a b -> Maybe (a a b)

lft2 :: a a b -> (c :+: b) a b

Sum2 ((:+:) f g) g

Methods

peek2 :: (f :+: g) a b -> Maybe (g a b)

lft2 :: g a b -> (f :+: g) a b

class Sum2 c s where

Minimal complete definition

peek2, lft2

Methods

peek2 :: c a b -> Maybe (s a b)

lft2 :: s a b -> c a b

Instances

Sum2 f f

Methods

peek2 :: f a b -> Maybe (f a b)

lft2 :: f a b -> f a b

(:>+:) c a => Sum2 ((:+:) c b) a

Methods

peek2 :: (c :+: b) a b -> Maybe (a a b)

lft2 :: a a b -> (c :+: b) a b

Sum2 ((:+:) f g) g

Methods

peek2 :: (f :+: g) a b -> Maybe (g a b)

lft2 :: g a b -> (f :+: g) a b

type (:>+:) w a = Sum2 w a