Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Synopsis
- data Coproduct a b where
- data CNil
- class AdjoinCoproduct cs c | cs -> c where
- adjoinCoproduct :: cs -> c
Documentation
data Coproduct a b where Source #
Instances
(Eq a, Eq b) => Eq (Coproduct a b) Source # | |
(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 # | |
class AdjoinCoproduct cs c | cs -> c where Source #
Flatten nested coproduct
adjoinCoproduct :: cs -> c Source #
Instances
AdjoinCoproduct' (AdjoinCoproductT cs) cs c => AdjoinCoproduct cs c Source # | |
Defined in Linnet.Internal.Coproduct adjoinCoproduct :: cs -> c Source # |