Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data Document ann = Document {
- documentMetadata :: Metadata
- documentContent :: Blocks ann
- data Block ann
- = BlockPlain (TaggedPlainBlock ann)
- | BlockParagraph (Paragraph ann)
- | BlockFork (TaggedBlocks ann)
- newtype Blocks ann = Blocks (Seq (Block ann))
- data BlockTagContent ann
- = BlockTagContent_Fork (Blocks ann)
- | BlockTagContent_Plain (PlainBlock ann)
- data Inline ann
- = InlineFork (TaggedLines 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 BlockTag ann
- = BlockTagFork (TaggedBlocks ann)
- | BlockTagPlain (TaggedPlainBlock ann)
- data TaggedBlocks ann = TaggedBlocks {
- blocksTag :: Tag ann
- taggedBlocks :: Blocks ann
- data TaggedPlainBlock ann = TaggedPlainBlock {
- plaintextTag :: Tag ann
- taggedPlaintext :: PlainBlock ann
- data TaggedLines ann = TaggedLines {
- linesTag :: Tag ann
- taggedLines :: Lines ann
- data TaggedOrBare a
- = IsTagged (TaggedType a)
- | IsBare (BareType a)
- 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 {}
- data MetaItem
- data MetaValue
Document
Instances
Blocks
BlockPlain (TaggedPlainBlock ann) | |
BlockParagraph (Paragraph ann) | |
BlockFork (TaggedBlocks ann) |
Instances
Instances
data BlockTagContent ann Source #
Instances
Lines
InlineFork (TaggedLines ann) | |
InlinePlain (Fragment ann) |
Instances
Line | |
|
Instances
Instances
Tags and tagged things
Instances
Instances
data TaggedBlocks ann Source #
Instances
data TaggedPlainBlock ann Source #
TaggedPlainBlock | |
|
Instances
data TaggedLines ann Source #
Instances
data TaggedOrBare a Source #
IsTagged (TaggedType a) | |
IsBare (BareType a) |
Instances
IsTaggedOrBare (TaggedOrBare a) Source # | |
Defined in ProAbstract.Structure.IsTaggedOrBare type TaggedType (TaggedOrBare a) Source # type BareType (TaggedOrBare a) Source # taggedOrBare :: Iso' (TaggedOrBare a) (TaggedOrBare (TaggedOrBare a)) Source # | |
type TaggedType (TaggedOrBare a) Source # | |
Defined in ProAbstract.Structure.IsTaggedOrBare | |
type BareType (TaggedOrBare a) Source # | |
Defined in ProAbstract.Structure.IsTaggedOrBare |
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.3.0.0-CFjEApBZPUR1EoNCheWNFg" '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 |
Instances
Eq MetaItem Source # | |
Ord MetaItem Source # | |
Defined in ProAbstract.Metadata.MetaItem | |
Show MetaItem Source # | |
Generic MetaItem Source # | |
NFData MetaItem Source # | |
Defined in ProAbstract.Metadata.MetaItem | |
Hashable MetaItem Source # | |
Defined in ProAbstract.Metadata.MetaItem | |
type Rep MetaItem Source # | |
Defined in ProAbstract.Metadata.MetaItem type Rep MetaItem = D1 ('MetaData "MetaItem" "ProAbstract.Metadata.MetaItem" "pro-abstract-0.3.0.0-CFjEApBZPUR1EoNCheWNFg" 'False) (C1 ('MetaCons "Property" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "Setting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) |
MetaValue_Property | |
MetaValue_Setting Text | setting value |
MetaValue_PropertyAndSetting Text | setting value |
Instances
Eq MetaValue Source # | |
Ord MetaValue Source # | |
Defined in ProAbstract.Metadata.MetaValue | |
Show MetaValue Source # | |
Generic MetaValue Source # | |
Semigroup MetaValue Source # | |
NFData MetaValue Source # | |
Defined in ProAbstract.Metadata.MetaValue | |
Hashable MetaValue Source # | |
Defined in ProAbstract.Metadata.MetaValue | |
type Rep MetaValue Source # | |
Defined in ProAbstract.Metadata.MetaValue type Rep MetaValue = D1 ('MetaData "MetaValue" "ProAbstract.Metadata.MetaValue" "pro-abstract-0.3.0.0-CFjEApBZPUR1EoNCheWNFg" 'False) (C1 ('MetaCons "MetaValue_Property" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MetaValue_Setting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "MetaValue_PropertyAndSetting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))) |