| 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 # | |||||
| Eq 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 # | |||||
| type Rep Document Source # | |||||
Defined in AsciiDoc.AST type Rep Document = D1 ('MetaData "Document" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 | |||||
| Eq Author Source # | |||||
| 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 # toConstr :: Author -> Constr # 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 # | |||||
| type Rep Author Source # | |||||
Defined in AsciiDoc.AST type Rep Author = D1 ('MetaData "Author" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 # | |||||
| Eq 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 # 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 # | |||||
| type Rep Revision Source # | |||||
Defined in AsciiDoc.AST type Rep Revision = D1 ('MetaData "Revision" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 | |||||
| Eq Block Source # | |||||
| 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 # | |||||
| type Rep Block Source # | |||||
Defined in AsciiDoc.AST type Rep Block = D1 ('MetaData "Block" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 | |||||
| Eq BlockType Source # | |||||
| 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 # | |||||
| type Rep BlockType Source # | |||||
Defined in AsciiDoc.AST type Rep BlockType = D1 ('MetaData "BlockType" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 # | |||||
| Eq BlockTitle Source # | |||||
Defined in AsciiDoc.AST | |||||
| 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 # | |||||
| type Rep BlockTitle Source # | |||||
Defined in AsciiDoc.AST type Rep BlockTitle = D1 ('MetaData "BlockTitle" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 | |||||
| Eq Inline Source # | |||||
| 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 # toConstr :: Inline -> Constr # dataTypeOf :: Inline -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Inline) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Inline) # gmapT :: (forall b. Data b => b -> b) -> Inline -> Inline # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Inline -> r # gmapQr :: 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 # | |||||
| type Rep Inline Source # | |||||
Defined in AsciiDoc.AST type Rep Inline = D1 ('MetaData "Inline" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 # | |||||
| Eq InlineType Source # | |||||
Defined in AsciiDoc.AST | |||||
| 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 # | |||||
| type Rep InlineType Source # | |||||
Defined in AsciiDoc.AST type Rep InlineType = D1 ('MetaData "InlineType" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 # | |||||
| Eq 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 # 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 # | |||||
| type Rep ListType Source # | |||||
Defined in AsciiDoc.AST type Rep ListType = D1 ('MetaData "ListType" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 | |||||
| Eq ListItem Source # | |||||
| 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 # | |||||
| type Rep ListItem Source # | |||||
Defined in AsciiDoc.AST type Rep ListItem = D1 ('MetaData "ListItem" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 # | |||||
| Eq CheckboxState Source # | |||||
Defined in AsciiDoc.AST Methods (==) :: CheckboxState -> CheckboxState -> Bool # (/=) :: CheckboxState -> 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 # | |||||
| 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 # | |||||
| Eq ColumnSpec Source # | |||||
Defined in AsciiDoc.AST | |||||
| 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 # | |||||
| type Rep ColumnSpec Source # | |||||
Defined in AsciiDoc.AST type Rep ColumnSpec = D1 ('MetaData "ColumnSpec" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 # | |||||
| Eq 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 # 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 # | |||||
| type Rep CellStyle Source # | |||||
Defined in AsciiDoc.AST type Rep CellStyle = D1 ('MetaData "CellStyle" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 | |||||
| Eq TableRow Source # | |||||
| 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 # | |||||
| 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 | |||||
| Eq TableCell Source # | |||||
| 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 # | |||||
| type Rep TableCell Source # | |||||
Defined in AsciiDoc.AST type Rep TableCell = D1 ('MetaData "TableCell" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 # | |||||
| Eq HorizAlign Source # | |||||
Defined in AsciiDoc.AST | |||||
| 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 # | |||||
| type Rep HorizAlign Source # | |||||
Defined in AsciiDoc.AST type Rep HorizAlign = D1 ('MetaData "HorizAlign" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 # | |||||
| Eq 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 # 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 # | |||||
| type Rep VertAlign Source # | |||||
Defined in AsciiDoc.AST type Rep VertAlign = D1 ('MetaData "VertAlign" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 # | |||||
| Eq AdmonitionType Source # | |||||
Defined in AsciiDoc.AST Methods (==) :: AdmonitionType -> AdmonitionType -> Bool # (/=) :: AdmonitionType -> 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
Methods from :: AdmonitionType -> Rep AdmonitionType x # to :: Rep AdmonitionType x -> AdmonitionType # | |||||
| Show AdmonitionType Source # | |||||
Defined in AsciiDoc.AST Methods showsPrec :: Int -> AdmonitionType -> ShowS # show :: AdmonitionType -> String # showList :: [AdmonitionType] -> ShowS # | |||||
| type Rep AdmonitionType Source # | |||||
Defined in AsciiDoc.AST type Rep AdmonitionType = D1 ('MetaData "AdmonitionType" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 # | |||||
| Eq 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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Target # toConstr :: Target -> Constr # 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 # | |||||
| type Rep Target Source # | |||||
Defined in AsciiDoc.AST | |||||
Link types
Instances
| FromJSON LinkType Source # | |
| ToJSON LinkType Source # | |
| Eq 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 # 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 | |
| Show LinkType Source # | |
| type Rep LinkType Source # | |
Instances
| FromJSON MathType Source # | |
| ToJSON MathType Source # | |
| Eq 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 # 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 | |
| Show 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 # | |||||
| Eq 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 # | |||||
| type Rep Attr Source # | |||||
Defined in AsciiDoc.AST type Rep Attr = D1 ('MetaData "Attr" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 # | |||||
| Eq Level Source # | |||||
| Ord 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 # 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 # | |||||
| type Rep Level Source # | |||||
Defined in AsciiDoc.AST | |||||
Programming or markup language identifier
Instances
| FromJSON Language Source # | |||||
| ToJSON Language Source # | |||||
| Eq Language Source # | |||||
| Ord Language Source # | |||||
Defined in AsciiDoc.AST | |||||
| 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 # | |||||
| 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 # | |||||
| 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 # | |||||
| 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 # | |||||
| type Rep Attribution Source # | |||||
Defined in AsciiDoc.AST type Rep Attribution = D1 ('MetaData "Attribution" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 # | |||||
| Eq AltText Source # | |||||
| Ord 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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AltText # toConstr :: AltText -> Constr # 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 # | |||||
| type Rep AltText Source # | |||||
Defined in AsciiDoc.AST | |||||
Width specification in pixels
Instances
| FromJSON Width Source # | |||||
| ToJSON Width Source # | |||||
| Eq Width Source # | |||||
| Ord 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 # 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 # | |||||
| type Rep Width Source # | |||||
Defined in AsciiDoc.AST | |||||
Height specification in pixels
Instances
| FromJSON Height Source # | |||||
| ToJSON Height Source # | |||||
| Eq Height Source # | |||||
| Ord 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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Height # toConstr :: Height -> Constr # 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 # | |||||
| 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 # | |||||
| 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 # | |||||
| 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 # | |||||
| type Rep FootnoteId Source # | |||||
Defined in AsciiDoc.AST type Rep FootnoteId = D1 ('MetaData "FootnoteId" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 # | |||||
| Eq AttributeName Source # | |||||
Defined in AsciiDoc.AST Methods (==) :: AttributeName -> AttributeName -> Bool # (/=) :: AttributeName -> AttributeName -> Bool # | |||||
| 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 # | |||||
| 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 # | |||||
| type Rep AttributeName Source # | |||||
Defined in AsciiDoc.AST type Rep AttributeName = D1 ('MetaData "AttributeName" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 # | |||||
| Eq Callout Source # | |||||
| Ord 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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Callout # toConstr :: Callout -> Constr # 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 # | |||||
| type Rep Callout Source # | |||||
Defined in AsciiDoc.AST | |||||
Constructors
| TermInText Text | |
| TermConcealed [Text] |
Instances
| FromJSON IndexTerm Source # | |||||
| ToJSON IndexTerm Source # | |||||
| Eq 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 # 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 # | |||||
| type Rep IndexTerm Source # | |||||
Defined in AsciiDoc.AST type Rep IndexTerm = D1 ('MetaData "IndexTerm" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 # | |||||
| 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 # | |||||
| 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 # | |||||
| type Rep SourceLine Source # | |||||
Defined in AsciiDoc.AST type Rep SourceLine = D1 ('MetaData "SourceLine" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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 # | |||||
| Eq CounterType Source # | |||||
Defined in AsciiDoc.AST | |||||
| 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 # | |||||
| type Rep CounterType Source # | |||||
Defined in AsciiDoc.AST type Rep CounterType = D1 ('MetaData "CounterType" "AsciiDoc.AST" "asciidoc-0.1.0.2-FyBzeYmuexNEk730x0puLB" '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))) | |||||