asciidoc-0.1.0.4: AsciiDoc parser.

Safe Haskell | None
Language | Haskell2010

AsciiDoc.AST

Synopsis

- data Document = Document {
  - docMeta :: Meta
  - docBlocks :: [Block]
  }
- data Meta = Meta {
  - docTitle :: [Inline]
  - docTitleAttributes :: Maybe Attr
  - docAuthors :: [Author]
  - docRevision :: Maybe Revision
  - docAttributes :: Map Text Text
  }
- data Author = Author {
  - authorName :: Text
  - authorEmail :: Maybe Text
  }
- data Revision = Revision {
  - revVersion :: Text
  - revDate :: Maybe Text
  - revRemark :: Maybe Text
  }
- data Block = Block Attr (Maybe BlockTitle) BlockType
- data BlockType
  - = Section Level [Inline] [Block]
  - | DiscreteHeading Level [Inline]
  - | Paragraph [Inline]
  - | Verse (Maybe Attribution) [Block]
  - | LiteralBlock Text
  - | Listing (Maybe Language) [SourceLine]
  - | IncludeListing (Maybe Language) FilePath (Maybe [SourceLine])
  - | ExampleBlock [Block]
  - | QuoteBlock (Maybe Attribution) [Block]
  - | Sidebar [Block]
  - | OpenBlock [Block]
  - | PassthroughBlock Text
  - | MathBlock (Maybe MathType) Text
  - | List ListType [ListItem]
  - | DefinitionList [([Inline], [Block])]
  - | Table [ColumnSpec] (Maybe [TableRow]) [TableRow] (Maybe [TableRow])
  - | BlockImage Target (Maybe AltText) (Maybe Width) (Maybe Height)
  - | BlockAudio Target
  - | BlockVideo Target
  - | TOC
  - | Admonition AdmonitionType [Block]
  - | PageBreak
  - | ThematicBreak
  - | Include FilePath (Maybe [Block])
- newtype BlockTitle = BlockTitle [Inline]
- data Inline = Inline Attr InlineType
- data InlineType
  - = Str Text
  - | HardBreak
  - | Bold [Inline]
  - | Italic [Inline]
  - | Monospace [Inline]
  - | Superscript [Inline]
  - | Subscript [Inline]
  - | Highlight [Inline]
  - | Strikethrough [Inline]
  - | DoubleQuoted [Inline]
  - | SingleQuoted [Inline]
  - | Math (Maybe MathType) Text
  - | Icon Text
  - | Button Text
  - | Kbd [Text]
  - | Menu [Text]
  - | Link LinkType Target [Inline]
  - | InlineImage Target (Maybe AltText) (Maybe Width) (Maybe Height)
  - | Footnote (Maybe FootnoteId) [Inline]
  - | InlineAnchor Text [Inline]
  - | BibliographyAnchor Text [Inline]
  - | CrossReference Text (Maybe [Inline])
  - | AttributeReference AttributeName
  - | Span [Inline]
  - | IndexEntry IndexTerm
  - | Counter Text CounterType Int
  - | Passthrough Text
- data ListType
  - = BulletList Level
  - | OrderedList Level (Maybe Int)
  - | CheckList
  - | CalloutList
- data ListItem = ListItem (Maybe CheckboxState) [Block]
- data CheckboxState
  - = Checked
  - | Unchecked
- data ColumnSpec = ColumnSpec {
  - colHorizAlign :: Maybe HorizAlign
  - colVertAlign :: Maybe VertAlign
  - colWidth :: Maybe Int
  - colStyle :: Maybe CellStyle
  }
- data CellStyle
  - = AsciiDocStyle
  - | DefaultStyle
  - | EmphasisStyle
  - | LiteralStyle
  - | HeaderStyle
  - | MonospaceStyle
  - | StrongStyle
- newtype TableRow = TableRow [TableCell]
- data TableCell = TableCell {
  - cellContent :: [Block]
  - cellHorizAlign :: Maybe HorizAlign
  - cellVertAlign :: Maybe VertAlign
  - cellColspan :: Int
  - cellRowspan :: Int
  }
- data HorizAlign
  - = AlignLeft
  - | AlignCenter
  - | AlignRight
- data VertAlign
  - = AlignTop
  - | AlignMiddle
  - | AlignBottom
- data AdmonitionType
  - = Note
  - | Tip
  - | Important
  - | Caution
  - | Warning
- newtype Target = Target Text
- data LinkType
  - = URLLink
  - | EmailLink
- data MathType
  - = AsciiMath
  - | LaTeXMath
- data Attr = Attr [Text] (Map Text Text)
- attrNull :: Attr -> Bool
- newtype Level = Level Int
- newtype Language = Language Text
- newtype Attribution = Attribution Text
- newtype AltText = AltText Text
- newtype Width = Width Int
- newtype Height = Height Int
- newtype FootnoteId = FootnoteId Text
- newtype AttributeName = AttributeName Text
- newtype Callout = Callout Int
- data IndexTerm
  - = TermInText Text
  - | TermConcealed [Text]
- data SourceLine = SourceLine Text [Callout]
- data CounterType
  - = DecimalCounter
  - | UpperAlphaCounter
  - | LowerAlphaCounter

# Documentation

data Document Source #

A complete AsciiDoc document

Constructors

Document |

Fields

- docMeta :: Meta
- docBlocks :: [Block]

#### Instances

Instances details

FromJSON Document Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Document Source # parseJSONList :: Value -> Parser [Document] Source # omittedField :: Maybe Document Source #
ToJSON Document Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: Document -> Value Source # toEncoding :: Document -> Encoding Source # toJSONList :: [Document] -> Value Source # toEncodingList :: [Document] -> Encoding Source # omitField :: Document -> Bool Source #
HasBlocks Document Source # |
Instance details Defined in AsciiDoc.Generic Methods foldBlocks :: Monoid m => (Block -> m) -> Document -> m Source # mapBlocks :: Monad m => (Block -> m Block) -> Document -> m Document Source #
HasInlines Document Source # |
Instance details Defined in AsciiDoc.Generic Methods foldInlines :: Monoid m => (Inline -> m) -> Document -> m Source # mapInlines :: Monad m => (Inline -> m Inline) -> Document -> m Document Source #
Monoid Document Source # |
Instance details Defined in AsciiDoc.AST Methods mempty :: Document Source # mappend :: Document -> Document -> Document Source # mconcat :: [Document] -> Document Source #
Semigroup Document Source # |
Instance details Defined in AsciiDoc.AST Methods (<>) :: Document -> Document -> Document Source # sconcat :: NonEmpty Document -> Document Source # stimes :: Integral b => b -> Document -> Document Source #
Data Document Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Document -> c Document Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Document Source #

toConstr :: Document -> Constr Source #

dataTypeOf :: Document -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Document) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Document) Source #

gmapT :: (forall b. Data b => b -> b) -> Document -> Document Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Document -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Document -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Document -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Document -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Document -> m Document Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Document -> m Document Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Document -> m Document Source #

Generic Document Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep Document |

Instance details

Defined in AsciiDoc.AST

