| Copyright | (c) 2009 - 2014 Peter Trsko |
|---|---|
| License | BSD3 |
| Maintainer | peter.trsko@gmail.com |
| Stability | stable |
| Portability | non-portable (CPP, NoImplicitPrelude, PolyKinds, RankNTypes DeriveDataTypeable, DeriveGeneric) |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Control.Monad.TaggedException.Internal.Throws
Description
Data type for associating monadic value with phantom type. In case of this library it will always be associated with a type of exception it may throw.
Documentation
Exception tag.
Constructors
| Throws | |
Fields
| |
Instances
| Typeable (k -> (k -> *) -> k -> *) (Throws k k) | |
| MFunctor (Throws k * e) | Since |
| MMonad (Throws k * e) | Since |
| MonadTrans (Throws k * e) | |
| Alternative f => Alternative (Throws k * e f) | |
| Monad m => Monad (Throws k * e m) | |
| Functor f => Functor (Throws k * e f) | |
| MonadPlus m => MonadPlus (Throws k * e m) | |
| Applicative f => Applicative (Throws k * e f) | |
| MonadThrow m => MonadThrow (Throws k * e m) | Since |
| MonadCatch m => MonadCatch (Throws k * e m) | Since |
| MonadMask m => MonadMask (Throws k * e m) | Since |
| MonadIO m => MonadIO (Throws k * e m) | |
| Generic (Throws k k e m a) | |
| type Rep (Throws k k1 e m a) |