Safe Haskell	None
Language	Haskell2010

Text.Pandoc.Lens

Contents

Documents
Blocks
Inlines
Metadata
Attributes
Orphan instances

Description

This provides a variety of optics for traversing and destructuring Pandoc documents.

Note that both Inline, Block, and MetaValue have Plated instances which are useful for traversing the AST.

Synopsis

data Pandoc
body :: Lens' Pandoc [Block]
meta :: Text -> Traversal' Pandoc MetaValue
data Block
blockInlines :: Traversal' Block Inline
_Plain :: Prism' Block [Inline]
_Para :: Prism' Block [Inline]
_CodeBlock :: Prism' Block Text
_BlockQuote :: Prism' Block [Block]
_OrderedList :: Prism' Block (ListAttributes, [[Block]])
_BulletList :: Prism' Block [[Block]]
_DefinitionList :: Prism' Block [([Inline], [[Block]])]
_Header :: Prism' Block (Int, [Inline])
_HorizontalRule :: Prism' Block ()
_Table :: Prism' Block ([Inline], [Alignment], [Double], [TableCell], [[TableCell]])
_Div :: Prism' Block [Block]
_Null :: Prism' Block ()
data Inline
_Str :: Prism' Inline Text
_Emph :: Prism' Inline [Inline]
_Strong :: Prism' Inline [Inline]
_Strikeout :: Prism' Inline [Inline]
_Superscript :: Prism' Inline [Inline]
_Subscript :: Prism' Inline [Inline]
_SmallCaps :: Prism' Inline [Inline]
_Quoted :: Prism' Inline (QuoteType, [Inline])
_Cite :: Prism' Inline ([Citation], [Inline])
_Code :: Prism' Inline Text
_Space :: Prism' Inline ()
_LineBreak :: Prism' Inline ()
_Math :: Prism' Inline (MathType, Text)
_RawInline :: Prism' Inline (Format, Text)
_Link :: Prism' Inline ([Inline], Target)
_Image :: Prism' Inline ([Inline], Target)
_Note :: Prism' Inline [Block]
_Span :: Prism' Inline [Inline]
inlinePrePlate :: Traversal' Inline [Inline]
data MetaValue
_MetaMap :: Prism' MetaValue (Map Text MetaValue)
_MetaList :: Prism' MetaValue [MetaValue]
_MetaBool :: Prism' MetaValue Bool
_MetaString :: Prism' MetaValue Text
_MetaInlines :: Prism' MetaValue [Inline]
_MetaBlocks :: Prism' MetaValue [Block]
class HasAttr a where
- attributes :: Traversal' a Attr
attrIdentifier :: Lens' Attr Text
attrClasses :: Lens' Attr [Text]
attrs :: Lens' Attr [(Text, Text)]

Documents

data Pandoc #

Instances

