Copyright	© 2020 James Alexander Feldman-Crough © 2022 Mission Valley Software LLC
License	MPL-2.0
Safe Haskell	None
Language	Haskell2010

ProAbstract

Contents

Document
Blocks
- Paragraphs
- Tag blocks
Lines
- Plain text
Tags
- Traversal
- Withering
Prisms
Metadata
- Properties
- Settings
Content
- Contents
Annotation
Tagless content

Description

Document

Document is the root of the tree.

Document = (metadata : Metadata) × (content : Blocks)

Tagged nodes

Tagged nodes are branch points within a document.

Tag = (name : Text) × (metadata : Metadata) × (annotation : Annotation)
Tagged x = (tag : Tag) × (content : x)

Tagged is a data family, where the type parameter corresponds to the type of content under the tag. There are three instances of this family:

Optics:

tag targets the tag at a node; it is either a prism or an affine traversal, depending on the node type.
The allTags traversal targets every tag at and below a node.
The allBlockTags and allInlineTags also target tags at or below a node, but are limited to tags at the block or inline level, respectively.
Since a tag has metadata, all of the optics for targeting parts of metadata (e.g. atSetting and hasProperty) are also available on Tag and on Tagged nodes.

Operations for altering tags and/or removing tagged nodes in bulk:

Pure: mapMaybeTags, mapMaybeBlockTags, mapMaybeInlineTags
Monadic: witherTags, witherBlockTags, witherInlineTags

The Block level

Block-level content is everything that appears below the document level and above the paragraph level.

Block = (fork : Tagged Blocks) ∪ (plain : Tagged PlainBlock) ∪ (paragraph : Paragraph)

There are three kinds of block:

Fork blocks contain more blocks.
- Tagged Blocks = (tag : Tag) × (contents : Block)
Plain blocks contain text.
- Tagged PlainBlock = (tag : Tag) × (content : PlainBlock)
- PlainBlock = (contents : Fragment) × (annotation : Annotation)
Paragraphs contain inline content.
- Paragraph = (content : Lines) × (annotation : Annotation)

Unenforced guideline: The Lines of a Paragraph should contain at least one Line.

BlockTag

A BlockTag is a non-paragraph Block.

BlockTag = (fork : Tagged Blocks) ∪ (plain : Tagged PlainBlock)

The Block type can be described in terms of BlockTag as:

Block = (blockTag : BlockTag) ∪ (paragraph : Paragraph)

Example: blockTag % filtered (x -> view name x == "h1") is an affine fold that targets blocks with a tag name of "h1".

The Inline level

Inline-level content is everything below the paragraph level.

Inline content is grouped into lines; we specify no particular semantics of line breaks but suggest that a typical consumer of Lines will fold them together with a single space character interspersed between the lines.

Inline = (fork : Tagged Lines) ∪ (plain : Fragment)

There are two kinds of inline:

Fork inlines contain more inlines.
- Tagged Lines = (tag : Tag) × (content : Lines)
- Lines = (contents : Line)
- Line = (content : Seq Inline) × (annotation : Annotation)
Plain inlines contain text.

Unenforced guideline: Each Line should contain at least one Inline.

Fragments

Fragments are all the little scraps of text that serve as the leaves of the document tree.

Fragment = (content : Text) × (annotation : Annotation)

A fragment may appear at the inline level as a plain Inline, or at the block level as a line of a PlainBlock.

Unenforced guidelines: Fragment text should be non-empty, and it should not contain any line break characters.

Metadata

Documents and tags both have metadata.

Metadata = (properties : Set Text) × (settings : Map Text Text)

Optics:

metadata targets the metadata of a node; it is either a prism or an affine traversal, depending on the node type.
atSetting and hasProperty target specific parts of metadata by name.
The allMetadata traversal targets every metadata at and under a node.

Content

The content of a node is whatever is nested directly under it in the document tree. The content lens is overloaded via the Content type family and HasContent class.

The contents of a node is the type of sequence element most directly nested under it. The contents lens is via the Contents type family and HasContents class.

List of nodes and their content types:

x	Content x	Contents x
`Document`	`Blocks`	`Block`
`Blocks`	—	`Block`
`Paragraph`	`Lines`	`Line`
`Lines`	—	`Line`
`Line`	—	`Inline`
`PlainBlock`	—	`Fragment`
`Tagged` y	y	`Contents` y
`Fragment`	`Text`	—

HasContent and HasContents have type aliases HasContents' and HasContents' respectively for types that only support simple optics.

Fork and plain

At both the block and inline level, a node may be a fork that contains a sequence of more content at the same level, and a node may be plain node that just contains text.

The fork prism is overloaded via the Fork type family and CanFork class. List of nodes and their fork types:

x	Fork x
`Block`	`Tagged` `Blocks`
`Inline`	`Tagged` `Lines`

The plain prism is overloaded via the Plain type family and CanBePlain class. List of nodes and their plain types:

x	Plain x
`Block`	`Tagged` `PlainBlock`
`Inline`	`Fragment`

(Block also has a third prism, paragraph, which is neither fork nor plain.)

Annotation

An annotation is attached to every Tag, PlainBlock, Paragraph, Line, and Fragment. The Annotation type may be anything, but its original purpose was to map each component of a document to the location where it appeared in a text file.

Optics:

The annotation lens targets a single annotation at a node
The allAnnotations traversal targets every annotation at and under a node.

Modules

The ProAbstract module provides everything in the pro-abstract package. There are also some smaller collections of reëxports.

Organized by topic:

Organized by kind of thing:

ProAbstract.Types — The essential types, exported abstractly. Includes type families and data families.
ProAbstract.Optics — Lenses, prisms, traversals, etc. Many of these are class methods, but are exported here without their classes.
ProAbstract.Datatypes — Datatypes including with their constructors and record fields
ProAbstract.Families — Type families and data families.
ProAbstract.Classes — Typeclasses, mostly for the polymorphic optics.

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 Paragraph ann = Paragraph {
- paragraphContent :: Lines ann
- paragraphAnnotation :: ann
}
class HasManyParagraphs x where
- allParagraphs :: Traversal' x (Paragraph (Annotation x))
data BlockTag ann
- = BlockTagFork (Tagged (Blocks ann))
- | BlockTagPlain (Tagged (PlainBlock ann))
blockTag :: Prism' (Block ann) (BlockTag 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 Fragment ann = Fragment {
- fragmentText :: Text
- fragmentAnnotation :: ann
}
data PlainBlock ann = PlainBlock {
- plainBlockLines :: Seq (Fragment ann)
- plainBlockAnnotation :: ann
}
class HasManyPlainInlines x where
- allPlainInlines :: Traversal' x (Fragment (Annotation x))
class HasManyPlainBlocks x where
- allPlainBlocks :: Traversal' x (Tagged (PlainBlock (Annotation x)))
data Tag ann = Tag {
- tagName :: Text
- tagMetadata :: Metadata
- tagAnnotation :: ann
}
data family Tagged con
name :: (HasTag x, JoinKinds (TagOpticKind x) A_Lens k) => Optic' k NoIx x Text
class HasTag x where
- type TagOpticKind x :: OpticKind
- tag :: Optic' (TagOpticKind x) NoIx x (Tag (Annotation x))
class HasManyTags x where
- allTags :: Traversal' x (Tag (Annotation x))
- allInlineTags :: Traversal' x (Tag (Annotation x))
class HasManyTags x => HasManyBlockTags x where
- allBlockTags :: Traversal' x (Tag (Annotation x))
class HasWitherableTags x where
- witherTags :: Monad f => (Tag (Annotation x) -> f (Maybe (Tag (Annotation x)))) -> x -> f x
- mapMaybeTags :: (Tag (Annotation x) -> Maybe (Tag (Annotation x))) -> x -> x
class HasManyTags x => HasWitherableInlineTags x where
- witherInlineTags :: Monad f => (Tag (Annotation x) -> f (Maybe (Tag (Annotation x)))) -> x -> f x
- mapMaybeInlineTags :: (Tag (Annotation x) -> Maybe (Tag (Annotation x))) -> x -> x
class HasManyBlockTags x => HasWitherableBlockTags x where
- witherBlockTags :: Monad f => (Tag (Annotation x) -> f (Maybe (Tag (Annotation x)))) -> x -> f x
- mapMaybeBlockTags :: (Tag (Annotation x) -> Maybe (Tag (Annotation x))) -> x -> x
type family Plain a
class CanBePlain x where
- plain :: Prism' x (Plain x)
type family Fork a
class CanFork x where
- fork :: Prism' x (Fork x)
paragraph :: Prism' (Block ann) (Paragraph ann)
data Metadata = Metadata {
- metadataProperties :: Set Text
- metadataSettings :: Map Text Text
}
class HasMetadata x where
- type MetadataOpticKind x
- metadata :: Optic' (MetadataOpticKind x) NoIx x Metadata
class HasManyMetadata x where
- allMetadata :: Traversal' x Metadata
properties :: (HasMetadata m, JoinKinds (MetadataOpticKind m) A_Lens k) => Optic' k NoIx m (Set Text)
hasProperty :: (HasMetadata m, JoinKinds (MetadataOpticKind m) A_Lens k) => Text -> Optic' k NoIx m Bool
settings :: (HasMetadata m, JoinKinds (MetadataOpticKind m) A_Lens k) => Optic' k NoIx m (Map Text Text)
atSetting :: (HasMetadata m, JoinKinds (MetadataOpticKind m) A_Lens k) => Text -> Optic' k NoIx m (Maybe Text)
type family Content a
class HasContent x x' where
- content :: Lens x x' (Content x) (Content x')
type HasContent' x = HasContent x x
type family Contents a
class HasContents x x' where
- contents :: Lens x x' (Seq (Contents x)) (Seq (Contents x'))
type HasContents' x = HasContents x x
type family Annotation x
class HasAnnotation x x' where
- annotation :: Lens x x' (Annotation x) (Annotation x')
type HasAnnotation' x = HasAnnotation x x
class HasManyAnnotations x x' where
- allAnnotations :: Traversal x x' (Annotation x) (Annotation x')
class CanBeTagless a where
- tagless :: KindOfText txt -> AffineFold a txt
class CanHaveTaglessContent a where
- taglessContent :: KindOfText t -> AffineFold a t
data KindOfText txt where
- TextLine :: KindOfText Text
- TextStanza :: KindOfText (Seq Text)
- TextParagraphs :: KindOfText (Seq (Seq Text))

Document

data Document ann Source #

Constructors

Document
Fields documentMetadata :: Metadata `metadata` documentContent :: Blocks ann `content`

Instances

Instances details

