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

Documents

data Pandoc :: * #

Instances

Eq Pandoc
Methods (==) :: Pandoc -> Pandoc -> Bool # (/=) :: Pandoc -> Pandoc -> Bool #
Data Pandoc
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
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
Methods readsPrec :: Int -> ReadS Pandoc # readList :: ReadS [Pandoc] # readPrec :: ReadPrec Pandoc # readListPrec :: ReadPrec [Pandoc] #
Show Pandoc
Methods showsPrec :: Int -> Pandoc -> ShowS # show :: Pandoc -> String # showList :: [Pandoc] -> ShowS #
Generic Pandoc
Associated Types type Rep Pandoc :: * -> * # Methods from :: Pandoc -> Rep Pandoc x # to :: Rep Pandoc x -> Pandoc #
Monoid Pandoc
Methods mempty :: Pandoc # mappend :: Pandoc -> Pandoc -> Pandoc # mconcat :: [Pandoc] -> Pandoc #
ToJSON Pandoc
Methods toJSON :: Pandoc -> Value # toEncoding :: Pandoc -> Encoding # toJSONList :: [Pandoc] -> Value # toEncodingList :: [Pandoc] -> Encoding #
FromJSON Pandoc
Methods parseJSON :: Value -> Parser Pandoc # parseJSONList :: Value -> Parser [Pandoc] #
NFData Pandoc
Methods rnf :: Pandoc -> () #
type Rep Pandoc
type Rep Pandoc = D1 (MetaData "Pandoc" "Text.Pandoc.Definition" "pandoc-types-1.16.1.1-6KZdABSrhJgGu5FFMDeXxq" False) (C1 (MetaCons "Pandoc" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Meta)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Block]))))

body :: Lens' Pandoc [Block] Source #

The body of a pandoc document

meta :: String -> 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
Methods (==) :: Block -> Block -> Bool # (/=) :: Block -> Block -> Bool #
Data Block
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
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
Methods readsPrec :: Int -> ReadS Block # readList :: ReadS [Block] # readPrec :: ReadPrec Block # readListPrec :: ReadPrec [Block] #
Show Block
Methods showsPrec :: Int -> Block -> ShowS # show :: Block -> String # showList :: [Block] -> ShowS #
Generic Block
Associated Types type Rep Block :: * -> * # Methods from :: Block -> Rep Block x # to :: Rep Block x -> Block #
ToJSON Block
Methods toJSON :: Block -> Value # toEncoding :: Block -> Encoding # toJSONList :: [Block] -> Value # toEncodingList :: [Block] -> Encoding #
FromJSON Block
Methods parseJSON :: Value -> Parser Block # parseJSONList :: Value -> Parser [Block] #
NFData Block
Methods rnf :: Block -> () #
HasAttr Block Source #
Methods attributes :: Traversal' Block Attr Source #
type Rep Block
type Rep Block = D1 (MetaData "Block" "Text.Pandoc.Definition" "pandoc-types-1.16.1.1-6KZdABSrhJgGu5FFMDeXxq" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Plain" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]))) ((:+:) (C1 (MetaCons "Para" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]))) (C1 (MetaCons "CodeBlock" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))))) ((:+:) (C1 (MetaCons "RawBlock" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Format)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) ((:+:) (C1 (MetaCons "BlockQuote" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Block]))) (C1 (MetaCons "OrderedList" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ListAttributes)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[Block]]))))))) ((:+:) ((:+:) (C1 (MetaCons "BulletList" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[Block]]))) ((:+:) (C1 (MetaCons "DefinitionList" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [([Inline], [[Block]])]))) (C1 (MetaCons "Header" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]))))))) ((:+:) ((:+:) (C1 (MetaCons "HorizontalRule" PrefixI False) U1) (C1 (MetaCons "Table" PrefixI False) ((::) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Alignment]))) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Double])) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TableCell])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[TableCell]]))))))) ((:+:) (C1 (MetaCons "Div" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Block])))) (C1 (MetaCons "Null" PrefixI False) U1)))))

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 String 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
Methods (==) :: Inline -> Inline -> Bool # (/=) :: Inline -> Inline -> Bool #
Data Inline
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
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
Methods readsPrec :: Int -> ReadS Inline # readList :: ReadS [Inline] # readPrec :: ReadPrec Inline # readListPrec :: ReadPrec [Inline] #
Show Inline
Methods showsPrec :: Int -> Inline -> ShowS # show :: Inline -> String # showList :: [Inline] -> ShowS #
Generic Inline
Associated Types type Rep Inline :: * -> * # Methods from :: Inline -> Rep Inline x # to :: Rep Inline x -> Inline #
ToJSON Inline
Methods toJSON :: Inline -> Value # toEncoding :: Inline -> Encoding # toJSONList :: [Inline] -> Value # toEncodingList :: [Inline] -> Encoding #
FromJSON Inline
Methods parseJSON :: Value -> Parser Inline # parseJSONList :: Value -> Parser [Inline] #
NFData Inline
Methods rnf :: Inline -> () #
HasAttr Inline Source #
Methods attributes :: Traversal' Inline Attr Source #
type Rep Inline
type Rep Inline = D1 (MetaData "Inline" "Text.Pandoc.Definition" "pandoc-types-1.16.1.1-6KZdABSrhJgGu5FFMDeXxq" False) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Str" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "Emph" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])))) ((:+:) (C1 (MetaCons "Strong" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]))) (C1 (MetaCons "Strikeout" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]))))) ((:+:) ((:+:) (C1 (MetaCons "Superscript" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]))) (C1 (MetaCons "Subscript" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])))) ((:+:) (C1 (MetaCons "SmallCaps" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]))) ((:+:) (C1 (MetaCons "Quoted" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 QuoteType)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])))) (C1 (MetaCons "Cite" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Citation])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Code" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) (C1 (MetaCons "Space" PrefixI False) U1)) ((:+:) (C1 (MetaCons "SoftBreak" PrefixI False) U1) ((:+:) (C1 (MetaCons "LineBreak" PrefixI False) U1) (C1 (MetaCons "Math" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MathType)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))))) ((:+:) ((:+:) (C1 (MetaCons "RawInline" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Format)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) (C1 (MetaCons "Link" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Target)))))) ((:+:) (C1 (MetaCons "Image" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Target))))) ((:+:) (C1 (MetaCons "Note" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Block]))) (C1 (MetaCons "Span" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attr)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline])))))))))

