Data.TypeRig.Summable

Documentation

class Invariant f => Summable f where

Composability via type sum Either and empty type Void.

Minimal complete definition

Nothing

Methods

rVoid :: f Void

default rVoid :: Alternative f => f Void

(<+++>) :: f a -> f b -> f (Either a b) infixr 2

default (<+++>) :: Alternative f => f a -> f b -> f (Either a b)

Instances

Summable Endo

Defined in Data.TypeRig.Summable

Methods

rVoid :: Endo Void

(<+++>) :: Endo a -> Endo b -> Endo (Either a b)

Summable ReadPrec

Defined in Data.TypeRig.Summable

Methods

rVoid :: ReadPrec Void

(<+++>) :: ReadPrec a -> ReadPrec b -> ReadPrec (Either a b)

Summable m => Summable (Kleisli m a)

Defined in Data.TypeRig.Summable

Methods

rVoid :: Kleisli m a Void

(<+++>) :: Kleisli m a a0 -> Kleisli m a b -> Kleisli m a (Either a0 b)