| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
AsciiDoc.AST
Synopsis
- data Document = Document {}
- 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
- data ColumnSpec = ColumnSpec {
- colHorizAlign :: Maybe HorizAlign
- colVertAlign :: Maybe VertAlign
- colWidth :: Maybe Int
- colStyle :: Maybe CellStyle
- data CellStyle
- newtype TableRow = TableRow [TableCell]
- data TableCell = TableCell {
- cellContent :: [Block]
- cellHorizAlign :: Maybe HorizAlign
- cellVertAlign :: Maybe VertAlign
- cellColspan :: Int
- cellRowspan :: Int
- data HorizAlign
- data VertAlign
- data AdmonitionType
- newtype Target = Target Text
- data LinkType
- data MathType
- 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
Documentation
A complete AsciiDoc document
Instances
| FromJSON Document Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Document parseJSONList :: Value -> Parser [Document] omittedField :: Maybe Document | |||||
| ToJSON Document Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: Document -> Encoding toJSONList :: [Document] -> Value toEncodingList :: [Document] -> Encoding | |||||
| HasBlocks Document Source # | |||||
| HasInlines Document Source # | |||||
Defined in AsciiDoc.Generic | |||||
| Monoid Document Source # | |||||
| Semigroup Document Source # | |||||
| Data Document Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Document toConstr :: Document -> Constr dataTypeOf :: Document -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Document) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Document) gmapT :: (forall b. Data b => b -> b) -> Document -> Document gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Document -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Document -> r gmapQ :: (forall d. Data d => d -> u) -> Document -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Document -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Document -> m Document gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Document -> m Document gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Document -> m Document | |||||
| Generic Document Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show Document Source # | |||||
| Eq Document Source # | |||||
| type Rep Document Source # | |||||
Defined in AsciiDoc.AST type Rep Document = D1 ('MetaData "Document" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" 'False) (C1 ('MetaCons "Document" 'PrefixI 'True) (S1 ('MetaSel ('Just "docMeta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Meta) :*: S1 ('MetaSel ('Just "docBlocks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Block]))) | |||||
Document metadata
Constructors
| Meta | |
Fields
| |
Instances
| FromJSON Meta Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Meta parseJSONList :: Value -> Parser [Meta] omittedField :: Maybe Meta | |||||
| ToJSON Meta Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: Meta -> Encoding toJSONList :: [Meta] -> Value toEncodingList :: [Meta] -> Encoding | |||||
| HasBlocks Meta Source # | |||||
| HasInlines Meta Source # | |||||
Defined in AsciiDoc.Generic | |||||
| Monoid Meta Source # | |||||
| Semigroup Meta Source # | |||||
| Data Meta Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Meta dataTypeOf :: Meta -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Meta) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Meta) gmapT :: (forall b. Data b => b -> b) -> Meta -> Meta gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Meta -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Meta -> r gmapQ :: (forall d. Data d => d -> u) -> Meta -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Meta -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Meta -> m Meta gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Meta -> m Meta gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Meta -> m Meta | |||||
| Generic Meta Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show Meta Source # | |||||
| Eq Meta Source # | |||||
| type Rep Meta Source # | |||||
Defined in AsciiDoc.AST type Rep Meta = D1 ('MetaData "Meta" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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)))))) | |||||
Author information
Constructors
| Author | |
Fields
| |
Instances
| FromJSON Author Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Author parseJSONList :: Value -> Parser [Author] omittedField :: Maybe Author | |||||
| ToJSON Author Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: Author -> Encoding toJSONList :: [Author] -> Value toEncodingList :: [Author] -> Encoding | |||||
| HasInlines Author Source # | |||||
Defined in AsciiDoc.Generic | |||||
| Data Author Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Author dataTypeOf :: Author -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Author) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Author) gmapT :: (forall b. Data b => b -> b) -> Author -> Author gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Author -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Author -> r gmapQ :: (forall d. Data d => d -> u) -> Author -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Author -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Author -> m Author gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Author -> m Author gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Author -> m Author | |||||
| Generic Author Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show Author Source # | |||||
| Eq Author Source # | |||||
| type Rep Author Source # | |||||
Defined in AsciiDoc.AST type Rep Author = D1 ('MetaData "Author" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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)))) | |||||
Revision information
Constructors
| Revision | |
Fields
| |
Instances
| FromJSON Revision Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Revision parseJSONList :: Value -> Parser [Revision] omittedField :: Maybe Revision | |||||
| ToJSON Revision Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: Revision -> Encoding toJSONList :: [Revision] -> Value toEncodingList :: [Revision] -> Encoding | |||||
| Data Revision Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Revision toConstr :: Revision -> Constr dataTypeOf :: Revision -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Revision) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Revision) gmapT :: (forall b. Data b => b -> b) -> Revision -> Revision gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Revision -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Revision -> r gmapQ :: (forall d. Data d => d -> u) -> Revision -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Revision -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Revision -> m Revision gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Revision -> m Revision gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Revision -> m Revision | |||||
| Generic Revision Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show Revision Source # | |||||
| Eq Revision Source # | |||||
| type Rep Revision Source # | |||||
Defined in AsciiDoc.AST type Rep Revision = D1 ('MetaData "Revision" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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))))) | |||||
Block-level element with attributes
Constructors
| Block Attr (Maybe BlockTitle) BlockType |
Instances
| FromJSON Block Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Block parseJSONList :: Value -> Parser [Block] omittedField :: Maybe Block | |||||
| ToJSON Block Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: Block -> Encoding toJSONList :: [Block] -> Value toEncodingList :: [Block] -> Encoding | |||||
| HasBlocks Block Source # | |||||
| HasInlines Block Source # | |||||
Defined in AsciiDoc.Generic | |||||
| Data Block Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Block dataTypeOf :: Block -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Block) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Block) gmapT :: (forall b. Data b => b -> b) -> Block -> Block gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r gmapQ :: (forall d. Data d => d -> u) -> Block -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Block -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Block -> m Block gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block | |||||
| Generic Block Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show Block Source # | |||||
| Eq Block Source # | |||||
| type Rep Block Source # | |||||
Defined in AsciiDoc.AST type Rep Block = D1 ('MetaData "Block" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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)))) | |||||
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
| FromJSON BlockType Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser BlockType parseJSONList :: Value -> Parser [BlockType] omittedField :: Maybe BlockType | |||||
| ToJSON BlockType Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: BlockType -> Encoding toJSONList :: [BlockType] -> Value toEncodingList :: [BlockType] -> Encoding | |||||
| HasBlocks BlockType Source # | |||||
| HasInlines BlockType Source # | |||||
Defined in AsciiDoc.Generic | |||||
| Data BlockType Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BlockType toConstr :: BlockType -> Constr dataTypeOf :: BlockType -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BlockType) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BlockType) gmapT :: (forall b. Data b => b -> b) -> BlockType -> BlockType gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BlockType -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BlockType -> r gmapQ :: (forall d. Data d => d -> u) -> BlockType -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> BlockType -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> BlockType -> m BlockType gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BlockType -> m BlockType gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BlockType -> m BlockType | |||||
| Generic BlockType Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show BlockType Source # | |||||
| Eq BlockType Source # | |||||
| type Rep BlockType Source # | |||||
Defined in AsciiDoc.AST type Rep BlockType = D1 ('MetaData "BlockType" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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
| FromJSON BlockTitle Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser BlockTitle parseJSONList :: Value -> Parser [BlockTitle] omittedField :: Maybe BlockTitle | |||||
| ToJSON BlockTitle Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: BlockTitle -> Value toEncoding :: BlockTitle -> Encoding toJSONList :: [BlockTitle] -> Value toEncodingList :: [BlockTitle] -> Encoding omitField :: BlockTitle -> Bool | |||||
| HasInlines BlockTitle Source # | |||||
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 # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BlockTitle toConstr :: BlockTitle -> Constr dataTypeOf :: BlockTitle -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BlockTitle) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BlockTitle) gmapT :: (forall b. Data b => b -> b) -> BlockTitle -> BlockTitle gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BlockTitle -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BlockTitle -> r gmapQ :: (forall d. Data d => d -> u) -> BlockTitle -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> BlockTitle -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> BlockTitle -> m BlockTitle gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BlockTitle -> m BlockTitle gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BlockTitle -> m BlockTitle | |||||
| Generic BlockTitle Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show BlockTitle Source # | |||||
Defined in AsciiDoc.AST Methods showsPrec :: Int -> BlockTitle -> ShowS show :: BlockTitle -> String showList :: [BlockTitle] -> ShowS | |||||
| Eq BlockTitle Source # | |||||
Defined in AsciiDoc.AST | |||||
| type Rep BlockTitle Source # | |||||
Defined in AsciiDoc.AST type Rep BlockTitle = D1 ('MetaData "BlockTitle" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" 'True) (C1 ('MetaCons "BlockTitle" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Inline]))) | |||||
Inline element with attributes
Constructors
| Inline Attr InlineType |
Instances
| FromJSON Inline Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Inline parseJSONList :: Value -> Parser [Inline] omittedField :: Maybe Inline | |||||
| ToJSON Inline Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: Inline -> Encoding toJSONList :: [Inline] -> Value toEncodingList :: [Inline] -> Encoding | |||||
| HasBlocks Inline Source # | |||||
| HasInlines Inline Source # | |||||
Defined in AsciiDoc.Generic | |||||
| Data Inline Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Inline dataTypeOf :: Inline -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Inline) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Inline) gmapT :: (forall b. Data b => b -> b) -> Inline -> Inline gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Inline -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Inline -> r gmapQ :: (forall d. Data d => d -> u) -> Inline -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Inline -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Inline -> m Inline gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Inline -> m Inline gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Inline -> m Inline | |||||
| Generic Inline Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show Inline Source # | |||||
| Eq Inline Source # | |||||
| type Rep Inline Source # | |||||
Defined in AsciiDoc.AST type Rep Inline = D1 ('MetaData "Inline" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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
| FromJSON InlineType Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser InlineType parseJSONList :: Value -> Parser [InlineType] omittedField :: Maybe InlineType | |||||
| ToJSON InlineType Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: InlineType -> Value toEncoding :: InlineType -> Encoding toJSONList :: [InlineType] -> Value toEncodingList :: [InlineType] -> Encoding omitField :: InlineType -> Bool | |||||
| HasBlocks InlineType Source # | |||||
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 # | |||||
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 # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InlineType toConstr :: InlineType -> Constr dataTypeOf :: InlineType -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c InlineType) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InlineType) gmapT :: (forall b. Data b => b -> b) -> InlineType -> InlineType gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InlineType -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InlineType -> r gmapQ :: (forall d. Data d => d -> u) -> InlineType -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> InlineType -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> InlineType -> m InlineType gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InlineType -> m InlineType gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InlineType -> m InlineType | |||||
| Generic InlineType Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show InlineType Source # | |||||
Defined in AsciiDoc.AST Methods showsPrec :: Int -> InlineType -> ShowS show :: InlineType -> String showList :: [InlineType] -> ShowS | |||||
| Eq InlineType Source # | |||||
Defined in AsciiDoc.AST | |||||
| type Rep InlineType Source # | |||||
Defined in AsciiDoc.AST type Rep InlineType = D1 ('MetaData "InlineType" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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))))))) | |||||
List types
Constructors
| BulletList Level | |
| OrderedList Level (Maybe Int) | |
| CheckList | |
| CalloutList |
Instances
| FromJSON ListType Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser ListType parseJSONList :: Value -> Parser [ListType] omittedField :: Maybe ListType | |||||
| ToJSON ListType Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: ListType -> Encoding toJSONList :: [ListType] -> Value toEncodingList :: [ListType] -> Encoding | |||||
| Data ListType Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ListType toConstr :: ListType -> Constr dataTypeOf :: ListType -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ListType) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ListType) gmapT :: (forall b. Data b => b -> b) -> ListType -> ListType gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListType -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListType -> r gmapQ :: (forall d. Data d => d -> u) -> ListType -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ListType -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListType -> m ListType gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListType -> m ListType gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListType -> m ListType | |||||
| Generic ListType Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show ListType Source # | |||||
| Eq ListType Source # | |||||
| type Rep ListType Source # | |||||
Defined in AsciiDoc.AST type Rep ListType = D1 ('MetaData "ListType" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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))) | |||||
A list item
Constructors
| ListItem (Maybe CheckboxState) [Block] |
Instances
| FromJSON ListItem Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser ListItem parseJSONList :: Value -> Parser [ListItem] omittedField :: Maybe ListItem | |||||
| ToJSON ListItem Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: ListItem -> Encoding toJSONList :: [ListItem] -> Value toEncodingList :: [ListItem] -> Encoding | |||||
| HasBlocks ListItem Source # | |||||
| HasInlines ListItem Source # | |||||
Defined in AsciiDoc.Generic | |||||
| Data ListItem Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ListItem toConstr :: ListItem -> Constr dataTypeOf :: ListItem -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ListItem) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ListItem) gmapT :: (forall b. Data b => b -> b) -> ListItem -> ListItem gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListItem -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListItem -> r gmapQ :: (forall d. Data d => d -> u) -> ListItem -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ListItem -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListItem -> m ListItem gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListItem -> m ListItem gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListItem -> m ListItem | |||||
| Generic ListItem Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show ListItem Source # | |||||
| Eq ListItem Source # | |||||
| type Rep ListItem Source # | |||||
Defined in AsciiDoc.AST type Rep ListItem = D1 ('MetaData "ListItem" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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
Instances
| FromJSON CheckboxState Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser CheckboxState parseJSONList :: Value -> Parser [CheckboxState] omittedField :: Maybe CheckboxState | |||||
| ToJSON CheckboxState Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: CheckboxState -> Value toEncoding :: CheckboxState -> Encoding toJSONList :: [CheckboxState] -> Value toEncodingList :: [CheckboxState] -> Encoding omitField :: CheckboxState -> Bool | |||||
| Data CheckboxState Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CheckboxState toConstr :: CheckboxState -> Constr dataTypeOf :: CheckboxState -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CheckboxState) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CheckboxState) gmapT :: (forall b. Data b => b -> b) -> CheckboxState -> CheckboxState gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CheckboxState -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CheckboxState -> r gmapQ :: (forall d. Data d => d -> u) -> CheckboxState -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> CheckboxState -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> CheckboxState -> m CheckboxState gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CheckboxState -> m CheckboxState gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CheckboxState -> m CheckboxState | |||||
| Generic CheckboxState Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show CheckboxState Source # | |||||
Defined in AsciiDoc.AST Methods showsPrec :: Int -> CheckboxState -> ShowS show :: CheckboxState -> String showList :: [CheckboxState] -> ShowS | |||||
| Eq CheckboxState Source # | |||||
Defined in AsciiDoc.AST | |||||
| type Rep CheckboxState Source # | |||||
Defined in AsciiDoc.AST type Rep CheckboxState = D1 ('MetaData "CheckboxState" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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
| |
Instances
| FromJSON ColumnSpec Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser ColumnSpec parseJSONList :: Value -> Parser [ColumnSpec] omittedField :: Maybe ColumnSpec | |||||
| ToJSON ColumnSpec Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: ColumnSpec -> Value toEncoding :: ColumnSpec -> Encoding toJSONList :: [ColumnSpec] -> Value toEncodingList :: [ColumnSpec] -> Encoding omitField :: ColumnSpec -> Bool | |||||
| Data ColumnSpec Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ColumnSpec toConstr :: ColumnSpec -> Constr dataTypeOf :: ColumnSpec -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ColumnSpec) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ColumnSpec) gmapT :: (forall b. Data b => b -> b) -> ColumnSpec -> ColumnSpec gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ColumnSpec -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ColumnSpec -> r gmapQ :: (forall d. Data d => d -> u) -> ColumnSpec -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ColumnSpec -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ColumnSpec -> m ColumnSpec gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ColumnSpec -> m ColumnSpec gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ColumnSpec -> m ColumnSpec | |||||
| Generic ColumnSpec Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show ColumnSpec Source # | |||||
Defined in AsciiDoc.AST Methods showsPrec :: Int -> ColumnSpec -> ShowS show :: ColumnSpec -> String showList :: [ColumnSpec] -> ShowS | |||||
| Eq ColumnSpec Source # | |||||
Defined in AsciiDoc.AST | |||||
| type Rep ColumnSpec Source # | |||||
Defined in AsciiDoc.AST type Rep ColumnSpec = D1 ('MetaData "ColumnSpec" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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))))) | |||||
Defines how cell contents are parsed
Constructors
| AsciiDocStyle | |
| DefaultStyle | |
| EmphasisStyle | |
| LiteralStyle | |
| HeaderStyle | |
| MonospaceStyle | |
| StrongStyle |
Instances
| FromJSON CellStyle Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser CellStyle parseJSONList :: Value -> Parser [CellStyle] omittedField :: Maybe CellStyle | |||||
| ToJSON CellStyle Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: CellStyle -> Encoding toJSONList :: [CellStyle] -> Value toEncodingList :: [CellStyle] -> Encoding | |||||
| Data CellStyle Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CellStyle toConstr :: CellStyle -> Constr dataTypeOf :: CellStyle -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CellStyle) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CellStyle) gmapT :: (forall b. Data b => b -> b) -> CellStyle -> CellStyle gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CellStyle -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CellStyle -> r gmapQ :: (forall d. Data d => d -> u) -> CellStyle -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> CellStyle -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> CellStyle -> m CellStyle gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CellStyle -> m CellStyle gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CellStyle -> m CellStyle | |||||
| Generic CellStyle Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show CellStyle Source # | |||||
| Eq CellStyle Source # | |||||
| type Rep CellStyle Source # | |||||
Defined in AsciiDoc.AST type Rep CellStyle = D1 ('MetaData "CellStyle" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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)))) | |||||
Table row
Instances
| FromJSON TableRow Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser TableRow parseJSONList :: Value -> Parser [TableRow] omittedField :: Maybe TableRow | |||||
| ToJSON TableRow Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: TableRow -> Encoding toJSONList :: [TableRow] -> Value toEncodingList :: [TableRow] -> Encoding | |||||
| HasBlocks TableRow Source # | |||||
| HasInlines TableRow Source # | |||||
Defined in AsciiDoc.Generic | |||||
| Data TableRow Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TableRow toConstr :: TableRow -> Constr dataTypeOf :: TableRow -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TableRow) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TableRow) gmapT :: (forall b. Data b => b -> b) -> TableRow -> TableRow gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TableRow -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TableRow -> r gmapQ :: (forall d. Data d => d -> u) -> TableRow -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> TableRow -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> TableRow -> m TableRow gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TableRow -> m TableRow gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TableRow -> m TableRow | |||||
| Generic TableRow Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show TableRow Source # | |||||
| Eq TableRow Source # | |||||
| type Rep TableRow Source # | |||||
Defined in AsciiDoc.AST | |||||
Table cell
Constructors
| TableCell | |
Fields
| |
Instances
| FromJSON TableCell Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser TableCell parseJSONList :: Value -> Parser [TableCell] omittedField :: Maybe TableCell | |||||
| ToJSON TableCell Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: TableCell -> Encoding toJSONList :: [TableCell] -> Value toEncodingList :: [TableCell] -> Encoding | |||||
| HasBlocks TableCell Source # | |||||
| HasInlines TableCell Source # | |||||
Defined in AsciiDoc.Generic | |||||
| Data TableCell Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TableCell toConstr :: TableCell -> Constr dataTypeOf :: TableCell -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TableCell) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TableCell) gmapT :: (forall b. Data b => b -> b) -> TableCell -> TableCell gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TableCell -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TableCell -> r gmapQ :: (forall d. Data d => d -> u) -> TableCell -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> TableCell -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> TableCell -> m TableCell gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TableCell -> m TableCell gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TableCell -> m TableCell | |||||
| Generic TableCell Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show TableCell Source # | |||||
| Eq TableCell Source # | |||||
| type Rep TableCell Source # | |||||
Defined in AsciiDoc.AST type Rep TableCell = D1 ('MetaData "TableCell" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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
| FromJSON HorizAlign Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser HorizAlign parseJSONList :: Value -> Parser [HorizAlign] omittedField :: Maybe HorizAlign | |||||
| ToJSON HorizAlign Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: HorizAlign -> Value toEncoding :: HorizAlign -> Encoding toJSONList :: [HorizAlign] -> Value toEncodingList :: [HorizAlign] -> Encoding omitField :: HorizAlign -> Bool | |||||
| Data HorizAlign Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c HorizAlign toConstr :: HorizAlign -> Constr dataTypeOf :: HorizAlign -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c HorizAlign) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c HorizAlign) gmapT :: (forall b. Data b => b -> b) -> HorizAlign -> HorizAlign gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HorizAlign -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HorizAlign -> r gmapQ :: (forall d. Data d => d -> u) -> HorizAlign -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> HorizAlign -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> HorizAlign -> m HorizAlign gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HorizAlign -> m HorizAlign gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HorizAlign -> m HorizAlign | |||||
| Generic HorizAlign Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show HorizAlign Source # | |||||
Defined in AsciiDoc.AST Methods showsPrec :: Int -> HorizAlign -> ShowS show :: HorizAlign -> String showList :: [HorizAlign] -> ShowS | |||||
| Eq HorizAlign Source # | |||||
Defined in AsciiDoc.AST | |||||
| type Rep HorizAlign Source # | |||||
Defined in AsciiDoc.AST type Rep HorizAlign = D1 ('MetaData "HorizAlign" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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))) | |||||
Constructors
| AlignTop | |
| AlignMiddle | |
| AlignBottom |
Instances
| FromJSON VertAlign Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser VertAlign parseJSONList :: Value -> Parser [VertAlign] omittedField :: Maybe VertAlign | |||||
| ToJSON VertAlign Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: VertAlign -> Encoding toJSONList :: [VertAlign] -> Value toEncodingList :: [VertAlign] -> Encoding | |||||
| Data VertAlign Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VertAlign toConstr :: VertAlign -> Constr dataTypeOf :: VertAlign -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c VertAlign) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VertAlign) gmapT :: (forall b. Data b => b -> b) -> VertAlign -> VertAlign gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VertAlign -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VertAlign -> r gmapQ :: (forall d. Data d => d -> u) -> VertAlign -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> VertAlign -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> VertAlign -> m VertAlign gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VertAlign -> m VertAlign gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VertAlign -> m VertAlign | |||||
| Generic VertAlign Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show VertAlign Source # | |||||
| Eq VertAlign Source # | |||||
| type Rep VertAlign Source # | |||||
Defined in AsciiDoc.AST type Rep VertAlign = D1 ('MetaData "VertAlign" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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
Instances
| FromJSON AdmonitionType Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser AdmonitionType parseJSONList :: Value -> Parser [AdmonitionType] omittedField :: Maybe AdmonitionType | |||||
| ToJSON AdmonitionType Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: AdmonitionType -> Value toEncoding :: AdmonitionType -> Encoding toJSONList :: [AdmonitionType] -> Value toEncodingList :: [AdmonitionType] -> Encoding omitField :: AdmonitionType -> Bool | |||||
| Data AdmonitionType Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AdmonitionType toConstr :: AdmonitionType -> Constr dataTypeOf :: AdmonitionType -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AdmonitionType) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AdmonitionType) gmapT :: (forall b. Data b => b -> b) -> AdmonitionType -> AdmonitionType gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AdmonitionType -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AdmonitionType -> r gmapQ :: (forall d. Data d => d -> u) -> AdmonitionType -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> AdmonitionType -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> AdmonitionType -> m AdmonitionType gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AdmonitionType -> m AdmonitionType gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AdmonitionType -> m AdmonitionType | |||||
| Generic AdmonitionType Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show AdmonitionType Source # | |||||
Defined in AsciiDoc.AST Methods showsPrec :: Int -> AdmonitionType -> ShowS show :: AdmonitionType -> String showList :: [AdmonitionType] -> ShowS | |||||
| Eq AdmonitionType Source # | |||||
Defined in AsciiDoc.AST Methods (==) :: AdmonitionType -> AdmonitionType -> Bool (/=) :: AdmonitionType -> AdmonitionType -> Bool | |||||
| type Rep AdmonitionType Source # | |||||
Defined in AsciiDoc.AST type Rep AdmonitionType = D1 ('MetaData "AdmonitionType" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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)))) | |||||
Link or image target
Constructors
| Target Text |
Instances
| FromJSON Target Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Target parseJSONList :: Value -> Parser [Target] omittedField :: Maybe Target | |||||
| ToJSON Target Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: Target -> Encoding toJSONList :: [Target] -> Value toEncodingList :: [Target] -> Encoding | |||||
| Data Target Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Target dataTypeOf :: Target -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Target) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Target) gmapT :: (forall b. Data b => b -> b) -> Target -> Target gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Target -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Target -> r gmapQ :: (forall d. Data d => d -> u) -> Target -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Target -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Target -> m Target gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Target -> m Target gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Target -> m Target | |||||
| Generic Target Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show Target Source # | |||||
| Eq Target Source # | |||||
| type Rep Target Source # | |||||
Defined in AsciiDoc.AST type Rep Target = D1 ('MetaData "Target" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" 'True) (C1 ('MetaCons "Target" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) | |||||
Link types
Instances
| FromJSON LinkType Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser LinkType parseJSONList :: Value -> Parser [LinkType] omittedField :: Maybe LinkType | |||||
| ToJSON LinkType Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: LinkType -> Encoding toJSONList :: [LinkType] -> Value toEncodingList :: [LinkType] -> Encoding | |||||
| Data LinkType Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LinkType toConstr :: LinkType -> Constr dataTypeOf :: LinkType -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LinkType) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LinkType) gmapT :: (forall b. Data b => b -> b) -> LinkType -> LinkType gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LinkType -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LinkType -> r gmapQ :: (forall d. Data d => d -> u) -> LinkType -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> LinkType -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> LinkType -> m LinkType gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LinkType -> m LinkType gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LinkType -> m LinkType | |||||
| Generic LinkType Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show LinkType Source # | |||||
| Eq LinkType Source # | |||||
| type Rep LinkType Source # | |||||
Defined in AsciiDoc.AST type Rep LinkType = D1 ('MetaData "LinkType" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" 'False) (C1 ('MetaCons "URLLink" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EmailLink" 'PrefixI 'False) (U1 :: Type -> Type)) | |||||
Instances
| FromJSON MathType Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser MathType parseJSONList :: Value -> Parser [MathType] omittedField :: Maybe MathType | |||||
| ToJSON MathType Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: MathType -> Encoding toJSONList :: [MathType] -> Value toEncodingList :: [MathType] -> Encoding | |||||
| Data MathType Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MathType toConstr :: MathType -> Constr dataTypeOf :: MathType -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MathType) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MathType) gmapT :: (forall b. Data b => b -> b) -> MathType -> MathType gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MathType -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MathType -> r gmapQ :: (forall d. Data d => d -> u) -> MathType -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> MathType -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> MathType -> m MathType gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MathType -> m MathType gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MathType -> m MathType | |||||
| Generic MathType Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show MathType Source # | |||||
| Eq MathType Source # | |||||
| type Rep MathType Source # | |||||
Defined in AsciiDoc.AST type Rep MathType = D1 ('MetaData "MathType" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" 'False) (C1 ('MetaCons "AsciiMath" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LaTeXMath" 'PrefixI 'False) (U1 :: Type -> Type)) | |||||
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
| FromJSON Attr Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Attr parseJSONList :: Value -> Parser [Attr] omittedField :: Maybe Attr | |||||
| ToJSON Attr Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: Attr -> Encoding toJSONList :: [Attr] -> Value toEncodingList :: [Attr] -> Encoding | |||||
| Monoid Attr Source # | |||||
| Semigroup Attr Source # | |||||
| Data Attr Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Attr dataTypeOf :: Attr -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Attr) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Attr) gmapT :: (forall b. Data b => b -> b) -> Attr -> Attr gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r gmapQ :: (forall d. Data d => d -> u) -> Attr -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Attr -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Attr -> m Attr gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr | |||||
| Generic Attr Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show Attr Source # | |||||
| Eq Attr Source # | |||||
| type Rep Attr Source # | |||||
Defined in AsciiDoc.AST type Rep Attr = D1 ('MetaData "Attr" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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)))) | |||||
Nesting or section level
Constructors
| Level Int |
Instances
| FromJSON Level Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Level parseJSONList :: Value -> Parser [Level] omittedField :: Maybe Level | |||||
| ToJSON Level Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: Level -> Encoding toJSONList :: [Level] -> Value toEncodingList :: [Level] -> Encoding | |||||
| Data Level Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Level dataTypeOf :: Level -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Level) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Level) gmapT :: (forall b. Data b => b -> b) -> Level -> Level gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Level -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Level -> r gmapQ :: (forall d. Data d => d -> u) -> Level -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Level -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Level -> m Level gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Level -> m Level gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Level -> m Level | |||||
| Generic Level Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show Level Source # | |||||
| Eq Level Source # | |||||
| Ord Level Source # | |||||
| type Rep Level Source # | |||||
Defined in AsciiDoc.AST type Rep Level = D1 ('MetaData "Level" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" 'True) (C1 ('MetaCons "Level" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) | |||||
Programming or markup language identifier
Constructors
| Language Text |
Instances
| FromJSON Language Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Language parseJSONList :: Value -> Parser [Language] omittedField :: Maybe Language | |||||
| ToJSON Language Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: Language -> Encoding toJSONList :: [Language] -> Value toEncodingList :: [Language] -> Encoding | |||||
| Data Language Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Language toConstr :: Language -> Constr dataTypeOf :: Language -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Language) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Language) gmapT :: (forall b. Data b => b -> b) -> Language -> Language gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Language -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Language -> r gmapQ :: (forall d. Data d => d -> u) -> Language -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Language -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Language -> m Language gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Language -> m Language gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Language -> m Language | |||||
| Generic Language Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show Language Source # | |||||
| Eq Language Source # | |||||
| Ord Language Source # | |||||
| type Rep Language Source # | |||||
Defined in AsciiDoc.AST type Rep Language = D1 ('MetaData "Language" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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
| FromJSON Attribution Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Attribution parseJSONList :: Value -> Parser [Attribution] omittedField :: Maybe Attribution | |||||
| ToJSON Attribution Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: Attribution -> Value toEncoding :: Attribution -> Encoding toJSONList :: [Attribution] -> Value toEncodingList :: [Attribution] -> Encoding omitField :: Attribution -> Bool | |||||
| Data Attribution Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Attribution toConstr :: Attribution -> Constr dataTypeOf :: Attribution -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Attribution) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Attribution) gmapT :: (forall b. Data b => b -> b) -> Attribution -> Attribution gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Attribution -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attribution -> r gmapQ :: (forall d. Data d => d -> u) -> Attribution -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Attribution -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Attribution -> m Attribution gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Attribution -> m Attribution gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Attribution -> m Attribution | |||||
| Generic Attribution Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show Attribution Source # | |||||
Defined in AsciiDoc.AST Methods showsPrec :: Int -> Attribution -> ShowS show :: Attribution -> String showList :: [Attribution] -> ShowS | |||||
| Eq Attribution Source # | |||||
Defined in AsciiDoc.AST | |||||
| Ord Attribution Source # | |||||
Defined in AsciiDoc.AST Methods compare :: Attribution -> Attribution -> Ordering (<) :: Attribution -> Attribution -> Bool (<=) :: Attribution -> Attribution -> Bool (>) :: Attribution -> Attribution -> Bool (>=) :: Attribution -> Attribution -> Bool max :: Attribution -> Attribution -> Attribution min :: Attribution -> Attribution -> Attribution | |||||
| type Rep Attribution Source # | |||||
Defined in AsciiDoc.AST type Rep Attribution = D1 ('MetaData "Attribution" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" 'True) (C1 ('MetaCons "Attribution" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) | |||||
Alternative text for images
Constructors
| AltText Text |
Instances
| FromJSON AltText Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser AltText parseJSONList :: Value -> Parser [AltText] omittedField :: Maybe AltText | |||||
| ToJSON AltText Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: AltText -> Encoding toJSONList :: [AltText] -> Value toEncodingList :: [AltText] -> Encoding | |||||
| Data AltText Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AltText dataTypeOf :: AltText -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AltText) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AltText) gmapT :: (forall b. Data b => b -> b) -> AltText -> AltText gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AltText -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AltText -> r gmapQ :: (forall d. Data d => d -> u) -> AltText -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> AltText -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> AltText -> m AltText gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AltText -> m AltText gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AltText -> m AltText | |||||
| Generic AltText Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show AltText Source # | |||||
| Eq AltText Source # | |||||
| Ord AltText Source # | |||||
| type Rep AltText Source # | |||||
Defined in AsciiDoc.AST type Rep AltText = D1 ('MetaData "AltText" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" 'True) (C1 ('MetaCons "AltText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) | |||||
Width specification in pixels
Constructors
| Width Int |
Instances
| FromJSON Width Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Width parseJSONList :: Value -> Parser [Width] omittedField :: Maybe Width | |||||
| ToJSON Width Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: Width -> Encoding toJSONList :: [Width] -> Value toEncodingList :: [Width] -> Encoding | |||||
| Data Width Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Width dataTypeOf :: Width -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Width) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Width) gmapT :: (forall b. Data b => b -> b) -> Width -> Width gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Width -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Width -> r gmapQ :: (forall d. Data d => d -> u) -> Width -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Width -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Width -> m Width gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Width -> m Width gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Width -> m Width | |||||
| Generic Width Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show Width Source # | |||||
| Eq Width Source # | |||||
| Ord Width Source # | |||||
| type Rep Width Source # | |||||
Defined in AsciiDoc.AST type Rep Width = D1 ('MetaData "Width" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" 'True) (C1 ('MetaCons "Width" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) | |||||
Height specification in pixels
Constructors
| Height Int |
Instances
| FromJSON Height Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Height parseJSONList :: Value -> Parser [Height] omittedField :: Maybe Height | |||||
| ToJSON Height Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: Height -> Encoding toJSONList :: [Height] -> Value toEncodingList :: [Height] -> Encoding | |||||
| Data Height Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Height dataTypeOf :: Height -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Height) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Height) gmapT :: (forall b. Data b => b -> b) -> Height -> Height gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Height -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Height -> r gmapQ :: (forall d. Data d => d -> u) -> Height -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Height -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Height -> m Height gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Height -> m Height gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Height -> m Height | |||||
| Generic Height Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show Height Source # | |||||
| Eq Height Source # | |||||
| Ord Height Source # | |||||
| type Rep Height Source # | |||||
Defined in AsciiDoc.AST type Rep Height = D1 ('MetaData "Height" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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
| FromJSON FootnoteId Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser FootnoteId parseJSONList :: Value -> Parser [FootnoteId] omittedField :: Maybe FootnoteId | |||||
| ToJSON FootnoteId Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: FootnoteId -> Value toEncoding :: FootnoteId -> Encoding toJSONList :: [FootnoteId] -> Value toEncodingList :: [FootnoteId] -> Encoding omitField :: FootnoteId -> Bool | |||||
| Data FootnoteId Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FootnoteId toConstr :: FootnoteId -> Constr dataTypeOf :: FootnoteId -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FootnoteId) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FootnoteId) gmapT :: (forall b. Data b => b -> b) -> FootnoteId -> FootnoteId gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FootnoteId -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FootnoteId -> r gmapQ :: (forall d. Data d => d -> u) -> FootnoteId -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> FootnoteId -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> FootnoteId -> m FootnoteId gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FootnoteId -> m FootnoteId gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FootnoteId -> m FootnoteId | |||||
| Generic FootnoteId Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show FootnoteId Source # | |||||
Defined in AsciiDoc.AST Methods showsPrec :: Int -> FootnoteId -> ShowS show :: FootnoteId -> String showList :: [FootnoteId] -> ShowS | |||||
| Eq FootnoteId Source # | |||||
Defined in AsciiDoc.AST | |||||
| Ord FootnoteId Source # | |||||
Defined in AsciiDoc.AST Methods compare :: FootnoteId -> FootnoteId -> Ordering (<) :: FootnoteId -> FootnoteId -> Bool (<=) :: FootnoteId -> FootnoteId -> Bool (>) :: FootnoteId -> FootnoteId -> Bool (>=) :: FootnoteId -> FootnoteId -> Bool max :: FootnoteId -> FootnoteId -> FootnoteId min :: FootnoteId -> FootnoteId -> FootnoteId | |||||
| type Rep FootnoteId Source # | |||||
Defined in AsciiDoc.AST type Rep FootnoteId = D1 ('MetaData "FootnoteId" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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
| FromJSON AttributeName Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser AttributeName parseJSONList :: Value -> Parser [AttributeName] omittedField :: Maybe AttributeName | |||||
| ToJSON AttributeName Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: AttributeName -> Value toEncoding :: AttributeName -> Encoding toJSONList :: [AttributeName] -> Value toEncodingList :: [AttributeName] -> Encoding omitField :: AttributeName -> Bool | |||||
| Data AttributeName Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AttributeName toConstr :: AttributeName -> Constr dataTypeOf :: AttributeName -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AttributeName) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AttributeName) gmapT :: (forall b. Data b => b -> b) -> AttributeName -> AttributeName gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AttributeName -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AttributeName -> r gmapQ :: (forall d. Data d => d -> u) -> AttributeName -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> AttributeName -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> AttributeName -> m AttributeName gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AttributeName -> m AttributeName gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AttributeName -> m AttributeName | |||||
| Generic AttributeName Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show AttributeName Source # | |||||
Defined in AsciiDoc.AST Methods showsPrec :: Int -> AttributeName -> ShowS show :: AttributeName -> String showList :: [AttributeName] -> ShowS | |||||
| Eq AttributeName Source # | |||||
Defined in AsciiDoc.AST | |||||
| Ord AttributeName Source # | |||||
Defined in AsciiDoc.AST Methods compare :: AttributeName -> AttributeName -> Ordering (<) :: AttributeName -> AttributeName -> Bool (<=) :: AttributeName -> AttributeName -> Bool (>) :: AttributeName -> AttributeName -> Bool (>=) :: AttributeName -> AttributeName -> Bool max :: AttributeName -> AttributeName -> AttributeName min :: AttributeName -> AttributeName -> AttributeName | |||||
| type Rep AttributeName Source # | |||||
Defined in AsciiDoc.AST type Rep AttributeName = D1 ('MetaData "AttributeName" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" 'True) (C1 ('MetaCons "AttributeName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) | |||||
Source line callout
Constructors
| Callout Int |
Instances
| FromJSON Callout Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Callout parseJSONList :: Value -> Parser [Callout] omittedField :: Maybe Callout | |||||
| ToJSON Callout Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: Callout -> Encoding toJSONList :: [Callout] -> Value toEncodingList :: [Callout] -> Encoding | |||||
| Data Callout Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Callout dataTypeOf :: Callout -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Callout) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Callout) gmapT :: (forall b. Data b => b -> b) -> Callout -> Callout gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Callout -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Callout -> r gmapQ :: (forall d. Data d => d -> u) -> Callout -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Callout -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Callout -> m Callout gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Callout -> m Callout gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Callout -> m Callout | |||||
| Generic Callout Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show Callout Source # | |||||
| Eq Callout Source # | |||||
| Ord Callout Source # | |||||
| type Rep Callout Source # | |||||
Defined in AsciiDoc.AST type Rep Callout = D1 ('MetaData "Callout" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" 'True) (C1 ('MetaCons "Callout" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) | |||||
Constructors
| TermInText Text | |
| TermConcealed [Text] |
Instances
| FromJSON IndexTerm Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser IndexTerm parseJSONList :: Value -> Parser [IndexTerm] omittedField :: Maybe IndexTerm | |||||
| ToJSON IndexTerm Source # | |||||
Defined in AsciiDoc.AST Methods toEncoding :: IndexTerm -> Encoding toJSONList :: [IndexTerm] -> Value toEncodingList :: [IndexTerm] -> Encoding | |||||
| Data IndexTerm Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IndexTerm toConstr :: IndexTerm -> Constr dataTypeOf :: IndexTerm -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c IndexTerm) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IndexTerm) gmapT :: (forall b. Data b => b -> b) -> IndexTerm -> IndexTerm gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IndexTerm -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IndexTerm -> r gmapQ :: (forall d. Data d => d -> u) -> IndexTerm -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> IndexTerm -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> IndexTerm -> m IndexTerm gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IndexTerm -> m IndexTerm gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IndexTerm -> m IndexTerm | |||||
| Generic IndexTerm Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show IndexTerm Source # | |||||
| Eq IndexTerm Source # | |||||
| type Rep IndexTerm Source # | |||||
Defined in AsciiDoc.AST type Rep IndexTerm = D1 ('MetaData "IndexTerm" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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
| FromJSON SourceLine Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser SourceLine parseJSONList :: Value -> Parser [SourceLine] omittedField :: Maybe SourceLine | |||||
| ToJSON SourceLine Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: SourceLine -> Value toEncoding :: SourceLine -> Encoding toJSONList :: [SourceLine] -> Value toEncodingList :: [SourceLine] -> Encoding omitField :: SourceLine -> Bool | |||||
| Data SourceLine Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourceLine toConstr :: SourceLine -> Constr dataTypeOf :: SourceLine -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SourceLine) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourceLine) gmapT :: (forall b. Data b => b -> b) -> SourceLine -> SourceLine gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourceLine -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourceLine -> r gmapQ :: (forall d. Data d => d -> u) -> SourceLine -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> SourceLine -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourceLine -> m SourceLine gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceLine -> m SourceLine gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceLine -> m SourceLine | |||||
| Generic SourceLine Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show SourceLine Source # | |||||
Defined in AsciiDoc.AST Methods showsPrec :: Int -> SourceLine -> ShowS show :: SourceLine -> String showList :: [SourceLine] -> ShowS | |||||
| Eq SourceLine Source # | |||||
Defined in AsciiDoc.AST | |||||
| Ord SourceLine Source # | |||||
Defined in AsciiDoc.AST Methods compare :: SourceLine -> SourceLine -> Ordering (<) :: SourceLine -> SourceLine -> Bool (<=) :: SourceLine -> SourceLine -> Bool (>) :: SourceLine -> SourceLine -> Bool (>=) :: SourceLine -> SourceLine -> Bool max :: SourceLine -> SourceLine -> SourceLine min :: SourceLine -> SourceLine -> SourceLine | |||||
| type Rep SourceLine Source # | |||||
Defined in AsciiDoc.AST type Rep SourceLine = D1 ('MetaData "SourceLine" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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
| FromJSON CounterType Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser CounterType parseJSONList :: Value -> Parser [CounterType] omittedField :: Maybe CounterType | |||||
| ToJSON CounterType Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: CounterType -> Value toEncoding :: CounterType -> Encoding toJSONList :: [CounterType] -> Value toEncodingList :: [CounterType] -> Encoding omitField :: CounterType -> Bool | |||||
| Data CounterType Source # | |||||
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 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CounterType toConstr :: CounterType -> Constr dataTypeOf :: CounterType -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CounterType) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CounterType) gmapT :: (forall b. Data b => b -> b) -> CounterType -> CounterType gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CounterType -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CounterType -> r gmapQ :: (forall d. Data d => d -> u) -> CounterType -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> CounterType -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> CounterType -> m CounterType gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CounterType -> m CounterType gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CounterType -> m CounterType | |||||
| Generic CounterType Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show CounterType Source # | |||||
Defined in AsciiDoc.AST Methods showsPrec :: Int -> CounterType -> ShowS show :: CounterType -> String showList :: [CounterType] -> ShowS | |||||
| Eq CounterType Source # | |||||
Defined in AsciiDoc.AST | |||||
| type Rep CounterType Source # | |||||
Defined in AsciiDoc.AST type Rep CounterType = D1 ('MetaData "CounterType" "AsciiDoc.AST" "asciidoc-0.1-1FXQbcDcgmZ1BdP7icjzBY" '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))) | |||||