+ package:constrained-categories

type (+) = Either

constrained-categories Control.Category.Constrained Control.Category.Constrained.Prelude

(+) :: Num a => a -> a -> a

constrained-categories Control.Category.Constrained.Prelude Control.Category.Hask

(+++) :: (MorphChoice a, ObjectSum a b b', ObjectSum a c c') => a b c -> a b' c' -> a (b + b') (c + c')

constrained-categories Control.Arrow.Constrained

(++) :: [a] -> [a] -> [a]

constrained-categories Control.Category.Constrained.Prelude Control.Category.Hask

Append two lists, i.e.,

[x1, ..., xm] ++ [y1, ..., yn] == [x1, ..., xm, y1, ..., yn]
[x1, ..., xm] ++ [y1, ...] == [x1, ..., xm, y1, ...]

If the first list is not finite, the result is the first list.