Eq ann => Eq (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods (==) :: Document ann -> Document ann -> Bool # (/=) :: Document ann -> Document ann -> Bool #
Show ann => Show (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods showsPrec :: Int -> Document ann -> ShowS # show :: Document ann -> String # showList :: [Document ann] -> ShowS #
Generic (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Associated Types type Rep (Document ann) :: Type -> Type # Methods from :: Document ann -> Rep (Document ann) x # to :: Rep (Document ann) x -> Document ann #
NFData ann => NFData (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods rnf :: Document ann -> () #
Hashable ann => Hashable (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods hashWithSalt :: Int -> Document ann -> Int # hash :: Document ann -> Int #
HasMetadata (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Associated Types type MetadataOpticKind (Document ann) Source # Methods metadata :: Optic' (MetadataOpticKind (Document ann)) NoIx (Document ann) Metadata Source #
HasManyMetadata (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods allMetadata :: Traversal' (Document ann) Metadata Source #
HasManyPlainInlines (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods allPlainInlines :: Traversal' (Document ann) (Fragment (Annotation (Document ann))) Source #
HasWitherableInlineTags (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods witherInlineTags :: Monad f => (Tag (Annotation (Document ann)) -> f (Maybe (Tag (Annotation (Document ann))))) -> Document ann -> f (Document ann) Source # mapMaybeInlineTags :: (Tag (Annotation (Document ann)) -> Maybe (Tag (Annotation (Document ann)))) -> Document ann -> Document ann Source #
HasWitherableBlockTags (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods witherBlockTags :: Monad f => (Tag (Annotation (Document ann)) -> f (Maybe (Tag (Annotation (Document ann))))) -> Document ann -> f (Document ann) Source # mapMaybeBlockTags :: (Tag (Annotation (Document ann)) -> Maybe (Tag (Annotation (Document ann)))) -> Document ann -> Document ann Source #
HasManyBlockTags (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods allBlockTags :: Traversal' (Document ann) (Tag (Annotation (Document ann))) Source #
HasWitherableTags (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods witherTags :: Monad f => (Tag (Annotation (Document ann)) -> f (Maybe (Tag (Annotation (Document ann))))) -> Document ann -> f (Document ann) Source # mapMaybeTags :: (Tag (Annotation (Document ann)) -> Maybe (Tag (Annotation (Document ann)))) -> Document ann -> Document ann Source #
HasManyTags (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods allTags :: Traversal' (Document ann) (Tag (Annotation (Document ann))) Source # allInlineTags :: Traversal' (Document ann) (Tag (Annotation (Document ann))) Source #
HasManyPlainBlocks (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods allPlainBlocks :: Traversal' (Document ann) (Tagged (PlainBlock (Annotation (Document ann)))) Source #
HasManyParagraphs (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods allParagraphs :: Traversal' (Document ann) (Paragraph (Annotation (Document ann))) Source #
CanHaveTaglessContent (Document ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Document ann) t Source #
HasManyAnnotations (Document ann) (Document ann') Source #
Instance details Defined in ProAbstract.Structure.Document Methods allAnnotations :: Traversal (Document ann) (Document ann') (Annotation (Document ann)) (Annotation (Document ann')) Source #
HasContent (Document ann) (Document ann') Source #
Instance details Defined in ProAbstract.Structure.Document Methods content :: Lens (Document ann) (Document ann') (Content (Document ann)) (Content (Document ann')) Source #
HasContents (Document ann) (Document ann') Source #
Instance details Defined in ProAbstract.Structure.Document Methods contents :: Lens (Document ann) (Document ann') (Seq (Contents (Document ann))) (Seq (Contents (Document ann'))) Source #
type Rep (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document type Rep (Document ann) = D1 ('MetaData "Document" "ProAbstract.Structure.Document" "pro-abstract-0.1.0.0-fAo99Omz3u7l2SA6DiDR2" 'False) (C1 ('MetaCons "Document" 'PrefixI 'True) (S1 ('MetaSel ('Just "documentMetadata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Metadata) :*: S1 ('MetaSel ('Just "documentContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Blocks ann))))
type Annotation (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document type Annotation (Document ann) = ann
type Content (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document type Content (Document ann) = Blocks ann
type Contents (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document type Contents (Document ann) = Block ann
type MetadataOpticKind (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document type MetadataOpticKind (Document ann) = A_Lens

Blocks

data Block ann Source #

Constructors

BlockPlain (Tagged (PlainBlock ann))	`plain`
BlockParagraph (Paragraph ann)	`paragraph`
BlockFork (Tagged (Blocks ann))	`fork`

Instances

Instances details

Eq ann => Eq (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods (==) :: Block ann -> Block ann -> Bool # (/=) :: Block ann -> Block ann -> Bool #
Show ann => Show (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods showsPrec :: Int -> Block ann -> ShowS # show :: Block ann -> String # showList :: [Block ann] -> ShowS #
Generic (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Associated Types type Rep (Block ann) :: Type -> Type # Methods from :: Block ann -> Rep (Block ann) x # to :: Rep (Block ann) x -> Block ann #
NFData ann => NFData (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods rnf :: Block ann -> () #
Hashable ann => Hashable (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods hashWithSalt :: Int -> Block ann -> Int # hash :: Block ann -> Int #
HasMetadata (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Associated Types type MetadataOpticKind (Block ann) Source # Methods metadata :: Optic' (MetadataOpticKind (Block ann)) NoIx (Block ann) Metadata Source #
HasManyMetadata (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allMetadata :: Traversal' (Block ann) Metadata Source #
CanFork (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods fork :: Prism' (Block ann) (Fork (Block ann)) Source #
HasManyPlainInlines (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allPlainInlines :: Traversal' (Block ann) (Fragment (Annotation (Block ann))) Source #
CanBePlain (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods plain :: Prism' (Block ann) (Plain (Block ann)) Source #
HasTag (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Associated Types type TagOpticKind (Block ann) Source # Methods tag :: Optic' (TagOpticKind (Block ann)) NoIx (Block ann) (Tag (Annotation (Block ann))) Source #
HasWitherableInlineTags (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods witherInlineTags :: Monad f => (Tag (Annotation (Block ann)) -> f (Maybe (Tag (Annotation (Block ann))))) -> Block ann -> f (Block ann) Source # mapMaybeInlineTags :: (Tag (Annotation (Block ann)) -> Maybe (Tag (Annotation (Block ann)))) -> Block ann -> Block ann Source #
HasManyBlockTags (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allBlockTags :: Traversal' (Block ann) (Tag (Annotation (Block ann))) Source #
HasManyTags (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allTags :: Traversal' (Block ann) (Tag (Annotation (Block ann))) Source # allInlineTags :: Traversal' (Block ann) (Tag (Annotation (Block ann))) Source #
HasManyPlainBlocks (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allPlainBlocks :: Traversal' (Block ann) (Tagged (PlainBlock (Annotation (Block ann)))) Source #
HasManyParagraphs (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allParagraphs :: Traversal' (Block ann) (Paragraph (Annotation (Block ann))) Source #
CanBeTagless (Block ann) Source #	Only a `paragraph` inline is considered to be plain text, because `fork` and `plain` blocks have tags.
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (Block ann) txt Source #
CanHaveTaglessContent (Block ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Block ann) t Source #
HasAnnotation (Block ann) (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods annotation :: Lens (Block ann) (Block ann) (Annotation (Block ann)) (Annotation (Block ann)) Source #
HasManyAnnotations (Block ann) (Block ann') Source #
Instance details Defined in ProAbstract.Structure.Block Methods allAnnotations :: Traversal (Block ann) (Block ann') (Annotation (Block ann)) (Annotation (Block ann')) Source #
type Rep (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block type Rep (Block ann) = D1 ('MetaData "Block" "ProAbstract.Structure.Block" "pro-abstract-0.1.0.0-fAo99Omz3u7l2SA6DiDR2" 'False) (C1 ('MetaCons "BlockPlain" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tagged (PlainBlock ann)))) :+: (C1 ('MetaCons "BlockParagraph" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Paragraph ann))) :+: C1 ('MetaCons "BlockFork" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tagged (Blocks ann))))))
type Annotation (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block type Annotation (Block ann) = ann
type MetadataOpticKind (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block type MetadataOpticKind (Block ann) = An_AffineTraversal
type Fork (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block type Fork (Block ann) = Tagged (Blocks ann)
type Plain (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block type Plain (Block ann) = Tagged (PlainBlock ann)
type TagOpticKind (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block type TagOpticKind (Block ann) = An_AffineTraversal

newtype Blocks ann Source #

Constructors

Blocks (Seq (Block ann))

content

Instances

Instances details

IsList (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Associated Types type Item (Blocks ann) # Methods fromList :: [Item (Blocks ann)] -> Blocks ann # fromListN :: Int -> [Item (Blocks ann)] -> Blocks ann # toList :: Blocks ann -> [Item (Blocks ann)] #
Eq ann => Eq (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods (==) :: Tagged (Blocks ann) -> Tagged (Blocks ann) -> Bool # (/=) :: Tagged (Blocks ann) -> Tagged (Blocks ann) -> Bool #
Eq ann => Eq (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods (==) :: Blocks ann -> Blocks ann -> Bool # (/=) :: Blocks ann -> Blocks ann -> Bool #
Show ann => Show (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods showsPrec :: Int -> Tagged (Blocks ann) -> ShowS # show :: Tagged (Blocks ann) -> String # showList :: [Tagged (Blocks ann)] -> ShowS #
Show ann => Show (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods showsPrec :: Int -> Blocks ann -> ShowS # show :: Blocks ann -> String # showList :: [Blocks ann] -> ShowS #
Generic (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Associated Types type Rep (Tagged (Blocks ann)) :: Type -> Type # Methods from :: Tagged (Blocks ann) -> Rep (Tagged (Blocks ann)) x # to :: Rep (Tagged (Blocks ann)) x -> Tagged (Blocks ann) #
Generic (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Associated Types type Rep (Blocks ann) :: Type -> Type # Methods from :: Blocks ann -> Rep (Blocks ann) x # to :: Rep (Blocks ann) x -> Blocks ann #
Semigroup (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods (<>) :: Blocks ann -> Blocks ann -> Blocks ann # sconcat :: NonEmpty (Blocks ann) -> Blocks ann # stimes :: Integral b => b -> Blocks ann -> Blocks ann #
Monoid (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods mempty :: Blocks ann # mappend :: Blocks ann -> Blocks ann -> Blocks ann # mconcat :: [Blocks ann] -> Blocks ann #
NFData ann => NFData (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods rnf :: Tagged (Blocks ann) -> () #
NFData ann => NFData (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods rnf :: Blocks ann -> () #
Hashable ann => Hashable (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods hashWithSalt :: Int -> Tagged (Blocks ann) -> Int # hash :: Tagged (Blocks ann) -> Int #
Hashable ann => Hashable (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods hashWithSalt :: Int -> Blocks ann -> Int # hash :: Blocks ann -> Int #
HasMetadata (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Associated Types type MetadataOpticKind (Tagged (Blocks ann)) Source # Methods metadata :: Optic' (MetadataOpticKind (Tagged (Blocks ann))) NoIx (Tagged (Blocks ann)) Metadata Source #
HasManyMetadata (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allMetadata :: Traversal' (Tagged (Blocks ann)) Metadata Source #
HasManyMetadata (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allMetadata :: Traversal' (Blocks ann) Metadata Source #
HasManyPlainInlines (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allPlainInlines :: Traversal' (Tagged (Blocks ann)) (Fragment (Annotation (Tagged (Blocks ann)))) Source #
HasManyPlainInlines (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allPlainInlines :: Traversal' (Blocks ann) (Fragment (Annotation (Blocks ann))) Source #
HasTag (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Associated Types type TagOpticKind (Tagged (Blocks ann)) Source # Methods tag :: Optic' (TagOpticKind (Tagged (Blocks ann))) NoIx (Tagged (Blocks ann)) (Tag (Annotation (Tagged (Blocks ann)))) Source #
HasWitherableInlineTags (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods witherInlineTags :: Monad f => (Tag (Annotation (Tagged (Blocks ann))) -> f (Maybe (Tag (Annotation (Tagged (Blocks ann)))))) -> Tagged (Blocks ann) -> f (Tagged (Blocks ann)) Source # mapMaybeInlineTags :: (Tag (Annotation (Tagged (Blocks ann))) -> Maybe (Tag (Annotation (Tagged (Blocks ann))))) -> Tagged (Blocks ann) -> Tagged (Blocks ann) Source #
HasWitherableInlineTags (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods witherInlineTags :: Monad f => (Tag (Annotation (Blocks ann)) -> f (Maybe (Tag (Annotation (Blocks ann))))) -> Blocks ann -> f (Blocks ann) Source # mapMaybeInlineTags :: (Tag (Annotation (Blocks ann)) -> Maybe (Tag (Annotation (Blocks ann)))) -> Blocks ann -> Blocks ann Source #
HasWitherableBlockTags (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods witherBlockTags :: Monad f => (Tag (Annotation (Blocks ann)) -> f (Maybe (Tag (Annotation (Blocks ann))))) -> Blocks ann -> f (Blocks ann) Source # mapMaybeBlockTags :: (Tag (Annotation (Blocks ann)) -> Maybe (Tag (Annotation (Blocks ann)))) -> Blocks ann -> Blocks ann Source #
HasManyBlockTags (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allBlockTags :: Traversal' (Tagged (Blocks ann)) (Tag (Annotation (Tagged (Blocks ann)))) Source #
HasManyBlockTags (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allBlockTags :: Traversal' (Blocks ann) (Tag (Annotation (Blocks ann))) Source #
HasWitherableTags (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods witherTags :: Monad f => (Tag (Annotation (Blocks ann)) -> f (Maybe (Tag (Annotation (Blocks ann))))) -> Blocks ann -> f (Blocks ann) Source # mapMaybeTags :: (Tag (Annotation (Blocks ann)) -> Maybe (Tag (Annotation (Blocks ann)))) -> Blocks ann -> Blocks ann Source #
HasManyTags (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allTags :: Traversal' (Tagged (Blocks ann)) (Tag (Annotation (Tagged (Blocks ann)))) Source # allInlineTags :: Traversal' (Tagged (Blocks ann)) (Tag (Annotation (Tagged (Blocks ann)))) Source #
HasManyTags (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allTags :: Traversal' (Blocks ann) (Tag (Annotation (Blocks ann))) Source # allInlineTags :: Traversal' (Blocks ann) (Tag (Annotation (Blocks ann))) Source #
HasManyPlainBlocks (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allPlainBlocks :: Traversal' (Tagged (Blocks ann)) (Tagged (PlainBlock (Annotation (Tagged (Blocks ann))))) Source #
HasManyPlainBlocks (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allPlainBlocks :: Traversal' (Blocks ann) (Tagged (PlainBlock (Annotation (Blocks ann)))) Source #
HasManyParagraphs (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allParagraphs :: Traversal' (Tagged (Blocks ann)) (Paragraph (Annotation (Tagged (Blocks ann)))) Source #
HasManyParagraphs (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allParagraphs :: Traversal' (Blocks ann) (Paragraph (Annotation (Blocks ann))) Source #
CanBeTagless (Blocks ann) Source #
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (Blocks ann) txt Source #
CanHaveTaglessContent (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Tagged (Blocks ann)) t Source #
CanHaveTaglessContent (Blocks ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Blocks ann) t Source #
HasAnnotation (Tagged (Blocks ann)) (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods annotation :: Lens (Tagged (Blocks ann)) (Tagged (Blocks ann)) (Annotation (Tagged (Blocks ann))) (Annotation (Tagged (Blocks ann))) Source #
HasManyAnnotations (Tagged (Blocks ann)) (Tagged (Blocks ann')) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allAnnotations :: Traversal (Tagged (Blocks ann)) (Tagged (Blocks ann')) (Annotation (Tagged (Blocks ann))) (Annotation (Tagged (Blocks ann'))) Source #
HasManyAnnotations (Blocks ann) (Blocks ann') Source #
Instance details Defined in ProAbstract.Structure.Block Methods allAnnotations :: Traversal (Blocks ann) (Blocks ann') (Annotation (Blocks ann)) (Annotation (Blocks ann')) Source #
HasContent (Tagged (Blocks ann)) (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods content :: Lens (Tagged (Blocks ann)) (Tagged (Blocks ann)) (Content (Tagged (Blocks ann))) (Content (Tagged (Blocks ann))) Source #
HasContents (Tagged (Blocks ann)) (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods contents :: Lens (Tagged (Blocks ann)) (Tagged (Blocks ann)) (Seq (Contents (Tagged (Blocks ann)))) (Seq (Contents (Tagged (Blocks ann)))) Source #
HasContents (Blocks ann) (Blocks ann') Source #
Instance details Defined in ProAbstract.Structure.Block Methods contents :: Lens (Blocks ann) (Blocks ann') (Seq (Contents (Blocks ann))) (Seq (Contents (Blocks ann'))) Source #
type Rep (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block type Rep (Tagged (Blocks ann)) = D1 ('MetaData "Tagged" "ProAbstract.Structure.Block" "pro-abstract-0.1.0.0-fAo99Omz3u7l2SA6DiDR2" 'False) (C1 ('MetaCons "TaggedBlocks" 'PrefixI 'True) (S1 ('MetaSel ('Just "blocksTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tag ann)) :*: S1 ('MetaSel ('Just "taggedBlocks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Blocks ann))))
type Rep (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block type Rep (Blocks ann) = D1 ('MetaData "Blocks" "ProAbstract.Structure.Block" "pro-abstract-0.1.0.0-fAo99Omz3u7l2SA6DiDR2" 'True) (C1 ('MetaCons "Blocks" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq (Block ann)))))
type Item (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block type Item (Blocks ann) = Block ann
type Annotation (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block type Annotation (Tagged (Blocks ann)) = ann
type Annotation (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block type Annotation (Blocks ann) = ann
type Content (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block type Content (Tagged (Blocks ann)) = Blocks ann
type Contents (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block type Contents (Tagged (Blocks ann)) = Block ann
type Contents (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block type Contents (Blocks ann) = Block ann
type MetadataOpticKind (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block type MetadataOpticKind (Tagged (Blocks ann)) = A_Lens
type TagOpticKind (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block type TagOpticKind (Tagged (Blocks ann)) = A_Lens
data Tagged (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block data Tagged (Blocks ann) = TaggedBlocks { blocksTag :: Tag ann taggedBlocks :: Blocks ann }

Paragraphs

data Paragraph ann Source #

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.

Constructors

Paragraph
Fields paragraphContent :: Lines ann `content` paragraphAnnotation :: ann `annotation`

Instances

Instances details

Eq ann => Eq (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph Methods (==) :: Paragraph ann -> Paragraph ann -> Bool # (/=) :: Paragraph ann -> Paragraph ann -> Bool #
Show ann => Show (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph Methods showsPrec :: Int -> Paragraph ann -> ShowS # show :: Paragraph ann -> String # showList :: [Paragraph ann] -> ShowS #
Generic (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph Associated Types type Rep (Paragraph ann) :: Type -> Type # Methods from :: Paragraph ann -> Rep (Paragraph ann) x # to :: Rep (Paragraph ann) x -> Paragraph ann #
NFData ann => NFData (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph Methods rnf :: Paragraph ann -> () #
Hashable ann => Hashable (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph Methods hashWithSalt :: Int -> Paragraph ann -> Int # hash :: Paragraph ann -> Int #
HasManyMetadata (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph Methods allMetadata :: Traversal' (Paragraph ann) Metadata Source #
HasManyPlainInlines (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph Methods allPlainInlines :: Traversal' (Paragraph ann) (Fragment (Annotation (Paragraph ann))) Source #
HasWitherableInlineTags (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph Methods witherInlineTags :: Monad f => (Tag (Annotation (Paragraph ann)) -> f (Maybe (Tag (Annotation (Paragraph ann))))) -> Paragraph ann -> f (Paragraph ann) Source # mapMaybeInlineTags :: (Tag (Annotation (Paragraph ann)) -> Maybe (Tag (Annotation (Paragraph ann)))) -> Paragraph ann -> Paragraph ann Source #
HasManyTags (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph Methods allTags :: Traversal' (Paragraph ann) (Tag (Annotation (Paragraph ann))) Source # allInlineTags :: Traversal' (Paragraph ann) (Tag (Annotation (Paragraph ann))) Source #
CanBeTagless (Paragraph ann) Source #
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (Paragraph ann) txt Source #
HasAnnotation (Paragraph ann) (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph Methods annotation :: Lens (Paragraph ann) (Paragraph ann) (Annotation (Paragraph ann)) (Annotation (Paragraph ann)) Source #
HasManyAnnotations (Paragraph ann) (Paragraph ann') Source #
Instance details Defined in ProAbstract.Structure.Paragraph Methods allAnnotations :: Traversal (Paragraph ann) (Paragraph ann') (Annotation (Paragraph ann)) (Annotation (Paragraph ann')) Source #
HasContent (Paragraph ann) (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph Methods content :: Lens (Paragraph ann) (Paragraph ann) (Content (Paragraph ann)) (Content (Paragraph ann)) Source #
HasContents (Paragraph ann) (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph Methods contents :: Lens (Paragraph ann) (Paragraph ann) (Seq (Contents (Paragraph ann))) (Seq (Contents (Paragraph ann))) Source #
type Rep (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph type Rep (Paragraph ann) = D1 ('MetaData "Paragraph" "ProAbstract.Structure.Paragraph" "pro-abstract-0.1.0.0-fAo99Omz3u7l2SA6DiDR2" 'False) (C1 ('MetaCons "Paragraph" 'PrefixI 'True) (S1 ('MetaSel ('Just "paragraphContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Lines ann)) :*: S1 ('MetaSel ('Just "paragraphAnnotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann)))
type Annotation (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph type Annotation (Paragraph ann) = ann
type Content (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph type Content (Paragraph ann) = Lines ann
type Contents (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph type Contents (Paragraph ann) = Line ann

class HasManyParagraphs x where Source #

Methods

allParagraphs :: Traversal' x (Paragraph (Annotation x)) Source #

Instances

Instances details

HasManyParagraphs (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allParagraphs :: Traversal' (Tagged (Blocks ann)) (Paragraph (Annotation (Tagged (Blocks ann)))) Source #
HasManyParagraphs (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allParagraphs :: Traversal' (Blocks ann) (Paragraph (Annotation (Blocks ann))) Source #
HasManyParagraphs (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allParagraphs :: Traversal' (Block ann) (Paragraph (Annotation (Block ann))) Source #
HasManyParagraphs (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods allParagraphs :: Traversal' (Document ann) (Paragraph (Annotation (Document ann))) Source #
HasManyParagraphs (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag Methods allParagraphs :: Traversal' (BlockTag ann) (Paragraph (Annotation (BlockTag ann))) Source #

Tag blocks

data BlockTag ann Source #

Constructors

BlockTagFork (Tagged (Blocks ann))	`fork`
BlockTagPlain (Tagged (PlainBlock ann))	`plain`

Instances

Instances details

HasMetadata (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag Associated Types type MetadataOpticKind (BlockTag ann) Source # Methods metadata :: Optic' (MetadataOpticKind (BlockTag ann)) NoIx (BlockTag ann) Metadata Source #
HasManyMetadata (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag Methods allMetadata :: Traversal' (BlockTag ann) Metadata Source #
CanFork (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag Methods fork :: Prism' (BlockTag ann) (Fork (BlockTag ann)) Source #
HasManyPlainInlines (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag Methods allPlainInlines :: Traversal' (BlockTag ann) (Fragment (Annotation (BlockTag ann))) Source #
CanBePlain (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag Methods plain :: Prism' (BlockTag ann) (Plain (BlockTag ann)) Source #
HasTag (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag Associated Types type TagOpticKind (BlockTag ann) Source # Methods tag :: Optic' (TagOpticKind (BlockTag ann)) NoIx (BlockTag ann) (Tag (Annotation (BlockTag ann))) Source #
HasManyTags (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag Methods allTags :: Traversal' (BlockTag ann) (Tag (Annotation (BlockTag ann))) Source # allInlineTags :: Traversal' (BlockTag ann) (Tag (Annotation (BlockTag ann))) Source #
HasManyPlainBlocks (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag Methods allPlainBlocks :: Traversal' (BlockTag ann) (Tagged (PlainBlock (Annotation (BlockTag ann)))) Source #
HasManyParagraphs (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag Methods allParagraphs :: Traversal' (BlockTag ann) (Paragraph (Annotation (BlockTag ann))) Source #
CanHaveTaglessContent (BlockTag ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (BlockTag ann) t Source #
HasAnnotation (BlockTag ann) (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag Methods annotation :: Lens (BlockTag ann) (BlockTag ann) (Annotation (BlockTag ann)) (Annotation (BlockTag ann)) Source #
HasManyAnnotations (BlockTag ann) (BlockTag ann') Source #
Instance details Defined in ProAbstract.Structure.BlockTag Methods allAnnotations :: Traversal (BlockTag ann) (BlockTag ann') (Annotation (BlockTag ann)) (Annotation (BlockTag ann')) Source #
type Annotation (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag type Annotation (BlockTag ann) = ann
type MetadataOpticKind (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag type MetadataOpticKind (BlockTag ann) = A_Lens
type Fork (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag type Fork (BlockTag ann) = Tagged (Blocks ann)
type Plain (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag type Plain (BlockTag ann) = Tagged (PlainBlock ann)
type TagOpticKind (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag type TagOpticKind (BlockTag ann) = A_Lens

blockTag :: Prism' (Block ann) (BlockTag ann) Source #

Lines

data Inline ann Source #

Constructors

InlineFork (Tagged (Lines ann))	`fork`
InlinePlain (Fragment ann)	`plain`

Instances

Instances details

Eq ann => Eq (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods (==) :: Inline ann -> Inline ann -> Bool # (/=) :: Inline ann -> Inline ann -> Bool #
Show ann => Show (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods showsPrec :: Int -> Inline ann -> ShowS # show :: Inline ann -> String # showList :: [Inline ann] -> ShowS #
Generic (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Associated Types type Rep (Inline ann) :: Type -> Type # Methods from :: Inline ann -> Rep (Inline ann) x # to :: Rep (Inline ann) x -> Inline ann #
NFData ann => NFData (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods rnf :: Inline ann -> () #
Hashable ann => Hashable (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods hashWithSalt :: Int -> Inline ann -> Int # hash :: Inline ann -> Int #
HasMetadata (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Associated Types type MetadataOpticKind (Inline ann) Source # Methods metadata :: Optic' (MetadataOpticKind (Inline ann)) NoIx (Inline ann) Metadata Source #
HasManyMetadata (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allMetadata :: Traversal' (Inline ann) Metadata Source #
CanFork (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods fork :: Prism' (Inline ann) (Fork (Inline ann)) Source #
HasManyPlainInlines (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allPlainInlines :: Traversal' (Inline ann) (Fragment (Annotation (Inline ann))) Source #
CanBePlain (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods plain :: Prism' (Inline ann) (Plain (Inline ann)) Source #
HasTag (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Associated Types type TagOpticKind (Inline ann) Source # Methods tag :: Optic' (TagOpticKind (Inline ann)) NoIx (Inline ann) (Tag (Annotation (Inline ann))) Source #
HasManyTags (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allTags :: Traversal' (Inline ann) (Tag (Annotation (Inline ann))) Source # allInlineTags :: Traversal' (Inline ann) (Tag (Annotation (Inline ann))) Source #
CanBeTagless (Inline ann) Source #	Only a `plain` inline is considered to be plain text, because `fork` inlines have a tags.
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (Inline ann) txt Source #
CanHaveTaglessContent (Inline ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Inline ann) t Source #
HasAnnotation (Inline ann) (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods annotation :: Lens (Inline ann) (Inline ann) (Annotation (Inline ann)) (Annotation (Inline ann)) Source #
HasManyAnnotations (Inline ann) (Inline ann') Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allAnnotations :: Traversal (Inline ann) (Inline ann') (Annotation (Inline ann)) (Annotation (Inline ann')) Source #
type Rep (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline type Rep (Inline ann) = D1 ('MetaData "Inline" "ProAbstract.Structure.Inline" "pro-abstract-0.1.0.0-fAo99Omz3u7l2SA6DiDR2" 'False) (C1 ('MetaCons "InlineFork" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tagged (Lines ann)))) :+: C1 ('MetaCons "InlinePlain" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Fragment ann))))
type Annotation (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline type Annotation (Inline ann) = ann
type MetadataOpticKind (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline type MetadataOpticKind (Inline ann) = An_AffineTraversal
type Fork (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline type Fork (Inline ann) = Tagged (Lines ann)
type Plain (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline type Plain (Inline ann) = Fragment ann
type TagOpticKind (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline type TagOpticKind (Inline ann) = An_AffineTraversal

data Line ann Source #

Constructors

Line
Fields lineInlines :: Seq (Inline ann) `contentsSeq` lineAnnotation :: ann `annotation`

Instances

Instances details

IsList (Line ()) Source #
Instance details Defined in ProAbstract.Structure.Inline Associated Types type Item (Line ()) # Methods fromList :: [Item (Line ())] -> Line () # fromListN :: Int -> [Item (Line ())] -> Line () # toList :: Line () -> [Item (Line ())] #
Eq ann => Eq (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods (==) :: Line ann -> Line ann -> Bool # (/=) :: Line ann -> Line ann -> Bool #
Show ann => Show (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods showsPrec :: Int -> Line ann -> ShowS # show :: Line ann -> String # showList :: [Line ann] -> ShowS #
Generic (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Associated Types type Rep (Line ann) :: Type -> Type # Methods from :: Line ann -> Rep (Line ann) x # to :: Rep (Line ann) x -> Line ann #
NFData ann => NFData (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods rnf :: Line ann -> () #
Hashable ann => Hashable (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods hashWithSalt :: Int -> Line ann -> Int # hash :: Line ann -> Int #
HasManyMetadata (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allMetadata :: Traversal' (Line ann) Metadata Source #
HasManyPlainInlines (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allPlainInlines :: Traversal' (Line ann) (Fragment (Annotation (Line ann))) Source #
HasWitherableInlineTags (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods witherInlineTags :: Monad f => (Tag (Annotation (Line ann)) -> f (Maybe (Tag (Annotation (Line ann))))) -> Line ann -> f (Line ann) Source # mapMaybeInlineTags :: (Tag (Annotation (Line ann)) -> Maybe (Tag (Annotation (Line ann)))) -> Line ann -> Line ann Source #
HasWitherableTags (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods witherTags :: Monad f => (Tag (Annotation (Line ann)) -> f (Maybe (Tag (Annotation (Line ann))))) -> Line ann -> f (Line ann) Source # mapMaybeTags :: (Tag (Annotation (Line ann)) -> Maybe (Tag (Annotation (Line ann)))) -> Line ann -> Line ann Source #
HasManyTags (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allTags :: Traversal' (Line ann) (Tag (Annotation (Line ann))) Source # allInlineTags :: Traversal' (Line ann) (Tag (Annotation (Line ann))) Source #
CanBeTagless (Line ann) Source #
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (Line ann) txt Source #
CanHaveTaglessContent (Line ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Line ann) t Source #
HasAnnotation (Line ann) (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods annotation :: Lens (Line ann) (Line ann) (Annotation (Line ann)) (Annotation (Line ann)) Source #
HasManyAnnotations (Line ann) (Line ann') Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allAnnotations :: Traversal (Line ann) (Line ann') (Annotation (Line ann)) (Annotation (Line ann')) Source #
HasContents (Line ann) (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods contents :: Lens (Line ann) (Line ann) (Seq (Contents (Line ann))) (Seq (Contents (Line ann))) Source #
type Rep (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline type Rep (Line ann) = D1 ('MetaData "Line" "ProAbstract.Structure.Inline" "pro-abstract-0.1.0.0-fAo99Omz3u7l2SA6DiDR2" 'False) (C1 ('MetaCons "Line" 'PrefixI 'True) (S1 ('MetaSel ('Just "lineInlines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq (Inline ann))) :*: S1 ('MetaSel ('Just "lineAnnotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann)))
type Item (Line ()) Source #
Instance details Defined in ProAbstract.Structure.Inline type Item (Line ()) = Inline ()
type Annotation (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline type Annotation (Line ann) = ann
type Contents (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline type Contents (Line ann) = Inline ann

newtype Lines ann Source #

Constructors

Lines (Seq (Line ann))

contentsSeq

Instances

Instances details

IsList (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Associated Types type Item (Lines ann) # Methods fromList :: [Item (Lines ann)] -> Lines ann # fromListN :: Int -> [Item (Lines ann)] -> Lines ann # toList :: Lines ann -> [Item (Lines ann)] #
Eq ann => Eq (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods (==) :: Tagged (Lines ann) -> Tagged (Lines ann) -> Bool # (/=) :: Tagged (Lines ann) -> Tagged (Lines ann) -> Bool #
Eq ann => Eq (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods (==) :: Lines ann -> Lines ann -> Bool # (/=) :: Lines ann -> Lines ann -> Bool #
Show ann => Show (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods showsPrec :: Int -> Tagged (Lines ann) -> ShowS # show :: Tagged (Lines ann) -> String # showList :: [Tagged (Lines ann)] -> ShowS #
Show ann => Show (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods showsPrec :: Int -> Lines ann -> ShowS # show :: Lines ann -> String # showList :: [Lines ann] -> ShowS #
Generic (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Associated Types type Rep (Tagged (Lines ann)) :: Type -> Type # Methods from :: Tagged (Lines ann) -> Rep (Tagged (Lines ann)) x # to :: Rep (Tagged (Lines ann)) x -> Tagged (Lines ann) #
Generic (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Associated Types type Rep (Lines ann) :: Type -> Type # Methods from :: Lines ann -> Rep (Lines ann) x # to :: Rep (Lines ann) x -> Lines ann #
Semigroup (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods (<>) :: Lines ann -> Lines ann -> Lines ann # sconcat :: NonEmpty (Lines ann) -> Lines ann # stimes :: Integral b => b -> Lines ann -> Lines ann #
Monoid (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods mempty :: Lines ann # mappend :: Lines ann -> Lines ann -> Lines ann # mconcat :: [Lines ann] -> Lines ann #
NFData ann => NFData (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods rnf :: Tagged (Lines ann) -> () #
NFData ann => NFData (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods rnf :: Lines ann -> () #
Hashable ann => Hashable (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods hashWithSalt :: Int -> Tagged (Lines ann) -> Int # hash :: Tagged (Lines ann) -> Int #
Hashable ann => Hashable (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods hashWithSalt :: Int -> Lines ann -> Int # hash :: Lines ann -> Int #
HasMetadata (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Associated Types type MetadataOpticKind (Tagged (Lines ann)) Source # Methods metadata :: Optic' (MetadataOpticKind (Tagged (Lines ann))) NoIx (Tagged (Lines ann)) Metadata Source #
HasManyMetadata (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allMetadata :: Traversal' (Tagged (Lines ann)) Metadata Source #
HasManyMetadata (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allMetadata :: Traversal' (Lines ann) Metadata Source #
HasManyPlainInlines (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allPlainInlines :: Traversal' (Tagged (Lines ann)) (Fragment (Annotation (Tagged (Lines ann)))) Source #
HasManyPlainInlines (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allPlainInlines :: Traversal' (Lines ann) (Fragment (Annotation (Lines ann))) Source #
HasTag (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Associated Types type TagOpticKind (Tagged (Lines ann)) Source # Methods tag :: Optic' (TagOpticKind (Tagged (Lines ann))) NoIx (Tagged (Lines ann)) (Tag (Annotation (Tagged (Lines ann)))) Source #
HasWitherableInlineTags (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods witherInlineTags :: Monad f => (Tag (Annotation (Tagged (Lines ann))) -> f (Maybe (Tag (Annotation (Tagged (Lines ann)))))) -> Tagged (Lines ann) -> f (Tagged (Lines ann)) Source # mapMaybeInlineTags :: (Tag (Annotation (Tagged (Lines ann))) -> Maybe (Tag (Annotation (Tagged (Lines ann))))) -> Tagged (Lines ann) -> Tagged (Lines ann) Source #
HasWitherableInlineTags (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods witherInlineTags :: Monad f => (Tag (Annotation (Lines ann)) -> f (Maybe (Tag (Annotation (Lines ann))))) -> Lines ann -> f (Lines ann) Source # mapMaybeInlineTags :: (Tag (Annotation (Lines ann)) -> Maybe (Tag (Annotation (Lines ann)))) -> Lines ann -> Lines ann Source #
HasWitherableTags (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods witherTags :: Monad f => (Tag (Annotation (Lines ann)) -> f (Maybe (Tag (Annotation (Lines ann))))) -> Lines ann -> f (Lines ann) Source # mapMaybeTags :: (Tag (Annotation (Lines ann)) -> Maybe (Tag (Annotation (Lines ann)))) -> Lines ann -> Lines ann Source #
HasManyTags (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allTags :: Traversal' (Tagged (Lines ann)) (Tag (Annotation (Tagged (Lines ann)))) Source # allInlineTags :: Traversal' (Tagged (Lines ann)) (Tag (Annotation (Tagged (Lines ann)))) Source #
HasManyTags (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allTags :: Traversal' (Lines ann) (Tag (Annotation (Lines ann))) Source # allInlineTags :: Traversal' (Lines ann) (Tag (Annotation (Lines ann))) Source #
CanBeTagless (Lines ann) Source #
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (Lines ann) txt Source #
CanHaveTaglessContent (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Tagged (Lines ann)) t Source #
CanHaveTaglessContent (Lines ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Lines ann) t Source #
HasAnnotation (Tagged (Lines ann)) (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods annotation :: Lens (Tagged (Lines ann)) (Tagged (Lines ann)) (Annotation (Tagged (Lines ann))) (Annotation (Tagged (Lines ann))) Source #
HasManyAnnotations (Tagged (Lines ann)) (Tagged (Lines ann')) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allAnnotations :: Traversal (Tagged (Lines ann)) (Tagged (Lines ann')) (Annotation (Tagged (Lines ann))) (Annotation (Tagged (Lines ann'))) Source #
HasManyAnnotations (Lines ann) (Lines ann') Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allAnnotations :: Traversal (Lines ann) (Lines ann') (Annotation (Lines ann)) (Annotation (Lines ann')) Source #
HasContent (Tagged (Lines ann)) (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods content :: Lens (Tagged (Lines ann)) (Tagged (Lines ann)) (Content (Tagged (Lines ann))) (Content (Tagged (Lines ann))) Source #
HasContents (Tagged (Lines ann)) (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods contents :: Lens (Tagged (Lines ann)) (Tagged (Lines ann)) (Seq (Contents (Tagged (Lines ann)))) (Seq (Contents (Tagged (Lines ann)))) Source #
HasContents (Lines ann) (Lines ann') Source #
Instance details Defined in ProAbstract.Structure.Inline Methods contents :: Lens (Lines ann) (Lines ann') (Seq (Contents (Lines ann))) (Seq (Contents (Lines ann'))) Source #
type Rep (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline type Rep (Tagged (Lines ann)) = D1 ('MetaData "Tagged" "ProAbstract.Structure.Inline" "pro-abstract-0.1.0.0-fAo99Omz3u7l2SA6DiDR2" 'False) (C1 ('MetaCons "TaggedLines" 'PrefixI 'True) (S1 ('MetaSel ('Just "linesTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tag ann)) :*: S1 ('MetaSel ('Just "taggedLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Lines ann))))
type Rep (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline type Rep (Lines ann) = D1 ('MetaData "Lines" "ProAbstract.Structure.Inline" "pro-abstract-0.1.0.0-fAo99Omz3u7l2SA6DiDR2" 'True) (C1 ('MetaCons "Lines" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq (Line ann)))))
type Item (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline type Item (Lines ann) = Line ann
type Annotation (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline type Annotation (Tagged (Lines ann)) = ann
type Annotation (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline type Annotation (Lines ann) = ann
type Content (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline type Content (Tagged (Lines ann)) = Lines ann
type Contents (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline type Contents (Tagged (Lines ann)) = Line ann
type Contents (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline type Contents (Lines ann) = Line ann
type MetadataOpticKind (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline type MetadataOpticKind (Tagged (Lines ann)) = A_Lens
type TagOpticKind (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline type TagOpticKind (Tagged (Lines ann)) = A_Lens
data Tagged (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline data Tagged (Lines ann) = TaggedLines { linesTag :: Tag ann taggedLines :: Lines ann }

Plain text

data Fragment ann Source #

Constructors

Fragment
Fields fragmentText :: Text `content` fragmentAnnotation :: ann `annotation`

Instances

Instances details

Eq ann => Eq (Fragment ann) Source #
Instance details Defined in ProAbstract.Structure.Fragment Methods (==) :: Fragment ann -> Fragment ann -> Bool # (/=) :: Fragment ann -> Fragment ann -> Bool #
Show ann => Show (Fragment ann) Source #
Instance details Defined in ProAbstract.Structure.Fragment Methods showsPrec :: Int -> Fragment ann -> ShowS # show :: Fragment ann -> String # showList :: [Fragment ann] -> ShowS #
Generic (Fragment ann) Source #
Instance details Defined in ProAbstract.Structure.Fragment Associated Types type Rep (Fragment ann) :: Type -> Type # Methods from :: Fragment ann -> Rep (Fragment ann) x # to :: Rep (Fragment ann) x -> Fragment ann #
NFData ann => NFData (Fragment ann) Source #
Instance details Defined in ProAbstract.Structure.Fragment Methods rnf :: Fragment ann -> () #
Hashable ann => Hashable (Fragment ann) Source #
Instance details Defined in ProAbstract.Structure.Fragment Methods hashWithSalt :: Int -> Fragment ann -> Int # hash :: Fragment ann -> Int #
CanBeTagless (Fragment ann) Source #
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (Fragment ann) txt Source #
CanHaveTaglessContent (Fragment ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Fragment ann) t Source #
HasAnnotation (Fragment ann) (Fragment ann') Source #
Instance details Defined in ProAbstract.Structure.Fragment Methods annotation :: Lens (Fragment ann) (Fragment ann') (Annotation (Fragment ann)) (Annotation (Fragment ann')) Source #
HasContent (Fragment ann) (Fragment ann) Source #
Instance details Defined in ProAbstract.Structure.Fragment Methods content :: Lens (Fragment ann) (Fragment ann) (Content (Fragment ann)) (Content (Fragment ann)) Source #
type Rep (Fragment ann) Source #
Instance details Defined in ProAbstract.Structure.Fragment type Rep (Fragment ann) = D1 ('MetaData "Fragment" "ProAbstract.Structure.Fragment" "pro-abstract-0.1.0.0-fAo99Omz3u7l2SA6DiDR2" 'False) (C1 ('MetaCons "Fragment" 'PrefixI 'True) (S1 ('MetaSel ('Just "fragmentText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "fragmentAnnotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann)))
type Annotation (Fragment ann) Source #
Instance details Defined in ProAbstract.Structure.Fragment type Annotation (Fragment ann) = ann
type Content (Fragment ann) Source #
Instance details Defined in ProAbstract.Structure.Fragment type Content (Fragment ann) = Text

data PlainBlock ann Source #

Constructors

PlainBlock
Fields plainBlockLines :: Seq (Fragment ann) `contentsSeq` plainBlockAnnotation :: ann `annotation`

Instances

Instances details

Eq ann => Eq (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods (==) :: Tagged (PlainBlock ann) -> Tagged (PlainBlock ann) -> Bool # (/=) :: Tagged (PlainBlock ann) -> Tagged (PlainBlock ann) -> Bool #
Eq ann => Eq (PlainBlock ann) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods (==) :: PlainBlock ann -> PlainBlock ann -> Bool # (/=) :: PlainBlock ann -> PlainBlock ann -> Bool #
Show ann => Show (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods showsPrec :: Int -> Tagged (PlainBlock ann) -> ShowS # show :: Tagged (PlainBlock ann) -> String # showList :: [Tagged (PlainBlock ann)] -> ShowS #
Show ann => Show (PlainBlock ann) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods showsPrec :: Int -> PlainBlock ann -> ShowS # show :: PlainBlock ann -> String # showList :: [PlainBlock ann] -> ShowS #
Generic (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Associated Types type Rep (Tagged (PlainBlock ann)) :: Type -> Type # Methods from :: Tagged (PlainBlock ann) -> Rep (Tagged (PlainBlock ann)) x # to :: Rep (Tagged (PlainBlock ann)) x -> Tagged (PlainBlock ann) #
Generic (PlainBlock ann) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Associated Types type Rep (PlainBlock ann) :: Type -> Type # Methods from :: PlainBlock ann -> Rep (PlainBlock ann) x # to :: Rep (PlainBlock ann) x -> PlainBlock ann #
NFData ann => NFData (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods rnf :: Tagged (PlainBlock ann) -> () #
NFData ann => NFData (PlainBlock ann) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods rnf :: PlainBlock ann -> () #
Hashable ann => Hashable (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods hashWithSalt :: Int -> Tagged (PlainBlock ann) -> Int # hash :: Tagged (PlainBlock ann) -> Int #
Hashable ann => Hashable (PlainBlock ann) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods hashWithSalt :: Int -> PlainBlock ann -> Int # hash :: PlainBlock ann -> Int #
HasMetadata (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Associated Types type MetadataOpticKind (Tagged (PlainBlock ann)) Source # Methods metadata :: Optic' (MetadataOpticKind (Tagged (PlainBlock ann))) NoIx (Tagged (PlainBlock ann)) Metadata Source #
HasTag (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Associated Types type TagOpticKind (Tagged (PlainBlock ann)) Source # Methods tag :: Optic' (TagOpticKind (Tagged (PlainBlock ann))) NoIx (Tagged (PlainBlock ann)) (Tag (Annotation (Tagged (PlainBlock ann)))) Source #
CanBeTagless (PlainBlock ann) Source #
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (PlainBlock ann) txt Source #
CanHaveTaglessContent (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Tagged (PlainBlock ann)) t Source #
HasAnnotation (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods annotation :: Lens (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) (Annotation (Tagged (PlainBlock ann))) (Annotation (Tagged (PlainBlock ann))) Source #
HasAnnotation (PlainBlock ann) (PlainBlock ann) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods annotation :: Lens (PlainBlock ann) (PlainBlock ann) (Annotation (PlainBlock ann)) (Annotation (PlainBlock ann)) Source #
HasManyAnnotations (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann')) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods allAnnotations :: Traversal (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann')) (Annotation (Tagged (PlainBlock ann))) (Annotation (Tagged (PlainBlock ann'))) Source #
HasManyAnnotations (PlainBlock ann) (PlainBlock ann') Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods allAnnotations :: Traversal (PlainBlock ann) (PlainBlock ann') (Annotation (PlainBlock ann)) (Annotation (PlainBlock ann')) Source #
HasContent (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods content :: Lens (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) (Content (Tagged (PlainBlock ann))) (Content (Tagged (PlainBlock ann))) Source #
HasContents (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods contents :: Lens (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) (Seq (Contents (Tagged (PlainBlock ann)))) (Seq (Contents (Tagged (PlainBlock ann)))) Source #
HasContents (PlainBlock ann) (PlainBlock ann) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods contents :: Lens (PlainBlock ann) (PlainBlock ann) (Seq (Contents (PlainBlock ann))) (Seq (Contents (PlainBlock ann))) Source #
type Rep (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock type Rep (Tagged (PlainBlock ann)) = D1 ('MetaData "Tagged" "ProAbstract.Structure.PlainBlock" "pro-abstract-0.1.0.0-fAo99Omz3u7l2SA6DiDR2" 'False) (C1 ('MetaCons "TaggedPlainBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "plaintextTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tag ann)) :*: S1 ('MetaSel ('Just "taggedPlaintext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PlainBlock ann))))
type Rep (PlainBlock ann) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock type Rep (PlainBlock ann) = D1 ('MetaData "PlainBlock" "ProAbstract.Structure.PlainBlock" "pro-abstract-0.1.0.0-fAo99Omz3u7l2SA6DiDR2" 'False) (C1 ('MetaCons "PlainBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "plainBlockLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq (Fragment ann))) :*: S1 ('MetaSel ('Just "plainBlockAnnotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann)))
type Annotation (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock type Annotation (Tagged (PlainBlock ann)) = ann
type Annotation (PlainBlock ann) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock type Annotation (PlainBlock ann) = ann
type Content (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock type Content (Tagged (PlainBlock ann)) = PlainBlock ann
type Contents (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock type Contents (Tagged (PlainBlock ann)) = Fragment ann
type Contents (PlainBlock ann) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock type Contents (PlainBlock ann) = Fragment ann
type MetadataOpticKind (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock type MetadataOpticKind (Tagged (PlainBlock ann)) = A_Lens
type TagOpticKind (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock type TagOpticKind (Tagged (PlainBlock ann)) = A_Lens
data Tagged (PlainBlock ann) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock data Tagged (PlainBlock ann) = TaggedPlainBlock { plaintextTag :: Tag ann taggedPlaintext :: PlainBlock ann }

class HasManyPlainInlines x where Source #

Methods

allPlainInlines :: Traversal' x (Fragment (Annotation x)) Source #

Instances

Instances details

HasManyPlainInlines (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allPlainInlines :: Traversal' (Tagged (Lines ann)) (Fragment (Annotation (Tagged (Lines ann)))) Source #
HasManyPlainInlines (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allPlainInlines :: Traversal' (Tagged (Blocks ann)) (Fragment (Annotation (Tagged (Blocks ann)))) Source #
HasManyPlainInlines (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allPlainInlines :: Traversal' (Lines ann) (Fragment (Annotation (Lines ann))) Source #
HasManyPlainInlines (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allPlainInlines :: Traversal' (Line ann) (Fragment (Annotation (Line ann))) Source #
HasManyPlainInlines (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allPlainInlines :: Traversal' (Inline ann) (Fragment (Annotation (Inline ann))) Source #
HasManyPlainInlines (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph Methods allPlainInlines :: Traversal' (Paragraph ann) (Fragment (Annotation (Paragraph ann))) Source #
HasManyPlainInlines (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allPlainInlines :: Traversal' (Blocks ann) (Fragment (Annotation (Blocks ann))) Source #
HasManyPlainInlines (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allPlainInlines :: Traversal' (Block ann) (Fragment (Annotation (Block ann))) Source #
HasManyPlainInlines (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods allPlainInlines :: Traversal' (Document ann) (Fragment (Annotation (Document ann))) Source #
HasManyPlainInlines (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag Methods allPlainInlines :: Traversal' (BlockTag ann) (Fragment (Annotation (BlockTag ann))) Source #

class HasManyPlainBlocks x where Source #

Methods

allPlainBlocks :: Traversal' x (Tagged (PlainBlock (Annotation x))) Source #

Instances

Instances details

HasManyPlainBlocks (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allPlainBlocks :: Traversal' (Tagged (Blocks ann)) (Tagged (PlainBlock (Annotation (Tagged (Blocks ann))))) Source #
HasManyPlainBlocks (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allPlainBlocks :: Traversal' (Blocks ann) (Tagged (PlainBlock (Annotation (Blocks ann)))) Source #
HasManyPlainBlocks (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allPlainBlocks :: Traversal' (Block ann) (Tagged (PlainBlock (Annotation (Block ann)))) Source #
HasManyPlainBlocks (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods allPlainBlocks :: Traversal' (Document ann) (Tagged (PlainBlock (Annotation (Document ann)))) Source #
HasManyPlainBlocks (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag Methods allPlainBlocks :: Traversal' (BlockTag ann) (Tagged (PlainBlock (Annotation (BlockTag ann)))) Source #

Tags

data Tag ann Source #

Constructors

Tag
Fields tagName :: Text `name` tagMetadata :: Metadata `metadata` tagAnnotation :: ann `annotation`

Instances

Instances details

Eq ann => Eq (Tag ann) Source #
Instance details Defined in ProAbstract.Tag.TagType Methods (==) :: Tag ann -> Tag ann -> Bool # (/=) :: Tag ann -> Tag ann -> Bool #
Show ann => Show (Tag ann) Source #
Instance details Defined in ProAbstract.Tag.TagType Methods showsPrec :: Int -> Tag ann -> ShowS # show :: Tag ann -> String # showList :: [Tag ann] -> ShowS #
Generic (Tag ann) Source #
Instance details Defined in ProAbstract.Tag.TagType Associated Types type Rep (Tag ann) :: Type -> Type # Methods from :: Tag ann -> Rep (Tag ann) x # to :: Rep (Tag ann) x -> Tag ann #
NFData ann => NFData (Tag ann) Source #
Instance details Defined in ProAbstract.Tag.TagType Methods rnf :: Tag ann -> () #
Hashable ann => Hashable (Tag ann) Source #
Instance details Defined in ProAbstract.Tag.TagType Methods hashWithSalt :: Int -> Tag ann -> Int # hash :: Tag ann -> Int #
HasMetadata (Tag ann) Source #
Instance details Defined in ProAbstract.Tag.TagType Associated Types type MetadataOpticKind (Tag ann) Source # Methods metadata :: Optic' (MetadataOpticKind (Tag ann)) NoIx (Tag ann) Metadata Source #
HasTag (Tag ann) Source #
Instance details Defined in ProAbstract.Tag.HasTag Associated Types type TagOpticKind (Tag ann) Source # Methods tag :: Optic' (TagOpticKind (Tag ann)) NoIx (Tag ann) (Tag (Annotation (Tag ann))) Source #
HasAnnotation (Tag ann) (Tag ann') Source #
Instance details Defined in ProAbstract.Tag.TagType Methods annotation :: Lens (Tag ann) (Tag ann') (Annotation (Tag ann)) (Annotation (Tag ann')) Source #
type Rep (Tag ann) Source #
Instance details Defined in ProAbstract.Tag.TagType type Rep (Tag ann) = D1 ('MetaData "Tag" "ProAbstract.Tag.TagType" "pro-abstract-0.1.0.0-fAo99Omz3u7l2SA6DiDR2" 'False) (C1 ('MetaCons "Tag" 'PrefixI 'True) (S1 ('MetaSel ('Just "tagName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "tagMetadata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Metadata) :: S1 ('MetaSel ('Just "tagAnnotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann))))
type Annotation (Tag ann) Source #
Instance details Defined in ProAbstract.Tag.TagType type Annotation (Tag ann) = ann
type MetadataOpticKind (Tag ann) Source #
Instance details Defined in ProAbstract.Tag.TagType type MetadataOpticKind (Tag ann) = A_Lens
type TagOpticKind (Tag ann) Source #
Instance details Defined in ProAbstract.Tag.HasTag type TagOpticKind (Tag ann) = A_Lens

data family Tagged con Source #

Instances

Instances details

Eq ann => Eq (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods (==) :: Tagged (PlainBlock ann) -> Tagged (PlainBlock ann) -> Bool # (/=) :: Tagged (PlainBlock ann) -> Tagged (PlainBlock ann) -> Bool #
Eq ann => Eq (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods (==) :: Tagged (Lines ann) -> Tagged (Lines ann) -> Bool # (/=) :: Tagged (Lines ann) -> Tagged (Lines ann) -> Bool #
Eq ann => Eq (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods (==) :: Tagged (Blocks ann) -> Tagged (Blocks ann) -> Bool # (/=) :: Tagged (Blocks ann) -> Tagged (Blocks ann) -> Bool #
Show ann => Show (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods showsPrec :: Int -> Tagged (PlainBlock ann) -> ShowS # show :: Tagged (PlainBlock ann) -> String # showList :: [Tagged (PlainBlock ann)] -> ShowS #
Show ann => Show (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods showsPrec :: Int -> Tagged (Lines ann) -> ShowS # show :: Tagged (Lines ann) -> String # showList :: [Tagged (Lines ann)] -> ShowS #
Show ann => Show (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods showsPrec :: Int -> Tagged (Blocks ann) -> ShowS # show :: Tagged (Blocks ann) -> String # showList :: [Tagged (Blocks ann)] -> ShowS #
Generic (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Associated Types type Rep (Tagged (PlainBlock ann)) :: Type -> Type # Methods from :: Tagged (PlainBlock ann) -> Rep (Tagged (PlainBlock ann)) x # to :: Rep (Tagged (PlainBlock ann)) x -> Tagged (PlainBlock ann) #
Generic (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Associated Types type Rep (Tagged (Lines ann)) :: Type -> Type # Methods from :: Tagged (Lines ann) -> Rep (Tagged (Lines ann)) x # to :: Rep (Tagged (Lines ann)) x -> Tagged (Lines ann) #
Generic (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Associated Types type Rep (Tagged (Blocks ann)) :: Type -> Type # Methods from :: Tagged (Blocks ann) -> Rep (Tagged (Blocks ann)) x # to :: Rep (Tagged (Blocks ann)) x -> Tagged (Blocks ann) #
NFData ann => NFData (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods rnf :: Tagged (PlainBlock ann) -> () #
NFData ann => NFData (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods rnf :: Tagged (Lines ann) -> () #
NFData ann => NFData (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods rnf :: Tagged (Blocks ann) -> () #
Hashable ann => Hashable (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods hashWithSalt :: Int -> Tagged (PlainBlock ann) -> Int # hash :: Tagged (PlainBlock ann) -> Int #
Hashable ann => Hashable (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods hashWithSalt :: Int -> Tagged (Lines ann) -> Int # hash :: Tagged (Lines ann) -> Int #
Hashable ann => Hashable (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods hashWithSalt :: Int -> Tagged (Blocks ann) -> Int # hash :: Tagged (Blocks ann) -> Int #
HasMetadata (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Associated Types type MetadataOpticKind (Tagged (PlainBlock ann)) Source # Methods metadata :: Optic' (MetadataOpticKind (Tagged (PlainBlock ann))) NoIx (Tagged (PlainBlock ann)) Metadata Source #
HasMetadata (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Associated Types type MetadataOpticKind (Tagged (Lines ann)) Source # Methods metadata :: Optic' (MetadataOpticKind (Tagged (Lines ann))) NoIx (Tagged (Lines ann)) Metadata Source #
HasMetadata (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Associated Types type MetadataOpticKind (Tagged (Blocks ann)) Source # Methods metadata :: Optic' (MetadataOpticKind (Tagged (Blocks ann))) NoIx (Tagged (Blocks ann)) Metadata Source #
HasManyMetadata (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allMetadata :: Traversal' (Tagged (Lines ann)) Metadata Source #
HasManyMetadata (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allMetadata :: Traversal' (Tagged (Blocks ann)) Metadata Source #
HasManyPlainInlines (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allPlainInlines :: Traversal' (Tagged (Lines ann)) (Fragment (Annotation (Tagged (Lines ann)))) Source #
HasManyPlainInlines (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allPlainInlines :: Traversal' (Tagged (Blocks ann)) (Fragment (Annotation (Tagged (Blocks ann)))) Source #
HasTag (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Associated Types type TagOpticKind (Tagged (PlainBlock ann)) Source # Methods tag :: Optic' (TagOpticKind (Tagged (PlainBlock ann))) NoIx (Tagged (PlainBlock ann)) (Tag (Annotation (Tagged (PlainBlock ann)))) Source #
HasTag (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Associated Types type TagOpticKind (Tagged (Lines ann)) Source # Methods tag :: Optic' (TagOpticKind (Tagged (Lines ann))) NoIx (Tagged (Lines ann)) (Tag (Annotation (Tagged (Lines ann)))) Source #
HasTag (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Associated Types type TagOpticKind (Tagged (Blocks ann)) Source # Methods tag :: Optic' (TagOpticKind (Tagged (Blocks ann))) NoIx (Tagged (Blocks ann)) (Tag (Annotation (Tagged (Blocks ann)))) Source #
HasWitherableInlineTags (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods witherInlineTags :: Monad f => (Tag (Annotation (Tagged (Lines ann))) -> f (Maybe (Tag (Annotation (Tagged (Lines ann)))))) -> Tagged (Lines ann) -> f (Tagged (Lines ann)) Source # mapMaybeInlineTags :: (Tag (Annotation (Tagged (Lines ann))) -> Maybe (Tag (Annotation (Tagged (Lines ann))))) -> Tagged (Lines ann) -> Tagged (Lines ann) Source #
HasWitherableInlineTags (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods witherInlineTags :: Monad f => (Tag (Annotation (Tagged (Blocks ann))) -> f (Maybe (Tag (Annotation (Tagged (Blocks ann)))))) -> Tagged (Blocks ann) -> f (Tagged (Blocks ann)) Source # mapMaybeInlineTags :: (Tag (Annotation (Tagged (Blocks ann))) -> Maybe (Tag (Annotation (Tagged (Blocks ann))))) -> Tagged (Blocks ann) -> Tagged (Blocks ann) Source #
HasManyBlockTags (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allBlockTags :: Traversal' (Tagged (Blocks ann)) (Tag (Annotation (Tagged (Blocks ann)))) Source #
HasManyTags (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allTags :: Traversal' (Tagged (Lines ann)) (Tag (Annotation (Tagged (Lines ann)))) Source # allInlineTags :: Traversal' (Tagged (Lines ann)) (Tag (Annotation (Tagged (Lines ann)))) Source #
HasManyTags (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allTags :: Traversal' (Tagged (Blocks ann)) (Tag (Annotation (Tagged (Blocks ann)))) Source # allInlineTags :: Traversal' (Tagged (Blocks ann)) (Tag (Annotation (Tagged (Blocks ann)))) Source #
HasManyPlainBlocks (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allPlainBlocks :: Traversal' (Tagged (Blocks ann)) (Tagged (PlainBlock (Annotation (Tagged (Blocks ann))))) Source #
HasManyParagraphs (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allParagraphs :: Traversal' (Tagged (Blocks ann)) (Paragraph (Annotation (Tagged (Blocks ann)))) Source #
CanHaveTaglessContent (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Tagged (PlainBlock ann)) t Source #
CanHaveTaglessContent (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Tagged (Lines ann)) t Source #
CanHaveTaglessContent (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Tagged (Blocks ann)) t Source #
HasAnnotation (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods annotation :: Lens (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) (Annotation (Tagged (PlainBlock ann))) (Annotation (Tagged (PlainBlock ann))) Source #
HasAnnotation (Tagged (Lines ann)) (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods annotation :: Lens (Tagged (Lines ann)) (Tagged (Lines ann)) (Annotation (Tagged (Lines ann))) (Annotation (Tagged (Lines ann))) Source #
HasAnnotation (Tagged (Blocks ann)) (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods annotation :: Lens (Tagged (Blocks ann)) (Tagged (Blocks ann)) (Annotation (Tagged (Blocks ann))) (Annotation (Tagged (Blocks ann))) Source #
HasManyAnnotations (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann')) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods allAnnotations :: Traversal (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann')) (Annotation (Tagged (PlainBlock ann))) (Annotation (Tagged (PlainBlock ann'))) Source #
HasManyAnnotations (Tagged (Lines ann)) (Tagged (Lines ann')) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allAnnotations :: Traversal (Tagged (Lines ann)) (Tagged (Lines ann')) (Annotation (Tagged (Lines ann))) (Annotation (Tagged (Lines ann'))) Source #
HasManyAnnotations (Tagged (Blocks ann)) (Tagged (Blocks ann')) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allAnnotations :: Traversal (Tagged (Blocks ann)) (Tagged (Blocks ann')) (Annotation (Tagged (Blocks ann))) (Annotation (Tagged (Blocks ann'))) Source #
HasContent (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods content :: Lens (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) (Content (Tagged (PlainBlock ann))) (Content (Tagged (PlainBlock ann))) Source #
HasContent (Tagged (Lines ann)) (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods content :: Lens (Tagged (Lines ann)) (Tagged (Lines ann)) (Content (Tagged (Lines ann))) (Content (Tagged (Lines ann))) Source #
HasContent (Tagged (Blocks ann)) (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods content :: Lens (Tagged (Blocks ann)) (Tagged (Blocks ann)) (Content (Tagged (Blocks ann))) (Content (Tagged (Blocks ann))) Source #
HasContents (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods contents :: Lens (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) (Seq (Contents (Tagged (PlainBlock ann)))) (Seq (Contents (Tagged (PlainBlock ann)))) Source #
HasContents (Tagged (Lines ann)) (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods contents :: Lens (Tagged (Lines ann)) (Tagged (Lines ann)) (Seq (Contents (Tagged (Lines ann)))) (Seq (Contents (Tagged (Lines ann)))) Source #
HasContents (Tagged (Blocks ann)) (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods contents :: Lens (Tagged (Blocks ann)) (Tagged (Blocks ann)) (Seq (Contents (Tagged (Blocks ann)))) (Seq (Contents (Tagged (Blocks ann)))) Source #
type Rep (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock type Rep (Tagged (PlainBlock ann)) = D1 ('MetaData "Tagged" "ProAbstract.Structure.PlainBlock" "pro-abstract-0.1.0.0-fAo99Omz3u7l2SA6DiDR2" 'False) (C1 ('MetaCons "TaggedPlainBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "plaintextTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tag ann)) :*: S1 ('MetaSel ('Just "taggedPlaintext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PlainBlock ann))))
type Rep (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline type Rep (Tagged (Lines ann)) = D1 ('MetaData "Tagged" "ProAbstract.Structure.Inline" "pro-abstract-0.1.0.0-fAo99Omz3u7l2SA6DiDR2" 'False) (C1 ('MetaCons "TaggedLines" 'PrefixI 'True) (S1 ('MetaSel ('Just "linesTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tag ann)) :*: S1 ('MetaSel ('Just "taggedLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Lines ann))))
type Rep (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block type Rep (Tagged (Blocks ann)) = D1 ('MetaData "Tagged" "ProAbstract.Structure.Block" "pro-abstract-0.1.0.0-fAo99Omz3u7l2SA6DiDR2" 'False) (C1 ('MetaCons "TaggedBlocks" 'PrefixI 'True) (S1 ('MetaSel ('Just "blocksTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tag ann)) :*: S1 ('MetaSel ('Just "taggedBlocks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Blocks ann))))
type Annotation (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock type Annotation (Tagged (PlainBlock ann)) = ann
type Annotation (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline type Annotation (Tagged (Lines ann)) = ann
type Annotation (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block type Annotation (Tagged (Blocks ann)) = ann
type Content (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock type Content (Tagged (PlainBlock ann)) = PlainBlock ann
type Content (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline type Content (Tagged (Lines ann)) = Lines ann
type Content (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block type Content (Tagged (Blocks ann)) = Blocks ann
type Contents (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock type Contents (Tagged (PlainBlock ann)) = Fragment ann
type Contents (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline type Contents (Tagged (Lines ann)) = Line ann
type Contents (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block type Contents (Tagged (Blocks ann)) = Block ann
type MetadataOpticKind (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock type MetadataOpticKind (Tagged (PlainBlock ann)) = A_Lens
type MetadataOpticKind (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline type MetadataOpticKind (Tagged (Lines ann)) = A_Lens
type MetadataOpticKind (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block type MetadataOpticKind (Tagged (Blocks ann)) = A_Lens
type TagOpticKind (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock type TagOpticKind (Tagged (PlainBlock ann)) = A_Lens
type TagOpticKind (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline type TagOpticKind (Tagged (Lines ann)) = A_Lens
type TagOpticKind (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block type TagOpticKind (Tagged (Blocks ann)) = A_Lens
data Tagged (PlainBlock ann) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock data Tagged (PlainBlock ann) = TaggedPlainBlock { plaintextTag :: Tag ann taggedPlaintext :: PlainBlock ann }
data Tagged (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline data Tagged (Lines ann) = TaggedLines { linesTag :: Tag ann taggedLines :: Lines ann }
data Tagged (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block data Tagged (Blocks ann) = TaggedBlocks { blocksTag :: Tag ann taggedBlocks :: Blocks ann }

name :: (HasTag x, JoinKinds (TagOpticKind x) A_Lens k) => Optic' k NoIx x Text Source #

class HasTag x where Source #

Associated Types

type TagOpticKind x :: OpticKind Source #

Methods

tag :: Optic' (TagOpticKind x) NoIx x (Tag (Annotation x)) Source #

Instances

Instances details

HasTag (Tag ann) Source #
Instance details Defined in ProAbstract.Tag.HasTag Associated Types type TagOpticKind (Tag ann) Source # Methods tag :: Optic' (TagOpticKind (Tag ann)) NoIx (Tag ann) (Tag (Annotation (Tag ann))) Source #
HasTag (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Associated Types type TagOpticKind (Tagged (PlainBlock ann)) Source # Methods tag :: Optic' (TagOpticKind (Tagged (PlainBlock ann))) NoIx (Tagged (PlainBlock ann)) (Tag (Annotation (Tagged (PlainBlock ann)))) Source #
HasTag (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Associated Types type TagOpticKind (Tagged (Lines ann)) Source # Methods tag :: Optic' (TagOpticKind (Tagged (Lines ann))) NoIx (Tagged (Lines ann)) (Tag (Annotation (Tagged (Lines ann)))) Source #
HasTag (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Associated Types type TagOpticKind (Tagged (Blocks ann)) Source # Methods tag :: Optic' (TagOpticKind (Tagged (Blocks ann))) NoIx (Tagged (Blocks ann)) (Tag (Annotation (Tagged (Blocks ann)))) Source #
HasTag (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Associated Types type TagOpticKind (Inline ann) Source # Methods tag :: Optic' (TagOpticKind (Inline ann)) NoIx (Inline ann) (Tag (Annotation (Inline ann))) Source #
HasTag (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Associated Types type TagOpticKind (Block ann) Source # Methods tag :: Optic' (TagOpticKind (Block ann)) NoIx (Block ann) (Tag (Annotation (Block ann))) Source #
HasTag (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag Associated Types type TagOpticKind (BlockTag ann) Source # Methods tag :: Optic' (TagOpticKind (BlockTag ann)) NoIx (BlockTag ann) (Tag (Annotation (BlockTag ann))) Source #

Traversal

class HasManyTags x where Source #

Methods

allTags :: Traversal' x (Tag (Annotation x)) Source #

allInlineTags :: Traversal' x (Tag (Annotation x)) Source #

Instances

Instances details

HasManyTags (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allTags :: Traversal' (Tagged (Lines ann)) (Tag (Annotation (Tagged (Lines ann)))) Source # allInlineTags :: Traversal' (Tagged (Lines ann)) (Tag (Annotation (Tagged (Lines ann)))) Source #
HasManyTags (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allTags :: Traversal' (Tagged (Blocks ann)) (Tag (Annotation (Tagged (Blocks ann)))) Source # allInlineTags :: Traversal' (Tagged (Blocks ann)) (Tag (Annotation (Tagged (Blocks ann)))) Source #
HasManyTags (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allTags :: Traversal' (Lines ann) (Tag (Annotation (Lines ann))) Source # allInlineTags :: Traversal' (Lines ann) (Tag (Annotation (Lines ann))) Source #
HasManyTags (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allTags :: Traversal' (Line ann) (Tag (Annotation (Line ann))) Source # allInlineTags :: Traversal' (Line ann) (Tag (Annotation (Line ann))) Source #
HasManyTags (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allTags :: Traversal' (Inline ann) (Tag (Annotation (Inline ann))) Source # allInlineTags :: Traversal' (Inline ann) (Tag (Annotation (Inline ann))) Source #
HasManyTags (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph Methods allTags :: Traversal' (Paragraph ann) (Tag (Annotation (Paragraph ann))) Source # allInlineTags :: Traversal' (Paragraph ann) (Tag (Annotation (Paragraph ann))) Source #
HasManyTags (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allTags :: Traversal' (Blocks ann) (Tag (Annotation (Blocks ann))) Source # allInlineTags :: Traversal' (Blocks ann) (Tag (Annotation (Blocks ann))) Source #
HasManyTags (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allTags :: Traversal' (Block ann) (Tag (Annotation (Block ann))) Source # allInlineTags :: Traversal' (Block ann) (Tag (Annotation (Block ann))) Source #
HasManyTags (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods allTags :: Traversal' (Document ann) (Tag (Annotation (Document ann))) Source # allInlineTags :: Traversal' (Document ann) (Tag (Annotation (Document ann))) Source #
HasManyTags (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag Methods allTags :: Traversal' (BlockTag ann) (Tag (Annotation (BlockTag ann))) Source # allInlineTags :: Traversal' (BlockTag ann) (Tag (Annotation (BlockTag ann))) Source #

class HasManyTags x => HasManyBlockTags x where Source #

Methods

allBlockTags :: Traversal' x (Tag (Annotation x)) Source #

Instances

Instances details

HasManyBlockTags (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allBlockTags :: Traversal' (Tagged (Blocks ann)) (Tag (Annotation (Tagged (Blocks ann)))) Source #
HasManyBlockTags (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allBlockTags :: Traversal' (Blocks ann) (Tag (Annotation (Blocks ann))) Source #
HasManyBlockTags (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allBlockTags :: Traversal' (Block ann) (Tag (Annotation (Block ann))) Source #
HasManyBlockTags (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods allBlockTags :: Traversal' (Document ann) (Tag (Annotation (Document ann))) Source #

Withering

class HasWitherableTags x where Source #

Minimal complete definition

witherTags

Methods

witherTags :: Monad f => (Tag (Annotation x) -> f (Maybe (Tag (Annotation x)))) -> x -> f x Source #

mapMaybeTags :: (Tag (Annotation x) -> Maybe (Tag (Annotation x))) -> x -> x Source #

Instances

Instances details

HasWitherableTags (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods witherTags :: Monad f => (Tag (Annotation (Lines ann)) -> f (Maybe (Tag (Annotation (Lines ann))))) -> Lines ann -> f (Lines ann) Source # mapMaybeTags :: (Tag (Annotation (Lines ann)) -> Maybe (Tag (Annotation (Lines ann)))) -> Lines ann -> Lines ann Source #
HasWitherableTags (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods witherTags :: Monad f => (Tag (Annotation (Line ann)) -> f (Maybe (Tag (Annotation (Line ann))))) -> Line ann -> f (Line ann) Source # mapMaybeTags :: (Tag (Annotation (Line ann)) -> Maybe (Tag (Annotation (Line ann)))) -> Line ann -> Line ann Source #
HasWitherableTags (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods witherTags :: Monad f => (Tag (Annotation (Blocks ann)) -> f (Maybe (Tag (Annotation (Blocks ann))))) -> Blocks ann -> f (Blocks ann) Source # mapMaybeTags :: (Tag (Annotation (Blocks ann)) -> Maybe (Tag (Annotation (Blocks ann)))) -> Blocks ann -> Blocks ann Source #
HasWitherableTags (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods witherTags :: Monad f => (Tag (Annotation (Document ann)) -> f (Maybe (Tag (Annotation (Document ann))))) -> Document ann -> f (Document ann) Source # mapMaybeTags :: (Tag (Annotation (Document ann)) -> Maybe (Tag (Annotation (Document ann)))) -> Document ann -> Document ann Source #

class HasManyTags x => HasWitherableInlineTags x where Source #

Minimal complete definition

witherInlineTags

Methods

witherInlineTags :: Monad f => (Tag (Annotation x) -> f (Maybe (Tag (Annotation x)))) -> x -> f x Source #

mapMaybeInlineTags :: (Tag (Annotation x) -> Maybe (Tag (Annotation x))) -> x -> x Source #

Instances

Instances details

HasWitherableInlineTags (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods witherInlineTags :: Monad f => (Tag (Annotation (Tagged (Lines ann))) -> f (Maybe (Tag (Annotation (Tagged (Lines ann)))))) -> Tagged (Lines ann) -> f (Tagged (Lines ann)) Source # mapMaybeInlineTags :: (Tag (Annotation (Tagged (Lines ann))) -> Maybe (Tag (Annotation (Tagged (Lines ann))))) -> Tagged (Lines ann) -> Tagged (Lines ann) Source #
HasWitherableInlineTags (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods witherInlineTags :: Monad f => (Tag (Annotation (Tagged (Blocks ann))) -> f (Maybe (Tag (Annotation (Tagged (Blocks ann)))))) -> Tagged (Blocks ann) -> f (Tagged (Blocks ann)) Source # mapMaybeInlineTags :: (Tag (Annotation (Tagged (Blocks ann))) -> Maybe (Tag (Annotation (Tagged (Blocks ann))))) -> Tagged (Blocks ann) -> Tagged (Blocks ann) Source #
HasWitherableInlineTags (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods witherInlineTags :: Monad f => (Tag (Annotation (Lines ann)) -> f (Maybe (Tag (Annotation (Lines ann))))) -> Lines ann -> f (Lines ann) Source # mapMaybeInlineTags :: (Tag (Annotation (Lines ann)) -> Maybe (Tag (Annotation (Lines ann)))) -> Lines ann -> Lines ann Source #
HasWitherableInlineTags (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods witherInlineTags :: Monad f => (Tag (Annotation (Line ann)) -> f (Maybe (Tag (Annotation (Line ann))))) -> Line ann -> f (Line ann) Source # mapMaybeInlineTags :: (Tag (Annotation (Line ann)) -> Maybe (Tag (Annotation (Line ann)))) -> Line ann -> Line ann Source #
HasWitherableInlineTags (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph Methods witherInlineTags :: Monad f => (Tag (Annotation (Paragraph ann)) -> f (Maybe (Tag (Annotation (Paragraph ann))))) -> Paragraph ann -> f (Paragraph ann) Source # mapMaybeInlineTags :: (Tag (Annotation (Paragraph ann)) -> Maybe (Tag (Annotation (Paragraph ann)))) -> Paragraph ann -> Paragraph ann Source #
HasWitherableInlineTags (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods witherInlineTags :: Monad f => (Tag (Annotation (Blocks ann)) -> f (Maybe (Tag (Annotation (Blocks ann))))) -> Blocks ann -> f (Blocks ann) Source # mapMaybeInlineTags :: (Tag (Annotation (Blocks ann)) -> Maybe (Tag (Annotation (Blocks ann)))) -> Blocks ann -> Blocks ann Source #
HasWitherableInlineTags (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods witherInlineTags :: Monad f => (Tag (Annotation (Block ann)) -> f (Maybe (Tag (Annotation (Block ann))))) -> Block ann -> f (Block ann) Source # mapMaybeInlineTags :: (Tag (Annotation (Block ann)) -> Maybe (Tag (Annotation (Block ann)))) -> Block ann -> Block ann Source #
HasWitherableInlineTags (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods witherInlineTags :: Monad f => (Tag (Annotation (Document ann)) -> f (Maybe (Tag (Annotation (Document ann))))) -> Document ann -> f (Document ann) Source # mapMaybeInlineTags :: (Tag (Annotation (Document ann)) -> Maybe (Tag (Annotation (Document ann)))) -> Document ann -> Document ann Source #

class HasManyBlockTags x => HasWitherableBlockTags x where Source #

Minimal complete definition

witherBlockTags

Methods

witherBlockTags :: Monad f => (Tag (Annotation x) -> f (Maybe (Tag (Annotation x)))) -> x -> f x Source #

mapMaybeBlockTags :: (Tag (Annotation x) -> Maybe (Tag (Annotation x))) -> x -> x Source #

Instances

Instances details

HasWitherableBlockTags (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods witherBlockTags :: Monad f => (Tag (Annotation (Blocks ann)) -> f (Maybe (Tag (Annotation (Blocks ann))))) -> Blocks ann -> f (Blocks ann) Source # mapMaybeBlockTags :: (Tag (Annotation (Blocks ann)) -> Maybe (Tag (Annotation (Blocks ann)))) -> Blocks ann -> Blocks ann Source #
HasWitherableBlockTags (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods witherBlockTags :: Monad f => (Tag (Annotation (Document ann)) -> f (Maybe (Tag (Annotation (Document ann))))) -> Document ann -> f (Document ann) Source # mapMaybeBlockTags :: (Tag (Annotation (Document ann)) -> Maybe (Tag (Annotation (Document ann)))) -> Document ann -> Document ann Source #

Prisms

Plain

type family Plain a Source #

Instances

Instances details

type Plain (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline type Plain (Inline ann) = Fragment ann
type Plain (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block type Plain (Block ann) = Tagged (PlainBlock ann)
type Plain (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag type Plain (BlockTag ann) = Tagged (PlainBlock ann)

class CanBePlain x where Source #

Methods

plain :: Prism' x (Plain x) Source #

Instances

Instances details

CanBePlain (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods plain :: Prism' (Inline ann) (Plain (Inline ann)) Source #
CanBePlain (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods plain :: Prism' (Block ann) (Plain (Block ann)) Source #
CanBePlain (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag Methods plain :: Prism' (BlockTag ann) (Plain (BlockTag ann)) Source #

Fork

type family Fork a Source #

Instances

Instances details

type Fork (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline type Fork (Inline ann) = Tagged (Lines ann)
type Fork (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block type Fork (Block ann) = Tagged (Blocks ann)
type Fork (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag type Fork (BlockTag ann) = Tagged (Blocks ann)

class CanFork x where Source #

Methods

fork :: Prism' x (Fork x) Source #

Instances

Instances details

CanFork (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods fork :: Prism' (Inline ann) (Fork (Inline ann)) Source #
CanFork (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods fork :: Prism' (Block ann) (Fork (Block ann)) Source #
CanFork (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag Methods fork :: Prism' (BlockTag ann) (Fork (BlockTag ann)) Source #

Paragraph

paragraph :: Prism' (Block ann) (Paragraph ann) Source #

Metadata

data Metadata Source #

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.

Constructors

Metadata
Fields metadataProperties :: Set Text `properties` metadataSettings :: Map Text Text `settings`

Instances

Instances details

Eq Metadata Source #
Instance details Defined in ProAbstract.Metadata.MetadataType Methods (==) :: Metadata -> Metadata -> Bool # (/=) :: Metadata -> Metadata -> Bool #
Show Metadata Source #
Instance details Defined in ProAbstract.Metadata.MetadataType Methods showsPrec :: Int -> Metadata -> ShowS # show :: Metadata -> String # showList :: [Metadata] -> ShowS #
Generic Metadata Source #
Instance details Defined in ProAbstract.Metadata.MetadataType Associated Types type Rep Metadata :: Type -> Type # Methods from :: Metadata -> Rep Metadata x # to :: Rep Metadata x -> Metadata #
Semigroup Metadata Source #
Instance details Defined in ProAbstract.Metadata.MetadataType Methods (<>) :: Metadata -> Metadata -> Metadata # sconcat :: NonEmpty Metadata -> Metadata # stimes :: Integral b => b -> Metadata -> Metadata #
Monoid Metadata Source #
Instance details Defined in ProAbstract.Metadata.MetadataType Methods mempty :: Metadata # mappend :: Metadata -> Metadata -> Metadata # mconcat :: [Metadata] -> Metadata #
NFData Metadata Source #
Instance details Defined in ProAbstract.Metadata.MetadataType Methods rnf :: Metadata -> () #
Hashable Metadata Source #
Instance details Defined in ProAbstract.Metadata.MetadataType Methods hashWithSalt :: Int -> Metadata -> Int # hash :: Metadata -> Int #
HasMetadata Metadata Source #
Instance details Defined in ProAbstract.Metadata.HasMetadata Associated Types type MetadataOpticKind Metadata Source # Methods metadata :: Optic' (MetadataOpticKind Metadata) NoIx Metadata Metadata Source #
type Rep Metadata Source #
Instance details 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 #
Instance details Defined in ProAbstract.Metadata.HasMetadata type MetadataOpticKind Metadata = An_Iso

class HasMetadata x where Source #

Associated Types

type MetadataOpticKind x Source #

Methods

metadata :: Optic' (MetadataOpticKind x) NoIx x Metadata Source #

Instances

Instances details

HasMetadata Metadata Source #
Instance details Defined in ProAbstract.Metadata.HasMetadata Associated Types type MetadataOpticKind Metadata Source # Methods metadata :: Optic' (MetadataOpticKind Metadata) NoIx Metadata Metadata Source #
HasMetadata (Tag ann) Source #
Instance details Defined in ProAbstract.Tag.TagType Associated Types type MetadataOpticKind (Tag ann) Source # Methods metadata :: Optic' (MetadataOpticKind (Tag ann)) NoIx (Tag ann) Metadata Source #
HasMetadata (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Associated Types type MetadataOpticKind (Tagged (PlainBlock ann)) Source # Methods metadata :: Optic' (MetadataOpticKind (Tagged (PlainBlock ann))) NoIx (Tagged (PlainBlock ann)) Metadata Source #
HasMetadata (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Associated Types type MetadataOpticKind (Tagged (Lines ann)) Source # Methods metadata :: Optic' (MetadataOpticKind (Tagged (Lines ann))) NoIx (Tagged (Lines ann)) Metadata Source #
HasMetadata (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Associated Types type MetadataOpticKind (Tagged (Blocks ann)) Source # Methods metadata :: Optic' (MetadataOpticKind (Tagged (Blocks ann))) NoIx (Tagged (Blocks ann)) Metadata Source #
HasMetadata (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Associated Types type MetadataOpticKind (Inline ann) Source # Methods metadata :: Optic' (MetadataOpticKind (Inline ann)) NoIx (Inline ann) Metadata Source #
HasMetadata (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Associated Types type MetadataOpticKind (Block ann) Source # Methods metadata :: Optic' (MetadataOpticKind (Block ann)) NoIx (Block ann) Metadata Source #
HasMetadata (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Associated Types type MetadataOpticKind (Document ann) Source # Methods metadata :: Optic' (MetadataOpticKind (Document ann)) NoIx (Document ann) Metadata Source #
HasMetadata (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag Associated Types type MetadataOpticKind (BlockTag ann) Source # Methods metadata :: Optic' (MetadataOpticKind (BlockTag ann)) NoIx (BlockTag ann) Metadata Source #

class HasManyMetadata x where Source #

Methods

allMetadata :: Traversal' x Metadata Source #

Instances

Instances details

HasManyMetadata (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allMetadata :: Traversal' (Tagged (Lines ann)) Metadata Source #
HasManyMetadata (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allMetadata :: Traversal' (Tagged (Blocks ann)) Metadata Source #
HasManyMetadata (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allMetadata :: Traversal' (Lines ann) Metadata Source #
HasManyMetadata (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allMetadata :: Traversal' (Line ann) Metadata Source #
HasManyMetadata (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allMetadata :: Traversal' (Inline ann) Metadata Source #
HasManyMetadata (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph Methods allMetadata :: Traversal' (Paragraph ann) Metadata Source #
HasManyMetadata (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allMetadata :: Traversal' (Blocks ann) Metadata Source #
HasManyMetadata (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allMetadata :: Traversal' (Block ann) Metadata Source #
HasManyMetadata (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document Methods allMetadata :: Traversal' (Document ann) Metadata Source #
HasManyMetadata (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag Methods allMetadata :: Traversal' (BlockTag ann) Metadata Source #

Properties

properties :: (HasMetadata m, JoinKinds (MetadataOpticKind m) A_Lens k) => Optic' k NoIx m (Set Text) Source #

Fetch all properties from items which contain metadata.

hasProperty :: (HasMetadata m, JoinKinds (MetadataOpticKind m) A_Lens k) => Text -> Optic' k NoIx m Bool Source #

Check if a property is attached to an item with metadata. Using this optic as a setter will add a property if set to True and remove the property when set to False.

Settings

settings :: (HasMetadata m, JoinKinds (MetadataOpticKind m) A_Lens k) => Optic' k NoIx m (Map Text Text) Source #

Fetch all settings defined on items which contain metadata.

atSetting :: (HasMetadata m, JoinKinds (MetadataOpticKind m) A_Lens k) => Text -> Optic' k NoIx m (Maybe Text) Source #

Select a setting from an item attached to metadata. Returns Nothing if no value is set.

Content

type family Content a Source #

Instances

Instances details

type Content (Fragment ann) Source #
Instance details Defined in ProAbstract.Structure.Fragment type Content (Fragment ann) = Text
type Content (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock type Content (Tagged (PlainBlock ann)) = PlainBlock ann
type Content (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline type Content (Tagged (Lines ann)) = Lines ann
type Content (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block type Content (Tagged (Blocks ann)) = Blocks ann
type Content (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph type Content (Paragraph ann) = Lines ann
type Content (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document type Content (Document ann) = Blocks ann

class HasContent x x' where Source #

Methods

content :: Lens x x' (Content x) (Content x') Source #

Instances

Instances details

HasContent (Fragment ann) (Fragment ann) Source #
Instance details Defined in ProAbstract.Structure.Fragment Methods content :: Lens (Fragment ann) (Fragment ann) (Content (Fragment ann)) (Content (Fragment ann)) Source #
HasContent (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods content :: Lens (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) (Content (Tagged (PlainBlock ann))) (Content (Tagged (PlainBlock ann))) Source #
HasContent (Tagged (Lines ann)) (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods content :: Lens (Tagged (Lines ann)) (Tagged (Lines ann)) (Content (Tagged (Lines ann))) (Content (Tagged (Lines ann))) Source #
HasContent (Tagged (Blocks ann)) (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods content :: Lens (Tagged (Blocks ann)) (Tagged (Blocks ann)) (Content (Tagged (Blocks ann))) (Content (Tagged (Blocks ann))) Source #
HasContent (Paragraph ann) (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph Methods content :: Lens (Paragraph ann) (Paragraph ann) (Content (Paragraph ann)) (Content (Paragraph ann)) Source #
HasContent (Document ann) (Document ann') Source #
Instance details Defined in ProAbstract.Structure.Document Methods content :: Lens (Document ann) (Document ann') (Content (Document ann)) (Content (Document ann')) Source #

type HasContent' x = HasContent x x Source #

type Contents (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock type Contents (Tagged (PlainBlock ann)) = Fragment ann
type Contents (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline type Contents (Tagged (Lines ann)) = Line ann
type Contents (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block type Contents (Tagged (Blocks ann)) = Block ann
type Contents (PlainBlock ann) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock type Contents (PlainBlock ann) = Fragment ann
type Contents (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline type Contents (Lines ann) = Line ann
type Contents (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline type Contents (Line ann) = Inline ann
type Contents (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph type Contents (Paragraph ann) = Line ann
type Contents (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block type Contents (Blocks ann) = Block ann
type Contents (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document type Contents (Document ann) = Block ann

class HasContents x x' where Source #

Methods

contents :: Lens x x' (Seq (Contents x)) (Seq (Contents x')) Source #

Instances

Instances details

HasContents (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods contents :: Lens (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) (Seq (Contents (Tagged (PlainBlock ann)))) (Seq (Contents (Tagged (PlainBlock ann)))) Source #
HasContents (Tagged (Lines ann)) (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods contents :: Lens (Tagged (Lines ann)) (Tagged (Lines ann)) (Seq (Contents (Tagged (Lines ann)))) (Seq (Contents (Tagged (Lines ann)))) Source #
HasContents (Tagged (Blocks ann)) (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods contents :: Lens (Tagged (Blocks ann)) (Tagged (Blocks ann)) (Seq (Contents (Tagged (Blocks ann)))) (Seq (Contents (Tagged (Blocks ann)))) Source #
HasContents (PlainBlock ann) (PlainBlock ann) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods contents :: Lens (PlainBlock ann) (PlainBlock ann) (Seq (Contents (PlainBlock ann))) (Seq (Contents (PlainBlock ann))) Source #
HasContents (Lines ann) (Lines ann') Source #
Instance details Defined in ProAbstract.Structure.Inline Methods contents :: Lens (Lines ann) (Lines ann') (Seq (Contents (Lines ann))) (Seq (Contents (Lines ann'))) Source #
HasContents (Line ann) (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods contents :: Lens (Line ann) (Line ann) (Seq (Contents (Line ann))) (Seq (Contents (Line ann))) Source #
HasContents (Paragraph ann) (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph Methods contents :: Lens (Paragraph ann) (Paragraph ann) (Seq (Contents (Paragraph ann))) (Seq (Contents (Paragraph ann))) Source #
HasContents (Blocks ann) (Blocks ann') Source #
Instance details Defined in ProAbstract.Structure.Block Methods contents :: Lens (Blocks ann) (Blocks ann') (Seq (Contents (Blocks ann))) (Seq (Contents (Blocks ann'))) Source #
HasContents (Document ann) (Document ann') Source #
Instance details Defined in ProAbstract.Structure.Document Methods contents :: Lens (Document ann) (Document ann') (Seq (Contents (Document ann))) (Seq (Contents (Document ann'))) Source #

type HasContents' x = HasContents x x Source #

Annotation

type family Annotation x Source #

Instances

Instances details

type Annotation (Fragment ann) Source #
Instance details Defined in ProAbstract.Structure.Fragment type Annotation (Fragment ann) = ann
type Annotation (Tag ann) Source #
Instance details Defined in ProAbstract.Tag.TagType type Annotation (Tag ann) = ann
type Annotation (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock type Annotation (Tagged (PlainBlock ann)) = ann
type Annotation (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline type Annotation (Tagged (Lines ann)) = ann
type Annotation (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block type Annotation (Tagged (Blocks ann)) = ann
type Annotation (PlainBlock ann) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock type Annotation (PlainBlock ann) = ann
type Annotation (Lines ann) Source #
Instance details Defined in ProAbstract.Structure.Inline type Annotation (Lines ann) = ann
type Annotation (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline type Annotation (Line ann) = ann
type Annotation (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline type Annotation (Inline ann) = ann
type Annotation (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph type Annotation (Paragraph ann) = ann
type Annotation (Blocks ann) Source #
Instance details Defined in ProAbstract.Structure.Block type Annotation (Blocks ann) = ann
type Annotation (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block type Annotation (Block ann) = ann
type Annotation (Document ann) Source #
Instance details Defined in ProAbstract.Structure.Document type Annotation (Document ann) = ann
type Annotation (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag type Annotation (BlockTag ann) = ann

class HasAnnotation x x' where Source #

Methods

annotation :: Lens x x' (Annotation x) (Annotation x') Source #

Instances

Instances details

HasAnnotation (Fragment ann) (Fragment ann') Source #
Instance details Defined in ProAbstract.Structure.Fragment Methods annotation :: Lens (Fragment ann) (Fragment ann') (Annotation (Fragment ann)) (Annotation (Fragment ann')) Source #
HasAnnotation (Tag ann) (Tag ann') Source #
Instance details Defined in ProAbstract.Tag.TagType Methods annotation :: Lens (Tag ann) (Tag ann') (Annotation (Tag ann)) (Annotation (Tag ann')) Source #
HasAnnotation (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods annotation :: Lens (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) (Annotation (Tagged (PlainBlock ann))) (Annotation (Tagged (PlainBlock ann))) Source #
HasAnnotation (Tagged (Lines ann)) (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods annotation :: Lens (Tagged (Lines ann)) (Tagged (Lines ann)) (Annotation (Tagged (Lines ann))) (Annotation (Tagged (Lines ann))) Source #
HasAnnotation (Tagged (Blocks ann)) (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Structure.Block Methods annotation :: Lens (Tagged (Blocks ann)) (Tagged (Blocks ann)) (Annotation (Tagged (Blocks ann))) (Annotation (Tagged (Blocks ann))) Source #
HasAnnotation (PlainBlock ann) (PlainBlock ann) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods annotation :: Lens (PlainBlock ann) (PlainBlock ann) (Annotation (PlainBlock ann)) (Annotation (PlainBlock ann)) Source #
HasAnnotation (Line ann) (Line ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods annotation :: Lens (Line ann) (Line ann) (Annotation (Line ann)) (Annotation (Line ann)) Source #
HasAnnotation (Inline ann) (Inline ann) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods annotation :: Lens (Inline ann) (Inline ann) (Annotation (Inline ann)) (Annotation (Inline ann)) Source #
HasAnnotation (Paragraph ann) (Paragraph ann) Source #
Instance details Defined in ProAbstract.Structure.Paragraph Methods annotation :: Lens (Paragraph ann) (Paragraph ann) (Annotation (Paragraph ann)) (Annotation (Paragraph ann)) Source #
HasAnnotation (Block ann) (Block ann) Source #
Instance details Defined in ProAbstract.Structure.Block Methods annotation :: Lens (Block ann) (Block ann) (Annotation (Block ann)) (Annotation (Block ann)) Source #
HasAnnotation (BlockTag ann) (BlockTag ann) Source #
Instance details Defined in ProAbstract.Structure.BlockTag Methods annotation :: Lens (BlockTag ann) (BlockTag ann) (Annotation (BlockTag ann)) (Annotation (BlockTag ann)) Source #

type HasAnnotation' x = HasAnnotation x x Source #

class HasManyAnnotations x x' where Source #

Methods

allAnnotations :: Traversal x x' (Annotation x) (Annotation x') Source #

Instances

Instances details

HasManyAnnotations (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann')) Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods allAnnotations :: Traversal (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann')) (Annotation (Tagged (PlainBlock ann))) (Annotation (Tagged (PlainBlock ann'))) Source #
HasManyAnnotations (Tagged (Lines ann)) (Tagged (Lines ann')) Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allAnnotations :: Traversal (Tagged (Lines ann)) (Tagged (Lines ann')) (Annotation (Tagged (Lines ann))) (Annotation (Tagged (Lines ann'))) Source #
HasManyAnnotations (Tagged (Blocks ann)) (Tagged (Blocks ann')) Source #
Instance details Defined in ProAbstract.Structure.Block Methods allAnnotations :: Traversal (Tagged (Blocks ann)) (Tagged (Blocks ann')) (Annotation (Tagged (Blocks ann))) (Annotation (Tagged (Blocks ann'))) Source #
HasManyAnnotations (PlainBlock ann) (PlainBlock ann') Source #
Instance details Defined in ProAbstract.Structure.PlainBlock Methods allAnnotations :: Traversal (PlainBlock ann) (PlainBlock ann') (Annotation (PlainBlock ann)) (Annotation (PlainBlock ann')) Source #
HasManyAnnotations (Lines ann) (Lines ann') Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allAnnotations :: Traversal (Lines ann) (Lines ann') (Annotation (Lines ann)) (Annotation (Lines ann')) Source #
HasManyAnnotations (Line ann) (Line ann') Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allAnnotations :: Traversal (Line ann) (Line ann') (Annotation (Line ann)) (Annotation (Line ann')) Source #
HasManyAnnotations (Inline ann) (Inline ann') Source #
Instance details Defined in ProAbstract.Structure.Inline Methods allAnnotations :: Traversal (Inline ann) (Inline ann') (Annotation (Inline ann)) (Annotation (Inline ann')) Source #
HasManyAnnotations (Paragraph ann) (Paragraph ann') Source #
Instance details Defined in ProAbstract.Structure.Paragraph Methods allAnnotations :: Traversal (Paragraph ann) (Paragraph ann') (Annotation (Paragraph ann)) (Annotation (Paragraph ann')) Source #
HasManyAnnotations (Blocks ann) (Blocks ann') Source #
Instance details Defined in ProAbstract.Structure.Block Methods allAnnotations :: Traversal (Blocks ann) (Blocks ann') (Annotation (Blocks ann)) (Annotation (Blocks ann')) Source #
HasManyAnnotations (Block ann) (Block ann') Source #
Instance details Defined in ProAbstract.Structure.Block Methods allAnnotations :: Traversal (Block ann) (Block ann') (Annotation (Block ann)) (Annotation (Block ann')) Source #
HasManyAnnotations (Document ann) (Document ann') Source #
Instance details Defined in ProAbstract.Structure.Document Methods allAnnotations :: Traversal (Document ann) (Document ann') (Annotation (Document ann)) (Annotation (Document ann')) Source #
HasManyAnnotations (BlockTag ann) (BlockTag ann') Source #
Instance details Defined in ProAbstract.Structure.BlockTag Methods allAnnotations :: Traversal (BlockTag ann) (BlockTag ann') (Annotation (BlockTag ann)) (Annotation (BlockTag ann')) Source #

Tagless content

class CanBeTagless a where Source #

Methods

tagless :: KindOfText txt -> AffineFold a txt Source #

Instances

Instances details

CanBeTagless (Fragment ann) Source #
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (Fragment ann) txt Source #
CanBeTagless (PlainBlock ann) Source #
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (PlainBlock ann) txt Source #
CanBeTagless (Lines ann) Source #
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (Lines ann) txt Source #
CanBeTagless (Line ann) Source #
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (Line ann) txt Source #
CanBeTagless (Inline ann) Source #	Only a `plain` inline is considered to be plain text, because `fork` inlines have a tags.
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (Inline ann) txt Source #
CanBeTagless (Paragraph ann) Source #
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (Paragraph ann) txt Source #
CanBeTagless (Blocks ann) Source #
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (Blocks ann) txt Source #
CanBeTagless (Block ann) Source #	Only a `paragraph` inline is considered to be plain text, because `fork` and `plain` blocks have tags.
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (Block ann) txt Source #

class CanHaveTaglessContent a where Source #

Methods

taglessContent :: KindOfText t -> AffineFold a t Source #

Instances

Instances details

CanHaveTaglessContent (Fragment ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Fragment ann) t Source #
CanHaveTaglessContent (Tagged (PlainBlock ann)) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Tagged (PlainBlock ann)) t Source #
CanHaveTaglessContent (Tagged (Lines ann)) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Tagged (Lines ann)) t Source #
CanHaveTaglessContent (Tagged (Blocks ann)) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Tagged (Blocks ann)) t Source #
CanHaveTaglessContent (Lines ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Lines ann) t Source #
CanHaveTaglessContent (Line ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Line ann) t Source #
CanHaveTaglessContent (Inline ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Inline ann) t Source #
CanHaveTaglessContent (Blocks ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Blocks ann) t Source #
CanHaveTaglessContent (Block ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Block ann) t Source #
CanHaveTaglessContent (Document ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Document ann) t Source #
CanHaveTaglessContent (BlockTag ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (BlockTag ann) t Source #

data KindOfText txt where Source #

Constructors

TextLine :: KindOfText Text
TextStanza :: KindOfText (Seq Text)
TextParagraphs :: KindOfText (Seq (Seq Text))