Copyright	Copyright (C) 2025 Nikolay Yakimov
License	GNU GPL, version 2 or above
Maintainer	Nikolay Yakimov <root@livid.pp.ru>
Stability	alpha
Portability	portable
Safe Haskell	None
Language	GHC2021

Text.Pandoc.CrossRef.Internal

Description

Internal definitions, exported only for convenience. No stability guarantees.

Synopsis

data CrossRefEnv = CrossRefEnv {
- creSettings :: Meta
- creOptions :: Options
- creReferences :: References
}
newtype CrossRefM a = CrossRefM (ReaderT Meta WS a)

Documentation

data CrossRefEnv Source #

Enviromnent for CrossRefM

Constructors

CrossRefEnv
Fields creSettings :: Meta Metadata settings creOptions :: Options Internal pandoc-crossref options creReferences :: References Internal state tracking references

newtype CrossRefM a Source #

Bit of a weird self-recursive State monad (not MonadFix). The inner reader (function) monad takes the final state (or part of it anyway) as its input. This is all carefully choreographed to lazily converge to a fixpoint, but it is also feasible to evaluate this in two passes instead.

Constructors

CrossRefM (ReaderT Meta WS a)

Instances

Instances details

Applicative CrossRefM Source #
Instance details Defined in Text.Pandoc.CrossRef.Internal Methods pure :: a -> CrossRefM a # (<>) :: CrossRefM (a -> b) -> CrossRefM a -> CrossRefM b # liftA2 :: (a -> b -> c) -> CrossRefM a -> CrossRefM b -> CrossRefM c # (>) :: CrossRefM a -> CrossRefM b -> CrossRefM b # (<*) :: CrossRefM a -> CrossRefM b -> CrossRefM a #
Functor CrossRefM Source #
Instance details Defined in Text.Pandoc.CrossRef.Internal Methods fmap :: (a -> b) -> CrossRefM a -> CrossRefM b # (<$) :: a -> CrossRefM b -> CrossRefM a #
Monad CrossRefM Source #
Instance details Defined in Text.Pandoc.CrossRef.Internal Methods (>>=) :: CrossRefM a -> (a -> CrossRefM b) -> CrossRefM b # (>>) :: CrossRefM a -> CrossRefM b -> CrossRefM b # return :: a -> CrossRefM a #
MonadReader Meta CrossRefM Source #
Instance details Defined in Text.Pandoc.CrossRef.Internal Methods ask :: CrossRefM Meta # local :: (Meta -> Meta) -> CrossRefM a -> CrossRefM a # reader :: (Meta -> a) -> CrossRefM a #