ProAbstract.Tag

Documentation

data Tag ann

Constructors

Tag

Fields

• tagName :: Text

  name

• tagMetadata :: Metadata

  metadata

• tagAnnotation :: ann

  annotation

Instances

Eq ann => Eq (Tag ann)

Defined in ProAbstract.Tag.TagType

Methods

(==) :: Tag ann -> Tag ann -> Bool

(/=) :: Tag ann -> Tag ann -> Bool

Show ann => Show (Tag ann)

Defined in ProAbstract.Tag.TagType

Methods

showsPrec :: Int -> Tag ann -> ShowS

show :: Tag ann -> String

showList :: [Tag ann] -> ShowS

Generic (Tag ann)

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)

Defined in ProAbstract.Tag.TagType

Methods

rnf :: Tag ann -> ()

Hashable ann => Hashable (Tag ann)

Defined in ProAbstract.Tag.TagType

Methods

hashWithSalt :: Int -> Tag ann -> Int

hash :: Tag ann -> Int

HasMetadata (Tag ann)

Defined in ProAbstract.Tag.TagType

Associated Types

type MetadataOpticKind (Tag ann)

Methods

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

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)))

HasAnnotation (Tag ann) (Tag ann')

Defined in ProAbstract.Tag.TagType

Methods

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

type Rep (Tag ann)

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)

Defined in ProAbstract.Tag.TagType

type Annotation (Tag ann) = ann

type MetadataOpticKind (Tag ann)

Defined in ProAbstract.Tag.TagType

type MetadataOpticKind (Tag ann) = A_Lens

type TagOpticKind (Tag ann)

Defined in ProAbstract.Tag.HasTag

type TagOpticKind (Tag ann) = A_Lens

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

data family Tagged con

Instances

Eq ann => Eq (Tagged (PlainBlock ann))

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))

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))

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))

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))

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))

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))

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))

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))

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))

Defined in ProAbstract.Structure.PlainBlock

Methods

rnf :: Tagged (PlainBlock ann) -> ()

