Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data Document ann = Document {
- documentMetadata :: Metadata
- documentContent :: Blocks ann
- data Block ann
- = BlockPlain (Tagged (PlainBlock ann))
- | BlockParagraph (Paragraph ann)
- | BlockFork (Tagged (Blocks ann))
- newtype Blocks ann = Blocks (Seq (Block ann))
- data Inline ann
- = InlineFork (Tagged (Lines ann))
- | InlinePlain (Fragment ann)
- data Line ann = Line {
- lineInlines :: Seq (Inline ann)
- lineAnnotation :: ann
- newtype Lines ann = Lines (Seq (Line ann))
- data Tag ann = Tag {
- tagName :: Text
- tagMetadata :: Metadata
- tagAnnotation :: ann
- data family Tagged con
- data BlockTag ann
- = BlockTagFork (Tagged (Blocks ann))
- | BlockTagPlain (Tagged (PlainBlock ann))
- data Paragraph ann = Paragraph {
- paragraphContent :: Lines ann
- paragraphAnnotation :: ann
- data Fragment ann = Fragment {
- fragmentText :: Text
- fragmentAnnotation :: ann
- data PlainBlock ann = PlainBlock {
- plainBlockLines :: Seq (Fragment ann)
- plainBlockAnnotation :: ann
- data Metadata = Metadata {}
Document
Instances
Blocks
BlockPlain (Tagged (PlainBlock ann)) | |
BlockParagraph (Paragraph ann) | |
BlockFork (Tagged (Blocks ann)) |
Instances
Instances
Lines
InlineFork (Tagged (Lines ann)) | |
InlinePlain (Fragment ann) |
Instances
Line | |
|
Instances
Instances
Tags and tagged things
Instances
data family Tagged con Source #
Instances
BlockTagFork (Tagged (Blocks ann)) | |
BlockTagPlain (Tagged (PlainBlock ann)) |
Instances
Paragraph
A collection of Lines
. A Paragraph
represents the border between block and inline contexts. All ancestors of a paragraph are block items or a document, and all children are inline items.
Instances
Plain text
Instances
data PlainBlock ann Source #
Instances
Metadata
A set of properties and settings, associated with a document or tag.
The namespaces of properties and settings are distinct; a property can share a name with a setting without conflict.
Instances
Eq Metadata Source # | |
Show Metadata Source # | |
Generic Metadata Source # | |
Semigroup Metadata Source # | |
Monoid Metadata Source # | |
NFData Metadata Source # | |
Defined in ProAbstract.Metadata.MetadataType | |
Hashable Metadata Source # | |
Defined in ProAbstract.Metadata.MetadataType | |
HasMetadata Metadata Source # | |
Defined in ProAbstract.Metadata.HasMetadata type MetadataOpticKind Metadata Source # | |
type Rep Metadata Source # | |
Defined in ProAbstract.Metadata.MetadataType type Rep Metadata = D1 ('MetaData "Metadata" "ProAbstract.Metadata.MetadataType" "pro-abstract-0.1.0.0-fAo99Omz3u7l2SA6DiDR2" 'False) (C1 ('MetaCons "Metadata" 'PrefixI 'True) (S1 ('MetaSel ('Just "metadataProperties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Text)) :*: S1 ('MetaSel ('Just "metadataSettings") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Text Text)))) | |
type MetadataOpticKind Metadata Source # | |
Defined in ProAbstract.Metadata.HasMetadata |