type Rep Document = D1 ('MetaData "Document" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "Document" 'PrefixI 'True) (S1 ('MetaSel ('Just "docMeta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Meta) :*: S1 ('MetaSel ('Just "docBlocks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Block])))

Methods

from :: Document -> Rep Document x Source #

to :: Rep Document x -> Document Source #

Show Document Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> Document -> ShowS Source # show :: Document -> String Source # showList :: [Document] -> ShowS Source #
Eq Document Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: Document -> Document -> Bool Source # (/=) :: Document -> Document -> Bool Source #
type Rep Document Source # |

Instance details

Defined in AsciiDoc.AST

type Rep Document = D1 ('MetaData "Document" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "Document" 'PrefixI 'True) (S1 ('MetaSel ('Just "docMeta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Meta) :*: S1 ('MetaSel ('Just "docBlocks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Block])))

data Meta Source #

Document metadata

Constructors

Meta |

Fields

- docTitle :: [Inline]
- docTitleAttributes :: Maybe Attr
- docAuthors :: [Author]
- docRevision :: Maybe Revision
- docAttributes :: Map Text Text

#### Instances

Instances details

FromJSON Meta Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Meta Source # parseJSONList :: Value -> Parser [Meta] Source # omittedField :: Maybe Meta Source #
ToJSON Meta Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: Meta -> Value Source # toEncoding :: Meta -> Encoding Source # toJSONList :: [Meta] -> Value Source # toEncodingList :: [Meta] -> Encoding Source # omitField :: Meta -> Bool Source #
HasBlocks Meta Source # |
Instance details Defined in AsciiDoc.Generic Methods foldBlocks :: Monoid m => (Block -> m) -> Meta -> m Source # mapBlocks :: Monad m => (Block -> m Block) -> Meta -> m Meta Source #
HasInlines Meta Source # |
Instance details Defined in AsciiDoc.Generic Methods foldInlines :: Monoid m => (Inline -> m) -> Meta -> m Source # mapInlines :: Monad m => (Inline -> m Inline) -> Meta -> m Meta Source #
Monoid Meta Source # |
Instance details Defined in AsciiDoc.AST Methods mempty :: Meta Source # mappend :: Meta -> Meta -> Meta Source # mconcat :: [Meta] -> Meta Source #
Semigroup Meta Source # |
Instance details Defined in AsciiDoc.AST Methods (<>) :: Meta -> Meta -> Meta Source # sconcat :: NonEmpty Meta -> Meta Source # stimes :: Integral b => b -> Meta -> Meta Source #
Data Meta Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Meta -> c Meta Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Meta Source #

toConstr :: Meta -> Constr Source #

dataTypeOf :: Meta -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Meta) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Meta) Source #

gmapT :: (forall b. Data b => b -> b) -> Meta -> Meta Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Meta -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Meta -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Meta -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Meta -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Meta -> m Meta Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Meta -> m Meta Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Meta -> m Meta Source #

Generic Meta Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep Meta |

Instance details

Defined in AsciiDoc.AST

type Rep Meta = D1 ('MetaData "Meta" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "Meta" 'PrefixI 'True) ((S1 ('MetaSel ('Just "docTitle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline]) :*: S1 ('MetaSel ('Just "docTitleAttributes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Attr))) :*: (S1 ('MetaSel ('Just "docAuthors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Author]) :*: (S1 ('MetaSel ('Just "docRevision") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Revision)) :*: S1 ('MetaSel ('Just "docAttributes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Text Text))))))

Methods

from :: Meta -> Rep Meta x Source #

to :: Rep Meta x -> Meta Source #

Show Meta Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> Meta -> ShowS Source # show :: Meta -> String Source # showList :: [Meta] -> ShowS Source #
Eq Meta Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: Meta -> Meta -> Bool Source # (/=) :: Meta -> Meta -> Bool Source #
type Rep Meta Source # |

Instance details

Defined in AsciiDoc.AST

type Rep Meta = D1 ('MetaData "Meta" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "Meta" 'PrefixI 'True) ((S1 ('MetaSel ('Just "docTitle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline]) :*: S1 ('MetaSel ('Just "docTitleAttributes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Attr))) :*: (S1 ('MetaSel ('Just "docAuthors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Author]) :*: (S1 ('MetaSel ('Just "docRevision") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Revision)) :*: S1 ('MetaSel ('Just "docAttributes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Text Text))))))

data Author Source #

Author information

Constructors

Author |

Fields

- authorName :: Text
- authorEmail :: Maybe Text

#### Instances

Instances details

FromJSON Author Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Author Source # parseJSONList :: Value -> Parser [Author] Source # omittedField :: Maybe Author Source #
ToJSON Author Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: Author -> Value Source # toEncoding :: Author -> Encoding Source # toJSONList :: [Author] -> Value Source # toEncodingList :: [Author] -> Encoding Source # omitField :: Author -> Bool Source #
HasInlines Author Source # |
Instance details Defined in AsciiDoc.Generic Methods foldInlines :: Monoid m => (Inline -> m) -> Author -> m Source # mapInlines :: Monad m => (Inline -> m Inline) -> Author -> m Author Source #
Data Author Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Author -> c Author Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Author Source #

toConstr :: Author -> Constr Source #

dataTypeOf :: Author -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Author) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Author) Source #

gmapT :: (forall b. Data b => b -> b) -> Author -> Author Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Author -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Author -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Author -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Author -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Author -> m Author Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Author -> m Author Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Author -> m Author Source #

Generic Author Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep Author |

Instance details

Defined in AsciiDoc.AST

type Rep Author = D1 ('MetaData "Author" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "Author" 'PrefixI 'True) (S1 ('MetaSel ('Just "authorName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "authorEmail") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))

Methods

from :: Author -> Rep Author x Source #

to :: Rep Author x -> Author Source #

Show Author Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> Author -> ShowS Source # show :: Author -> String Source # showList :: [Author] -> ShowS Source #
Eq Author Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: Author -> Author -> Bool Source # (/=) :: Author -> Author -> Bool Source #
type Rep Author Source # |

Instance details

Defined in AsciiDoc.AST

type Rep Author = D1 ('MetaData "Author" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "Author" 'PrefixI 'True) (S1 ('MetaSel ('Just "authorName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "authorEmail") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))

data Revision Source #

Revision information

Constructors

Revision |

Fields

- revVersion :: Text
- revDate :: Maybe Text
- revRemark :: Maybe Text

#### Instances

Instances details

FromJSON Revision Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Revision Source # parseJSONList :: Value -> Parser [Revision] Source # omittedField :: Maybe Revision Source #
ToJSON Revision Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: Revision -> Value Source # toEncoding :: Revision -> Encoding Source # toJSONList :: [Revision] -> Value Source # toEncodingList :: [Revision] -> Encoding Source # omitField :: Revision -> Bool Source #
Data Revision Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Revision -> c Revision Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Revision Source #

toConstr :: Revision -> Constr Source #

dataTypeOf :: Revision -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Revision) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Revision) Source #

gmapT :: (forall b. Data b => b -> b) -> Revision -> Revision Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Revision -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Revision -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Revision -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Revision -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Revision -> m Revision Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Revision -> m Revision Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Revision -> m Revision Source #

Generic Revision Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep Revision |

Instance details

Defined in AsciiDoc.AST

type Rep Revision = D1 ('MetaData "Revision" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "Revision" 'PrefixI 'True) (S1 ('MetaSel ('Just "revVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "revDate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "revRemark") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

Methods

from :: Revision -> Rep Revision x Source #

to :: Rep Revision x -> Revision Source #

Show Revision Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> Revision -> ShowS Source # show :: Revision -> String Source # showList :: [Revision] -> ShowS Source #
Eq Revision Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: Revision -> Revision -> Bool Source # (/=) :: Revision -> Revision -> Bool Source #
type Rep Revision Source # |

Instance details

Defined in AsciiDoc.AST

type Rep Revision = D1 ('MetaData "Revision" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "Revision" 'PrefixI 'True) (S1 ('MetaSel ('Just "revVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "revDate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "revRemark") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

data Block Source #

Block-level element with attributes

Constructors

Block Attr (Maybe BlockTitle) BlockType |

#### Instances

Instances details

FromJSON Block Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Block Source # parseJSONList :: Value -> Parser [Block] Source # omittedField :: Maybe Block Source #
ToJSON Block Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: Block -> Value Source # toEncoding :: Block -> Encoding Source # toJSONList :: [Block] -> Value Source # toEncodingList :: [Block] -> Encoding Source # omitField :: Block -> Bool Source #
HasBlocks Block Source # |
Instance details Defined in AsciiDoc.Generic Methods foldBlocks :: Monoid m => (Block -> m) -> Block -> m Source # mapBlocks :: Monad m => (Block -> m Block) -> Block -> m Block Source #
HasInlines Block Source # |
Instance details Defined in AsciiDoc.Generic Methods foldInlines :: Monoid m => (Inline -> m) -> Block -> m Source # mapInlines :: Monad m => (Inline -> m Inline) -> Block -> m Block Source #
Data Block Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Block -> c Block Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Block Source #

toConstr :: Block -> Constr Source #

dataTypeOf :: Block -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Block) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Block) Source #

gmapT :: (forall b. Data b => b -> b) -> Block -> Block Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Block -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Block -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Block -> m Block Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block Source #

Generic Block Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep Block |

Instance details

Defined in AsciiDoc.AST

type Rep Block = D1 ('MetaData "Block" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "Block" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe BlockTitle)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockType))))

Methods

from :: Block -> Rep Block x Source #

to :: Rep Block x -> Block Source #

Show Block Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> Block -> ShowS Source # show :: Block -> String Source # showList :: [Block] -> ShowS Source #
Eq Block Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: Block -> Block -> Bool Source # (/=) :: Block -> Block -> Bool Source #
type Rep Block Source # |

Instance details

Defined in AsciiDoc.AST

type Rep Block = D1 ('MetaData "Block" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "Block" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe BlockTitle)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockType))))

data BlockType Source #

Block-level element types

Constructors

Section Level [Inline] [Block] |
DiscreteHeading Level [Inline] |
Paragraph [Inline] |
Verse (Maybe Attribution) [Block] |
LiteralBlock Text |
Listing (Maybe Language) [SourceLine] |
IncludeListing (Maybe Language) FilePath (Maybe [SourceLine]) |
ExampleBlock [Block] |
QuoteBlock (Maybe Attribution) [Block] |
Sidebar [Block] |
OpenBlock [Block] |
PassthroughBlock Text |
MathBlock (Maybe MathType) Text |
List ListType [ListItem] |
DefinitionList [([Inline], [Block])] |
Table [ColumnSpec] (Maybe [TableRow]) [TableRow] (Maybe [TableRow]) |
BlockImage Target (Maybe AltText) (Maybe Width) (Maybe Height) |
BlockAudio Target |
BlockVideo Target |
TOC |
Admonition AdmonitionType [Block] |
PageBreak |
ThematicBreak |
Include FilePath (Maybe [Block]) |

#### Instances

Instances details

FromJSON BlockType Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser BlockType Source # parseJSONList :: Value -> Parser [BlockType] Source # omittedField :: Maybe BlockType Source #
ToJSON BlockType Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: BlockType -> Value Source # toEncoding :: BlockType -> Encoding Source # toJSONList :: [BlockType] -> Value Source # toEncodingList :: [BlockType] -> Encoding Source # omitField :: BlockType -> Bool Source #
HasBlocks BlockType Source # |
Instance details Defined in AsciiDoc.Generic Methods foldBlocks :: Monoid m => (Block -> m) -> BlockType -> m Source # mapBlocks :: Monad m => (Block -> m Block) -> BlockType -> m BlockType Source #
HasInlines BlockType Source # |
Instance details Defined in AsciiDoc.Generic Methods foldInlines :: Monoid m => (Inline -> m) -> BlockType -> m Source # mapInlines :: Monad m => (Inline -> m Inline) -> BlockType -> m BlockType Source #
Data BlockType Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BlockType -> c BlockType Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BlockType Source #

toConstr :: BlockType -> Constr Source #

dataTypeOf :: BlockType -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BlockType) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BlockType) Source #

gmapT :: (forall b. Data b => b -> b) -> BlockType -> BlockType Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BlockType -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BlockType -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> BlockType -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> BlockType -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BlockType -> m BlockType Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BlockType -> m BlockType Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BlockType -> m BlockType Source #

Generic BlockType Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep BlockType |

Instance details

Defined in AsciiDoc.AST

type Rep BlockType = D1 ('MetaData "BlockType" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) ((((C1 ('MetaCons "Section" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Level) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Block]))) :+: (C1 ('MetaCons "DiscreteHeading" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Level) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])) :+: C1 ('MetaCons "Paragraph" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])))) :+: (C1 ('MetaCons "Verse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Attribution)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Block])) :+: (C1 ('MetaCons "LiteralBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "Listing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Language)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SourceLine]))))) :+: ((C1 ('MetaCons "IncludeListing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Language)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [SourceLine])))) :+: (C1 ('MetaCons "ExampleBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Block])) :+: C1 ('MetaCons "QuoteBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Attribution)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Block])))) :+: (C1 ('MetaCons "Sidebar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Block])) :+: (C1 ('MetaCons "OpenBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Block])) :+: C1 ('MetaCons "PassthroughBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))) :+: (((C1 ('MetaCons "MathBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe MathType)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ListType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ListItem])) :+: C1 ('MetaCons "DefinitionList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [([Inline], [Block])])))) :+: (C1 ('MetaCons "Table" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ColumnSpec]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [TableRow]))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TableRow]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [TableRow])))) :+: (C1 ('MetaCons "BlockImage" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Target) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AltText))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Width)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Height)))) :+: C1 ('MetaCons "BlockAudio" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Target))))) :+: ((C1 ('MetaCons "BlockVideo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Target)) :+: (C1 ('MetaCons "TOC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Admonition" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AdmonitionType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Block])))) :+: (C1 ('MetaCons "PageBreak" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ThematicBreak" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Include" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Block]))))))))

Methods

from :: BlockType -> Rep BlockType x Source #

to :: Rep BlockType x -> BlockType Source #

Show BlockType Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> BlockType -> ShowS Source # show :: BlockType -> String Source # showList :: [BlockType] -> ShowS Source #
Eq BlockType Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: BlockType -> BlockType -> Bool Source # (/=) :: BlockType -> BlockType -> Bool Source #
type Rep BlockType Source # |

Instance details

Defined in AsciiDoc.AST