Eq Pandoc
Instance details Defined in Text.Pandoc.Definition Methods (==) :: Pandoc -> Pandoc -> Bool # (/=) :: Pandoc -> Pandoc -> Bool #
Data Pandoc
Instance details Defined in Text.Pandoc.Definition Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pandoc -> c Pandoc # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pandoc # toConstr :: Pandoc -> Constr # dataTypeOf :: Pandoc -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pandoc) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pandoc) # gmapT :: (forall b. Data b => b -> b) -> Pandoc -> Pandoc # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pandoc -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pandoc -> r # gmapQ :: (forall d. Data d => d -> u) -> Pandoc -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Pandoc -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pandoc -> m Pandoc # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pandoc -> m Pandoc # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pandoc -> m Pandoc #
Ord Pandoc
Instance details Defined in Text.Pandoc.Definition Methods compare :: Pandoc -> Pandoc -> Ordering # (<) :: Pandoc -> Pandoc -> Bool # (<=) :: Pandoc -> Pandoc -> Bool # (>) :: Pandoc -> Pandoc -> Bool # (>=) :: Pandoc -> Pandoc -> Bool # max :: Pandoc -> Pandoc -> Pandoc # min :: Pandoc -> Pandoc -> Pandoc #
Read Pandoc
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS Pandoc # readList :: ReadS [Pandoc] # readPrec :: ReadPrec Pandoc # readListPrec :: ReadPrec [Pandoc] #
Show Pandoc
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> Pandoc -> ShowS # show :: Pandoc -> String # showList :: [Pandoc] -> ShowS #
Generic Pandoc
Instance details Defined in Text.Pandoc.Definition Associated Types type Rep Pandoc :: Type -> Type # Methods from :: Pandoc -> Rep Pandoc x # to :: Rep Pandoc x -> Pandoc #
Semigroup Pandoc
Instance details Defined in Text.Pandoc.Definition Methods (<>) :: Pandoc -> Pandoc -> Pandoc # sconcat :: NonEmpty Pandoc -> Pandoc # stimes :: Integral b => b -> Pandoc -> Pandoc #
Monoid Pandoc
Instance details Defined in Text.Pandoc.Definition Methods mempty :: Pandoc # mappend :: Pandoc -> Pandoc -> Pandoc # mconcat :: [Pandoc] -> Pandoc #
ToJSON Pandoc
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: Pandoc -> Value # toEncoding :: Pandoc -> Encoding # toJSONList :: [Pandoc] -> Value # toEncodingList :: [Pandoc] -> Encoding #
FromJSON Pandoc
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser Pandoc # parseJSONList :: Value -> Parser [Pandoc] #
NFData Pandoc
Instance details Defined in Text.Pandoc.Definition Methods rnf :: Pandoc -> () #
type Rep Pandoc
Instance details Defined in Text.Pandoc.Definition type Rep Pandoc = D1 (MetaData "Pandoc" "Text.Pandoc.Definition" "pandoc-types-1.20-B6KLnpXHj8x8bBBaov9fsM" False) (C1 (MetaCons "Pandoc" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Meta) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Block])))

body :: Lens' Pandoc [Block] Source #

The body of a pandoc document

meta :: Text -> Traversal' Pandoc MetaValue Source #

A traversal focusing on a particular metadata value of a document

Blocks

Prisms are provided for the constructors of Block as well as a Plated instance.

data Block #

Block element.

Instances

