Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Documentation
Language | |
|
MonadTrans Language | |
MonadReader e m => MonadReader e (Language m) | |
MonadState s m => MonadState s (Language m) | |
MonadWriter w m => MonadWriter w (Language m) | |
MonadDiagnostic e m => MonadDiagnostic e (Language m) | |
MonadMark d m => MonadMark d (Language m) | |
Monad m => Monad (Language m) | |
Functor m => Functor (Language m) | |
MonadPlus m => MonadPlus (Language m) | |
Applicative m => Applicative (Language m) | |
Alternative m => Alternative (Language m) | |
MonadCont m => MonadCont (Language m) | |
MonadParser m => MonadParser (Language m) | |
MonadParser m => MonadLanguage (Language m) |
runLanguage :: Language m a -> LanguageDef (Language m) -> m aSource
data LanguageDef m Source
class MonadParser m => MonadLanguage m whereSource
askLanguage :: m (LanguageDef m)Source
MonadLanguage m => MonadLanguage (IdentityT m) | |
MonadParser m => MonadLanguage (Language m) | |
MonadLanguage m => MonadLanguage (Literate m) | |
MonadLanguage m => MonadLanguage (ReaderT s m) | |
MonadLanguage m => MonadLanguage (StateT s m) | |
MonadLanguage m => MonadLanguage (StateT s m) | |
(Monoid w, MonadLanguage m) => MonadLanguage (WriterT w m) | |
(Monoid w, MonadLanguage m) => MonadLanguage (WriterT w m) | |
(Monoid w, MonadLanguage m) => MonadLanguage (RWST r w s m) | |
(Monoid w, MonadLanguage m) => MonadLanguage (RWST r w s m) |
asksLanguage :: MonadLanguage m => (LanguageDef m -> r) -> m rSource
identifier :: MonadLanguage m => m ByteStringSource
reserved :: MonadLanguage m => String -> m ()Source
reservedByteString :: MonadLanguage m => ByteString -> m ()Source
op :: MonadLanguage m => m ByteStringSource
reservedOp :: MonadLanguage m => String -> m ()Source
reservedOpByteString :: MonadLanguage m => ByteString -> m ()Source