type Rep BlockType = D1 ('MetaData "BlockType" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) ((((C1 ('MetaCons "Section" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Level) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Block]))) :+: (C1 ('MetaCons "DiscreteHeading" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Level) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])) :+: C1 ('MetaCons "Paragraph" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])))) :+: (C1 ('MetaCons "Verse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Attribution)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Block])) :+: (C1 ('MetaCons "LiteralBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "Listing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Language)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SourceLine]))))) :+: ((C1 ('MetaCons "IncludeListing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Language)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [SourceLine])))) :+: (C1 ('MetaCons "ExampleBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Block])) :+: C1 ('MetaCons "QuoteBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Attribution)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Block])))) :+: (C1 ('MetaCons "Sidebar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Block])) :+: (C1 ('MetaCons "OpenBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Block])) :+: C1 ('MetaCons "PassthroughBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))) :+: (((C1 ('MetaCons "MathBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe MathType)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ListType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ListItem])) :+: C1 ('MetaCons "DefinitionList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [([Inline], [Block])])))) :+: (C1 ('MetaCons "Table" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ColumnSpec]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [TableRow]))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TableRow]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [TableRow])))) :+: (C1 ('MetaCons "BlockImage" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Target) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AltText))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Width)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Height)))) :+: C1 ('MetaCons "BlockAudio" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Target))))) :+: ((C1 ('MetaCons "BlockVideo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Target)) :+: (C1 ('MetaCons "TOC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Admonition" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AdmonitionType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Block])))) :+: (C1 ('MetaCons "PageBreak" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ThematicBreak" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Include" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Block]))))))))

newtype BlockTitle Source #

Constructors

BlockTitle [Inline] |

#### Instances

Instances details

FromJSON BlockTitle Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser BlockTitle Source # parseJSONList :: Value -> Parser [BlockTitle] Source # omittedField :: Maybe BlockTitle Source #
ToJSON BlockTitle Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: BlockTitle -> Value Source # toEncoding :: BlockTitle -> Encoding Source # toJSONList :: [BlockTitle] -> Value Source # toEncodingList :: [BlockTitle] -> Encoding Source # omitField :: BlockTitle -> Bool Source #
HasInlines BlockTitle Source # |
Instance details Defined in AsciiDoc.Generic Methods foldInlines :: Monoid m => (Inline -> m) -> BlockTitle -> m Source # mapInlines :: Monad m => (Inline -> m Inline) -> BlockTitle -> m BlockTitle Source #
Data BlockTitle Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BlockTitle -> c BlockTitle Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BlockTitle Source #

toConstr :: BlockTitle -> Constr Source #

dataTypeOf :: BlockTitle -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BlockTitle) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BlockTitle) Source #

gmapT :: (forall b. Data b => b -> b) -> BlockTitle -> BlockTitle Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BlockTitle -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BlockTitle -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> BlockTitle -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> BlockTitle -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BlockTitle -> m BlockTitle Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BlockTitle -> m BlockTitle Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BlockTitle -> m BlockTitle Source #

Generic BlockTitle Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep BlockTitle |
Instance details Defined in AsciiDoc.AST type Rep BlockTitle = D1 ('MetaData "BlockTitle" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "BlockTitle" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])))

Methods

from :: BlockTitle -> Rep BlockTitle x Source #

to :: Rep BlockTitle x -> BlockTitle Source #

Show BlockTitle Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> BlockTitle -> ShowS Source # show :: BlockTitle -> String Source # showList :: [BlockTitle] -> ShowS Source #
Eq BlockTitle Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: BlockTitle -> BlockTitle -> Bool Source # (/=) :: BlockTitle -> BlockTitle -> Bool Source #
type Rep BlockTitle Source # |
Instance details Defined in AsciiDoc.AST type Rep BlockTitle = D1 ('MetaData "BlockTitle" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "BlockTitle" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])))

data Inline Source #

Inline element with attributes

Constructors

Inline Attr InlineType |

#### Instances

Instances details

FromJSON Inline Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Inline Source # parseJSONList :: Value -> Parser [Inline] Source # omittedField :: Maybe Inline Source #
ToJSON Inline Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: Inline -> Value Source # toEncoding :: Inline -> Encoding Source # toJSONList :: [Inline] -> Value Source # toEncodingList :: [Inline] -> Encoding Source # omitField :: Inline -> Bool Source #
HasBlocks Inline Source # |
Instance details Defined in AsciiDoc.Generic Methods foldBlocks :: Monoid m => (Block -> m) -> Inline -> m Source # mapBlocks :: Monad m => (Block -> m Block) -> Inline -> m Inline Source #
HasInlines Inline Source # |
Instance details Defined in AsciiDoc.Generic Methods foldInlines :: Monoid m => (Inline -> m) -> Inline -> m Source # mapInlines :: Monad m => (Inline -> m Inline) -> Inline -> m Inline Source #
Data Inline Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Inline -> c Inline Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Inline Source #

toConstr :: Inline -> Constr Source #

dataTypeOf :: Inline -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Inline) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Inline) Source #

gmapT :: (forall b. Data b => b -> b) -> Inline -> Inline Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Inline -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Inline -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Inline -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Inline -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Inline -> m Inline Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Inline -> m Inline Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Inline -> m Inline Source #

Generic Inline Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep Inline |

Instance details

Defined in AsciiDoc.AST

type Rep Inline = D1 ('MetaData "Inline" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "Inline" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InlineType)))

Methods

from :: Inline -> Rep Inline x Source #

to :: Rep Inline x -> Inline Source #

Show Inline Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> Inline -> ShowS Source # show :: Inline -> String Source # showList :: [Inline] -> ShowS Source #
Eq Inline Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: Inline -> Inline -> Bool Source # (/=) :: Inline -> Inline -> Bool Source #
type Rep Inline Source # |

Instance details

Defined in AsciiDoc.AST

type Rep Inline = D1 ('MetaData "Inline" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "Inline" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InlineType)))

data InlineType Source #

Inline element types

Constructors

Str Text |
HardBreak |
Bold [Inline] |
Italic [Inline] |
Monospace [Inline] |
Superscript [Inline] |
Subscript [Inline] |
Highlight [Inline] |
Strikethrough [Inline] |
DoubleQuoted [Inline] |
SingleQuoted [Inline] |
Math (Maybe MathType) Text |
Icon Text |
Button Text |
Kbd [Text] |
Menu [Text] |
Link LinkType Target [Inline] |
InlineImage Target (Maybe AltText) (Maybe Width) (Maybe Height) |
Footnote (Maybe FootnoteId) [Inline] |
InlineAnchor Text [Inline] |
BibliographyAnchor Text [Inline] |
CrossReference Text (Maybe [Inline]) |
AttributeReference AttributeName |
Span [Inline] |
IndexEntry IndexTerm |
Counter Text CounterType Int |
Passthrough Text |

#### Instances

Instances details

FromJSON InlineType Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser InlineType Source # parseJSONList :: Value -> Parser [InlineType] Source # omittedField :: Maybe InlineType Source #
ToJSON InlineType Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: InlineType -> Value Source # toEncoding :: InlineType -> Encoding Source # toJSONList :: [InlineType] -> Value Source # toEncodingList :: [InlineType] -> Encoding Source # omitField :: InlineType -> Bool Source #
HasBlocks InlineType Source # |
Instance details Defined in AsciiDoc.Generic Methods foldBlocks :: Monoid m => (Block -> m) -> InlineType -> m Source # mapBlocks :: Monad m => (Block -> m Block) -> InlineType -> m InlineType Source #
HasInlines InlineType Source # |
Instance details Defined in AsciiDoc.Generic Methods foldInlines :: Monoid m => (Inline -> m) -> InlineType -> m Source # mapInlines :: Monad m => (Inline -> m Inline) -> InlineType -> m InlineType Source #
Data InlineType Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InlineType -> c InlineType Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InlineType Source #

toConstr :: InlineType -> Constr Source #

dataTypeOf :: InlineType -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c InlineType) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InlineType) Source #

gmapT :: (forall b. Data b => b -> b) -> InlineType -> InlineType Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InlineType -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InlineType -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> InlineType -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> InlineType -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> InlineType -> m InlineType Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InlineType -> m InlineType Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InlineType -> m InlineType Source #

Generic InlineType Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep InlineType |

Instance details

Defined in AsciiDoc.AST

type Rep InlineType = D1 ('MetaData "InlineType" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) ((((C1 ('MetaCons "Str" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "HardBreak" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bold" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])))) :+: (C1 ('MetaCons "Italic" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])) :+: (C1 ('MetaCons "Monospace" '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 "Highlight" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])) :+: C1 ('MetaCons "Strikethrough" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])))) :+: ((C1 ('MetaCons "DoubleQuoted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])) :+: C1 ('MetaCons "SingleQuoted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline]))) :+: (C1 ('MetaCons "Math" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe MathType)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "Icon" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))) :+: (((C1 ('MetaCons "Button" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "Kbd" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])) :+: C1 ('MetaCons "Menu" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))) :+: ((C1 ('MetaCons "Link" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LinkType) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Target) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline]))) :+: C1 ('MetaCons "InlineImage" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Target) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AltText))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Width)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Height))))) :+: (C1 ('MetaCons "Footnote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FootnoteId)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])) :+: C1 ('MetaCons "InlineAnchor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline]))))) :+: ((C1 ('MetaCons "BibliographyAnchor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])) :+: (C1 ('MetaCons "CrossReference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Inline]))) :+: C1 ('MetaCons "AttributeReference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttributeName)))) :+: ((C1 ('MetaCons "Span" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])) :+: C1 ('MetaCons "IndexEntry" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IndexTerm))) :+: (C1 ('MetaCons "Counter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CounterType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) :+: C1 ('MetaCons "Passthrough" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))))

Methods

from :: InlineType -> Rep InlineType x Source #

to :: Rep InlineType x -> InlineType Source #

Show InlineType Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> InlineType -> ShowS Source # show :: InlineType -> String Source # showList :: [InlineType] -> ShowS Source #
Eq InlineType Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: InlineType -> InlineType -> Bool Source # (/=) :: InlineType -> InlineType -> Bool Source #
type Rep InlineType Source # |

Instance details

Defined in AsciiDoc.AST

type Rep InlineType = D1 ('MetaData "InlineType" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) ((((C1 ('MetaCons "Str" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "HardBreak" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bold" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])))) :+: (C1 ('MetaCons "Italic" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])) :+: (C1 ('MetaCons "Monospace" '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 "Highlight" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])) :+: C1 ('MetaCons "Strikethrough" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])))) :+: ((C1 ('MetaCons "DoubleQuoted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])) :+: C1 ('MetaCons "SingleQuoted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline]))) :+: (C1 ('MetaCons "Math" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe MathType)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "Icon" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))) :+: (((C1 ('MetaCons "Button" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "Kbd" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])) :+: C1 ('MetaCons "Menu" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))) :+: ((C1 ('MetaCons "Link" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LinkType) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Target) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline]))) :+: C1 ('MetaCons "InlineImage" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Target) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AltText))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Width)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Height))))) :+: (C1 ('MetaCons "Footnote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FootnoteId)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])) :+: C1 ('MetaCons "InlineAnchor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline]))))) :+: ((C1 ('MetaCons "BibliographyAnchor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])) :+: (C1 ('MetaCons "CrossReference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Inline]))) :+: C1 ('MetaCons "AttributeReference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttributeName)))) :+: ((C1 ('MetaCons "Span" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline])) :+: C1 ('MetaCons "IndexEntry" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IndexTerm))) :+: (C1 ('MetaCons "Counter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CounterType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) :+: C1 ('MetaCons "Passthrough" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))))

data ListType Source #

List types

Constructors

BulletList Level |
OrderedList Level (Maybe Int) |
CheckList |
CalloutList |

#### Instances

Instances details

FromJSON ListType Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser ListType Source # parseJSONList :: Value -> Parser [ListType] Source # omittedField :: Maybe ListType Source #
ToJSON ListType Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: ListType -> Value Source # toEncoding :: ListType -> Encoding Source # toJSONList :: [ListType] -> Value Source # toEncodingList :: [ListType] -> Encoding Source # omitField :: ListType -> Bool Source #
Data ListType Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ListType -> c ListType Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ListType Source #

toConstr :: ListType -> Constr Source #

dataTypeOf :: ListType -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ListType) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ListType) Source #

