Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- type family Annotation x
- data Block ann
- data Blocks ann
- data BlockTag ann
- data BlockTagContent ann
- type family Content a
- type family Contents a
- data Document ann
- type family Fork a
- data Fragment ann
- data Inline ann
- data Line ann
- data Lines ann
- data MetaItem
- data MetaValue
- data Metadata
- data Paragraph ann
- type family Plain a
- data PlainBlock ann
- data Tag ann
- data TaggedBlocks ann
- data TaggedLines ann
- data TaggedPlainBlock ann
- data TaggedOrBare a
Documentation
type family Annotation x Source #
Instances
Instances
Instances
Instances
data BlockTagContent ann Source #
Instances
type family Content a Source #
Instances
type Content (Fragment ann) Source # | |
Defined in ProAbstract.Structure.Fragment | |
type Content (TaggedPlainBlock ann) Source # | |
Defined in ProAbstract.Structure.PlainBlock | |
type Content (TaggedLines ann) Source # | |
Defined in ProAbstract.Structure.Inline | |
type Content (Paragraph ann) Source # | |
Defined in ProAbstract.Structure.Paragraph | |
type Content (TaggedBlocks ann) Source # | |
Defined in ProAbstract.Structure.Block | |
type Content (Document ann) Source # | |
Defined in ProAbstract.Structure.Document | |
type Content (BlockTag ann) Source # | |
Defined in ProAbstract.Structure.BlockTag |
type family Contents a Source #
Instances
type Contents (TaggedPlainBlock ann) Source # | |
Defined in ProAbstract.Structure.PlainBlock | |
type Contents (PlainBlock ann) Source # | |
Defined in ProAbstract.Structure.PlainBlock | |
type Contents (TaggedLines ann) Source # | |
Defined in ProAbstract.Structure.Inline | |
type Contents (Lines ann) Source # | |
Defined in ProAbstract.Structure.Inline | |
type Contents (Line ann) Source # | |
Defined in ProAbstract.Structure.Inline | |
type Contents (Paragraph ann) Source # | |
Defined in ProAbstract.Structure.Paragraph | |
type Contents (TaggedBlocks ann) Source # | |
Defined in ProAbstract.Structure.Block | |
type Contents (Blocks ann) Source # | |
Defined in ProAbstract.Structure.Block | |
type Contents (Document ann) Source # | |
Defined in ProAbstract.Structure.Document |
Instances
Instances
type Fork (Inline ann) Source # | |
Defined in ProAbstract.Structure.Inline | |
type Fork (Block ann) Source # | |
Defined in ProAbstract.Structure.Block | |
type Fork (BlockTagContent ann) Source # | |
Defined in ProAbstract.Structure.BlockTagContent | |
type Fork (BlockTag ann) Source # | |
Defined in ProAbstract.Structure.BlockTag |
Instances
Instances
Instances
Instances
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))) |
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)))) |
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 |
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
Instances
type Plain (Inline ann) Source # | |
Defined in ProAbstract.Structure.Inline | |
type Plain (Block ann) Source # | |
Defined in ProAbstract.Structure.Block | |
type Plain (BlockTagContent ann) Source # | |
Defined in ProAbstract.Structure.BlockTagContent | |
type Plain (BlockTag ann) Source # | |
Defined in ProAbstract.Structure.BlockTag |
data PlainBlock ann Source #
Instances
Instances
data TaggedBlocks ann Source #
Instances
data TaggedLines ann Source #
Instances
data TaggedPlainBlock ann Source #
Instances
data TaggedOrBare a Source #
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 |