Safe Haskell	Safe
Language	Haskell2010

Linnet.Internal.Coproduct

Synopsis

data Coproduct a b where
- Inl :: a -> Coproduct a b
- Inr :: 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 #
(KnownSymbol ct, ToResponse ct a, ToResponse ct SomeException, Compile cts m (HList es), MonadCatch m) => Compile (Coproduct (Proxy ct) cts) m (HList (Endpoint m a ': es)) Source #
Instance details Defined in Linnet.Compile Methods compile :: HList (Endpoint m a ': es) -> ReaderT Request m Response Source #

Instances

Eq CNil Source #
Instance details Defined in Linnet.Internal.Coproduct Methods (==) :: CNil -> CNil -> Bool # (/=) :: CNil -> CNil -> Bool #
Monad m => Compile CNil m (HList ([] :: [Type])) Source #
Instance details Defined in Linnet.Compile Methods compile :: HList [] -> ReaderT Request m Response Source #

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 #