gmapT :: (forall b. Data b => b -> b) -> ListType -> ListType Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListType -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListType -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> ListType -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ListType -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListType -> m ListType Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListType -> m ListType Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListType -> m ListType Source #

Generic ListType Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep ListType |

Instance details

Defined in AsciiDoc.AST

type Rep ListType = D1 ('MetaData "ListType" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) ((C1 ('MetaCons "BulletList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Level)) :+: C1 ('MetaCons "OrderedList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Level) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)))) :+: (C1 ('MetaCons "CheckList" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CalloutList" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: ListType -> Rep ListType x Source #

to :: Rep ListType x -> ListType Source #

Show ListType Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> ListType -> ShowS Source # show :: ListType -> String Source # showList :: [ListType] -> ShowS Source #
Eq ListType Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: ListType -> ListType -> Bool Source # (/=) :: ListType -> ListType -> Bool Source #
type Rep ListType Source # |

Instance details

Defined in AsciiDoc.AST

type Rep ListType = D1 ('MetaData "ListType" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) ((C1 ('MetaCons "BulletList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Level)) :+: C1 ('MetaCons "OrderedList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Level) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)))) :+: (C1 ('MetaCons "CheckList" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CalloutList" 'PrefixI 'False) (U1 :: Type -> Type)))

data ListItem Source #

A list item

Constructors

ListItem (Maybe CheckboxState) [Block] |

#### Instances

Instances details

FromJSON ListItem Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser ListItem Source # parseJSONList :: Value -> Parser [ListItem] Source # omittedField :: Maybe ListItem Source #
ToJSON ListItem Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: ListItem -> Value Source # toEncoding :: ListItem -> Encoding Source # toJSONList :: [ListItem] -> Value Source # toEncodingList :: [ListItem] -> Encoding Source # omitField :: ListItem -> Bool Source #
HasBlocks ListItem Source # |
Instance details Defined in AsciiDoc.Generic Methods foldBlocks :: Monoid m => (Block -> m) -> ListItem -> m Source # mapBlocks :: Monad m => (Block -> m Block) -> ListItem -> m ListItem Source #
HasInlines ListItem Source # |
Instance details Defined in AsciiDoc.Generic Methods foldInlines :: Monoid m => (Inline -> m) -> ListItem -> m Source # mapInlines :: Monad m => (Inline -> m Inline) -> ListItem -> m ListItem Source #
Data ListItem Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ListItem -> c ListItem Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ListItem Source #

toConstr :: ListItem -> Constr Source #

dataTypeOf :: ListItem -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ListItem) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ListItem) Source #

gmapT :: (forall b. Data b => b -> b) -> ListItem -> ListItem Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListItem -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListItem -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> ListItem -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ListItem -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListItem -> m ListItem Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListItem -> m ListItem Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListItem -> m ListItem Source #

Generic ListItem Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep ListItem |

Instance details

Defined in AsciiDoc.AST

type Rep ListItem = D1 ('MetaData "ListItem" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "ListItem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CheckboxState)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Block])))

Methods

from :: ListItem -> Rep ListItem x Source #

to :: Rep ListItem x -> ListItem Source #

Show ListItem Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> ListItem -> ShowS Source # show :: ListItem -> String Source # showList :: [ListItem] -> ShowS Source #
Eq ListItem Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: ListItem -> ListItem -> Bool Source # (/=) :: ListItem -> ListItem -> Bool Source #
type Rep ListItem Source # |

Instance details

Defined in AsciiDoc.AST

type Rep ListItem = D1 ('MetaData "ListItem" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "ListItem" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CheckboxState)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Block])))

data CheckboxState Source #

Checkbox state for checklists

Constructors

Checked |
Unchecked |

#### Instances

Instances details

FromJSON CheckboxState Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser CheckboxState Source # parseJSONList :: Value -> Parser [CheckboxState] Source # omittedField :: Maybe CheckboxState Source #
ToJSON CheckboxState Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: CheckboxState -> Value Source # toEncoding :: CheckboxState -> Encoding Source # toJSONList :: [CheckboxState] -> Value Source # toEncodingList :: [CheckboxState] -> Encoding Source # omitField :: CheckboxState -> Bool Source #
Data CheckboxState Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CheckboxState -> c CheckboxState Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CheckboxState Source #

toConstr :: CheckboxState -> Constr Source #

dataTypeOf :: CheckboxState -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CheckboxState) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CheckboxState) Source #

gmapT :: (forall b. Data b => b -> b) -> CheckboxState -> CheckboxState Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CheckboxState -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CheckboxState -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> CheckboxState -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CheckboxState -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CheckboxState -> m CheckboxState Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CheckboxState -> m CheckboxState Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CheckboxState -> m CheckboxState Source #

Generic CheckboxState Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep CheckboxState |
Instance details Defined in AsciiDoc.AST type Rep CheckboxState = D1 ('MetaData "CheckboxState" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "Checked" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Unchecked" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: CheckboxState -> Rep CheckboxState x Source #

to :: Rep CheckboxState x -> CheckboxState Source #

Show CheckboxState Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> CheckboxState -> ShowS Source # show :: CheckboxState -> String Source # showList :: [CheckboxState] -> ShowS Source #
Eq CheckboxState Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: CheckboxState -> CheckboxState -> Bool Source # (/=) :: CheckboxState -> CheckboxState -> Bool Source #
type Rep CheckboxState Source # |
Instance details Defined in AsciiDoc.AST type Rep CheckboxState = D1 ('MetaData "CheckboxState" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "Checked" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Unchecked" 'PrefixI 'False) (U1 :: Type -> Type))

data ColumnSpec Source #

Column specification

Constructors

ColumnSpec |

Fields

- colHorizAlign :: Maybe HorizAlign
- colVertAlign :: Maybe VertAlign
- colWidth :: Maybe Int
- colStyle :: Maybe CellStyle

#### Instances

Instances details

FromJSON ColumnSpec Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser ColumnSpec Source # parseJSONList :: Value -> Parser [ColumnSpec] Source # omittedField :: Maybe ColumnSpec Source #
ToJSON ColumnSpec Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: ColumnSpec -> Value Source # toEncoding :: ColumnSpec -> Encoding Source # toJSONList :: [ColumnSpec] -> Value Source # toEncodingList :: [ColumnSpec] -> Encoding Source # omitField :: ColumnSpec -> Bool Source #
Data ColumnSpec Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ColumnSpec -> c ColumnSpec Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ColumnSpec Source #

toConstr :: ColumnSpec -> Constr Source #

dataTypeOf :: ColumnSpec -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ColumnSpec) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ColumnSpec) Source #

gmapT :: (forall b. Data b => b -> b) -> ColumnSpec -> ColumnSpec Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ColumnSpec -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ColumnSpec -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> ColumnSpec -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ColumnSpec -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ColumnSpec -> m ColumnSpec Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ColumnSpec -> m ColumnSpec Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ColumnSpec -> m ColumnSpec Source #

Generic ColumnSpec Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep ColumnSpec |

Instance details

Defined in AsciiDoc.AST

