HORIZON HASKELLDocslts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K
Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Modulepandoc-3.12

Text.Pandoc

Synopsis
  • Packagepandoc-3.12
  • Exports279
  • LicenceGPL-2.0-or-later
  • SourceInternal.hs
patternpattern SimpleFigure :: Attr -> [Inline] -> Target -> Block

Bidirectional pattern synonym

It can pass as a Block constructor

Example1 expression
SimpleFigure nullAttr [] (T.pack "", T.pack "title")Para [Image ("",[],[]) [] ("","fig:title")]

It can be used to pattern match >>> let img = Para [Image undefined undefined (undefined, T.pack "title")] >>> case img of { SimpleFigure _ _ _ -> True; _ -> False } False >>> let fig = Para [Image undefined undefined (undefined, T.pack "fig:title")] >>> case fig of { SimpleFigure _ _ tit -> snd tit; _ -> T.pack "" } "title"

valuebottomUp :: (Data a, Data b) => (a -> a) -> b -> b

Applies a transformation on as to matching elements in a b, moving from the bottom of the structure up.

valuetopDown :: (Data a, Data b) => (a -> a) -> b -> b

Applies a transformation on as to matching elements in a b, moving from the top of the structure down.

methoddef :: a

The default value for this type.

datadata Template a

A template.

Instances12Functor, Foldable, Traversable, Eq, Data, Ord, …
newtypenewtype PandocIO a
#
Instances9Monad, Functor, Applicative, MonadIO, MonadCatch, MonadMask, …
classclass (Functor m, Applicative m, Monad m, MonadError PandocError m) => PandocMonad (m :: Type -> Type) where
#
Instances4PandocMonad
newtypenewtype PandocPure a
#
Instances5Monad, Functor, Applicative, PandocMonad, MonadError
datadata PandocError
#
Instances6Show, Generic, Exception, MonadError, Rep
datadata Extension
#

Constructors

Instances9Eq, Data, Ord, Read, Show, Generic, …
newtypenewtype Extensions
#
Instances11Eq, Data, Ord, Read, Show, Generic, …
datadata LogMessage
#
Instances7Eq, Data, Ord, Show, Generic, ToJSON, …
datadata Verbosity
#
Instances11Bounded, Enum, Eq, Data, Ord, Read, …
datadata CaptionPosition
#
Instances8Eq, Data, Read, Show, Generic, FromJSON, …
datadata CiteMethod
#
Instances8Eq, Data, Read, Show, Generic, FromJSON, …
datadata EPUBVersion
#
Instances6Eq, Data, Read, Show, Generic, Rep
datadata HTMLSlideVariant
#
Instances8Eq, Data, Read, Show, Generic, FromJSON, …
datadata HighlightMethod
#
Instances8Eq, Data, Read, Show, Generic, FromJSON, …
datadata MathMethod
#
Instances8Eq, Data, Read, Show, Generic, FromJSON, …
datadata ObfuscationMethod
#
Instances8Eq, Data, Read, Show, Generic, FromJSON, …
datadata ReaderOptions
#
Instances9Data, Read, Show, Generic, FromJSON, ToJSON, …
datadata ReferenceLocation
#
Instances8Eq, Data, Read, Show, Generic, FromJSON, …
datadata TopLevelDivision
#
Instances8Eq, Data, Read, Show, Generic, FromJSON, …
datadata TrackChanges
#
Instances8Eq, Data, Read, Show, Generic, FromJSON, …
datadata WrapOption
#
Instances8Eq, Data, Read, Show, Generic, FromJSON, …
datadata WriterOptions
#
Instances6Data, Show, Generic, Default, HasSyntaxExtensions, Rep
newtypenewtype WithDefaultPartials (m :: Type -> Type) a
#
Instances4Monad, Functor, Applicative, TemplateMonad
newtypenewtype WithPartials (m :: Type -> Type) a
#

Constructors

Instances4Monad, Functor, Applicative, TemplateMonad
newtypenewtype Translations
#
Instances6Show, Generic, Semigroup, Monoid, FromJSON, Rep
datadata Alignment

Alignment of a table column.

Instances11Eq, Data, Ord, Read, Show, Generic, …
datadata Block

Block element.

Constructors

Instances44Eq, Data, Ord, Read, Show, Generic, …
datadata Caption

The caption of a table or figure, with optional short caption.

Instances15Eq, Data, Ord, Read, Show, Generic, …
datadata Cell

A table cell.

Instances15Eq, Data, Ord, Read, Show, Generic, …
datadata Citation
#
Instances15Eq, Data, Ord, Read, Show, Generic, …
datadata CitationMode
#
Instances11Eq, Data, Ord, Read, Show, Generic, …
newtypenewtype ColSpan

The number of columns occupied by a cell; the width of a cell.

Constructors

Instances12Enum, Eq, Data, Num, Ord, Read, …
datadata ColWidth

The width of a table column, as a percentage of the text width.

Instances10Eq, Data, Ord, Read, Show, Generic, …
newtypenewtype Format

Formats for raw blocks

Constructors

Instances12Eq, Data, Ord, Read, Show, IsString, …
datadata Inline

Inline elements.

Constructors

Instances46Eq, Data, Ord, Read, Show, IsString, …

Delimiter of list numbers.

Instances11Eq, Data, Ord, Read, Show, Generic, …
Instances11Eq, Data, Ord, Read, Show, Generic, …
datadata MathType

Type of math element (display or inline).

Instances11Eq, Data, Ord, Read, Show, Generic, …
newtypenewtype Meta

Metadata for the document: title, authors, date.

Constructors

Instances21Eq, Data, Ord, Read, Show, Generic, …
datadata MetaValue
#
Instances18Eq, Data, Ord, Read, Show, Generic, …
datadata Pandoc
#

Constructors

Instances21Eq, Data, Ord, Read, Show, Generic, …
datadata QuoteType

Type of quotation marks to use in Quoted inline.

Instances11Eq, Data, Ord, Read, Show, Generic, …
datadata Row

A table row.

Constructors

Instances15Eq, Data, Ord, Read, Show, Generic, …
newtypenewtype RowHeadColumns

The number of columns taken up by the row head of each row of a TableBody. The row body takes up the remaining columns.

Constructors

Instances12Enum, Eq, Data, Num, Ord, Read, …
newtypenewtype RowSpan

The number of rows occupied by a cell; the height of a cell.

Constructors

Instances12Enum, Eq, Data, Num, Ord, Read, …
datadata TableBody

A body of a table, with an intermediate head, intermediate body, and the specified number of row header columns in the intermediate body.

Instances15Eq, Data, Ord, Read, Show, Generic, …
datadata TableFoot

The foot of a table.

Constructors

Instances15Eq, Data, Ord, Read, Show, Generic, …
datadata TableHead

The head of a table.

Constructors

Instances15Eq, Data, Ord, Read, Show, Generic, …