Text.Trifecta.Language

Documentation

newtype Language m a

Constructors

Language

Fields

unlanguage :: ReaderT (LanguageDef (Language m)) m a

Instances

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 a

data LanguageDef m

Constructors

LanguageDef

Fields

languageCommentStyle :: CommentStyle

languageIdentifierStyle :: IdentifierStyle m

languageOperatorStyle :: IdentifierStyle m

class MonadParser m => MonadLanguage m where

Methods

askLanguage :: m (LanguageDef m)

Instances

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 r

identifier :: MonadLanguage m => m ByteString

reserved :: MonadLanguage m => String -> m ()

reservedByteString :: MonadLanguage m => ByteString -> m ()

op :: MonadLanguage m => m ByteString

reservedOp :: MonadLanguage m => String -> m ()

reservedOpByteString :: MonadLanguage m => ByteString -> m ()

emptyLanguageDef, haskell98LanguageDef, haskellLanguageDef :: MonadParser m => LanguageDef m