ProAbstract.Annotation

Documentation

type family Annotation x

Instances

type Annotation (Fragment ann)

Defined in ProAbstract.Structure.Fragment

type Annotation (Fragment ann) = ann

type Annotation (Tag ann)

Defined in ProAbstract.Tag.TagType

type Annotation (Tag ann) = ann

type Annotation (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

type Annotation (Tagged (PlainBlock ann)) = ann

type Annotation (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

type Annotation (Tagged (Lines ann)) = ann

type Annotation (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

type Annotation (Tagged (Blocks ann)) = ann

type Annotation (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type Annotation (PlainBlock ann) = ann

type Annotation (Lines ann)

Defined in ProAbstract.Structure.Inline

type Annotation (Lines ann) = ann

type Annotation (Line ann)

Defined in ProAbstract.Structure.Inline

type Annotation (Line ann) = ann

type Annotation (Inline ann)

Defined in ProAbstract.Structure.Inline

type Annotation (Inline ann) = ann

type Annotation (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

type Annotation (Paragraph ann) = ann

type Annotation (Blocks ann)

Defined in ProAbstract.Structure.Block

type Annotation (Blocks ann) = ann

type Annotation (Block ann)

Defined in ProAbstract.Structure.Block

type Annotation (Block ann) = ann

type Annotation (Document ann)

Defined in ProAbstract.Structure.Document

type Annotation (Document ann) = ann

type Annotation (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type Annotation (BlockTag ann) = ann

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 (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

Methods

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

HasAnnotation (Tagged (Lines ann)) (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Methods

annotation :: Lens (Tagged (Lines ann)) (Tagged (Lines ann)) (Annotation (Tagged (Lines ann))) (Annotation (Tagged (Lines ann)))

HasAnnotation (Tagged (Blocks ann)) (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

annotation :: Lens (Tagged (Blocks ann)) (Tagged (Blocks ann)) (Annotation (Tagged (Blocks ann))) (Annotation (Tagged (Blocks 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 (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 (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 (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann'))

Defined in ProAbstract.Structure.PlainBlock

Methods

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

HasManyAnnotations (Tagged (Lines ann)) (Tagged (Lines ann'))

Defined in ProAbstract.Structure.Inline

Methods

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

HasManyAnnotations (Tagged (Blocks ann)) (Tagged (Blocks ann'))

Defined in ProAbstract.Structure.Block

Methods

allAnnotations :: Traversal (Tagged (Blocks ann)) (Tagged (Blocks ann')) (Annotation (Tagged (Blocks ann))) (Annotation (Tagged (Blocks 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 (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 (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 (BlockTag ann) (BlockTag ann')

Defined in ProAbstract.Structure.BlockTag

Methods

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