_Str :: Prism' Inline String 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 String 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, String) Source #

A prism on a Math Inline

_RawInline :: Prism' Inline (Format, String) 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

Metadata

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

data MetaValue :: * #

Instances

Eq MetaValue
Methods (==) :: MetaValue -> MetaValue -> Bool # (/=) :: MetaValue -> MetaValue -> Bool #
Data MetaValue
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
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
Methods readsPrec :: Int -> ReadS MetaValue # readList :: ReadS [MetaValue] # readPrec :: ReadPrec MetaValue # readListPrec :: ReadPrec [MetaValue] #
Show MetaValue
Methods showsPrec :: Int -> MetaValue -> ShowS # show :: MetaValue -> String # showList :: [MetaValue] -> ShowS #
Generic MetaValue
Associated Types type Rep MetaValue :: * -> * # Methods from :: MetaValue -> Rep MetaValue x # to :: Rep MetaValue x -> MetaValue #
ToJSON MetaValue
Methods toJSON :: MetaValue -> Value # toEncoding :: MetaValue -> Encoding # toJSONList :: [MetaValue] -> Value # toEncodingList :: [MetaValue] -> Encoding #
FromJSON MetaValue
Methods parseJSON :: Value -> Parser MetaValue # parseJSONList :: Value -> Parser [MetaValue] #
NFData MetaValue
Methods rnf :: MetaValue -> () #
type Rep MetaValue
type Rep MetaValue = D1 (MetaData "MetaValue" "Text.Pandoc.Definition" "pandoc-types-1.16.1.1-6KZdABSrhJgGu5FFMDeXxq" False) ((:+:) ((:+:) (C1 (MetaCons "MetaMap" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map String MetaValue)))) ((:+:) (C1 (MetaCons "MetaList" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MetaValue]))) (C1 (MetaCons "MetaBool" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))))) ((:+:) (C1 (MetaCons "MetaString" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) ((:+:) (C1 (MetaCons "MetaInlines" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Inline]))) (C1 (MetaCons "MetaBlocks" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Block]))))))

_MetaMap :: Prism' MetaValue (Map String 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 String 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

Minimal complete definition

attributes

Methods

attributes :: Traversal' a Attr Source #

A traversal over the attributes of an object

Instances

HasAttr Block Source #
Methods attributes :: Traversal' Block Attr Source #
HasAttr Inline Source #
Methods attributes :: Traversal' Inline Attr Source #

attrIdentifier :: Lens' Attr String Source #

A lens onto identifier of an Attr

attrClasses :: Lens' Attr [String] Source #

A lens onto classes of an Attr

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

A lens onto the key-value pairs of an Attr

Orphan instances

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