| 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 {}
- 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
- data ListItem = ListItem (Maybe CheckboxState) [Block]
- data CheckboxState
- data ColumnSpec = ColumnSpec {}
- data CellStyle
- newtype TableRow = TableRow [TableCell]
- data TableCell = TableCell {}
- 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 # | |||||
| ToJSON Document Source # | |||||
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Document Source # toConstr :: Document -> Constr Source # dataTypeOf :: Document -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Document) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Document) Source # gmapT :: (forall b. Data b => b -> b) -> Document -> Document Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Document -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Document -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Document -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Document -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Document -> m Document Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Document -> m Document Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Document -> m Document Source # | |||||
| Generic Document Source # | |||||
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.0.2-G9wPWS2GJceHmQFbwjHfIV" '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
Author information
Constructors
| Author | |
Fields
| |
Instances
| FromJSON Author Source # | |||||
| ToJSON Author Source # | |||||
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Author Source # toConstr :: Author -> Constr Source # dataTypeOf :: Author -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Author) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Author) Source # gmapT :: (forall b. Data b => b -> b) -> Author -> Author Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Author -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Author -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Author -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Author -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Author -> m Author Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Author -> m Author Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Author -> m Author Source # | |||||
| Generic Author Source # | |||||
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.0.2-G9wPWS2GJceHmQFbwjHfIV" '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
Instances
| FromJSON Revision Source # | |||||
| ToJSON Revision Source # | |||||
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Revision Source # toConstr :: Revision -> Constr Source # dataTypeOf :: Revision -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Revision) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Revision) Source # gmapT :: (forall b. Data b => b -> b) -> Revision -> Revision Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Revision -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Revision -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Revision -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Revision -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Revision -> m Revision Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Revision -> m Revision Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Revision -> m Revision Source # | |||||
| Generic Revision Source # | |||||
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.0.2-G9wPWS2GJceHmQFbwjHfIV" '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 # | |||||
| ToJSON Block Source # | |||||
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Block Source # toConstr :: Block -> Constr Source # dataTypeOf :: Block -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Block) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Block) Source # gmapT :: (forall b. Data b => b -> b) -> Block -> Block Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Block -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Block -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Block -> m Block Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block Source # | |||||
| Generic Block Source # | |||||
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.0.2-G9wPWS2GJceHmQFbwjHfIV" '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 # | |||||
| ToJSON BlockType Source # | |||||
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BlockType Source # toConstr :: BlockType -> Constr Source # dataTypeOf :: BlockType -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BlockType) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BlockType) Source # gmapT :: (forall b. Data b => b -> b) -> BlockType -> BlockType Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BlockType -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BlockType -> r Source # gmapQ :: (forall d. Data d => d -> u) -> BlockType -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> BlockType -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BlockType -> m BlockType Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BlockType -> m BlockType Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BlockType -> m BlockType Source # | |||||
| Generic BlockType Source # | |||||
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.0.2-G9wPWS2GJceHmQFbwjHfIV" '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 Source # parseJSONList :: Value -> Parser [BlockTitle] Source # | |||||
| ToJSON BlockTitle Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: BlockTitle -> Value Source # toEncoding :: BlockTitle -> Encoding Source # toJSONList :: [BlockTitle] -> Value Source # toEncodingList :: [BlockTitle] -> Encoding Source # omitField :: BlockTitle -> Bool Source # | |||||
| HasInlines BlockTitle Source # | |||||
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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BlockTitle Source # toConstr :: BlockTitle -> Constr Source # dataTypeOf :: BlockTitle -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BlockTitle) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BlockTitle) Source # gmapT :: (forall b. Data b => b -> b) -> BlockTitle -> BlockTitle Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BlockTitle -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BlockTitle -> r Source # gmapQ :: (forall d. Data d => d -> u) -> BlockTitle -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> BlockTitle -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BlockTitle -> m BlockTitle Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BlockTitle -> m BlockTitle Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BlockTitle -> m BlockTitle Source # | |||||
| Generic BlockTitle Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show BlockTitle Source # | |||||
Defined in AsciiDoc.AST | |||||
| Eq BlockTitle Source # | |||||
Defined in AsciiDoc.AST Methods (==) :: BlockTitle -> BlockTitle -> Bool Source # (/=) :: BlockTitle -> BlockTitle -> Bool Source # | |||||
| type Rep BlockTitle Source # | |||||
Defined in AsciiDoc.AST type Rep BlockTitle = D1 ('MetaData "BlockTitle" "AsciiDoc.AST" "asciidoc-0.1.0.2-G9wPWS2GJceHmQFbwjHfIV" '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 # | |||||
| ToJSON Inline Source # | |||||
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Inline Source # toConstr :: Inline -> Constr Source # dataTypeOf :: Inline -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Inline) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Inline) Source # gmapT :: (forall b. Data b => b -> b) -> Inline -> Inline Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Inline -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Inline -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Inline -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Inline -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Inline -> m Inline Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Inline -> m Inline Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Inline -> m Inline Source # | |||||
| Generic Inline Source # | |||||
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.0.2-G9wPWS2GJceHmQFbwjHfIV" '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 Source # parseJSONList :: Value -> Parser [InlineType] Source # | |||||
| ToJSON InlineType Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: InlineType -> Value Source # toEncoding :: InlineType -> Encoding Source # toJSONList :: [InlineType] -> Value Source # toEncodingList :: [InlineType] -> Encoding Source # omitField :: InlineType -> Bool Source # | |||||
| HasBlocks InlineType Source # | |||||
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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InlineType Source # toConstr :: InlineType -> Constr Source # dataTypeOf :: InlineType -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c InlineType) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InlineType) Source # gmapT :: (forall b. Data b => b -> b) -> InlineType -> InlineType Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InlineType -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InlineType -> r Source # gmapQ :: (forall d. Data d => d -> u) -> InlineType -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> InlineType -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> InlineType -> m InlineType Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InlineType -> m InlineType Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InlineType -> m InlineType Source # | |||||
| Generic InlineType Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show InlineType Source # | |||||
Defined in AsciiDoc.AST | |||||
| Eq InlineType Source # | |||||
Defined in AsciiDoc.AST Methods (==) :: InlineType -> InlineType -> Bool Source # (/=) :: InlineType -> InlineType -> Bool Source # | |||||
| type Rep InlineType Source # | |||||
Defined in AsciiDoc.AST type Rep InlineType = D1 ('MetaData "InlineType" "AsciiDoc.AST" "asciidoc-0.1.0.2-G9wPWS2GJceHmQFbwjHfIV" '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 # | |||||
| ToJSON ListType Source # | |||||
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ListType Source # toConstr :: ListType -> Constr Source # dataTypeOf :: ListType -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ListType) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ListType) Source # gmapT :: (forall b. Data b => b -> b) -> ListType -> ListType Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListType -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListType -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ListType -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ListType -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListType -> m ListType Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListType -> m ListType Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListType -> m ListType Source # | |||||
| Generic ListType Source # | |||||
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.0.2-G9wPWS2GJceHmQFbwjHfIV" '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 # | |||||
| ToJSON ListItem Source # | |||||
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ListItem Source # toConstr :: ListItem -> Constr Source # dataTypeOf :: ListItem -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ListItem) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ListItem) Source # gmapT :: (forall b. Data b => b -> b) -> ListItem -> ListItem Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListItem -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListItem -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ListItem -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ListItem -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListItem -> m ListItem Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListItem -> m ListItem Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListItem -> m ListItem Source # | |||||
| Generic ListItem Source # | |||||
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.0.2-G9wPWS2GJceHmQFbwjHfIV" '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 Source # parseJSONList :: Value -> Parser [CheckboxState] Source # | |||||
| ToJSON CheckboxState Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: CheckboxState -> Value Source # toEncoding :: CheckboxState -> Encoding Source # toJSONList :: [CheckboxState] -> Value Source # toEncodingList :: [CheckboxState] -> Encoding Source # omitField :: CheckboxState -> Bool Source # | |||||
| Data CheckboxState Source # | |||||
Defined in AsciiDoc.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CheckboxState -> c CheckboxState Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CheckboxState Source # toConstr :: CheckboxState -> Constr Source # dataTypeOf :: CheckboxState -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CheckboxState) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CheckboxState) Source # gmapT :: (forall b. Data b => b -> b) -> CheckboxState -> CheckboxState Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CheckboxState -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CheckboxState -> r Source # gmapQ :: (forall d. Data d => d -> u) -> CheckboxState -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> CheckboxState -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CheckboxState -> m CheckboxState Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CheckboxState -> m CheckboxState Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CheckboxState -> m CheckboxState Source # | |||||
| Generic CheckboxState Source # | |||||
Defined in AsciiDoc.AST Associated Types
Methods from :: CheckboxState -> Rep CheckboxState x Source # to :: Rep CheckboxState x -> CheckboxState Source # | |||||
| Show CheckboxState Source # | |||||
Defined in AsciiDoc.AST | |||||
| Eq CheckboxState Source # | |||||
Defined in AsciiDoc.AST Methods (==) :: CheckboxState -> CheckboxState -> Bool Source # (/=) :: CheckboxState -> CheckboxState -> Bool Source # | |||||
| type Rep CheckboxState Source # | |||||
data ColumnSpec Source #
Column specification
Constructors
| ColumnSpec | |
Fields
| |
Instances
| FromJSON ColumnSpec Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser ColumnSpec Source # parseJSONList :: Value -> Parser [ColumnSpec] Source # | |||||
| ToJSON ColumnSpec Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: ColumnSpec -> Value Source # toEncoding :: ColumnSpec -> Encoding Source # toJSONList :: [ColumnSpec] -> Value Source # toEncodingList :: [ColumnSpec] -> Encoding Source # omitField :: ColumnSpec -> Bool Source # | |||||
| Data ColumnSpec Source # | |||||
Defined in AsciiDoc.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ColumnSpec -> c ColumnSpec Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ColumnSpec Source # toConstr :: ColumnSpec -> Constr Source # dataTypeOf :: ColumnSpec -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ColumnSpec) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ColumnSpec) Source # gmapT :: (forall b. Data b => b -> b) -> ColumnSpec -> ColumnSpec Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ColumnSpec -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ColumnSpec -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ColumnSpec -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ColumnSpec -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ColumnSpec -> m ColumnSpec Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ColumnSpec -> m ColumnSpec Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ColumnSpec -> m ColumnSpec Source # | |||||
| Generic ColumnSpec Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show ColumnSpec Source # | |||||
Defined in AsciiDoc.AST | |||||
| Eq ColumnSpec Source # | |||||
Defined in AsciiDoc.AST Methods (==) :: ColumnSpec -> ColumnSpec -> Bool Source # (/=) :: ColumnSpec -> ColumnSpec -> Bool Source # | |||||
| type Rep ColumnSpec Source # | |||||
Defined in AsciiDoc.AST type Rep ColumnSpec = D1 ('MetaData "ColumnSpec" "AsciiDoc.AST" "asciidoc-0.1.0.2-G9wPWS2GJceHmQFbwjHfIV" '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 # | |||||
| ToJSON CellStyle Source # | |||||
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CellStyle Source # toConstr :: CellStyle -> Constr Source # dataTypeOf :: CellStyle -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CellStyle) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CellStyle) Source # gmapT :: (forall b. Data b => b -> b) -> CellStyle -> CellStyle Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CellStyle -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CellStyle -> r Source # gmapQ :: (forall d. Data d => d -> u) -> CellStyle -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> CellStyle -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CellStyle -> m CellStyle Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CellStyle -> m CellStyle Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CellStyle -> m CellStyle Source # | |||||
| Generic CellStyle Source # | |||||
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.0.2-G9wPWS2GJceHmQFbwjHfIV" '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 # | |||||
| ToJSON TableRow Source # | |||||
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TableRow Source # toConstr :: TableRow -> Constr Source # dataTypeOf :: TableRow -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TableRow) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TableRow) Source # gmapT :: (forall b. Data b => b -> b) -> TableRow -> TableRow Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TableRow -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TableRow -> r Source # gmapQ :: (forall d. Data d => d -> u) -> TableRow -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> TableRow -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TableRow -> m TableRow Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TableRow -> m TableRow Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TableRow -> m TableRow Source # | |||||
| Generic TableRow Source # | |||||
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 # | |||||
| ToJSON TableCell Source # | |||||
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TableCell Source # toConstr :: TableCell -> Constr Source # dataTypeOf :: TableCell -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TableCell) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TableCell) Source # gmapT :: (forall b. Data b => b -> b) -> TableCell -> TableCell Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TableCell -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TableCell -> r Source # gmapQ :: (forall d. Data d => d -> u) -> TableCell -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> TableCell -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TableCell -> m TableCell Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TableCell -> m TableCell Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TableCell -> m TableCell Source # | |||||
| Generic TableCell Source # | |||||
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.0.2-G9wPWS2GJceHmQFbwjHfIV" '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 Source # parseJSONList :: Value -> Parser [HorizAlign] Source # | |||||
| ToJSON HorizAlign Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: HorizAlign -> Value Source # toEncoding :: HorizAlign -> Encoding Source # toJSONList :: [HorizAlign] -> Value Source # toEncodingList :: [HorizAlign] -> Encoding Source # omitField :: HorizAlign -> Bool Source # | |||||
| Data HorizAlign Source # | |||||
Defined in AsciiDoc.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HorizAlign -> c HorizAlign Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c HorizAlign Source # toConstr :: HorizAlign -> Constr Source # dataTypeOf :: HorizAlign -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c HorizAlign) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c HorizAlign) Source # gmapT :: (forall b. Data b => b -> b) -> HorizAlign -> HorizAlign Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HorizAlign -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HorizAlign -> r Source # gmapQ :: (forall d. Data d => d -> u) -> HorizAlign -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> HorizAlign -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> HorizAlign -> m HorizAlign Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HorizAlign -> m HorizAlign Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HorizAlign -> m HorizAlign Source # | |||||
| Generic HorizAlign Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show HorizAlign Source # | |||||
Defined in AsciiDoc.AST | |||||
| Eq HorizAlign Source # | |||||
Defined in AsciiDoc.AST Methods (==) :: HorizAlign -> HorizAlign -> Bool Source # (/=) :: HorizAlign -> HorizAlign -> Bool Source # | |||||
| type Rep HorizAlign Source # | |||||
Defined in AsciiDoc.AST type Rep HorizAlign = D1 ('MetaData "HorizAlign" "AsciiDoc.AST" "asciidoc-0.1.0.2-G9wPWS2GJceHmQFbwjHfIV" '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 # | |||||
| ToJSON VertAlign Source # | |||||
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VertAlign Source # toConstr :: VertAlign -> Constr Source # dataTypeOf :: VertAlign -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c VertAlign) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VertAlign) Source # gmapT :: (forall b. Data b => b -> b) -> VertAlign -> VertAlign Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VertAlign -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VertAlign -> r Source # gmapQ :: (forall d. Data d => d -> u) -> VertAlign -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> VertAlign -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> VertAlign -> m VertAlign Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VertAlign -> m VertAlign Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VertAlign -> m VertAlign Source # | |||||
| Generic VertAlign Source # | |||||
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.0.2-G9wPWS2GJceHmQFbwjHfIV" '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 Source # parseJSONList :: Value -> Parser [AdmonitionType] Source # | |||||
| ToJSON AdmonitionType Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: AdmonitionType -> Value Source # toEncoding :: AdmonitionType -> Encoding Source # toJSONList :: [AdmonitionType] -> Value Source # toEncodingList :: [AdmonitionType] -> Encoding Source # omitField :: AdmonitionType -> Bool Source # | |||||
| Data AdmonitionType Source # | |||||
Defined in AsciiDoc.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AdmonitionType -> c AdmonitionType Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AdmonitionType Source # toConstr :: AdmonitionType -> Constr Source # dataTypeOf :: AdmonitionType -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AdmonitionType) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AdmonitionType) Source # gmapT :: (forall b. Data b => b -> b) -> AdmonitionType -> AdmonitionType Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AdmonitionType -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AdmonitionType -> r Source # gmapQ :: (forall d. Data d => d -> u) -> AdmonitionType -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> AdmonitionType -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AdmonitionType -> m AdmonitionType Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AdmonitionType -> m AdmonitionType Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AdmonitionType -> m AdmonitionType Source # | |||||
| Generic AdmonitionType Source # | |||||
Defined in AsciiDoc.AST Associated Types
Methods from :: AdmonitionType -> Rep AdmonitionType x Source # to :: Rep AdmonitionType x -> AdmonitionType Source # | |||||
| Show AdmonitionType Source # | |||||
Defined in AsciiDoc.AST | |||||
| Eq AdmonitionType Source # | |||||
Defined in AsciiDoc.AST Methods (==) :: AdmonitionType -> AdmonitionType -> Bool Source # (/=) :: AdmonitionType -> AdmonitionType -> Bool Source # | |||||
| type Rep AdmonitionType Source # | |||||
Defined in AsciiDoc.AST type Rep AdmonitionType = D1 ('MetaData "AdmonitionType" "AsciiDoc.AST" "asciidoc-0.1.0.2-G9wPWS2GJceHmQFbwjHfIV" '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
Instances
| FromJSON Target Source # | |||||
| ToJSON Target Source # | |||||
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Target Source # toConstr :: Target -> Constr Source # dataTypeOf :: Target -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Target) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Target) Source # gmapT :: (forall b. Data b => b -> b) -> Target -> Target Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Target -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Target -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Target -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Target -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Target -> m Target Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Target -> m Target Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Target -> m Target Source # | |||||
| Generic Target Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show Target Source # | |||||
| Eq Target Source # | |||||
| type Rep Target Source # | |||||
Defined in AsciiDoc.AST | |||||
Link types
Instances
| FromJSON LinkType Source # | |
| ToJSON LinkType Source # | |
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LinkType Source # toConstr :: LinkType -> Constr Source # dataTypeOf :: LinkType -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LinkType) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LinkType) Source # gmapT :: (forall b. Data b => b -> b) -> LinkType -> LinkType Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LinkType -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LinkType -> r Source # gmapQ :: (forall d. Data d => d -> u) -> LinkType -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> LinkType -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LinkType -> m LinkType Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LinkType -> m LinkType Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LinkType -> m LinkType Source # | |
| Generic LinkType Source # | |
Defined in AsciiDoc.AST | |
| Show LinkType Source # | |
| Eq LinkType Source # | |
| type Rep LinkType Source # | |
Instances
| FromJSON MathType Source # | |
| ToJSON MathType Source # | |
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MathType Source # toConstr :: MathType -> Constr Source # dataTypeOf :: MathType -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MathType) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MathType) Source # gmapT :: (forall b. Data b => b -> b) -> MathType -> MathType Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MathType -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MathType -> r Source # gmapQ :: (forall d. Data d => d -> u) -> MathType -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> MathType -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MathType -> m MathType Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MathType -> m MathType Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MathType -> m MathType Source # | |
| Generic MathType Source # | |
Defined in AsciiDoc.AST | |
| Show MathType Source # | |
| Eq MathType Source # | |
| type Rep MathType Source # | |
Attributes attached to an element. The first parameter stores positional attributes in order. The second parameter stores named attributes (including special keys like idroleoptions) in a map.
Instances
| FromJSON Attr Source # | |||||
| ToJSON Attr Source # | |||||
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Attr Source # toConstr :: Attr -> Constr Source # dataTypeOf :: Attr -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Attr) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Attr) Source # gmapT :: (forall b. Data b => b -> b) -> Attr -> Attr Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Attr -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Attr -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Attr -> m Attr Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr Source # | |||||
| Generic Attr Source # | |||||
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.0.2-G9wPWS2GJceHmQFbwjHfIV" '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
Instances
| FromJSON Level Source # | |||||
| ToJSON Level Source # | |||||
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Level Source # toConstr :: Level -> Constr Source # dataTypeOf :: Level -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Level) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Level) Source # gmapT :: (forall b. Data b => b -> b) -> Level -> Level Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Level -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Level -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Level -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Level -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Level -> m Level Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Level -> m Level Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Level -> m Level Source # | |||||
| Generic Level Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show Level Source # | |||||
| Eq Level Source # | |||||
| Ord Level Source # | |||||
Defined in AsciiDoc.AST | |||||
| type Rep Level Source # | |||||
Defined in AsciiDoc.AST | |||||
Programming or markup language identifier
Instances
| FromJSON Language Source # | |||||
| ToJSON Language Source # | |||||
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Language Source # toConstr :: Language -> Constr Source # dataTypeOf :: Language -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Language) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Language) Source # gmapT :: (forall b. Data b => b -> b) -> Language -> Language Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Language -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Language -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Language -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Language -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Language -> m Language Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Language -> m Language Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Language -> m Language Source # | |||||
| Generic Language Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show Language Source # | |||||
| Eq Language Source # | |||||
| Ord Language Source # | |||||
Defined in AsciiDoc.AST | |||||
| type Rep Language Source # | |||||
Defined in AsciiDoc.AST | |||||
newtype Attribution Source #
Attribution for quotes
Constructors
| Attribution Text |
Instances
| FromJSON Attribution Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser Attribution Source # parseJSONList :: Value -> Parser [Attribution] Source # | |||||
| ToJSON Attribution Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: Attribution -> Value Source # toEncoding :: Attribution -> Encoding Source # toJSONList :: [Attribution] -> Value Source # toEncodingList :: [Attribution] -> Encoding Source # omitField :: Attribution -> Bool Source # | |||||
| Data Attribution Source # | |||||
Defined in AsciiDoc.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Attribution -> c Attribution Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Attribution Source # toConstr :: Attribution -> Constr Source # dataTypeOf :: Attribution -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Attribution) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Attribution) Source # gmapT :: (forall b. Data b => b -> b) -> Attribution -> Attribution Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Attribution -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attribution -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Attribution -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Attribution -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Attribution -> m Attribution Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Attribution -> m Attribution Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Attribution -> m Attribution Source # | |||||
| Generic Attribution Source # | |||||
Defined in AsciiDoc.AST Associated Types
Methods from :: Attribution -> Rep Attribution x Source # to :: Rep Attribution x -> Attribution Source # | |||||
| Show Attribution Source # | |||||
Defined in AsciiDoc.AST | |||||
| Eq Attribution Source # | |||||
Defined in AsciiDoc.AST Methods (==) :: Attribution -> Attribution -> Bool Source # (/=) :: Attribution -> Attribution -> Bool Source # | |||||
| Ord Attribution Source # | |||||
Defined in AsciiDoc.AST Methods compare :: Attribution -> Attribution -> Ordering Source # (<) :: Attribution -> Attribution -> Bool Source # (<=) :: Attribution -> Attribution -> Bool Source # (>) :: Attribution -> Attribution -> Bool Source # (>=) :: Attribution -> Attribution -> Bool Source # max :: Attribution -> Attribution -> Attribution Source # min :: Attribution -> Attribution -> Attribution Source # | |||||
| type Rep Attribution Source # | |||||
Defined in AsciiDoc.AST type Rep Attribution = D1 ('MetaData "Attribution" "AsciiDoc.AST" "asciidoc-0.1.0.2-G9wPWS2GJceHmQFbwjHfIV" 'True) (C1 ('MetaCons "Attribution" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) | |||||
Alternative text for images
Instances
| FromJSON AltText Source # | |||||
| ToJSON AltText Source # | |||||
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AltText Source # toConstr :: AltText -> Constr Source # dataTypeOf :: AltText -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AltText) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AltText) Source # gmapT :: (forall b. Data b => b -> b) -> AltText -> AltText Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AltText -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AltText -> r Source # gmapQ :: (forall d. Data d => d -> u) -> AltText -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> AltText -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AltText -> m AltText Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AltText -> m AltText Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AltText -> m AltText Source # | |||||
| Generic AltText Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show AltText Source # | |||||
| Eq AltText Source # | |||||
| Ord AltText Source # | |||||
| type Rep AltText Source # | |||||
Defined in AsciiDoc.AST | |||||
Width specification in pixels
Instances
| FromJSON Width Source # | |||||
| ToJSON Width Source # | |||||
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Width Source # toConstr :: Width -> Constr Source # dataTypeOf :: Width -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Width) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Width) Source # gmapT :: (forall b. Data b => b -> b) -> Width -> Width Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Width -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Width -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Width -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Width -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Width -> m Width Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Width -> m Width Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Width -> m Width Source # | |||||
| Generic Width Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show Width Source # | |||||
| Eq Width Source # | |||||
| Ord Width Source # | |||||
Defined in AsciiDoc.AST | |||||
| type Rep Width Source # | |||||
Defined in AsciiDoc.AST | |||||
Height specification in pixels
Instances
| FromJSON Height Source # | |||||
| ToJSON Height Source # | |||||
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Height Source # toConstr :: Height -> Constr Source # dataTypeOf :: Height -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Height) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Height) Source # gmapT :: (forall b. Data b => b -> b) -> Height -> Height Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Height -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Height -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Height -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Height -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Height -> m Height Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Height -> m Height Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Height -> m Height Source # | |||||
| Generic Height Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show Height Source # | |||||
| Eq Height Source # | |||||
| Ord Height Source # | |||||
| type Rep Height Source # | |||||
Defined in AsciiDoc.AST | |||||
newtype FootnoteId Source #
Footnote identifier
Constructors
| FootnoteId Text |
Instances
| FromJSON FootnoteId Source # | |||||
Defined in AsciiDoc.AST Methods parseJSON :: Value -> Parser FootnoteId Source # parseJSONList :: Value -> Parser [FootnoteId] Source # | |||||
| ToJSON FootnoteId Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: FootnoteId -> Value Source # toEncoding :: FootnoteId -> Encoding Source # toJSONList :: [FootnoteId] -> Value Source # toEncodingList :: [FootnoteId] -> Encoding Source # omitField :: FootnoteId -> Bool Source # | |||||
| Data FootnoteId Source # | |||||
Defined in AsciiDoc.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FootnoteId -> c FootnoteId Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FootnoteId Source # toConstr :: FootnoteId -> Constr Source # dataTypeOf :: FootnoteId -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FootnoteId) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FootnoteId) Source # gmapT :: (forall b. Data b => b -> b) -> FootnoteId -> FootnoteId Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FootnoteId -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FootnoteId -> r Source # gmapQ :: (forall d. Data d => d -> u) -> FootnoteId -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> FootnoteId -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FootnoteId -> m FootnoteId Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FootnoteId -> m FootnoteId Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FootnoteId -> m FootnoteId Source # | |||||
| Generic FootnoteId Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show FootnoteId Source # | |||||
Defined in AsciiDoc.AST | |||||
| Eq FootnoteId Source # | |||||
Defined in AsciiDoc.AST Methods (==) :: FootnoteId -> FootnoteId -> Bool Source # (/=) :: FootnoteId -> FootnoteId -> Bool Source # | |||||
| Ord FootnoteId Source # | |||||
Defined in AsciiDoc.AST Methods compare :: FootnoteId -> FootnoteId -> Ordering Source # (<) :: FootnoteId -> FootnoteId -> Bool Source # (<=) :: FootnoteId -> FootnoteId -> Bool Source # (>) :: FootnoteId -> FootnoteId -> Bool Source # (>=) :: FootnoteId -> FootnoteId -> Bool Source # max :: FootnoteId -> FootnoteId -> FootnoteId Source # min :: FootnoteId -> FootnoteId -> FootnoteId Source # | |||||
| type Rep FootnoteId Source # | |||||
Defined in AsciiDoc.AST type Rep FootnoteId = D1 ('MetaData "FootnoteId" "AsciiDoc.AST" "asciidoc-0.1.0.2-G9wPWS2GJceHmQFbwjHfIV" '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 Source # parseJSONList :: Value -> Parser [AttributeName] Source # | |||||
| ToJSON AttributeName Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: AttributeName -> Value Source # toEncoding :: AttributeName -> Encoding Source # toJSONList :: [AttributeName] -> Value Source # toEncodingList :: [AttributeName] -> Encoding Source # omitField :: AttributeName -> Bool Source # | |||||
| Data AttributeName Source # | |||||
Defined in AsciiDoc.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AttributeName -> c AttributeName Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AttributeName Source # toConstr :: AttributeName -> Constr Source # dataTypeOf :: AttributeName -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AttributeName) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AttributeName) Source # gmapT :: (forall b. Data b => b -> b) -> AttributeName -> AttributeName Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AttributeName -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AttributeName -> r Source # gmapQ :: (forall d. Data d => d -> u) -> AttributeName -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> AttributeName -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AttributeName -> m AttributeName Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AttributeName -> m AttributeName Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AttributeName -> m AttributeName Source # | |||||
| Generic AttributeName Source # | |||||
Defined in AsciiDoc.AST Associated Types
Methods from :: AttributeName -> Rep AttributeName x Source # to :: Rep AttributeName x -> AttributeName Source # | |||||
| Show AttributeName Source # | |||||
Defined in AsciiDoc.AST | |||||
| Eq AttributeName Source # | |||||
Defined in AsciiDoc.AST Methods (==) :: AttributeName -> AttributeName -> Bool Source # (/=) :: AttributeName -> AttributeName -> Bool Source # | |||||
| Ord AttributeName Source # | |||||
Defined in AsciiDoc.AST Methods compare :: AttributeName -> AttributeName -> Ordering Source # (<) :: AttributeName -> AttributeName -> Bool Source # (<=) :: AttributeName -> AttributeName -> Bool Source # (>) :: AttributeName -> AttributeName -> Bool Source # (>=) :: AttributeName -> AttributeName -> Bool Source # max :: AttributeName -> AttributeName -> AttributeName Source # min :: AttributeName -> AttributeName -> AttributeName Source # | |||||
| type Rep AttributeName Source # | |||||
Defined in AsciiDoc.AST type Rep AttributeName = D1 ('MetaData "AttributeName" "AsciiDoc.AST" "asciidoc-0.1.0.2-G9wPWS2GJceHmQFbwjHfIV" 'True) (C1 ('MetaCons "AttributeName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) | |||||
Source line callout
Instances
| FromJSON Callout Source # | |||||
| ToJSON Callout Source # | |||||
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Callout Source # toConstr :: Callout -> Constr Source # dataTypeOf :: Callout -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Callout) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Callout) Source # gmapT :: (forall b. Data b => b -> b) -> Callout -> Callout Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Callout -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Callout -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Callout -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Callout -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Callout -> m Callout Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Callout -> m Callout Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Callout -> m Callout Source # | |||||
| Generic Callout Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show Callout Source # | |||||
| Eq Callout Source # | |||||
| Ord Callout Source # | |||||
| type Rep Callout Source # | |||||
Defined in AsciiDoc.AST | |||||
Constructors
| TermInText Text | |
| TermConcealed [Text] |
Instances
| FromJSON IndexTerm Source # | |||||
| ToJSON IndexTerm Source # | |||||
| 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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IndexTerm Source # toConstr :: IndexTerm -> Constr Source # dataTypeOf :: IndexTerm -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c IndexTerm) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IndexTerm) Source # gmapT :: (forall b. Data b => b -> b) -> IndexTerm -> IndexTerm Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IndexTerm -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IndexTerm -> r Source # gmapQ :: (forall d. Data d => d -> u) -> IndexTerm -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> IndexTerm -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> IndexTerm -> m IndexTerm Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IndexTerm -> m IndexTerm Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IndexTerm -> m IndexTerm Source # | |||||
| Generic IndexTerm Source # | |||||
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.0.2-G9wPWS2GJceHmQFbwjHfIV" '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 Source # parseJSONList :: Value -> Parser [SourceLine] Source # | |||||
| ToJSON SourceLine Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: SourceLine -> Value Source # toEncoding :: SourceLine -> Encoding Source # toJSONList :: [SourceLine] -> Value Source # toEncodingList :: [SourceLine] -> Encoding Source # omitField :: SourceLine -> Bool Source # | |||||
| Data SourceLine Source # | |||||
Defined in AsciiDoc.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourceLine -> c SourceLine Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourceLine Source # toConstr :: SourceLine -> Constr Source # dataTypeOf :: SourceLine -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SourceLine) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourceLine) Source # gmapT :: (forall b. Data b => b -> b) -> SourceLine -> SourceLine Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourceLine -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourceLine -> r Source # gmapQ :: (forall d. Data d => d -> u) -> SourceLine -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> SourceLine -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourceLine -> m SourceLine Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceLine -> m SourceLine Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceLine -> m SourceLine Source # | |||||
| Generic SourceLine Source # | |||||
Defined in AsciiDoc.AST Associated Types
| |||||
| Show SourceLine Source # | |||||
Defined in AsciiDoc.AST | |||||
| Eq SourceLine Source # | |||||
Defined in AsciiDoc.AST Methods (==) :: SourceLine -> SourceLine -> Bool Source # (/=) :: SourceLine -> SourceLine -> Bool Source # | |||||
| Ord SourceLine Source # | |||||
Defined in AsciiDoc.AST Methods compare :: SourceLine -> SourceLine -> Ordering Source # (<) :: SourceLine -> SourceLine -> Bool Source # (<=) :: SourceLine -> SourceLine -> Bool Source # (>) :: SourceLine -> SourceLine -> Bool Source # (>=) :: SourceLine -> SourceLine -> Bool Source # max :: SourceLine -> SourceLine -> SourceLine Source # min :: SourceLine -> SourceLine -> SourceLine Source # | |||||
| type Rep SourceLine Source # | |||||
Defined in AsciiDoc.AST type Rep SourceLine = D1 ('MetaData "SourceLine" "AsciiDoc.AST" "asciidoc-0.1.0.2-G9wPWS2GJceHmQFbwjHfIV" '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 Source # parseJSONList :: Value -> Parser [CounterType] Source # | |||||
| ToJSON CounterType Source # | |||||
Defined in AsciiDoc.AST Methods toJSON :: CounterType -> Value Source # toEncoding :: CounterType -> Encoding Source # toJSONList :: [CounterType] -> Value Source # toEncodingList :: [CounterType] -> Encoding Source # omitField :: CounterType -> Bool Source # | |||||
| Data CounterType Source # | |||||
Defined in AsciiDoc.AST Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CounterType -> c CounterType Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CounterType Source # toConstr :: CounterType -> Constr Source # dataTypeOf :: CounterType -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CounterType) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CounterType) Source # gmapT :: (forall b. Data b => b -> b) -> CounterType -> CounterType Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CounterType -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CounterType -> r Source # gmapQ :: (forall d. Data d => d -> u) -> CounterType -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> CounterType -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CounterType -> m CounterType Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CounterType -> m CounterType Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CounterType -> m CounterType Source # | |||||
| Generic CounterType Source # | |||||
Defined in AsciiDoc.AST Associated Types
Methods from :: CounterType -> Rep CounterType x Source # to :: Rep CounterType x -> CounterType Source # | |||||
| Show CounterType Source # | |||||
Defined in AsciiDoc.AST | |||||
| Eq CounterType Source # | |||||
Defined in AsciiDoc.AST Methods (==) :: CounterType -> CounterType -> Bool Source # (/=) :: CounterType -> CounterType -> Bool Source # | |||||
| type Rep CounterType Source # | |||||
Defined in AsciiDoc.AST type Rep CounterType = D1 ('MetaData "CounterType" "AsciiDoc.AST" "asciidoc-0.1.0.2-G9wPWS2GJceHmQFbwjHfIV" '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))) | |||||