Eq Block
Instance details Defined in Text.Pandoc.Definition Methods (==) :: Block -> Block -> Bool # (/=) :: Block -> Block -> Bool #
Data Block
Instance details Defined in Text.Pandoc.Definition Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Block -> c Block # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Block # toConstr :: Block -> Constr # dataTypeOf :: Block -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Block) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Block) # gmapT :: (forall b. Data b => b -> b) -> Block -> Block # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r # gmapQ :: (forall d. Data d => d -> u) -> Block -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Block -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Block -> m Block # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block #
Ord Block
Instance details Defined in Text.Pandoc.Definition Methods compare :: Block -> Block -> Ordering # (<) :: Block -> Block -> Bool # (<=) :: Block -> Block -> Bool # (>) :: Block -> Block -> Bool # (>=) :: Block -> Block -> Bool # max :: Block -> Block -> Block # min :: Block -> Block -> Block #
Read Block
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS Block # readList :: ReadS [Block] # readPrec :: ReadPrec Block # readListPrec :: ReadPrec [Block] #
Show Block
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> Block -> ShowS # show :: Block -> String # showList :: [Block] -> ShowS #
Generic Block
Instance details Defined in Text.Pandoc.Definition Associated Types type Rep Block :: Type -> Type # Methods from :: Block -> Rep Block x # to :: Rep Block x -> Block #
ToJSON Block
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: Block -> Value # toEncoding :: Block -> Encoding # toJSONList :: [Block] -> Value # toEncodingList :: [Block] -> Encoding #
FromJSON Block
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser Block # parseJSONList :: Value -> Parser [Block] #
NFData Block
Instance details Defined in Text.Pandoc.Definition Methods rnf :: Block -> () #
Plated Block Source #
Instance details Defined in Text.Pandoc.Lens Methods plate :: Traversal' Block Block #
HasAttr Block Source #
Instance details Defined in Text.Pandoc.Lens Methods attributes :: Traversal' Block Attr Source #
type Rep Block
Instance details Defined in Text.Pandoc.Definition type Rep Block = D1 (MetaData "Block" "Text.Pandoc.Definition" "pandoc-types-1.20-B6KLnpXHj8x8bBBaov9fsM" False) (((C1 (MetaCons "Plain" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])) :+: (C1 (MetaCons "Para" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])) :+: C1 (MetaCons "LineBlock" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[Inline]])))) :+: ((C1 (MetaCons "CodeBlock" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: C1 (MetaCons "RawBlock" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Format) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))) :+: (C1 (MetaCons "BlockQuote" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Block])) :+: C1 (MetaCons "OrderedList" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ListAttributes) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[Block]]))))) :+: ((C1 (MetaCons "BulletList" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[Block]])) :+: (C1 (MetaCons "DefinitionList" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [([Inline], [[Block]])])) :+: C1 (MetaCons "Header" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]))))) :+: ((C1 (MetaCons "HorizontalRule" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Table" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Alignment])) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Double]) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TableCell]) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[TableCell]]))))) :+: (C1 (MetaCons "Div" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Block])) :+: C1 (MetaCons "Null" PrefixI False) (U1 :: Type -> Type)))))

blockInlines :: Traversal' Block Inline Source #

Traverse over the Inline children of a Block

_Plain :: Prism' Block [Inline] Source #

A prism on a Plain Block

_Para :: Prism' Block [Inline] Source #

A prism on a paragraph Block

_CodeBlock :: Prism' Block Text Source #

A prism on the text of a CodeBlock

_BlockQuote :: Prism' Block [Block] Source #

A prism on a BlockQuote

_OrderedList :: Prism' Block (ListAttributes, [[Block]]) Source #

A prism on the items of a bullet list Block

_BulletList :: Prism' Block [[Block]] Source #

A prism on the items of a bullet list Block

_DefinitionList :: Prism' Block [([Inline], [[Block]])] Source #

A prism on the items of a definition list Block

_Header :: Prism' Block (Int, [Inline]) Source #

A prism on a Header Block

_HorizontalRule :: Prism' Block () Source #

A prism on a HorizontalRule Block

_Table :: Prism' Block ([Inline], [Alignment], [Double], [TableCell], [[TableCell]]) Source #

A prism on a Table Block

_Div :: Prism' Block [Block] Source #

A prism on a Div Block

_Null :: Prism' Block () Source #

A prism on a Null Block

Inlines

Prisms are provided for the constructors of Inline as well as a Plated instance.

data Inline #

Inline elements.

Instances

Eq Inline
Instance details Defined in Text.Pandoc.Definition Methods (==) :: Inline -> Inline -> Bool # (/=) :: Inline -> Inline -> Bool #
Data Inline
Instance details Defined in Text.Pandoc.Definition Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Inline -> c Inline # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Inline # toConstr :: Inline -> Constr # dataTypeOf :: Inline -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Inline) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Inline) # gmapT :: (forall b. Data b => b -> b) -> Inline -> Inline # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Inline -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Inline -> r # gmapQ :: (forall d. Data d => d -> u) -> Inline -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Inline -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Inline -> m Inline # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Inline -> m Inline # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Inline -> m Inline #
Ord Inline
Instance details Defined in Text.Pandoc.Definition Methods compare :: Inline -> Inline -> Ordering # (<) :: Inline -> Inline -> Bool # (<=) :: Inline -> Inline -> Bool # (>) :: Inline -> Inline -> Bool # (>=) :: Inline -> Inline -> Bool # max :: Inline -> Inline -> Inline # min :: Inline -> Inline -> Inline #
Read Inline
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS Inline # readList :: ReadS [Inline] # readPrec :: ReadPrec Inline # readListPrec :: ReadPrec [Inline] #
Show Inline
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> Inline -> ShowS # show :: Inline -> String # showList :: [Inline] -> ShowS #
Generic Inline
Instance details Defined in Text.Pandoc.Definition Associated Types type Rep Inline :: Type -> Type # Methods from :: Inline -> Rep Inline x # to :: Rep Inline x -> Inline #
ToJSON Inline
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: Inline -> Value # toEncoding :: Inline -> Encoding # toJSONList :: [Inline] -> Value # toEncodingList :: [Inline] -> Encoding #
FromJSON Inline
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser Inline # parseJSONList :: Value -> Parser [Inline] #
NFData Inline
Instance details Defined in Text.Pandoc.Definition Methods rnf :: Inline -> () #
Plated Inline Source #
Instance details Defined in Text.Pandoc.Lens Methods plate :: Traversal' Inline Inline #
HasAttr Inline Source #
Instance details Defined in Text.Pandoc.Lens Methods attributes :: Traversal' Inline Attr Source #
type Rep Inline
Instance details Defined in Text.Pandoc.Definition type Rep Inline = D1 (MetaData "Inline" "Text.Pandoc.Definition" "pandoc-types-1.20-B6KLnpXHj8x8bBBaov9fsM" False) ((((C1 (MetaCons "Str" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: C1 (MetaCons "Emph" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]))) :+: (C1 (MetaCons "Strong" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])) :+: C1 (MetaCons "Strikeout" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])))) :+: ((C1 (MetaCons "Superscript" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])) :+: C1 (MetaCons "Subscript" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]))) :+: (C1 (MetaCons "SmallCaps" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])) :+: (C1 (MetaCons "Quoted" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 QuoteType) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])) :+: C1 (MetaCons "Cite" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Citation]) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])))))) :+: (((C1 (MetaCons "Code" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: C1 (MetaCons "Space" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "SoftBreak" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "LineBreak" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Math" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MathType) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))))) :+: ((C1 (MetaCons "RawInline" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Format) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: C1 (MetaCons "Link" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Target)))) :+: (C1 (MetaCons "Image" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Target))) :+: (C1 (MetaCons "Note" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Block])) :+: C1 (MetaCons "Span" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])))))))

_Str :: Prism' Inline Text Source #

A prism on a Str Inline

_Emph :: Prism' Inline [Inline] Source #

A prism on an Emph Inline

_Strong :: Prism' Inline [Inline] Source #

A prism on a Strong Inline

_Strikeout :: Prism' Inline [Inline] Source #

A prism on a Strikeout Inline

_Superscript :: Prism' Inline [Inline] Source #

A prism on a Superscript Inline

_Subscript :: Prism' Inline [Inline] Source #

A prism on a Subscript Inline

_SmallCaps :: Prism' Inline [Inline] Source #

A prism on a SmallCaps Inline

_Quoted :: Prism' Inline (QuoteType, [Inline]) Source #

A prism on a Quoted Inline

_Cite :: Prism' Inline ([Citation], [Inline]) Source #

A prism on a Cite Inline

_Code :: Prism' Inline Text Source #

A prism on the body of a Code Inline

_Space :: Prism' Inline () Source #

A prism on a Space Inline

_LineBreak :: Prism' Inline () Source #

A prism on a LineBreak Inline

_Math :: Prism' Inline (MathType, Text) Source #

A prism on a Math Inline

_RawInline :: Prism' Inline (Format, Text) Source #

A prism on a RawInline Inline

_Link :: Prism' Inline ([Inline], Target) Source #

A prism on a Link Inline

_Image :: Prism' Inline ([Inline], Target) Source #

A prism on a Image Inline

_Note :: Prism' Inline [Block] Source #

A prism on a Note Inline

_Span :: Prism' Inline [Inline] Source #

A prism on a Span Inline

inlinePrePlate :: Traversal' Inline [Inline] Source #

An affine traversal over the '[Inline]' in the last argument of an Inline constructor

Metadata

Prisms are provided for the constructors of MetaValue as well as a Plated instance.

data MetaValue #

Instances

Eq MetaValue
Instance details Defined in Text.Pandoc.Definition Methods (==) :: MetaValue -> MetaValue -> Bool # (/=) :: MetaValue -> MetaValue -> Bool #
Data MetaValue
Instance details Defined in Text.Pandoc.Definition Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MetaValue -> c MetaValue # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MetaValue # toConstr :: MetaValue -> Constr # dataTypeOf :: MetaValue -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MetaValue) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MetaValue) # gmapT :: (forall b. Data b => b -> b) -> MetaValue -> MetaValue # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MetaValue -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MetaValue -> r # gmapQ :: (forall d. Data d => d -> u) -> MetaValue -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MetaValue -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MetaValue -> m MetaValue # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MetaValue -> m MetaValue # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MetaValue -> m MetaValue #
Ord MetaValue
Instance details Defined in Text.Pandoc.Definition Methods compare :: MetaValue -> MetaValue -> Ordering # (<) :: MetaValue -> MetaValue -> Bool # (<=) :: MetaValue -> MetaValue -> Bool # (>) :: MetaValue -> MetaValue -> Bool # (>=) :: MetaValue -> MetaValue -> Bool # max :: MetaValue -> MetaValue -> MetaValue # min :: MetaValue -> MetaValue -> MetaValue #
Read MetaValue
Instance details Defined in Text.Pandoc.Definition Methods readsPrec :: Int -> ReadS MetaValue # readList :: ReadS [MetaValue] # readPrec :: ReadPrec MetaValue # readListPrec :: ReadPrec [MetaValue] #
Show MetaValue
Instance details Defined in Text.Pandoc.Definition Methods showsPrec :: Int -> MetaValue -> ShowS # show :: MetaValue -> String # showList :: [MetaValue] -> ShowS #
Generic MetaValue
Instance details Defined in Text.Pandoc.Definition Associated Types type Rep MetaValue :: Type -> Type # Methods from :: MetaValue -> Rep MetaValue x # to :: Rep MetaValue x -> MetaValue #
ToJSON MetaValue
Instance details Defined in Text.Pandoc.Definition Methods toJSON :: MetaValue -> Value # toEncoding :: MetaValue -> Encoding # toJSONList :: [MetaValue] -> Value # toEncodingList :: [MetaValue] -> Encoding #
FromJSON MetaValue
Instance details Defined in Text.Pandoc.Definition Methods parseJSON :: Value -> Parser MetaValue # parseJSONList :: Value -> Parser [MetaValue] #
NFData MetaValue
Instance details Defined in Text.Pandoc.Definition Methods rnf :: MetaValue -> () #
Plated MetaValue Source #
Instance details Defined in Text.Pandoc.Lens Methods plate :: Traversal' MetaValue MetaValue #
type Rep MetaValue
Instance details Defined in Text.Pandoc.Definition type Rep MetaValue = D1 (MetaData "MetaValue" "Text.Pandoc.Definition" "pandoc-types-1.20-B6KLnpXHj8x8bBBaov9fsM" False) ((C1 (MetaCons "MetaMap" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Text MetaValue))) :+: (C1 (MetaCons "MetaList" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MetaValue])) :+: C1 (MetaCons "MetaBool" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))) :+: (C1 (MetaCons "MetaString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: (C1 (MetaCons "MetaInlines" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])) :+: C1 (MetaCons "MetaBlocks" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Block])))))

_MetaMap :: Prism' MetaValue (Map Text MetaValue) Source #

A prism on a piece of MetaMap metadata

_MetaList :: Prism' MetaValue [MetaValue] Source #

A prism on a piece of MetaList metadata

_MetaBool :: Prism' MetaValue Bool Source #

A prism on a piece of MetaBool metadata

_MetaString :: Prism' MetaValue Text Source #

A prism on a piece of MetaString metadata

_MetaInlines :: Prism' MetaValue [Inline] Source #

A prism on a piece of MetaInlines metadata

_MetaBlocks :: Prism' MetaValue [Block] Source #

A prism on a piece of MetaBlocks metadata

Attributes

class HasAttr a where Source #

An object that has attributes

Methods

attributes :: Traversal' a Attr Source #

A traversal over the attributes of an object

Instances

HasAttr Block Source #
Instance details Defined in Text.Pandoc.Lens Methods attributes :: Traversal' Block Attr Source #
HasAttr Inline Source #
Instance details Defined in Text.Pandoc.Lens Methods attributes :: Traversal' Inline Attr Source #

attrIdentifier :: Lens' Attr Text Source #

A lens onto identifier of an Attr

attrClasses :: Lens' Attr [Text] Source #

A lens onto classes of an Attr

attrs :: Lens' Attr [(Text, Text)] Source #

A lens onto the key-value pairs of an Attr

Orphan instances

Ixed Meta Source #
Instance details Methods ix :: Index Meta -> Traversal' Meta (IxValue Meta) #
At Meta Source #
Instance details Methods at :: Index Meta -> Lens' Meta (Maybe (IxValue Meta)) #
Plated MetaValue Source #
Instance details Methods plate :: Traversal' MetaValue MetaValue #
Plated Block Source #
Instance details Methods plate :: Traversal' Block Block #
Plated Inline Source #
Instance details Methods plate :: Traversal' Inline Inline #
Wrapped Meta Source #
Instance details Associated Types type Unwrapped Meta :: Type # Methods _Wrapped' :: Iso' Meta (Unwrapped Meta) #