Safe Haskell	None
Language	Haskell2010

Language.Ltml.Parser.Footnote

Documentation

type FootnoteParser = FootnoteWriterT Parser Source #

type FootnoteMap = Map Label Footnote Source #

data FootnoteWriterT (m :: Type -> Type) a Source #

Instances

Instances details

MonadTrans FootnoteWriterT Source #
Instance details Defined in Language.Ltml.Parser.Footnote Methods lift :: Monad m => m a -> FootnoteWriterT m a #
MonadParsec Void Text m => MonadParsec Void Text (FootnoteWriterT m) Source #
Instance details Defined in Language.Ltml.Parser.Footnote Methods parseError :: ParseError Text Void -> FootnoteWriterT m a label :: String -> FootnoteWriterT m a -> FootnoteWriterT m a hidden :: FootnoteWriterT m a -> FootnoteWriterT m a try :: FootnoteWriterT m a -> FootnoteWriterT m a lookAhead :: FootnoteWriterT m a -> FootnoteWriterT m a notFollowedBy :: FootnoteWriterT m a -> FootnoteWriterT m () withRecovery :: (ParseError Text Void -> FootnoteWriterT m a) -> FootnoteWriterT m a -> FootnoteWriterT m a observing :: FootnoteWriterT m a -> FootnoteWriterT m (Either (ParseError Text Void) a) eof :: FootnoteWriterT m () token :: (Token Text -> Maybe a) -> Set (ErrorItem (Token Text)) -> FootnoteWriterT m a tokens :: (Tokens Text -> Tokens Text -> Bool) -> Tokens Text -> FootnoteWriterT m (Tokens Text) takeWhileP :: Maybe String -> (Token Text -> Bool) -> FootnoteWriterT m (Tokens Text) takeWhile1P :: Maybe String -> (Token Text -> Bool) -> FootnoteWriterT m (Tokens Text) takeP :: Maybe String -> Int -> FootnoteWriterT m (Tokens Text) getParserState :: FootnoteWriterT m (State Text Void) updateParserState :: (State Text Void -> State Text Void) -> FootnoteWriterT m () mkParsec :: (State Text Void -> Reply Void Text a) -> FootnoteWriterT m a
MonadTreeParser m => MonadTreeParser (FootnoteWriterT m) Source #
Instance details Defined in Language.Ltml.Tree.Parser Methods treeParser :: Either TreeError a -> FootnoteWriterT m a Source #
MonadFail m => MonadFail (FootnoteWriterT m) Source #
Instance details Defined in Language.Ltml.Parser.Footnote Methods fail :: String -> FootnoteWriterT m a #
MonadPlus m => Alternative (FootnoteWriterT m) Source #
Instance details Defined in Language.Ltml.Parser.Footnote Methods empty :: FootnoteWriterT m a # (<\|>) :: FootnoteWriterT m a -> FootnoteWriterT m a -> FootnoteWriterT m a # some :: FootnoteWriterT m a -> FootnoteWriterT m [a] # many :: FootnoteWriterT m a -> FootnoteWriterT m [a] #
Monad m => Applicative (FootnoteWriterT m) Source #
Instance details Defined in Language.Ltml.Parser.Footnote Methods pure :: a -> FootnoteWriterT m a # (<>) :: FootnoteWriterT m (a -> b) -> FootnoteWriterT m a -> FootnoteWriterT m b # liftA2 :: (a -> b -> c) -> FootnoteWriterT m a -> FootnoteWriterT m b -> FootnoteWriterT m c # (>) :: FootnoteWriterT m a -> FootnoteWriterT m b -> FootnoteWriterT m b # (<*) :: FootnoteWriterT m a -> FootnoteWriterT m b -> FootnoteWriterT m a #
Functor m => Functor (FootnoteWriterT m) Source #
Instance details Defined in Language.Ltml.Parser.Footnote Methods fmap :: (a -> b) -> FootnoteWriterT m a -> FootnoteWriterT m b # (<$) :: a -> FootnoteWriterT m b -> FootnoteWriterT m a #
Monad m => Monad (FootnoteWriterT m) Source #
Instance details Defined in Language.Ltml.Parser.Footnote Methods (>>=) :: FootnoteWriterT m a -> (a -> FootnoteWriterT m b) -> FootnoteWriterT m b # (>>) :: FootnoteWriterT m a -> FootnoteWriterT m b -> FootnoteWriterT m b # return :: a -> FootnoteWriterT m a #
MonadPlus m => MonadPlus (FootnoteWriterT m) Source #
Instance details Defined in Language.Ltml.Parser.Footnote Methods mzero :: FootnoteWriterT m a # mplus :: FootnoteWriterT m a -> FootnoteWriterT m a -> FootnoteWriterT m a #

runFootnoteWriterT :: FootnoteWriterT m a -> [FootnoteType] -> m (a, FootnoteMap) Source #

mapFootnoteWriterT :: (m (a, FootnoteMap) -> n (b, FootnoteMap)) -> FootnoteWriterT m a -> FootnoteWriterT n b Source #

eitherMapFootnoteWriterT :: forall (n :: Type -> Type) m a e b. Monad n => (m (a, FootnoteMap) -> Either e (b, FootnoteMap)) -> FootnoteWriterT m a -> FootnoteWriterT n (Either e b) Source #

footnoteP :: FootnoteParser () Source #