ProAbstract.Classes

Block and inline choices

class CanBePlain x where

Methods

plain :: Prism' x (Plain x)

Instances

CanBePlain (Inline ann)

Defined in ProAbstract.Structure.Inline

Methods

plain :: Prism' (Inline ann) (Plain (Inline ann))

CanBePlain (Block ann)

Defined in ProAbstract.Structure.Block

Methods

plain :: Prism' (Block ann) (Plain (Block ann))

CanBePlain (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

plain :: Prism' (BlockTagContent ann) (Plain (BlockTagContent ann))

CanBePlain (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

plain :: Prism' (BlockTag ann) (Plain (BlockTag ann))

class CanFork x where

Methods

fork :: Prism' x (Fork x)

Instances

CanFork (Inline ann)

Defined in ProAbstract.Structure.Inline

Methods

fork :: Prism' (Inline ann) (Fork (Inline ann))

CanFork (Block ann)

Defined in ProAbstract.Structure.Block

Methods

fork :: Prism' (Block ann) (Fork (Block ann))

CanFork (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

fork :: Prism' (BlockTagContent ann) (Fork (BlockTagContent ann))

CanFork (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

fork :: Prism' (BlockTag ann) (Fork (BlockTag ann))

class IsTaggedOrBare a where

Associated Types

type TaggedType a

type BareType a

Methods

taggedOrBare :: Iso' a (TaggedOrBare a)

Instances

IsTaggedOrBare (Inline ann)

Defined in ProAbstract.Structure.IsTaggedOrBare

Associated Types

type TaggedType (Inline ann)

type BareType (Inline ann)

Methods

taggedOrBare :: Iso' (Inline ann) (TaggedOrBare (Inline ann))

IsTaggedOrBare (Block ann)

Defined in ProAbstract.Structure.IsTaggedOrBare

Associated Types

type TaggedType (Block ann)

type BareType (Block ann)

Methods

taggedOrBare :: Iso' (Block ann) (TaggedOrBare (Block ann))

IsTaggedOrBare (TaggedOrBare a)

Defined in ProAbstract.Structure.IsTaggedOrBare

Associated Types

type TaggedType (TaggedOrBare a)

type BareType (TaggedOrBare a)

Methods

taggedOrBare :: Iso' (TaggedOrBare a) (TaggedOrBare (TaggedOrBare a))

Plaintext traversals

class HasManyPlainBlocks x where

Methods

allPlainBlocks :: Traversal' x (TaggedPlainBlock (Annotation x))

Instances

HasManyPlainBlocks (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

allPlainBlocks :: Traversal' (TaggedBlocks ann) (TaggedPlainBlock (Annotation (TaggedBlocks ann)))

HasManyPlainBlocks (Blocks ann)

Defined in ProAbstract.Structure.Block

Methods

allPlainBlocks :: Traversal' (Blocks ann) (TaggedPlainBlock (Annotation (Blocks ann)))

HasManyPlainBlocks (Block ann)

Defined in ProAbstract.Structure.Block

Methods

allPlainBlocks :: Traversal' (Block ann) (TaggedPlainBlock (Annotation (Block ann)))

HasManyPlainBlocks (Document ann)

Defined in ProAbstract.Structure.Document

Methods

allPlainBlocks :: Traversal' (Document ann) (TaggedPlainBlock (Annotation (Document ann)))

HasManyPlainBlocks (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

allPlainBlocks :: Traversal' (BlockTagContent ann) (TaggedPlainBlock (Annotation (BlockTagContent ann)))

HasManyPlainBlocks (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

allPlainBlocks :: Traversal' (BlockTag ann) (TaggedPlainBlock (Annotation (BlockTag ann)))

class HasManyPlainInlines x where

Methods

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

Instances

HasManyPlainInlines (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Methods

allPlainInlines :: Traversal' (TaggedLines ann) (Fragment (Annotation (TaggedLines ann)))

HasManyPlainInlines (Lines ann)

Defined in ProAbstract.Structure.Inline

Methods

allPlainInlines :: Traversal' (Lines ann) (Fragment (Annotation (Lines ann)))

HasManyPlainInlines (Line ann)

Defined in ProAbstract.Structure.Inline

Methods

allPlainInlines :: Traversal' (Line ann) (Fragment (Annotation (Line ann)))

HasManyPlainInlines (Inline ann)

Defined in ProAbstract.Structure.Inline

Methods

allPlainInlines :: Traversal' (Inline ann) (Fragment (Annotation (Inline ann)))

HasManyPlainInlines (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

Methods

allPlainInlines :: Traversal' (Paragraph ann) (Fragment (Annotation (Paragraph ann)))

HasManyPlainInlines (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

allPlainInlines :: Traversal' (TaggedBlocks ann) (Fragment (Annotation (TaggedBlocks ann)))

HasManyPlainInlines (Blocks ann)

Defined in ProAbstract.Structure.Block

Methods

allPlainInlines :: Traversal' (Blocks ann) (Fragment (Annotation (Blocks ann)))

HasManyPlainInlines (Block ann)

Defined in ProAbstract.Structure.Block

Methods

allPlainInlines :: Traversal' (Block ann) (Fragment (Annotation (Block ann)))

HasManyPlainInlines (Document ann)

Defined in ProAbstract.Structure.Document

Methods

allPlainInlines :: Traversal' (Document ann) (Fragment (Annotation (Document ann)))

HasManyPlainInlines (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

allPlainInlines :: Traversal' (BlockTagContent ann) (Fragment (Annotation (BlockTagContent ann)))

HasManyPlainInlines (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

allPlainInlines :: Traversal' (BlockTag ann) (Fragment (Annotation (BlockTag ann)))

Annotation

class HasAnnotation x x' where

Methods

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

Instances

HasAnnotation (Fragment ann) (Fragment ann')

Defined in ProAbstract.Structure.Fragment

Methods

annotation :: Lens (Fragment ann) (Fragment ann') (Annotation (Fragment ann)) (Annotation (Fragment ann'))

HasAnnotation (Tag ann) (Tag ann')

Defined in ProAbstract.Tag.TagType

Methods

annotation :: Lens (Tag ann) (Tag ann') (Annotation (Tag ann)) (Annotation (Tag ann'))

HasAnnotation (TaggedPlainBlock ann) (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Methods

annotation :: Lens (TaggedPlainBlock ann) (TaggedPlainBlock ann) (Annotation (TaggedPlainBlock ann)) (Annotation (TaggedPlainBlock ann))

HasAnnotation (PlainBlock ann) (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Methods

annotation :: Lens (PlainBlock ann) (PlainBlock ann) (Annotation (PlainBlock ann)) (Annotation (PlainBlock ann))

HasAnnotation (TaggedLines ann) (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Methods

annotation :: Lens (TaggedLines ann) (TaggedLines ann) (Annotation (TaggedLines ann)) (Annotation (TaggedLines ann))

HasAnnotation (Line ann) (Line ann)

Defined in ProAbstract.Structure.Inline

Methods

annotation :: Lens (Line ann) (Line ann) (Annotation (Line ann)) (Annotation (Line ann))

HasAnnotation (Inline ann) (Inline ann)

Defined in ProAbstract.Structure.Inline

Methods

annotation :: Lens (Inline ann) (Inline ann) (Annotation (Inline ann)) (Annotation (Inline ann))

HasAnnotation (Paragraph ann) (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

Methods

annotation :: Lens (Paragraph ann) (Paragraph ann) (Annotation (Paragraph ann)) (Annotation (Paragraph ann))

HasAnnotation (TaggedBlocks ann) (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

annotation :: Lens (TaggedBlocks ann) (TaggedBlocks ann) (Annotation (TaggedBlocks ann)) (Annotation (TaggedBlocks ann))

HasAnnotation (Block ann) (Block ann)

Defined in ProAbstract.Structure.Block

Methods

annotation :: Lens (Block ann) (Block ann) (Annotation (Block ann)) (Annotation (Block ann))

HasAnnotation (BlockTag ann) (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

annotation :: Lens (BlockTag ann) (BlockTag ann) (Annotation (BlockTag ann)) (Annotation (BlockTag ann))

type HasAnnotation' x = HasAnnotation x x

class HasManyAnnotations x x' where

Methods

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

Instances

HasManyAnnotations (TaggedPlainBlock ann) (TaggedPlainBlock ann')

Defined in ProAbstract.Structure.PlainBlock

Methods

allAnnotations :: Traversal (TaggedPlainBlock ann) (TaggedPlainBlock ann') (Annotation (TaggedPlainBlock ann)) (Annotation (TaggedPlainBlock ann'))

HasManyAnnotations (PlainBlock ann) (PlainBlock ann')

Defined in ProAbstract.Structure.PlainBlock

Methods

allAnnotations :: Traversal (PlainBlock ann) (PlainBlock ann') (Annotation (PlainBlock ann)) (Annotation (PlainBlock ann'))

HasManyAnnotations (TaggedLines ann) (TaggedLines ann')

Defined in ProAbstract.Structure.Inline

Methods

allAnnotations :: Traversal (TaggedLines ann) (TaggedLines ann') (Annotation (TaggedLines ann)) (Annotation (TaggedLines ann'))

HasManyAnnotations (Lines ann) (Lines ann')

Defined in ProAbstract.Structure.Inline

Methods

allAnnotations :: Traversal (Lines ann) (Lines ann') (Annotation (Lines ann)) (Annotation (Lines ann'))

HasManyAnnotations (Line ann) (Line ann')

Defined in ProAbstract.Structure.Inline

Methods

allAnnotations :: Traversal (Line ann) (Line ann') (Annotation (Line ann)) (Annotation (Line ann'))

HasManyAnnotations (Inline ann) (Inline ann')

Defined in ProAbstract.Structure.Inline

Methods

allAnnotations :: Traversal (Inline ann) (Inline ann') (Annotation (Inline ann)) (Annotation (Inline ann'))

HasManyAnnotations (Paragraph ann) (Paragraph ann')

Defined in ProAbstract.Structure.Paragraph

Methods

allAnnotations :: Traversal (Paragraph ann) (Paragraph ann') (Annotation (Paragraph ann)) (Annotation (Paragraph ann'))

HasManyAnnotations (TaggedBlocks ann) (TaggedBlocks ann')

Defined in ProAbstract.Structure.Block

Methods

allAnnotations :: Traversal (TaggedBlocks ann) (TaggedBlocks ann') (Annotation (TaggedBlocks ann)) (Annotation (TaggedBlocks ann'))

HasManyAnnotations (Blocks ann) (Blocks ann')

Defined in ProAbstract.Structure.Block

Methods

allAnnotations :: Traversal (Blocks ann) (Blocks ann') (Annotation (Blocks ann)) (Annotation (Blocks ann'))

HasManyAnnotations (Block ann) (Block ann')

Defined in ProAbstract.Structure.Block

Methods

allAnnotations :: Traversal (Block ann) (Block ann') (Annotation (Block ann)) (Annotation (Block ann'))

HasManyAnnotations (Document ann) (Document ann')

Defined in ProAbstract.Structure.Document

Methods

allAnnotations :: Traversal (Document ann) (Document ann') (Annotation (Document ann)) (Annotation (Document ann'))

HasManyAnnotations (BlockTagContent ann) (BlockTagContent ann')

Defined in ProAbstract.Structure.BlockTagContent

Methods

allAnnotations :: Traversal (BlockTagContent ann) (BlockTagContent ann') (Annotation (BlockTagContent ann)) (Annotation (BlockTagContent ann'))

HasManyAnnotations (BlockTag ann) (BlockTag ann')

Defined in ProAbstract.Structure.BlockTag

Methods

allAnnotations :: Traversal (BlockTag ann) (BlockTag ann') (Annotation (BlockTag ann)) (Annotation (BlockTag ann'))

Content

class HasContent x x' where

Methods

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

Instances

HasContent (Fragment ann) (Fragment ann)

Defined in ProAbstract.Structure.Fragment

Methods

content :: Lens (Fragment ann) (Fragment ann) (Content (Fragment ann)) (Content (Fragment ann))

HasContent (TaggedPlainBlock ann) (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Methods

content :: Lens (TaggedPlainBlock ann) (TaggedPlainBlock ann) (Content (TaggedPlainBlock ann)) (Content (TaggedPlainBlock ann))

HasContent (TaggedLines ann) (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Methods

content :: Lens (TaggedLines ann) (TaggedLines ann) (Content (TaggedLines ann)) (Content (TaggedLines ann))

HasContent (Paragraph ann) (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

Methods

content :: Lens (Paragraph ann) (Paragraph ann) (Content (Paragraph ann)) (Content (Paragraph ann))

HasContent (TaggedBlocks ann) (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

content :: Lens (TaggedBlocks ann) (TaggedBlocks ann) (Content (TaggedBlocks ann)) (Content (TaggedBlocks ann))

HasContent (Document ann) (Document ann')

Defined in ProAbstract.Structure.Document

Methods

content :: Lens (Document ann) (Document ann') (Content (Document ann)) (Content (Document ann'))

HasContent (BlockTag ann) (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

content :: Lens (BlockTag ann) (BlockTag ann) (Content (BlockTag ann)) (Content (BlockTag ann))

type HasContent' x = HasContent x x

class HasContents x x' where

Methods

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

Instances

HasContents (TaggedPlainBlock ann) (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Methods

contents :: Lens (TaggedPlainBlock ann) (TaggedPlainBlock ann) (Seq (Contents (TaggedPlainBlock ann))) (Seq (Contents (TaggedPlainBlock ann)))

HasContents (PlainBlock ann) (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Methods

contents :: Lens (PlainBlock ann) (PlainBlock ann) (Seq (Contents (PlainBlock ann))) (Seq (Contents (PlainBlock ann)))

HasContents (TaggedLines ann) (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Methods

contents :: Lens (TaggedLines ann) (TaggedLines ann) (Seq (Contents (TaggedLines ann))) (Seq (Contents (TaggedLines ann)))

HasContents (Lines ann) (Lines ann')

Defined in ProAbstract.Structure.Inline

Methods

contents :: Lens (Lines ann) (Lines ann') (Seq (Contents (Lines ann))) (Seq (Contents (Lines ann')))

HasContents (Line ann) (Line ann)

Defined in ProAbstract.Structure.Inline

Methods

contents :: Lens (Line ann) (Line ann) (Seq (Contents (Line ann))) (Seq (Contents (Line ann)))

HasContents (Paragraph ann) (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

Methods

contents :: Lens (Paragraph ann) (Paragraph ann) (Seq (Contents (Paragraph ann))) (Seq (Contents (Paragraph ann)))

HasContents (TaggedBlocks ann) (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

contents :: Lens (TaggedBlocks ann) (TaggedBlocks ann) (Seq (Contents (TaggedBlocks ann))) (Seq (Contents (TaggedBlocks ann)))

HasContents (Blocks ann) (Blocks ann')

Defined in ProAbstract.Structure.Block

Methods

contents :: Lens (Blocks ann) (Blocks ann') (Seq (Contents (Blocks ann))) (Seq (Contents (Blocks ann')))

HasContents (Document ann) (Document ann')

Defined in ProAbstract.Structure.Document

Methods

contents :: Lens (Document ann) (Document ann') (Seq (Contents (Document ann))) (Seq (Contents (Document ann')))

type HasContents' x = HasContents x x

Metadata

class HasMetadata x where

Associated Types

type MetadataOpticKind x

Methods

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

Instances

HasMetadata Metadata

Defined in ProAbstract.Metadata.HasMetadata

Associated Types

type MetadataOpticKind Metadata

Methods

metadata :: Optic' (MetadataOpticKind Metadata) NoIx Metadata Metadata

HasMetadata (Tag ann)

Defined in ProAbstract.Tag.TagType

Associated Types

type MetadataOpticKind (Tag ann)

Methods

metadata :: Optic' (MetadataOpticKind (Tag ann)) NoIx (Tag ann) Metadata

HasMetadata (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Associated Types

type MetadataOpticKind (TaggedPlainBlock ann)

Methods

metadata :: Optic' (MetadataOpticKind (TaggedPlainBlock ann)) NoIx (TaggedPlainBlock ann) Metadata

HasMetadata (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Associated Types

type MetadataOpticKind (TaggedLines ann)

Methods

metadata :: Optic' (MetadataOpticKind (TaggedLines ann)) NoIx (TaggedLines ann) Metadata

HasMetadata (Inline ann)

Defined in ProAbstract.Structure.Inline

Associated Types

type MetadataOpticKind (Inline ann)

Methods

metadata :: Optic' (MetadataOpticKind (Inline ann)) NoIx (Inline ann) Metadata

HasMetadata (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Associated Types

type MetadataOpticKind (TaggedBlocks ann)

Methods

metadata :: Optic' (MetadataOpticKind (TaggedBlocks ann)) NoIx (TaggedBlocks ann) Metadata

HasMetadata (Block ann)

Defined in ProAbstract.Structure.Block

Associated Types

type MetadataOpticKind (Block ann)

Methods

metadata :: Optic' (MetadataOpticKind (Block ann)) NoIx (Block ann) Metadata

HasMetadata (Document ann)

Defined in ProAbstract.Structure.Document

Associated Types

type MetadataOpticKind (Document ann)

Methods

metadata :: Optic' (MetadataOpticKind (Document ann)) NoIx (Document ann) Metadata

HasMetadata (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Associated Types

type MetadataOpticKind (BlockTag ann)

Methods

metadata :: Optic' (MetadataOpticKind (BlockTag ann)) NoIx (BlockTag ann) Metadata

class HasManyMetadata x where

Methods

allMetadata :: Traversal' x Metadata

Instances

HasManyMetadata (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Methods

allMetadata :: Traversal' (TaggedLines ann) Metadata

HasManyMetadata (Lines ann)

Defined in ProAbstract.Structure.Inline

Methods

allMetadata :: Traversal' (Lines ann) Metadata

HasManyMetadata (Line ann)

Defined in ProAbstract.Structure.Inline

Methods

allMetadata :: Traversal' (Line ann) Metadata

HasManyMetadata (Inline ann)

Defined in ProAbstract.Structure.Inline

Methods

allMetadata :: Traversal' (Inline ann) Metadata

HasManyMetadata (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

Methods

allMetadata :: Traversal' (Paragraph ann) Metadata

HasManyMetadata (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

allMetadata :: Traversal' (TaggedBlocks ann) Metadata

HasManyMetadata (Blocks ann)

Defined in ProAbstract.Structure.Block

Methods

allMetadata :: Traversal' (Blocks ann) Metadata

HasManyMetadata (Block ann)

Defined in ProAbstract.Structure.Block

Methods

allMetadata :: Traversal' (Block ann) Metadata

HasManyMetadata (Document ann)

Defined in ProAbstract.Structure.Document

Methods

allMetadata :: Traversal' (Document ann) Metadata

HasManyMetadata (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

allMetadata :: Traversal' (BlockTagContent ann) Metadata

HasManyMetadata (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

allMetadata :: Traversal' (BlockTag ann) Metadata

Tags

class HasTag x where

Associated Types

type TagOpticKind x :: OpticKind

Methods

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

Instances

HasTag (Tag ann)

Defined in ProAbstract.Tag.HasTag

Associated Types

type TagOpticKind (Tag ann)

Methods

tag :: Optic' (TagOpticKind (Tag ann)) NoIx (Tag ann) (Tag (Annotation (Tag ann)))

HasTag (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Associated Types

type TagOpticKind (TaggedPlainBlock ann)

Methods

tag :: Optic' (TagOpticKind (TaggedPlainBlock ann)) NoIx (TaggedPlainBlock ann) (Tag (Annotation (TaggedPlainBlock ann)))

HasTag (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Associated Types

type TagOpticKind (TaggedLines ann)

Methods

tag :: Optic' (TagOpticKind (TaggedLines ann)) NoIx (TaggedLines ann) (Tag (Annotation (TaggedLines ann)))

HasTag (Inline ann)

Defined in ProAbstract.Structure.Inline

Associated Types

type TagOpticKind (Inline ann)

Methods

tag :: Optic' (TagOpticKind (Inline ann)) NoIx (Inline ann) (Tag (Annotation (Inline ann)))

HasTag (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Associated Types

type TagOpticKind (TaggedBlocks ann)

Methods

tag :: Optic' (TagOpticKind (TaggedBlocks ann)) NoIx (TaggedBlocks ann) (Tag (Annotation (TaggedBlocks ann)))

HasTag (Block ann)

Defined in ProAbstract.Structure.Block

Associated Types

type TagOpticKind (Block ann)

Methods

tag :: Optic' (TagOpticKind (Block ann)) NoIx (Block ann) (Tag (Annotation (Block ann)))

HasTag (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Associated Types

type TagOpticKind (BlockTag ann)

Methods

tag :: Optic' (TagOpticKind (BlockTag ann)) NoIx (BlockTag ann) (Tag (Annotation (BlockTag ann)))

Traversal

class HasManyTags x where

Methods

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

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

Instances

HasManyTags (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Methods

allTags :: Traversal' (TaggedLines ann) (Tag (Annotation (TaggedLines ann)))

allInlineTags :: Traversal' (TaggedLines ann) (Tag (Annotation (TaggedLines ann)))

HasManyTags (Lines ann)

Defined in ProAbstract.Structure.Inline

Methods

allTags :: Traversal' (Lines ann) (Tag (Annotation (Lines ann)))

allInlineTags :: Traversal' (Lines ann) (Tag (Annotation (Lines ann)))

HasManyTags (Line ann)

Defined in ProAbstract.Structure.Inline

Methods

allTags :: Traversal' (Line ann) (Tag (Annotation (Line ann)))

allInlineTags :: Traversal' (Line ann) (Tag (Annotation (Line ann)))

HasManyTags (Inline ann)

Defined in ProAbstract.Structure.Inline

Methods

allTags :: Traversal' (Inline ann) (Tag (Annotation (Inline ann)))

allInlineTags :: Traversal' (Inline ann) (Tag (Annotation (Inline ann)))

HasManyTags (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

Methods

allTags :: Traversal' (Paragraph ann) (Tag (Annotation (Paragraph ann)))

allInlineTags :: Traversal' (Paragraph ann) (Tag (Annotation (Paragraph ann)))

HasManyTags (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

allTags :: Traversal' (TaggedBlocks ann) (Tag (Annotation (TaggedBlocks ann)))

allInlineTags :: Traversal' (TaggedBlocks ann) (Tag (Annotation (TaggedBlocks ann)))

HasManyTags (Blocks ann)

Defined in ProAbstract.Structure.Block

Methods

allTags :: Traversal' (Blocks ann) (Tag (Annotation (Blocks ann)))

allInlineTags :: Traversal' (Blocks ann) (Tag (Annotation (Blocks ann)))

HasManyTags (Block ann)

Defined in ProAbstract.Structure.Block

Methods

allTags :: Traversal' (Block ann) (Tag (Annotation (Block ann)))

allInlineTags :: Traversal' (Block ann) (Tag (Annotation (Block ann)))

HasManyTags (Document ann)

Defined in ProAbstract.Structure.Document

Methods

allTags :: Traversal' (Document ann) (Tag (Annotation (Document ann)))

allInlineTags :: Traversal' (Document ann) (Tag (Annotation (Document ann)))

HasManyTags (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

allTags :: Traversal' (BlockTagContent ann) (Tag (Annotation (BlockTagContent ann)))

allInlineTags :: Traversal' (BlockTagContent ann) (Tag (Annotation (BlockTagContent ann)))

HasManyTags (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

allTags :: Traversal' (BlockTag ann) (Tag (Annotation (BlockTag ann)))

allInlineTags :: Traversal' (BlockTag ann) (Tag (Annotation (BlockTag ann)))

class HasManyTags x => HasManyBlockTags x where

Methods

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

Instances

HasManyBlockTags (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

allBlockTags :: Traversal' (TaggedBlocks ann) (Tag (Annotation (TaggedBlocks ann)))

HasManyBlockTags (Blocks ann)

Defined in ProAbstract.Structure.Block

Methods

allBlockTags :: Traversal' (Blocks ann) (Tag (Annotation (Blocks ann)))

HasManyBlockTags (Block ann)

Defined in ProAbstract.Structure.Block

Methods

allBlockTags :: Traversal' (Block ann) (Tag (Annotation (Block ann)))

HasManyBlockTags (Document ann)

Defined in ProAbstract.Structure.Document

Methods

allBlockTags :: Traversal' (Document ann) (Tag (Annotation (Document ann)))

HasManyBlockTags (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

allBlockTags :: Traversal' (BlockTagContent ann) (Tag (Annotation (BlockTagContent ann)))

Withering

class HasWitherableTags x where

Minimal complete definition

witherTags

Methods

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

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

Instances

HasWitherableTags (Lines ann)

Defined in ProAbstract.Structure.Inline

Methods

witherTags :: Monad f => (Tag (Annotation (Lines ann)) -> f (Maybe (Tag (Annotation (Lines ann))))) -> Lines ann -> f (Lines ann)

mapMaybeTags :: (Tag (Annotation (Lines ann)) -> Maybe (Tag (Annotation (Lines ann)))) -> Lines ann -> Lines ann

HasWitherableTags (Line ann)

Defined in ProAbstract.Structure.Inline

Methods

witherTags :: Monad f => (Tag (Annotation (Line ann)) -> f (Maybe (Tag (Annotation (Line ann))))) -> Line ann -> f (Line ann)

mapMaybeTags :: (Tag (Annotation (Line ann)) -> Maybe (Tag (Annotation (Line ann)))) -> Line ann -> Line ann

HasWitherableTags (Blocks ann)

Defined in ProAbstract.Structure.Block

Methods

witherTags :: Monad f => (Tag (Annotation (Blocks ann)) -> f (Maybe (Tag (Annotation (Blocks ann))))) -> Blocks ann -> f (Blocks ann)

mapMaybeTags :: (Tag (Annotation (Blocks ann)) -> Maybe (Tag (Annotation (Blocks ann)))) -> Blocks ann -> Blocks ann

HasWitherableTags (Document ann)

Defined in ProAbstract.Structure.Document

Methods

witherTags :: Monad f => (Tag (Annotation (Document ann)) -> f (Maybe (Tag (Annotation (Document ann))))) -> Document ann -> f (Document ann)

mapMaybeTags :: (Tag (Annotation (Document ann)) -> Maybe (Tag (Annotation (Document ann)))) -> Document ann -> Document ann

HasWitherableTags (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

witherTags :: Monad f => (Tag (Annotation (BlockTagContent ann)) -> f (Maybe (Tag (Annotation (BlockTagContent ann))))) -> BlockTagContent ann -> f (BlockTagContent ann)

mapMaybeTags :: (Tag (Annotation (BlockTagContent ann)) -> Maybe (Tag (Annotation (BlockTagContent ann)))) -> BlockTagContent ann -> BlockTagContent ann

class HasManyTags x => HasWitherableInlineTags x where

Minimal complete definition

witherInlineTags

Methods

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

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

Instances

HasWitherableInlineTags (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Methods

witherInlineTags :: Monad f => (Tag (Annotation (TaggedLines ann)) -> f (Maybe (Tag (Annotation (TaggedLines ann))))) -> TaggedLines ann -> f (TaggedLines ann)

mapMaybeInlineTags :: (Tag (Annotation (TaggedLines ann)) -> Maybe (Tag (Annotation (TaggedLines ann)))) -> TaggedLines ann -> TaggedLines ann

HasWitherableInlineTags (Lines ann)

Defined in ProAbstract.Structure.Inline

Methods

witherInlineTags :: Monad f => (Tag (Annotation (Lines ann)) -> f (Maybe (Tag (Annotation (Lines ann))))) -> Lines ann -> f (Lines ann)

mapMaybeInlineTags :: (Tag (Annotation (Lines ann)) -> Maybe (Tag (Annotation (Lines ann)))) -> Lines ann -> Lines ann

HasWitherableInlineTags (Line ann)

Defined in ProAbstract.Structure.Inline

Methods

witherInlineTags :: Monad f => (Tag (Annotation (Line ann)) -> f (Maybe (Tag (Annotation (Line ann))))) -> Line ann -> f (Line ann)

mapMaybeInlineTags :: (Tag (Annotation (Line ann)) -> Maybe (Tag (Annotation (Line ann)))) -> Line ann -> Line ann

HasWitherableInlineTags (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

Methods

witherInlineTags :: Monad f => (Tag (Annotation (Paragraph ann)) -> f (Maybe (Tag (Annotation (Paragraph ann))))) -> Paragraph ann -> f (Paragraph ann)

mapMaybeInlineTags :: (Tag (Annotation (Paragraph ann)) -> Maybe (Tag (Annotation (Paragraph ann)))) -> Paragraph ann -> Paragraph ann

HasWitherableInlineTags (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

witherInlineTags :: Monad f => (Tag (Annotation (TaggedBlocks ann)) -> f (Maybe (Tag (Annotation (TaggedBlocks ann))))) -> TaggedBlocks ann -> f (TaggedBlocks ann)

mapMaybeInlineTags :: (Tag (Annotation (TaggedBlocks ann)) -> Maybe (Tag (Annotation (TaggedBlocks ann)))) -> TaggedBlocks ann -> TaggedBlocks ann

HasWitherableInlineTags (Blocks ann)

Defined in ProAbstract.Structure.Block

Methods

witherInlineTags :: Monad f => (Tag (Annotation (Blocks ann)) -> f (Maybe (Tag (Annotation (Blocks ann))))) -> Blocks ann -> f (Blocks ann)

mapMaybeInlineTags :: (Tag (Annotation (Blocks ann)) -> Maybe (Tag (Annotation (Blocks ann)))) -> Blocks ann -> Blocks ann

HasWitherableInlineTags (Block ann)

Defined in ProAbstract.Structure.Block

Methods

witherInlineTags :: Monad f => (Tag (Annotation (Block ann)) -> f (Maybe (Tag (Annotation (Block ann))))) -> Block ann -> f (Block ann)

mapMaybeInlineTags :: (Tag (Annotation (Block ann)) -> Maybe (Tag (Annotation (Block ann)))) -> Block ann -> Block ann

HasWitherableInlineTags (Document ann)

Defined in ProAbstract.Structure.Document

Methods

witherInlineTags :: Monad f => (Tag (Annotation (Document ann)) -> f (Maybe (Tag (Annotation (Document ann))))) -> Document ann -> f (Document ann)

mapMaybeInlineTags :: (Tag (Annotation (Document ann)) -> Maybe (Tag (Annotation (Document ann)))) -> Document ann -> Document ann

HasWitherableInlineTags (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

witherInlineTags :: Monad f => (Tag (Annotation (BlockTagContent ann)) -> f (Maybe (Tag (Annotation (BlockTagContent ann))))) -> BlockTagContent ann -> f (BlockTagContent ann)

mapMaybeInlineTags :: (Tag (Annotation (BlockTagContent ann)) -> Maybe (Tag (Annotation (BlockTagContent ann)))) -> BlockTagContent ann -> BlockTagContent ann

class HasManyBlockTags x => HasWitherableBlockTags x where

Minimal complete definition

witherBlockTags

Methods

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

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

Instances

HasWitherableBlockTags (Blocks ann)

Defined in ProAbstract.Structure.Block

Methods

witherBlockTags :: Monad f => (Tag (Annotation (Blocks ann)) -> f (Maybe (Tag (Annotation (Blocks ann))))) -> Blocks ann -> f (Blocks ann)

mapMaybeBlockTags :: (Tag (Annotation (Blocks ann)) -> Maybe (Tag (Annotation (Blocks ann)))) -> Blocks ann -> Blocks ann

HasWitherableBlockTags (Document ann)

Defined in ProAbstract.Structure.Document

Methods

witherBlockTags :: Monad f => (Tag (Annotation (Document ann)) -> f (Maybe (Tag (Annotation (Document ann))))) -> Document ann -> f (Document ann)

mapMaybeBlockTags :: (Tag (Annotation (Document ann)) -> Maybe (Tag (Annotation (Document ann)))) -> Document ann -> Document ann

HasWitherableBlockTags (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

witherBlockTags :: Monad f => (Tag (Annotation (BlockTagContent ann)) -> f (Maybe (Tag (Annotation (BlockTagContent ann))))) -> BlockTagContent ann -> f (BlockTagContent ann)

mapMaybeBlockTags :: (Tag (Annotation (BlockTagContent ann)) -> Maybe (Tag (Annotation (BlockTagContent ann)))) -> BlockTagContent ann -> BlockTagContent ann

Paragraphs

class HasManyParagraphs x where

Methods

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

Instances

HasManyParagraphs (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

allParagraphs :: Traversal' (TaggedBlocks ann) (Paragraph (Annotation (TaggedBlocks ann)))

HasManyParagraphs (Blocks ann)

Defined in ProAbstract.Structure.Block

Methods

allParagraphs :: Traversal' (Blocks ann) (Paragraph (Annotation (Blocks ann)))

HasManyParagraphs (Block ann)

Defined in ProAbstract.Structure.Block

Methods

allParagraphs :: Traversal' (Block ann) (Paragraph (Annotation (Block ann)))

HasManyParagraphs (Document ann)

Defined in ProAbstract.Structure.Document

Methods

allParagraphs :: Traversal' (Document ann) (Paragraph (Annotation (Document ann)))

HasManyParagraphs (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

allParagraphs :: Traversal' (BlockTagContent ann) (Paragraph (Annotation (BlockTagContent ann)))

HasManyParagraphs (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

allParagraphs :: Traversal' (BlockTag ann) (Paragraph (Annotation (BlockTag ann)))

Getting text from tagless content

class CanBeTagless a where

Methods

tagless :: KindOfText txt -> AffineFold a txt

Instances

CanBeTagless (Fragment ann)

Defined in ProAbstract.Tagless.CanBeTagless

Methods

tagless :: KindOfText txt -> AffineFold (Fragment ann) txt

CanBeTagless (PlainBlock ann)

Defined in ProAbstract.Tagless.CanBeTagless

Methods

tagless :: KindOfText txt -> AffineFold (PlainBlock ann) txt

CanBeTagless (Lines ann)

Defined in ProAbstract.Tagless.CanBeTagless

Methods

tagless :: KindOfText txt -> AffineFold (Lines ann) txt

CanBeTagless (Line ann)

Defined in ProAbstract.Tagless.CanBeTagless

Methods

tagless :: KindOfText txt -> AffineFold (Line ann) txt

CanBeTagless (Inline ann)

Only a plain inline is considered to be plain text, because fork inlines have a tags.

Defined in ProAbstract.Tagless.CanBeTagless

Methods

tagless :: KindOfText txt -> AffineFold (Inline ann) txt

CanBeTagless (Paragraph ann)

Defined in ProAbstract.Tagless.CanBeTagless

Methods

tagless :: KindOfText txt -> AffineFold (Paragraph ann) txt

CanBeTagless (Blocks ann)

Defined in ProAbstract.Tagless.CanBeTagless

Methods

tagless :: KindOfText txt -> AffineFold (Blocks ann) txt

CanBeTagless (Block ann)

Only a bare block is considered to be plain text, because fork and plain blocks have tags.

Defined in ProAbstract.Tagless.CanBeTagless

Methods

tagless :: KindOfText txt -> AffineFold (Block ann) txt

CanBeTagless (BlockTagContent ann)

Defined in ProAbstract.Tagless.CanBeTagless

Methods

tagless :: KindOfText txt -> AffineFold (BlockTagContent ann) txt

class CanHaveTaglessContent a where

Methods

taglessContent :: KindOfText t -> AffineFold a t

Instances

CanHaveTaglessContent (Fragment ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

taglessContent :: KindOfText t -> AffineFold (Fragment ann) t

CanHaveTaglessContent (TaggedPlainBlock ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

taglessContent :: KindOfText t -> AffineFold (TaggedPlainBlock ann) t

CanHaveTaglessContent (TaggedLines ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

taglessContent :: KindOfText t -> AffineFold (TaggedLines ann) t

CanHaveTaglessContent (Lines ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

taglessContent :: KindOfText t -> AffineFold (Lines ann) t

CanHaveTaglessContent (Line ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

taglessContent :: KindOfText t -> AffineFold (Line ann) t

CanHaveTaglessContent (Inline ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

taglessContent :: KindOfText t -> AffineFold (Inline ann) t

CanHaveTaglessContent (TaggedBlocks ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

taglessContent :: KindOfText t -> AffineFold (TaggedBlocks ann) t

CanHaveTaglessContent (Blocks ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

taglessContent :: KindOfText t -> AffineFold (Blocks ann) t

CanHaveTaglessContent (Block ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

taglessContent :: KindOfText t -> AffineFold (Block ann) t

CanHaveTaglessContent (Document ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

taglessContent :: KindOfText t -> AffineFold (Document ann) t

CanHaveTaglessContent (BlockTagContent ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

taglessContent :: KindOfText t -> AffineFold (BlockTagContent ann) t

CanHaveTaglessContent (BlockTag ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

taglessContent :: KindOfText t -> AffineFold (BlockTag ann) t

data KindOfText txt where

Constructors

TextLine :: KindOfText Text

TextStanza :: KindOfText (Seq Text)

TextParagraphs :: KindOfText (Seq (Seq Text))