Safe Haskell	Safe
Language	Haskell2010

Linnet.Internal.Coproduct

Synopsis

data Coproduct a b where
- Inl :: a -> Coproduct a b
- Inr :: b -> Coproduct a b
type (:+:) a b = Coproduct a b
data CNil
class AdjoinCoproduct cs c | cs -> c where
- adjoinCoproduct :: cs -> c

Documentation

data Coproduct a b where Source #

Constructors

Inl :: a -> Coproduct a b
Inr :: b -> Coproduct a b

Instances

(Eq a, Eq b) => Eq (Coproduct a b) Source #
Instance details Defined in Linnet.Internal.Coproduct Methods (==) :: Coproduct a b -> Coproduct a b -> Bool # (/=) :: Coproduct a b -> Coproduct a b -> Bool #

type (:+:) a b = Coproduct a b infixr 9 Source #

Type operator for Coproduct type

Instances

Eq CNil Source #
Instance details Defined in Linnet.Internal.Coproduct Methods (==) :: CNil -> CNil -> Bool # (/=) :: CNil -> CNil -> Bool #

class AdjoinCoproduct cs c | cs -> c where Source #

Flatten nested coproduct

Methods

Instances

AdjoinCoproduct' (AdjoinCoproductT cs) cs c => AdjoinCoproduct cs c Source #
Instance details Defined in Linnet.Internal.Coproduct Methods adjoinCoproduct :: cs -> c Source #