type Rep ColumnSpec = D1 ('MetaData "ColumnSpec" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "ColumnSpec" 'PrefixI 'True) ((S1 ('MetaSel ('Just "colHorizAlign") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe HorizAlign)) :*: S1 ('MetaSel ('Just "colVertAlign") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe VertAlign))) :*: (S1 ('MetaSel ('Just "colWidth") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)) :*: S1 ('MetaSel ('Just "colStyle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CellStyle)))))

Methods

from :: ColumnSpec -> Rep ColumnSpec x Source #

to :: Rep ColumnSpec x -> ColumnSpec Source #

Show ColumnSpec Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> ColumnSpec -> ShowS Source # show :: ColumnSpec -> String Source # showList :: [ColumnSpec] -> ShowS Source #
Eq ColumnSpec Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: ColumnSpec -> ColumnSpec -> Bool Source # (/=) :: ColumnSpec -> ColumnSpec -> Bool Source #
type Rep ColumnSpec Source # |

Instance details

Defined in AsciiDoc.AST

type Rep ColumnSpec = D1 ('MetaData "ColumnSpec" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "ColumnSpec" 'PrefixI 'True) ((S1 ('MetaSel ('Just "colHorizAlign") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe HorizAlign)) :*: S1 ('MetaSel ('Just "colVertAlign") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe VertAlign))) :*: (S1 ('MetaSel ('Just "colWidth") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)) :*: S1 ('MetaSel ('Just "colStyle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CellStyle)))))

data CellStyle Source #

Defines how cell contents are parsed

Constructors

AsciiDocStyle |
DefaultStyle |
EmphasisStyle |
LiteralStyle |
HeaderStyle |
MonospaceStyle |
StrongStyle |

#### Instances

Instances details

FromJSON CellStyle Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser CellStyle Source # parseJSONList :: Value -> Parser [CellStyle] Source # omittedField :: Maybe CellStyle Source #
ToJSON CellStyle Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: CellStyle -> Value Source # toEncoding :: CellStyle -> Encoding Source # toJSONList :: [CellStyle] -> Value Source # toEncodingList :: [CellStyle] -> Encoding Source # omitField :: CellStyle -> Bool Source #
Data CellStyle Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CellStyle -> c CellStyle Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CellStyle Source #

toConstr :: CellStyle -> Constr Source #

dataTypeOf :: CellStyle -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CellStyle) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CellStyle) Source #

gmapT :: (forall b. Data b => b -> b) -> CellStyle -> CellStyle Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CellStyle -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CellStyle -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> CellStyle -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CellStyle -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CellStyle -> m CellStyle Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CellStyle -> m CellStyle Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CellStyle -> m CellStyle Source #

Generic CellStyle Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep CellStyle |

Instance details

Defined in AsciiDoc.AST

type Rep CellStyle = D1 ('MetaData "CellStyle" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) ((C1 ('MetaCons "AsciiDocStyle" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DefaultStyle" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EmphasisStyle" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LiteralStyle" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HeaderStyle" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MonospaceStyle" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StrongStyle" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: CellStyle -> Rep CellStyle x Source #

to :: Rep CellStyle x -> CellStyle Source #

Show CellStyle Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> CellStyle -> ShowS Source # show :: CellStyle -> String Source # showList :: [CellStyle] -> ShowS Source #
Eq CellStyle Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: CellStyle -> CellStyle -> Bool Source # (/=) :: CellStyle -> CellStyle -> Bool Source #
type Rep CellStyle Source # |

Instance details

Defined in AsciiDoc.AST

type Rep CellStyle = D1 ('MetaData "CellStyle" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) ((C1 ('MetaCons "AsciiDocStyle" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DefaultStyle" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EmphasisStyle" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LiteralStyle" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HeaderStyle" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MonospaceStyle" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StrongStyle" 'PrefixI 'False) (U1 :: Type -> Type))))

newtype TableRow Source #

Table row

Constructors

TableRow [TableCell] |

#### Instances

Instances details

FromJSON TableRow Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser TableRow Source # parseJSONList :: Value -> Parser [TableRow] Source # omittedField :: Maybe TableRow Source #
ToJSON TableRow Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: TableRow -> Value Source # toEncoding :: TableRow -> Encoding Source # toJSONList :: [TableRow] -> Value Source # toEncodingList :: [TableRow] -> Encoding Source # omitField :: TableRow -> Bool Source #
HasBlocks TableRow Source # |
Instance details Defined in AsciiDoc.Generic Methods foldBlocks :: Monoid m => (Block -> m) -> TableRow -> m Source # mapBlocks :: Monad m => (Block -> m Block) -> TableRow -> m TableRow Source #
HasInlines TableRow Source # |
Instance details Defined in AsciiDoc.Generic Methods foldInlines :: Monoid m => (Inline -> m) -> TableRow -> m Source # mapInlines :: Monad m => (Inline -> m Inline) -> TableRow -> m TableRow Source #
Data TableRow Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TableRow -> c TableRow Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TableRow Source #

toConstr :: TableRow -> Constr Source #

dataTypeOf :: TableRow -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TableRow) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TableRow) Source #

gmapT :: (forall b. Data b => b -> b) -> TableRow -> TableRow Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TableRow -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TableRow -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> TableRow -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> TableRow -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TableRow -> m TableRow Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TableRow -> m TableRow Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TableRow -> m TableRow Source #

Generic TableRow Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep TableRow |
Instance details Defined in AsciiDoc.AST type Rep TableRow = D1 ('MetaData "TableRow" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "TableRow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TableCell])))

Methods

from :: TableRow -> Rep TableRow x Source #

to :: Rep TableRow x -> TableRow Source #

Show TableRow Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> TableRow -> ShowS Source # show :: TableRow -> String Source # showList :: [TableRow] -> ShowS Source #
Eq TableRow Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: TableRow -> TableRow -> Bool Source # (/=) :: TableRow -> TableRow -> Bool Source #
type Rep TableRow Source # |
Instance details Defined in AsciiDoc.AST type Rep TableRow = D1 ('MetaData "TableRow" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "TableRow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TableCell])))

data TableCell Source #

Table cell

Constructors

TableCell |

Fields

- cellContent :: [Block]
- cellHorizAlign :: Maybe HorizAlign
- cellVertAlign :: Maybe VertAlign
- cellColspan :: Int
- cellRowspan :: Int

#### Instances

Instances details

FromJSON TableCell Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser TableCell Source # parseJSONList :: Value -> Parser [TableCell] Source # omittedField :: Maybe TableCell Source #
ToJSON TableCell Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: TableCell -> Value Source # toEncoding :: TableCell -> Encoding Source # toJSONList :: [TableCell] -> Value Source # toEncodingList :: [TableCell] -> Encoding Source # omitField :: TableCell -> Bool Source #
HasBlocks TableCell Source # |
Instance details Defined in AsciiDoc.Generic Methods foldBlocks :: Monoid m => (Block -> m) -> TableCell -> m Source # mapBlocks :: Monad m => (Block -> m Block) -> TableCell -> m TableCell Source #
HasInlines TableCell Source # |
Instance details Defined in AsciiDoc.Generic Methods foldInlines :: Monoid m => (Inline -> m) -> TableCell -> m Source # mapInlines :: Monad m => (Inline -> m Inline) -> TableCell -> m TableCell Source #
Data TableCell Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TableCell -> c TableCell Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TableCell Source #

toConstr :: TableCell -> Constr Source #

dataTypeOf :: TableCell -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TableCell) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TableCell) Source #

gmapT :: (forall b. Data b => b -> b) -> TableCell -> TableCell Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TableCell -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TableCell -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> TableCell -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> TableCell -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TableCell -> m TableCell Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TableCell -> m TableCell Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TableCell -> m TableCell Source #

Generic TableCell Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep TableCell |

Instance details

Defined in AsciiDoc.AST

type Rep TableCell = D1 ('MetaData "TableCell" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "TableCell" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cellContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Block]) :*: S1 ('MetaSel ('Just "cellHorizAlign") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe HorizAlign))) :*: (S1 ('MetaSel ('Just "cellVertAlign") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe VertAlign)) :*: (S1 ('MetaSel ('Just "cellColspan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "cellRowspan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))))

Methods

from :: TableCell -> Rep TableCell x Source #

to :: Rep TableCell x -> TableCell Source #

Show TableCell Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> TableCell -> ShowS Source # show :: TableCell -> String Source # showList :: [TableCell] -> ShowS Source #
Eq TableCell Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: TableCell -> TableCell -> Bool Source # (/=) :: TableCell -> TableCell -> Bool Source #
type Rep TableCell Source # |

Instance details

Defined in AsciiDoc.AST

type Rep TableCell = D1 ('MetaData "TableCell" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "TableCell" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cellContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Block]) :*: S1 ('MetaSel ('Just "cellHorizAlign") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe HorizAlign))) :*: (S1 ('MetaSel ('Just "cellVertAlign") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe VertAlign)) :*: (S1 ('MetaSel ('Just "cellColspan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "cellRowspan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))))

data HorizAlign Source #

Cell alignment

Constructors

AlignLeft |
AlignCenter |
AlignRight |

#### Instances

Instances details

FromJSON HorizAlign Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser HorizAlign Source # parseJSONList :: Value -> Parser [HorizAlign] Source # omittedField :: Maybe HorizAlign Source #
ToJSON HorizAlign Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: HorizAlign -> Value Source # toEncoding :: HorizAlign -> Encoding Source # toJSONList :: [HorizAlign] -> Value Source # toEncodingList :: [HorizAlign] -> Encoding Source # omitField :: HorizAlign -> Bool Source #
Data HorizAlign Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HorizAlign -> c HorizAlign Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c HorizAlign Source #

toConstr :: HorizAlign -> Constr Source #

dataTypeOf :: HorizAlign -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c HorizAlign) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c HorizAlign) Source #

gmapT :: (forall b. Data b => b -> b) -> HorizAlign -> HorizAlign Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HorizAlign -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HorizAlign -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> HorizAlign -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> HorizAlign -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> HorizAlign -> m HorizAlign Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HorizAlign -> m HorizAlign Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HorizAlign -> m HorizAlign Source #

Generic HorizAlign Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep HorizAlign |
Instance details Defined in AsciiDoc.AST type Rep HorizAlign = D1 ('MetaData "HorizAlign" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "AlignLeft" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AlignCenter" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlignRight" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: HorizAlign -> Rep HorizAlign x Source #

to :: Rep HorizAlign x -> HorizAlign Source #

Show HorizAlign Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> HorizAlign -> ShowS Source # show :: HorizAlign -> String Source # showList :: [HorizAlign] -> ShowS Source #
Eq HorizAlign Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: HorizAlign -> HorizAlign -> Bool Source # (/=) :: HorizAlign -> HorizAlign -> Bool Source #
type Rep HorizAlign Source # |
Instance details Defined in AsciiDoc.AST type Rep HorizAlign = D1 ('MetaData "HorizAlign" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "AlignLeft" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AlignCenter" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlignRight" 'PrefixI 'False) (U1 :: Type -> Type)))

data VertAlign Source #

Constructors

AlignTop |
AlignMiddle |
AlignBottom |

#### Instances

Instances details

FromJSON VertAlign Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser VertAlign Source # parseJSONList :: Value -> Parser [VertAlign] Source # omittedField :: Maybe VertAlign Source #
ToJSON VertAlign Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: VertAlign -> Value Source # toEncoding :: VertAlign -> Encoding Source # toJSONList :: [VertAlign] -> Value Source # toEncodingList :: [VertAlign] -> Encoding Source # omitField :: VertAlign -> Bool Source #
Data VertAlign Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> VertAlign -> c VertAlign Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VertAlign Source #

toConstr :: VertAlign -> Constr Source #

dataTypeOf :: VertAlign -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c VertAlign) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VertAlign) Source #

gmapT :: (forall b. Data b => b -> b) -> VertAlign -> VertAlign Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VertAlign -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VertAlign -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> VertAlign -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> VertAlign -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> VertAlign -> m VertAlign Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VertAlign -> m VertAlign Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VertAlign -> m VertAlign Source #

Generic VertAlign Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep VertAlign |
Instance details Defined in AsciiDoc.AST type Rep VertAlign = D1 ('MetaData "VertAlign" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "AlignTop" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AlignMiddle" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlignBottom" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: VertAlign -> Rep VertAlign x Source #

to :: Rep VertAlign x -> VertAlign Source #

Show VertAlign Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> VertAlign -> ShowS Source # show :: VertAlign -> String Source # showList :: [VertAlign] -> ShowS Source #
Eq VertAlign Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: VertAlign -> VertAlign -> Bool Source # (/=) :: VertAlign -> VertAlign -> Bool Source #
type Rep VertAlign Source # |
Instance details Defined in AsciiDoc.AST type Rep VertAlign = D1 ('MetaData "VertAlign" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "AlignTop" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AlignMiddle" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlignBottom" 'PrefixI 'False) (U1 :: Type -> Type)))

data AdmonitionType Source #

Types of admonitions

Constructors

Note |
Tip |
Important |
Caution |
Warning |

#### Instances

Instances details

FromJSON AdmonitionType Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser AdmonitionType Source # parseJSONList :: Value -> Parser [AdmonitionType] Source # omittedField :: Maybe AdmonitionType Source #
ToJSON AdmonitionType Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: AdmonitionType -> Value Source # toEncoding :: AdmonitionType -> Encoding Source # toJSONList :: [AdmonitionType] -> Value Source # toEncodingList :: [AdmonitionType] -> Encoding Source # omitField :: AdmonitionType -> Bool Source #
Data AdmonitionType Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AdmonitionType -> c AdmonitionType Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AdmonitionType Source #

toConstr :: AdmonitionType -> Constr Source #

dataTypeOf :: AdmonitionType -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AdmonitionType) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AdmonitionType) Source #

gmapT :: (forall b. Data b => b -> b) -> AdmonitionType -> AdmonitionType Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AdmonitionType -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AdmonitionType -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> AdmonitionType -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> AdmonitionType -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AdmonitionType -> m AdmonitionType Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AdmonitionType -> m AdmonitionType Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AdmonitionType -> m AdmonitionType Source #

Generic AdmonitionType Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep AdmonitionType |

Instance details

Defined in AsciiDoc.AST

type Rep AdmonitionType = D1 ('MetaData "AdmonitionType" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) ((C1 ('MetaCons "Note" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Tip" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Important" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Caution" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Warning" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: AdmonitionType -> Rep AdmonitionType x Source #

to :: Rep AdmonitionType x -> AdmonitionType Source #

Show AdmonitionType Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> AdmonitionType -> ShowS Source # show :: AdmonitionType -> String Source # showList :: [AdmonitionType] -> ShowS Source #
Eq AdmonitionType Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: AdmonitionType -> AdmonitionType -> Bool Source # (/=) :: AdmonitionType -> AdmonitionType -> Bool Source #
type Rep AdmonitionType Source # |

Instance details

Defined in AsciiDoc.AST

type Rep AdmonitionType = D1 ('MetaData "AdmonitionType" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) ((C1 ('MetaCons "Note" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Tip" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Important" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Caution" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Warning" 'PrefixI 'False) (U1 :: Type -> Type))))

newtype Target Source #

Link or image target

Constructors

Target Text |

#### Instances

Instances details

FromJSON Target Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Target Source # parseJSONList :: Value -> Parser [Target] Source # omittedField :: Maybe Target Source #
ToJSON Target Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: Target -> Value Source # toEncoding :: Target -> Encoding Source # toJSONList :: [Target] -> Value Source # toEncodingList :: [Target] -> Encoding Source # omitField :: Target -> Bool Source #
Data Target Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Target -> c Target Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Target Source #

toConstr :: Target -> Constr Source #

dataTypeOf :: Target -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Target) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Target) Source #

gmapT :: (forall b. Data b => b -> b) -> Target -> Target Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Target -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Target -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Target -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Target -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Target -> m Target Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Target -> m Target Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Target -> m Target Source #

Generic Target Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep Target |
Instance details Defined in AsciiDoc.AST type Rep Target = D1 ('MetaData "Target" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "Target" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: Target -> Rep Target x Source #

to :: Rep Target x -> Target Source #

Show Target Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> Target -> ShowS Source # show :: Target -> String Source # showList :: [Target] -> ShowS Source #
Eq Target Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: Target -> Target -> Bool Source # (/=) :: Target -> Target -> Bool Source #
type Rep Target Source # |
Instance details Defined in AsciiDoc.AST type Rep Target = D1 ('MetaData "Target" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "Target" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data LinkType Source #

Link types

Constructors

URLLink |
EmailLink |

#### Instances

Instances details

FromJSON LinkType Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser LinkType Source # parseJSONList :: Value -> Parser [LinkType] Source # omittedField :: Maybe LinkType Source #
ToJSON LinkType Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: LinkType -> Value Source # toEncoding :: LinkType -> Encoding Source # toJSONList :: [LinkType] -> Value Source # toEncodingList :: [LinkType] -> Encoding Source # omitField :: LinkType -> Bool Source #
Data LinkType Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LinkType -> c LinkType Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LinkType Source #

toConstr :: LinkType -> Constr Source #

dataTypeOf :: LinkType -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LinkType) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LinkType) Source #

gmapT :: (forall b. Data b => b -> b) -> LinkType -> LinkType Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LinkType -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LinkType -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> LinkType -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> LinkType -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LinkType -> m LinkType Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LinkType -> m LinkType Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LinkType -> m LinkType Source #

Generic LinkType Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep LinkType |
Instance details Defined in AsciiDoc.AST type Rep LinkType = D1 ('MetaData "LinkType" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "URLLink" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EmailLink" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: LinkType -> Rep LinkType x Source #

to :: Rep LinkType x -> LinkType Source #

Show LinkType Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> LinkType -> ShowS Source # show :: LinkType -> String Source # showList :: [LinkType] -> ShowS Source #
Eq LinkType Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: LinkType -> LinkType -> Bool Source # (/=) :: LinkType -> LinkType -> Bool Source #
type Rep LinkType Source # |
Instance details Defined in AsciiDoc.AST type Rep LinkType = D1 ('MetaData "LinkType" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "URLLink" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EmailLink" 'PrefixI 'False) (U1 :: Type -> Type))

data MathType Source #

Constructors

AsciiMath |
LaTeXMath |

#### Instances

Instances details

FromJSON MathType Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser MathType Source # parseJSONList :: Value -> Parser [MathType] Source # omittedField :: Maybe MathType Source #
ToJSON MathType Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: MathType -> Value Source # toEncoding :: MathType -> Encoding Source # toJSONList :: [MathType] -> Value Source # toEncodingList :: [MathType] -> Encoding Source # omitField :: MathType -> Bool Source #
Data MathType Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MathType -> c MathType Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MathType Source #

toConstr :: MathType -> Constr Source #

dataTypeOf :: MathType -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MathType) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MathType) Source #

gmapT :: (forall b. Data b => b -> b) -> MathType -> MathType Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MathType -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MathType -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> MathType -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MathType -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MathType -> m MathType Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MathType -> m MathType Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MathType -> m MathType Source #

Generic MathType Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep MathType |
Instance details Defined in AsciiDoc.AST type Rep MathType = D1 ('MetaData "MathType" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "AsciiMath" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LaTeXMath" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: MathType -> Rep MathType x Source #

to :: Rep MathType x -> MathType Source #

Show MathType Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> MathType -> ShowS Source # show :: MathType -> String Source # showList :: [MathType] -> ShowS Source #
Eq MathType Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: MathType -> MathType -> Bool Source # (/=) :: MathType -> MathType -> Bool Source #
type Rep MathType Source # |
Instance details Defined in AsciiDoc.AST type Rep MathType = D1 ('MetaData "MathType" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "AsciiMath" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LaTeXMath" 'PrefixI 'False) (U1 :: Type -> Type))

data Attr Source #

Attributes attached to an element. The first parameter stores positional attributes in order. The second parameter stores named attributes (including special keys like idroleoptions) in a map.

Constructors

Attr [Text] (Map Text Text) |

#### Instances

Instances details

FromJSON Attr Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Attr Source # parseJSONList :: Value -> Parser [Attr] Source # omittedField :: Maybe Attr Source #
ToJSON Attr Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: Attr -> Value Source # toEncoding :: Attr -> Encoding Source # toJSONList :: [Attr] -> Value Source # toEncodingList :: [Attr] -> Encoding Source # omitField :: Attr -> Bool Source #
Monoid Attr Source # |
Instance details Defined in AsciiDoc.AST Methods mempty :: Attr Source # mappend :: Attr -> Attr -> Attr Source # mconcat :: [Attr] -> Attr Source #
Semigroup Attr Source # |
Instance details Defined in AsciiDoc.AST Methods (<>) :: Attr -> Attr -> Attr Source # sconcat :: NonEmpty Attr -> Attr Source # stimes :: Integral b => b -> Attr -> Attr Source #
Data Attr Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Attr -> c Attr Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Attr Source #

toConstr :: Attr -> Constr Source #

dataTypeOf :: Attr -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Attr) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Attr) Source #

gmapT :: (forall b. Data b => b -> b) -> Attr -> Attr Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Attr -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Attr -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Attr -> m Attr Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr Source #

Generic Attr Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep Attr |

Instance details

Defined in AsciiDoc.AST

type Rep Attr = D1 ('MetaData "Attr" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "Attr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Text Text))))

Methods

from :: Attr -> Rep Attr x Source #

to :: Rep Attr x -> Attr Source #

Show Attr Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> Attr -> ShowS Source # show :: Attr -> String Source # showList :: [Attr] -> ShowS Source #
Eq Attr Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: Attr -> Attr -> Bool Source # (/=) :: Attr -> Attr -> Bool Source #
type Rep Attr Source # |

Instance details

Defined in AsciiDoc.AST

type Rep Attr = D1 ('MetaData "Attr" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "Attr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Text Text))))

attrNull :: Attr -> Bool Source #

newtype Level Source #

Nesting or section level

Constructors

Level Int |

#### Instances

Instances details

FromJSON Level Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Level Source # parseJSONList :: Value -> Parser [Level] Source # omittedField :: Maybe Level Source #
ToJSON Level Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: Level -> Value Source # toEncoding :: Level -> Encoding Source # toJSONList :: [Level] -> Value Source # toEncodingList :: [Level] -> Encoding Source # omitField :: Level -> Bool Source #
Data Level Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Level -> c Level Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Level Source #

toConstr :: Level -> Constr Source #

dataTypeOf :: Level -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Level) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Level) Source #

gmapT :: (forall b. Data b => b -> b) -> Level -> Level Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Level -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Level -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Level -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Level -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Level -> m Level Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Level -> m Level Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Level -> m Level Source #

Generic Level Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep Level |
Instance details Defined in AsciiDoc.AST type Rep Level = D1 ('MetaData "Level" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "Level" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from :: Level -> Rep Level x Source #

to :: Rep Level x -> Level Source #

Show Level Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> Level -> ShowS Source # show :: Level -> String Source # showList :: [Level] -> ShowS Source #
Eq Level Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: Level -> Level -> Bool Source # (/=) :: Level -> Level -> Bool Source #
Ord Level Source # |
Instance details Defined in AsciiDoc.AST Methods compare :: Level -> Level -> Ordering Source # (<) :: Level -> Level -> Bool Source # (<=) :: Level -> Level -> Bool Source # (>) :: Level -> Level -> Bool Source # (>=) :: Level -> Level -> Bool Source # max :: Level -> Level -> Level Source # min :: Level -> Level -> Level Source #
type Rep Level Source # |
Instance details Defined in AsciiDoc.AST type Rep Level = D1 ('MetaData "Level" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "Level" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

newtype Language Source #

Programming or markup language identifier

Constructors

Language Text |

#### Instances

Instances details

FromJSON Language Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Language Source # parseJSONList :: Value -> Parser [Language] Source # omittedField :: Maybe Language Source #
ToJSON Language Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: Language -> Value Source # toEncoding :: Language -> Encoding Source # toJSONList :: [Language] -> Value Source # toEncodingList :: [Language] -> Encoding Source # omitField :: Language -> Bool Source #
Data Language Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Language -> c Language Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Language Source #

toConstr :: Language -> Constr Source #

dataTypeOf :: Language -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Language) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Language) Source #

gmapT :: (forall b. Data b => b -> b) -> Language -> Language Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Language -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Language -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Language -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Language -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Language -> m Language Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Language -> m Language Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Language -> m Language Source #

Generic Language Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep Language |
Instance details Defined in AsciiDoc.AST type Rep Language = D1 ('MetaData "Language" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "Language" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: Language -> Rep Language x Source #

to :: Rep Language x -> Language Source #

Show Language Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> Language -> ShowS Source # show :: Language -> String Source # showList :: [Language] -> ShowS Source #
Eq Language Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: Language -> Language -> Bool Source # (/=) :: Language -> Language -> Bool Source #
Ord Language Source # |
Instance details Defined in AsciiDoc.AST Methods compare :: Language -> Language -> Ordering Source # (<) :: Language -> Language -> Bool Source # (<=) :: Language -> Language -> Bool Source # (>) :: Language -> Language -> Bool Source # (>=) :: Language -> Language -> Bool Source # max :: Language -> Language -> Language Source # min :: Language -> Language -> Language Source #
type Rep Language Source # |
Instance details Defined in AsciiDoc.AST type Rep Language = D1 ('MetaData "Language" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "Language" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype Attribution Source #

Attribution for quotes

Constructors

Attribution Text |

#### Instances

Instances details

FromJSON Attribution Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Attribution Source # parseJSONList :: Value -> Parser [Attribution] Source # omittedField :: Maybe Attribution Source #
ToJSON Attribution Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: Attribution -> Value Source # toEncoding :: Attribution -> Encoding Source # toJSONList :: [Attribution] -> Value Source # toEncodingList :: [Attribution] -> Encoding Source # omitField :: Attribution -> Bool Source #
Data Attribution Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Attribution -> c Attribution Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Attribution Source #

toConstr :: Attribution -> Constr Source #

dataTypeOf :: Attribution -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Attribution) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Attribution) Source #

gmapT :: (forall b. Data b => b -> b) -> Attribution -> Attribution Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Attribution -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attribution -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Attribution -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Attribution -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Attribution -> m Attribution Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Attribution -> m Attribution Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Attribution -> m Attribution Source #

Generic Attribution Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep Attribution |
Instance details Defined in AsciiDoc.AST type Rep Attribution = D1 ('MetaData "Attribution" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "Attribution" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: Attribution -> Rep Attribution x Source #

to :: Rep Attribution x -> Attribution Source #

Show Attribution Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> Attribution -> ShowS Source # show :: Attribution -> String Source # showList :: [Attribution] -> ShowS Source #
Eq Attribution Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: Attribution -> Attribution -> Bool Source # (/=) :: Attribution -> Attribution -> Bool Source #
Ord Attribution Source # |

Instance details

Defined in AsciiDoc.AST

Methods

compare :: Attribution -> Attribution -> Ordering Source #

(<) :: Attribution -> Attribution -> Bool Source #

(<=) :: Attribution -> Attribution -> Bool Source #

(>) :: Attribution -> Attribution -> Bool Source #

(>=) :: Attribution -> Attribution -> Bool Source #

max :: Attribution -> Attribution -> Attribution Source #

min :: Attribution -> Attribution -> Attribution Source #

type Rep Attribution Source # |
Instance details Defined in AsciiDoc.AST type Rep Attribution = D1 ('MetaData "Attribution" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "Attribution" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype AltText Source #

Alternative text for images

Constructors

AltText Text |

#### Instances

Instances details

FromJSON AltText Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser AltText Source # parseJSONList :: Value -> Parser [AltText] Source # omittedField :: Maybe AltText Source #
ToJSON AltText Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: AltText -> Value Source # toEncoding :: AltText -> Encoding Source # toJSONList :: [AltText] -> Value Source # toEncodingList :: [AltText] -> Encoding Source # omitField :: AltText -> Bool Source #
Data AltText Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AltText -> c AltText Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AltText Source #

toConstr :: AltText -> Constr Source #

dataTypeOf :: AltText -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AltText) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AltText) Source #

gmapT :: (forall b. Data b => b -> b) -> AltText -> AltText Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AltText -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AltText -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> AltText -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> AltText -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AltText -> m AltText Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AltText -> m AltText Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AltText -> m AltText Source #

Generic AltText Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep AltText |
Instance details Defined in AsciiDoc.AST type Rep AltText = D1 ('MetaData "AltText" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "AltText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: AltText -> Rep AltText x Source #

to :: Rep AltText x -> AltText Source #

Show AltText Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> AltText -> ShowS Source # show :: AltText -> String Source # showList :: [AltText] -> ShowS Source #
Eq AltText Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: AltText -> AltText -> Bool Source # (/=) :: AltText -> AltText -> Bool Source #
Ord AltText Source # |
Instance details Defined in AsciiDoc.AST Methods compare :: AltText -> AltText -> Ordering Source # (<) :: AltText -> AltText -> Bool Source # (<=) :: AltText -> AltText -> Bool Source # (>) :: AltText -> AltText -> Bool Source # (>=) :: AltText -> AltText -> Bool Source # max :: AltText -> AltText -> AltText Source # min :: AltText -> AltText -> AltText Source #
type Rep AltText Source # |
Instance details Defined in AsciiDoc.AST type Rep AltText = D1 ('MetaData "AltText" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "AltText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype Width Source #

Width specification in pixels

Constructors

Width Int |

#### Instances

Instances details

FromJSON Width Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Width Source # parseJSONList :: Value -> Parser [Width] Source # omittedField :: Maybe Width Source #
ToJSON Width Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: Width -> Value Source # toEncoding :: Width -> Encoding Source # toJSONList :: [Width] -> Value Source # toEncodingList :: [Width] -> Encoding Source # omitField :: Width -> Bool Source #
Data Width Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Width -> c Width Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Width Source #

toConstr :: Width -> Constr Source #

dataTypeOf :: Width -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Width) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Width) Source #

gmapT :: (forall b. Data b => b -> b) -> Width -> Width Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Width -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Width -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Width -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Width -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Width -> m Width Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Width -> m Width Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Width -> m Width Source #

Generic Width Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep Width |
Instance details Defined in AsciiDoc.AST type Rep Width = D1 ('MetaData "Width" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "Width" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from :: Width -> Rep Width x Source #

to :: Rep Width x -> Width Source #

Show Width Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> Width -> ShowS Source # show :: Width -> String Source # showList :: [Width] -> ShowS Source #
Eq Width Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: Width -> Width -> Bool Source # (/=) :: Width -> Width -> Bool Source #
Ord Width Source # |
Instance details Defined in AsciiDoc.AST Methods compare :: Width -> Width -> Ordering Source # (<) :: Width -> Width -> Bool Source # (<=) :: Width -> Width -> Bool Source # (>) :: Width -> Width -> Bool Source # (>=) :: Width -> Width -> Bool Source # max :: Width -> Width -> Width Source # min :: Width -> Width -> Width Source #
type Rep Width Source # |
Instance details Defined in AsciiDoc.AST type Rep Width = D1 ('MetaData "Width" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "Width" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

newtype Height Source #

Height specification in pixels

Constructors

Height Int |

#### Instances

Instances details

FromJSON Height Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Height Source # parseJSONList :: Value -> Parser [Height] Source # omittedField :: Maybe Height Source #
ToJSON Height Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: Height -> Value Source # toEncoding :: Height -> Encoding Source # toJSONList :: [Height] -> Value Source # toEncodingList :: [Height] -> Encoding Source # omitField :: Height -> Bool Source #
Data Height Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Height -> c Height Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Height Source #

toConstr :: Height -> Constr Source #

dataTypeOf :: Height -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Height) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Height) Source #

gmapT :: (forall b. Data b => b -> b) -> Height -> Height Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Height -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Height -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Height -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Height -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Height -> m Height Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Height -> m Height Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Height -> m Height Source #

Generic Height Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep Height |
Instance details Defined in AsciiDoc.AST type Rep Height = D1 ('MetaData "Height" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "Height" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from :: Height -> Rep Height x Source #

to :: Rep Height x -> Height Source #

Show Height Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> Height -> ShowS Source # show :: Height -> String Source # showList :: [Height] -> ShowS Source #
Eq Height Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: Height -> Height -> Bool Source # (/=) :: Height -> Height -> Bool Source #
Ord Height Source # |
Instance details Defined in AsciiDoc.AST Methods compare :: Height -> Height -> Ordering Source # (<) :: Height -> Height -> Bool Source # (<=) :: Height -> Height -> Bool Source # (>) :: Height -> Height -> Bool Source # (>=) :: Height -> Height -> Bool Source # max :: Height -> Height -> Height Source # min :: Height -> Height -> Height Source #
type Rep Height Source # |
Instance details Defined in AsciiDoc.AST type Rep Height = D1 ('MetaData "Height" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "Height" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

newtype FootnoteId Source #

Footnote identifier

Constructors

FootnoteId Text |

#### Instances

Instances details

FromJSON FootnoteId Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser FootnoteId Source # parseJSONList :: Value -> Parser [FootnoteId] Source # omittedField :: Maybe FootnoteId Source #
ToJSON FootnoteId Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: FootnoteId -> Value Source # toEncoding :: FootnoteId -> Encoding Source # toJSONList :: [FootnoteId] -> Value Source # toEncodingList :: [FootnoteId] -> Encoding Source # omitField :: FootnoteId -> Bool Source #
Data FootnoteId Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FootnoteId -> c FootnoteId Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FootnoteId Source #

toConstr :: FootnoteId -> Constr Source #

dataTypeOf :: FootnoteId -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FootnoteId) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FootnoteId) Source #

gmapT :: (forall b. Data b => b -> b) -> FootnoteId -> FootnoteId Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FootnoteId -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FootnoteId -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> FootnoteId -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> FootnoteId -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FootnoteId -> m FootnoteId Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FootnoteId -> m FootnoteId Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FootnoteId -> m FootnoteId Source #

Generic FootnoteId Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep FootnoteId |
Instance details Defined in AsciiDoc.AST type Rep FootnoteId = D1 ('MetaData "FootnoteId" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "FootnoteId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: FootnoteId -> Rep FootnoteId x Source #

to :: Rep FootnoteId x -> FootnoteId Source #

Show FootnoteId Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> FootnoteId -> ShowS Source # show :: FootnoteId -> String Source # showList :: [FootnoteId] -> ShowS Source #
Eq FootnoteId Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: FootnoteId -> FootnoteId -> Bool Source # (/=) :: FootnoteId -> FootnoteId -> Bool Source #
Ord FootnoteId Source # |

Instance details

Defined in AsciiDoc.AST

Methods

compare :: FootnoteId -> FootnoteId -> Ordering Source #

(<) :: FootnoteId -> FootnoteId -> Bool Source #

(<=) :: FootnoteId -> FootnoteId -> Bool Source #

(>) :: FootnoteId -> FootnoteId -> Bool Source #

(>=) :: FootnoteId -> FootnoteId -> Bool Source #

max :: FootnoteId -> FootnoteId -> FootnoteId Source #

min :: FootnoteId -> FootnoteId -> FootnoteId Source #

type Rep FootnoteId Source # |
Instance details Defined in AsciiDoc.AST type Rep FootnoteId = D1 ('MetaData "FootnoteId" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "FootnoteId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype AttributeName Source #

Attribute name

Constructors

AttributeName Text |

#### Instances

Instances details

FromJSON AttributeName Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser AttributeName Source # parseJSONList :: Value -> Parser [AttributeName] Source # omittedField :: Maybe AttributeName Source #
ToJSON AttributeName Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: AttributeName -> Value Source # toEncoding :: AttributeName -> Encoding Source # toJSONList :: [AttributeName] -> Value Source # toEncodingList :: [AttributeName] -> Encoding Source # omitField :: AttributeName -> Bool Source #
Data AttributeName Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AttributeName -> c AttributeName Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AttributeName Source #

toConstr :: AttributeName -> Constr Source #

dataTypeOf :: AttributeName -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AttributeName) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AttributeName) Source #

gmapT :: (forall b. Data b => b -> b) -> AttributeName -> AttributeName Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AttributeName -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AttributeName -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> AttributeName -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> AttributeName -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AttributeName -> m AttributeName Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AttributeName -> m AttributeName Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AttributeName -> m AttributeName Source #

Generic AttributeName Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep AttributeName |
Instance details Defined in AsciiDoc.AST type Rep AttributeName = D1 ('MetaData "AttributeName" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "AttributeName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: AttributeName -> Rep AttributeName x Source #

to :: Rep AttributeName x -> AttributeName Source #

Show AttributeName Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> AttributeName -> ShowS Source # show :: AttributeName -> String Source # showList :: [AttributeName] -> ShowS Source #
Eq AttributeName Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: AttributeName -> AttributeName -> Bool Source # (/=) :: AttributeName -> AttributeName -> Bool Source #
Ord AttributeName Source # |

Instance details

Defined in AsciiDoc.AST

Methods

compare :: AttributeName -> AttributeName -> Ordering Source #

(<) :: AttributeName -> AttributeName -> Bool Source #

(<=) :: AttributeName -> AttributeName -> Bool Source #

(>) :: AttributeName -> AttributeName -> Bool Source #

(>=) :: AttributeName -> AttributeName -> Bool Source #

max :: AttributeName -> AttributeName -> AttributeName Source #

min :: AttributeName -> AttributeName -> AttributeName Source #

type Rep AttributeName Source # |
Instance details Defined in AsciiDoc.AST type Rep AttributeName = D1 ('MetaData "AttributeName" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "AttributeName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype Callout Source #

Source line callout

Constructors

Callout Int |

#### Instances

Instances details

FromJSON Callout Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Callout Source # parseJSONList :: Value -> Parser [Callout] Source # omittedField :: Maybe Callout Source #
ToJSON Callout Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: Callout -> Value Source # toEncoding :: Callout -> Encoding Source # toJSONList :: [Callout] -> Value Source # toEncodingList :: [Callout] -> Encoding Source # omitField :: Callout -> Bool Source #
Data Callout Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Callout -> c Callout Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Callout Source #

toConstr :: Callout -> Constr Source #

dataTypeOf :: Callout -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Callout) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Callout) Source #

gmapT :: (forall b. Data b => b -> b) -> Callout -> Callout Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Callout -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Callout -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Callout -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Callout -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Callout -> m Callout Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Callout -> m Callout Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Callout -> m Callout Source #

Generic Callout Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep Callout |
Instance details Defined in AsciiDoc.AST type Rep Callout = D1 ('MetaData "Callout" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "Callout" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from :: Callout -> Rep Callout x Source #

to :: Rep Callout x -> Callout Source #

Show Callout Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> Callout -> ShowS Source # show :: Callout -> String Source # showList :: [Callout] -> ShowS Source #
Eq Callout Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: Callout -> Callout -> Bool Source # (/=) :: Callout -> Callout -> Bool Source #
Ord Callout Source # |
Instance details Defined in AsciiDoc.AST Methods compare :: Callout -> Callout -> Ordering Source # (<) :: Callout -> Callout -> Bool Source # (<=) :: Callout -> Callout -> Bool Source # (>) :: Callout -> Callout -> Bool Source # (>=) :: Callout -> Callout -> Bool Source # max :: Callout -> Callout -> Callout Source # min :: Callout -> Callout -> Callout Source #
type Rep Callout Source # |
Instance details Defined in AsciiDoc.AST type Rep Callout = D1 ('MetaData "Callout" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'True) (C1 ('MetaCons "Callout" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data IndexTerm Source #

Constructors

TermInText Text |
TermConcealed [Text] |

#### Instances

Instances details

FromJSON IndexTerm Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser IndexTerm Source # parseJSONList :: Value -> Parser [IndexTerm] Source # omittedField :: Maybe IndexTerm Source #
ToJSON IndexTerm Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: IndexTerm -> Value Source # toEncoding :: IndexTerm -> Encoding Source # toJSONList :: [IndexTerm] -> Value Source # toEncodingList :: [IndexTerm] -> Encoding Source # omitField :: IndexTerm -> Bool Source #
Data IndexTerm Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IndexTerm -> c IndexTerm Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IndexTerm Source #

toConstr :: IndexTerm -> Constr Source #

dataTypeOf :: IndexTerm -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c IndexTerm) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IndexTerm) Source #

gmapT :: (forall b. Data b => b -> b) -> IndexTerm -> IndexTerm Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IndexTerm -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IndexTerm -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> IndexTerm -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> IndexTerm -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> IndexTerm -> m IndexTerm Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IndexTerm -> m IndexTerm Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IndexTerm -> m IndexTerm Source #

Generic IndexTerm Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep IndexTerm |

Instance details

Defined in AsciiDoc.AST

type Rep IndexTerm = D1 ('MetaData "IndexTerm" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "TermInText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "TermConcealed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

Methods

from :: IndexTerm -> Rep IndexTerm x Source #

to :: Rep IndexTerm x -> IndexTerm Source #

Show IndexTerm Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> IndexTerm -> ShowS Source # show :: IndexTerm -> String Source # showList :: [IndexTerm] -> ShowS Source #
Eq IndexTerm Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: IndexTerm -> IndexTerm -> Bool Source # (/=) :: IndexTerm -> IndexTerm -> Bool Source #
type Rep IndexTerm Source # |

Instance details

Defined in AsciiDoc.AST

type Rep IndexTerm = D1 ('MetaData "IndexTerm" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "TermInText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "TermConcealed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

data SourceLine Source #

Source line with possible annotation

Constructors

SourceLine Text [Callout] |

#### Instances

Instances details

FromJSON SourceLine Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser SourceLine Source # parseJSONList :: Value -> Parser [SourceLine] Source # omittedField :: Maybe SourceLine Source #
ToJSON SourceLine Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: SourceLine -> Value Source # toEncoding :: SourceLine -> Encoding Source # toJSONList :: [SourceLine] -> Value Source # toEncodingList :: [SourceLine] -> Encoding Source # omitField :: SourceLine -> Bool Source #
Data SourceLine Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourceLine -> c SourceLine Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourceLine Source #

toConstr :: SourceLine -> Constr Source #

dataTypeOf :: SourceLine -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SourceLine) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourceLine) Source #

gmapT :: (forall b. Data b => b -> b) -> SourceLine -> SourceLine Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourceLine -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourceLine -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> SourceLine -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SourceLine -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourceLine -> m SourceLine Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceLine -> m SourceLine Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceLine -> m SourceLine Source #

Generic SourceLine Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep SourceLine |

Instance details

Defined in AsciiDoc.AST

type Rep SourceLine = D1 ('MetaData "SourceLine" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "SourceLine" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Callout])))

Methods

from :: SourceLine -> Rep SourceLine x Source #

to :: Rep SourceLine x -> SourceLine Source #

Show SourceLine Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> SourceLine -> ShowS Source # show :: SourceLine -> String Source # showList :: [SourceLine] -> ShowS Source #
Eq SourceLine Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: SourceLine -> SourceLine -> Bool Source # (/=) :: SourceLine -> SourceLine -> Bool Source #
Ord SourceLine Source # |

Instance details

Defined in AsciiDoc.AST

Methods

compare :: SourceLine -> SourceLine -> Ordering Source #

(<) :: SourceLine -> SourceLine -> Bool Source #

(<=) :: SourceLine -> SourceLine -> Bool Source #

(>) :: SourceLine -> SourceLine -> Bool Source #

(>=) :: SourceLine -> SourceLine -> Bool Source #

max :: SourceLine -> SourceLine -> SourceLine Source #

min :: SourceLine -> SourceLine -> SourceLine Source #

type Rep SourceLine Source # |

Instance details

Defined in AsciiDoc.AST

type Rep SourceLine = D1 ('MetaData "SourceLine" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "SourceLine" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Callout])))

data CounterType Source #

Constructors

DecimalCounter |
UpperAlphaCounter |
LowerAlphaCounter |

#### Instances

Instances details

FromJSON CounterType Source # |
Instance details Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser CounterType Source # parseJSONList :: Value -> Parser [CounterType] Source # omittedField :: Maybe CounterType Source #
ToJSON CounterType Source # |
Instance details Defined in AsciiDoc.AST Methods toJSON :: CounterType -> Value Source # toEncoding :: CounterType -> Encoding Source # toJSONList :: [CounterType] -> Value Source # toEncodingList :: [CounterType] -> Encoding Source # omitField :: CounterType -> Bool Source #
Data CounterType Source # |

Instance details

Defined in AsciiDoc.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CounterType -> c CounterType Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CounterType Source #

toConstr :: CounterType -> Constr Source #

dataTypeOf :: CounterType -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CounterType) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CounterType) Source #

gmapT :: (forall b. Data b => b -> b) -> CounterType -> CounterType Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CounterType -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CounterType -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> CounterType -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CounterType -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CounterType -> m CounterType Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CounterType -> m CounterType Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CounterType -> m CounterType Source #

Generic CounterType Source # |

Instance details

Defined in AsciiDoc.AST

Associated Types

type Rep CounterType |
Instance details Defined in AsciiDoc.AST type Rep CounterType = D1 ('MetaData "CounterType" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "DecimalCounter" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UpperAlphaCounter" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LowerAlphaCounter" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: CounterType -> Rep CounterType x Source #

to :: Rep CounterType x -> CounterType Source #

Show CounterType Source # |
Instance details Defined in AsciiDoc.AST Methods showsPrec :: Int -> CounterType -> ShowS Source # show :: CounterType -> String Source # showList :: [CounterType] -> ShowS Source #
Eq CounterType Source # |
Instance details Defined in AsciiDoc.AST Methods (==) :: CounterType -> CounterType -> Bool Source # (/=) :: CounterType -> CounterType -> Bool Source #
type Rep CounterType Source # |
Instance details Defined in AsciiDoc.AST type Rep CounterType = D1 ('MetaData "CounterType" "AsciiDoc.AST" "asciidoc-0.1.0.4-9l0VbTxHOoE9FJxwNvRQaK" 'False) (C1 ('MetaCons "DecimalCounter" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UpperAlphaCounter" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LowerAlphaCounter" 'PrefixI 'False) (U1 :: Type -> Type)))