Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
Instances
Monad m => Compile CNil m (HList ([] :: [Type])) Source # | |
(Eq a, Eq (HList as)) => Eq (HList (a ': as)) Source # | |
Eq (HList ([] :: [Type])) Source # | |
(Show a, Show (HList as)) => Show (HList (a ': as)) Source # | |
Show (HList ([] :: [Type])) Source # | |
(Negotiable ct a, Negotiable ct SomeException, Negotiable ct (), Compile cts m (HList es), MonadCatch m) => Compile (ct :+: cts) m (HList (Endpoint m a ': es)) Source # | |
class AdjoinHList ls l | ls -> l where Source #
Instances
AdjoinHList' (NeedAdjoin ls) ls l => AdjoinHList ls l Source # | |
class FnToProduct fn ls out | fn ls -> out, ls out -> fn where Source #
fromFunction :: fn -> HList ls -> out Source #
Instances
v ~ fn => FnToProduct fn ([] :: [Type]) v Source # | |
Defined in Linnet.Internal.HList fromFunction :: fn -> HList [] -> v Source # | |
FnToProduct fnOut tail out => FnToProduct (input -> fnOut) (input ': tail) out Source # | |
Defined in Linnet.Internal.HList fromFunction :: (input -> fnOut) -> HList (input ': tail) -> out Source # |