NFData ann => NFData (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Methods

rnf :: Tagged (Lines ann) -> ()

NFData ann => NFData (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

rnf :: Tagged (Blocks ann) -> ()

Hashable ann => Hashable (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

Methods

hashWithSalt :: Int -> Tagged (PlainBlock ann) -> Int

hash :: Tagged (PlainBlock ann) -> Int

Hashable ann => Hashable (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Methods

hashWithSalt :: Int -> Tagged (Lines ann) -> Int

hash :: Tagged (Lines ann) -> Int

Hashable ann => Hashable (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

hashWithSalt :: Int -> Tagged (Blocks ann) -> Int

hash :: Tagged (Blocks ann) -> Int

HasMetadata (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

Associated Types

type MetadataOpticKind (Tagged (PlainBlock ann))

Methods

metadata :: Optic' (MetadataOpticKind (Tagged (PlainBlock ann))) NoIx (Tagged (PlainBlock ann)) Metadata

HasMetadata (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Associated Types

type MetadataOpticKind (Tagged (Lines ann))

Methods

metadata :: Optic' (MetadataOpticKind (Tagged (Lines ann))) NoIx (Tagged (Lines ann)) Metadata

HasMetadata (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Associated Types

type MetadataOpticKind (Tagged (Blocks ann))

Methods

metadata :: Optic' (MetadataOpticKind (Tagged (Blocks ann))) NoIx (Tagged (Blocks ann)) Metadata

HasManyMetadata (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Methods

allMetadata :: Traversal' (Tagged (Lines ann)) Metadata

HasManyMetadata (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

allMetadata :: Traversal' (Tagged (Blocks ann)) Metadata

HasManyPlainInlines (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Methods

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

HasManyPlainInlines (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

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

HasTag (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

Associated Types

type TagOpticKind (Tagged (PlainBlock ann))

Methods

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

HasTag (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Associated Types

type TagOpticKind (Tagged (Lines ann))

Methods

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

HasTag (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Associated Types

type TagOpticKind (Tagged (Blocks ann))

Methods

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

HasWitherableInlineTags (Tagged (Lines ann))

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))

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

HasWitherableInlineTags (Tagged (Blocks ann))

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))

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

HasManyBlockTags (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

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

HasManyTags (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Methods

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

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

HasManyTags (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

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

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

HasManyPlainBlocks (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

allPlainBlocks :: Traversal' (Tagged (Blocks ann)) (Tagged (PlainBlock (Annotation (Tagged (Blocks ann)))))

HasManyParagraphs (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

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

CanHaveTaglessContent (Tagged (PlainBlock ann))

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

taglessContent :: KindOfText t -> AffineFold (Tagged (PlainBlock ann)) t

CanHaveTaglessContent (Tagged (Lines ann))

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

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

CanHaveTaglessContent (Tagged (Blocks ann))

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

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

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)))

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')))

HasContent (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

Methods

content :: Lens (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) (Content (Tagged (PlainBlock ann))) (Content (Tagged (PlainBlock ann)))

HasContent (Tagged (Lines ann)) (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Methods

content :: Lens (Tagged (Lines ann)) (Tagged (Lines ann)) (Content (Tagged (Lines ann))) (Content (Tagged (Lines ann)))

HasContent (Tagged (Blocks ann)) (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

content :: Lens (Tagged (Blocks ann)) (Tagged (Blocks ann)) (Content (Tagged (Blocks ann))) (Content (Tagged (Blocks ann)))

HasContents (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

Methods

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

HasContents (Tagged (Lines ann)) (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Methods

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

HasContents (Tagged (Blocks ann)) (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

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

type Rep (Tagged (PlainBlock ann))

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))

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))

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))

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

Defined in ProAbstract.Structure.PlainBlock

type Content (Tagged (PlainBlock ann)) = PlainBlock ann

type Content (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

type Content (Tagged (Lines ann)) = Lines ann

type Content (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

type Content (Tagged (Blocks ann)) = Blocks ann

type Contents (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

type Contents (Tagged (PlainBlock ann)) = Fragment ann

type Contents (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

type Contents (Tagged (Lines ann)) = Line ann

type Contents (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

type Contents (Tagged (Blocks ann)) = Block ann

type MetadataOpticKind (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

type MetadataOpticKind (Tagged (PlainBlock ann)) = A_Lens

type MetadataOpticKind (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

type MetadataOpticKind (Tagged (Lines ann)) = A_Lens

type MetadataOpticKind (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

type MetadataOpticKind (Tagged (Blocks ann)) = A_Lens

type TagOpticKind (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

type TagOpticKind (Tagged (PlainBlock ann)) = A_Lens

type TagOpticKind (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

type TagOpticKind (Tagged (Lines ann)) = A_Lens

type TagOpticKind (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

type TagOpticKind (Tagged (Blocks ann)) = A_Lens

data Tagged (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

data Tagged (PlainBlock ann) = TaggedPlainBlock {

• plaintextTag :: Tag ann
• taggedPlaintext :: PlainBlock ann

}

data Tagged (Lines ann)

Defined in ProAbstract.Structure.Inline

data Tagged (Lines ann) = TaggedLines {

• linesTag :: Tag ann
• taggedLines :: Lines ann

}

data Tagged (Blocks ann)

Defined in ProAbstract.Structure.Block

data Tagged (Blocks ann) = TaggedBlocks {

• blocksTag :: Tag ann
• taggedBlocks :: Blocks ann

}

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

Defined in ProAbstract.Structure.PlainBlock

Associated Types

type TagOpticKind (Tagged (PlainBlock ann))

Methods

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

HasTag (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Associated Types

type TagOpticKind (Tagged (Lines ann))

Methods

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

HasTag (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Associated Types

type TagOpticKind (Tagged (Blocks ann))

Methods

tag :: Optic' (TagOpticKind (Tagged (Blocks ann))) NoIx (Tagged (Blocks ann)) (Tag (Annotation (Tagged (Blocks 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 (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)))

class HasManyTags x where

Methods

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

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

Instances

HasManyTags (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Methods

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

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

HasManyTags (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

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

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

class HasManyTags x => HasManyBlockTags x where

Methods

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

Instances

HasManyBlockTags (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

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

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

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

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))

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

HasWitherableInlineTags (Tagged (Blocks ann))

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))

mapMaybeInlineTags :: (Tag (Annotation (Tagged (Blocks ann))) -> Maybe (Tag (Annotation (Tagged (Blocks ann))))) -> Tagged (Blocks ann) -> Tagged (Blocks 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 (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