Servant.Utils.Enter

Contents

• Servant combinators
• Useful instances

Synopsis

• class Enter typ arg ret | typ arg -> ret, typ ret -> arg where
• newtype m :~> n = Nat {
  • unNat :: forall a. m a -> n a
  }
• liftNat :: (MonadTrans t, Monad m) => m :~> t m
• runReaderTNat :: r -> ReaderT r m :~> m
• evalStateTLNat :: Monad m => s -> StateT s m :~> m
• evalStateTSNat :: Monad m => s -> StateT s m :~> m
• logWriterTSNat :: MonadIO m => (w -> IO ()) -> WriterT w m :~> m
• logWriterTLNat :: MonadIO m => (w -> IO ()) -> WriterT w m :~> m
• hoistNat :: (MFunctor t, Monad m) => (m :~> n) -> t m :~> t n
• embedNat :: (MMonad t, Monad n) => (m :~> t n) -> t m :~> t n
• squashNat :: (Monad m, MMonad t) => t (t m) :~> t m
• generalizeNat :: Applicative m => Identity :~> m

Documentation

Servant combinators

Useful instances