ProAbstract.Structure

Document

data Document ann

Constructors

Document

Fields

• documentMetadata :: Metadata

  metadata

• documentContent :: Blocks ann

  content

Instances

Eq ann => Eq (Document ann)

Defined in ProAbstract.Structure.Document

Methods

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

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

Show ann => Show (Document ann)

Defined in ProAbstract.Structure.Document

Methods

showsPrec :: Int -> Document ann -> ShowS

show :: Document ann -> String

showList :: [Document ann] -> ShowS

Generic (Document ann)

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)

Defined in ProAbstract.Structure.Document

Methods

rnf :: Document ann -> ()

Hashable ann => Hashable (Document ann)

Defined in ProAbstract.Structure.Document

Methods

hashWithSalt :: Int -> Document ann -> Int

hash :: Document ann -> Int

HasMetadata (Document ann)

Defined in ProAbstract.Structure.Document

Associated Types

type MetadataOpticKind (Document ann)

Methods

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

HasManyMetadata (Document ann)

Defined in ProAbstract.Structure.Document

Methods

allMetadata :: Traversal' (Document ann) Metadata

HasManyPlainInlines (Document ann)

Defined in ProAbstract.Structure.Document

Methods

allPlainInlines :: Traversal' (Document ann) (Fragment (Annotation (Document 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

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

HasManyBlockTags (Document ann)

Defined in ProAbstract.Structure.Document

Methods

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

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

HasManyPlainBlocks (Document ann)

Defined in ProAbstract.Structure.Document

Methods

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

HasManyParagraphs (Document ann)

Defined in ProAbstract.Structure.Document

Methods

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

CanHaveTaglessContent (Document ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

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

HasManyAnnotations (Document ann) (Document ann')

Defined in ProAbstract.Structure.Document

Methods

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

HasContent (Document ann) (Document ann')

Defined in ProAbstract.Structure.Document

Methods

content :: Lens (Document ann) (Document ann') (Content (Document ann)) (Content (Document 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 Rep (Document ann)

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)

Defined in ProAbstract.Structure.Document

type Annotation (Document ann) = ann

type Content (Document ann)

Defined in ProAbstract.Structure.Document

type Content (Document ann) = Blocks ann

type Contents (Document ann)

Defined in ProAbstract.Structure.Document

type Contents (Document ann) = Block ann

type MetadataOpticKind (Document ann)

Defined in ProAbstract.Structure.Document

type MetadataOpticKind (Document ann) = A_Lens

Blocks

data Block ann

Constructors

BlockPlain (Tagged (PlainBlock ann))

plain

BlockParagraph (Paragraph ann)

paragraph

BlockFork (Tagged (Blocks ann))

fork

Instances

Eq ann => Eq (Block ann)

Defined in ProAbstract.Structure.Block

Methods

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

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

Show ann => Show (Block ann)

Defined in ProAbstract.Structure.Block

Methods

showsPrec :: Int -> Block ann -> ShowS

show :: Block ann -> String

showList :: [Block ann] -> ShowS

Generic (Block ann)

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)

Defined in ProAbstract.Structure.Block

Methods

rnf :: Block ann -> ()

Hashable ann => Hashable (Block ann)

Defined in ProAbstract.Structure.Block

Methods

hashWithSalt :: Int -> Block ann -> Int

hash :: Block ann -> Int

HasMetadata (Block ann)

Defined in ProAbstract.Structure.Block

Associated Types

type MetadataOpticKind (Block ann)

Methods

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

HasManyMetadata (Block ann)

Defined in ProAbstract.Structure.Block

Methods

allMetadata :: Traversal' (Block ann) Metadata

CanFork (Block ann)

Defined in ProAbstract.Structure.Block

Methods

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

HasManyPlainInlines (Block ann)

Defined in ProAbstract.Structure.Block

Methods

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

CanBePlain (Block ann)

Defined in ProAbstract.Structure.Block

Methods

plain :: Prism' (Block ann) (Plain (Block 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)))

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

HasManyBlockTags (Block ann)

Defined in ProAbstract.Structure.Block

Methods

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

HasManyPlainBlocks (Block ann)

Defined in ProAbstract.Structure.Block

Methods

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

HasManyParagraphs (Block ann)

Defined in ProAbstract.Structure.Block

Methods

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

CanBeTagless (Block ann)

Only a paragraph inline 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

CanHaveTaglessContent (Block ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

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

HasAnnotation (Block ann) (Block ann)

Defined in ProAbstract.Structure.Block

Methods

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

HasManyAnnotations (Block ann) (Block ann')

Defined in ProAbstract.Structure.Block

Methods

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

type Rep (Block ann)

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)

Defined in ProAbstract.Structure.Block

type Annotation (Block ann) = ann

type MetadataOpticKind (Block ann)

Defined in ProAbstract.Structure.Block

type MetadataOpticKind (Block ann) = An_AffineTraversal

type Fork (Block ann)

Defined in ProAbstract.Structure.Block

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

type Plain (Block ann)

Defined in ProAbstract.Structure.Block

type Plain (Block ann) = Tagged (PlainBlock ann)

type TagOpticKind (Block ann)

Defined in ProAbstract.Structure.Block

type TagOpticKind (Block ann) = An_AffineTraversal

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

newtype Blocks ann

Constructors

Blocks (Seq (Block ann))

content

Instances

IsList (Blocks ann)

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

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)

Defined in ProAbstract.Structure.Block

Methods

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

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

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

Show ann => Show (Blocks ann)

Defined in ProAbstract.Structure.Block

Methods

showsPrec :: Int -> Blocks ann -> ShowS

show :: Blocks ann -> String

showList :: [Blocks ann] -> ShowS

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)

Generic (Blocks ann)

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)

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)

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

Defined in ProAbstract.Structure.Block

Methods

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

NFData ann => NFData (Blocks ann)

Defined in ProAbstract.Structure.Block

Methods

rnf :: Blocks ann -> ()

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

Defined in ProAbstract.Structure.Block

Methods

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

hash :: Tagged (Blocks ann) -> Int

Hashable ann => Hashable (Blocks ann)

Defined in ProAbstract.Structure.Block

Methods

hashWithSalt :: Int -> Blocks ann -> Int

hash :: Blocks ann -> Int

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 (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

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

HasManyMetadata (Blocks ann)

Defined in ProAbstract.Structure.Block

Methods

allMetadata :: Traversal' (Blocks ann) Metadata

HasManyPlainInlines (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

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

HasManyPlainInlines (Blocks ann)

Defined in ProAbstract.Structure.Block

Methods

allPlainInlines :: Traversal' (Blocks ann) (Fragment (Annotation (Blocks 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 (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 (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

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

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

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

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 (Blocks ann)

Defined in ProAbstract.Structure.Block

Methods

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

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

HasManyPlainBlocks (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

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

HasManyPlainBlocks (Blocks ann)

Defined in ProAbstract.Structure.Block

Methods

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

HasManyParagraphs (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

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

HasManyParagraphs (Blocks ann)

Defined in ProAbstract.Structure.Block

Methods

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

CanBeTagless (Blocks ann)

Defined in ProAbstract.Tagless.CanBeTagless

Methods

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

CanHaveTaglessContent (Tagged (Blocks ann))

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

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

CanHaveTaglessContent (Blocks ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

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

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 (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 (Blocks ann) (Blocks ann')

Defined in ProAbstract.Structure.Block

Methods

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

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

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 Rep (Blocks ann)

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)

Defined in ProAbstract.Structure.Block

type Item (Blocks ann) = Block ann

type Annotation (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

type Annotation (Tagged (Blocks ann)) = ann

type Annotation (Blocks ann)

Defined in ProAbstract.Structure.Block

type Annotation (Blocks ann) = ann

type Content (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

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

type Contents (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

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

type Contents (Blocks ann)

Defined in ProAbstract.Structure.Block

type Contents (Blocks ann) = Block ann

type MetadataOpticKind (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

type MetadataOpticKind (Tagged (Blocks ann)) = A_Lens

type TagOpticKind (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

type TagOpticKind (Tagged (Blocks ann)) = A_Lens

data Tagged (Blocks ann)

Defined in ProAbstract.Structure.Block

data Tagged (Blocks ann) = TaggedBlocks {

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

}

data BlockTag ann

Constructors

BlockTagFork (Tagged (Blocks ann))

fork

BlockTagPlain (Tagged (PlainBlock ann))

plain

Instances

HasMetadata (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Associated Types

type MetadataOpticKind (BlockTag ann)

Methods

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

HasManyMetadata (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

allMetadata :: Traversal' (BlockTag ann) Metadata

CanFork (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

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

HasManyPlainInlines (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

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

CanBePlain (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

plain :: Prism' (BlockTag ann) (Plain (BlockTag 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)))

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

HasManyPlainBlocks (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

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

HasManyParagraphs (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

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

CanHaveTaglessContent (BlockTag ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

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

HasAnnotation (BlockTag ann) (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

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

HasManyAnnotations (BlockTag ann) (BlockTag ann')

Defined in ProAbstract.Structure.BlockTag

Methods

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

type Annotation (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type Annotation (BlockTag ann) = ann

type MetadataOpticKind (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type MetadataOpticKind (BlockTag ann) = A_Lens

type Fork (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type Fork (BlockTag ann) = Tagged (Blocks ann)

type Plain (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type Plain (BlockTag ann) = Tagged (PlainBlock ann)

type TagOpticKind (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type TagOpticKind (BlockTag ann) = A_Lens

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

Paragraph

data Paragraph ann

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

Eq ann => Eq (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

Methods

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

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

Show ann => Show (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

Methods

showsPrec :: Int -> Paragraph ann -> ShowS

show :: Paragraph ann -> String

showList :: [Paragraph ann] -> ShowS

Generic (Paragraph ann)

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)

Defined in ProAbstract.Structure.Paragraph

Methods

rnf :: Paragraph ann -> ()

Hashable ann => Hashable (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

Methods

hashWithSalt :: Int -> Paragraph ann -> Int

hash :: Paragraph ann -> Int

HasManyMetadata (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

Methods

allMetadata :: Traversal' (Paragraph ann) Metadata

HasManyPlainInlines (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

Methods

allPlainInlines :: Traversal' (Paragraph ann) (Fragment (Annotation (Paragraph 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

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

CanBeTagless (Paragraph ann)

Defined in ProAbstract.Tagless.CanBeTagless

Methods

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

HasAnnotation (Paragraph ann) (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

Methods

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

HasManyAnnotations (Paragraph ann) (Paragraph ann')

Defined in ProAbstract.Structure.Paragraph

Methods

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

HasContent (Paragraph ann) (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

Methods

content :: Lens (Paragraph ann) (Paragraph ann) (Content (Paragraph ann)) (Content (Paragraph 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)))

type Rep (Paragraph ann)

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)

Defined in ProAbstract.Structure.Paragraph

type Annotation (Paragraph ann) = ann

type Content (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

type Content (Paragraph ann) = Lines ann

type Contents (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

type Contents (Paragraph ann) = Line ann

Inlines

data Inline ann

Constructors

InlineFork (Tagged (Lines ann))

fork

InlinePlain (Fragment ann)

plain

Instances

Eq ann => Eq (Inline ann)

Defined in ProAbstract.Structure.Inline

Methods

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

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

Show ann => Show (Inline ann)

Defined in ProAbstract.Structure.Inline

Methods

showsPrec :: Int -> Inline ann -> ShowS

show :: Inline ann -> String

showList :: [Inline ann] -> ShowS

Generic (Inline ann)

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)

Defined in ProAbstract.Structure.Inline

Methods

rnf :: Inline ann -> ()

Hashable ann => Hashable (Inline ann)

Defined in ProAbstract.Structure.Inline

Methods

hashWithSalt :: Int -> Inline ann -> Int

hash :: Inline ann -> Int

HasMetadata (Inline ann)

Defined in ProAbstract.Structure.Inline

Associated Types

type MetadataOpticKind (Inline ann)

Methods

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

HasManyMetadata (Inline ann)

Defined in ProAbstract.Structure.Inline

Methods

allMetadata :: Traversal' (Inline ann) Metadata

CanFork (Inline ann)

Defined in ProAbstract.Structure.Inline

Methods

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

HasManyPlainInlines (Inline ann)

Defined in ProAbstract.Structure.Inline

Methods

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

CanBePlain (Inline ann)

Defined in ProAbstract.Structure.Inline

Methods

plain :: Prism' (Inline ann) (Plain (Inline 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)))

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

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

CanHaveTaglessContent (Inline ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

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

HasAnnotation (Inline ann) (Inline ann)

Defined in ProAbstract.Structure.Inline

Methods

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

HasManyAnnotations (Inline ann) (Inline ann')

Defined in ProAbstract.Structure.Inline

Methods

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

type Rep (Inline ann)

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)

Defined in ProAbstract.Structure.Inline

type Annotation (Inline ann) = ann

type MetadataOpticKind (Inline ann)

Defined in ProAbstract.Structure.Inline

type MetadataOpticKind (Inline ann) = An_AffineTraversal

type Fork (Inline ann)

Defined in ProAbstract.Structure.Inline

type Fork (Inline ann) = Tagged (Lines ann)

type Plain (Inline ann)

Defined in ProAbstract.Structure.Inline

type Plain (Inline ann) = Fragment ann

type TagOpticKind (Inline ann)

Defined in ProAbstract.Structure.Inline

type TagOpticKind (Inline ann) = An_AffineTraversal

data Line ann

Constructors

Line

Fields

• lineInlines :: Seq (Inline ann)

  contentsSeq

• lineAnnotation :: ann

  annotation

Instances

IsList (Line ())

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)

Defined in ProAbstract.Structure.Inline

Methods

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

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

Show ann => Show (Line ann)

Defined in ProAbstract.Structure.Inline

Methods

showsPrec :: Int -> Line ann -> ShowS

show :: Line ann -> String

showList :: [Line ann] -> ShowS

Generic (Line ann)

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)

Defined in ProAbstract.Structure.Inline

Methods

rnf :: Line ann -> ()

Hashable ann => Hashable (Line ann)

Defined in ProAbstract.Structure.Inline

Methods

hashWithSalt :: Int -> Line ann -> Int

hash :: Line ann -> Int

HasManyMetadata (Line ann)

Defined in ProAbstract.Structure.Inline

Methods

allMetadata :: Traversal' (Line ann) Metadata

HasManyPlainInlines (Line ann)

Defined in ProAbstract.Structure.Inline

Methods

allPlainInlines :: Traversal' (Line ann) (Fragment (Annotation (Line 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

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

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

CanBeTagless (Line ann)

Defined in ProAbstract.Tagless.CanBeTagless

Methods

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

CanHaveTaglessContent (Line ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

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

HasAnnotation (Line ann) (Line ann)

Defined in ProAbstract.Structure.Inline

Methods

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

HasManyAnnotations (Line ann) (Line ann')

Defined in ProAbstract.Structure.Inline

Methods

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

type Rep (Line ann)

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

Defined in ProAbstract.Structure.Inline

type Item (Line ()) = Inline ()

type Annotation (Line ann)

Defined in ProAbstract.Structure.Inline

type Annotation (Line ann) = ann

type Contents (Line ann)

Defined in ProAbstract.Structure.Inline

type Contents (Line ann) = Inline ann

newtype Lines ann

Constructors

Lines (Seq (Line ann))

contentsSeq

Instances

IsList (Lines ann)

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

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)

Defined in ProAbstract.Structure.Inline

Methods

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

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

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

Defined in ProAbstract.Structure.Inline

Methods

showsPrec :: Int -> Lines ann -> ShowS

show :: Lines ann -> String

showList :: [Lines ann] -> ShowS

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

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)

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)

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

Defined in ProAbstract.Structure.Inline

Methods

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

NFData ann => NFData (Lines ann)

Defined in ProAbstract.Structure.Inline

Methods

rnf :: Lines ann -> ()

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

Defined in ProAbstract.Structure.Inline

Methods

hashWithSalt :: Int -> Lines ann -> Int

hash :: Lines ann -> Int

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

HasManyMetadata (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Methods

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

HasManyMetadata (Lines ann)

Defined in ProAbstract.Structure.Inline

Methods

allMetadata :: Traversal' (Lines ann) Metadata

HasManyPlainInlines (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Methods

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

HasManyPlainInlines (Lines ann)

Defined in ProAbstract.Structure.Inline

Methods

allPlainInlines :: Traversal' (Lines ann) (Fragment (Annotation (Lines 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))))

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

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

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

Defined in ProAbstract.Structure.Inline

Methods

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

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

CanBeTagless (Lines ann)

Defined in ProAbstract.Tagless.CanBeTagless

Methods

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

CanHaveTaglessContent (Tagged (Lines ann))

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

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

CanHaveTaglessContent (Lines ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

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

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

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

Defined in ProAbstract.Structure.Inline

Methods

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

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

Defined in ProAbstract.Structure.Inline

Methods

contents :: Lens (Lines ann) (Lines ann') (Seq (Contents (Lines ann))) (Seq (Contents (Lines 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 (Lines ann)

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)

Defined in ProAbstract.Structure.Inline

type Item (Lines ann) = Line ann

type Annotation (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

type Annotation (Tagged (Lines ann)) = ann

type Annotation (Lines ann)

Defined in ProAbstract.Structure.Inline

type Annotation (Lines ann) = ann

type Content (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

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

type Contents (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

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

type Contents (Lines ann)

Defined in ProAbstract.Structure.Inline

type Contents (Lines ann) = Line ann

type MetadataOpticKind (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

type MetadataOpticKind (Tagged (Lines ann)) = A_Lens

type TagOpticKind (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

type TagOpticKind (Tagged (Lines ann)) = A_Lens

data Tagged (Lines ann)

Defined in ProAbstract.Structure.Inline

data Tagged (Lines ann) = TaggedLines {

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

}

Tagged

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

}

Text

data PlainBlock ann

Constructors

PlainBlock

Fields

• plainBlockLines :: Seq (Fragment ann)

  contentsSeq

• plainBlockAnnotation :: ann

  annotation

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

Defined in ProAbstract.Structure.PlainBlock

Methods

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

(/=) :: PlainBlock ann -> PlainBlock 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 (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Methods

showsPrec :: Int -> PlainBlock ann -> ShowS

show :: PlainBlock ann -> String

showList :: [PlainBlock 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 (PlainBlock ann)

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

Defined in ProAbstract.Structure.PlainBlock

Methods

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

NFData ann => NFData (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Methods

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

Defined in ProAbstract.Structure.PlainBlock

Methods

hashWithSalt :: Int -> PlainBlock ann -> Int

hash :: PlainBlock 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

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

CanBeTagless (PlainBlock ann)

Defined in ProAbstract.Tagless.CanBeTagless

Methods

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

CanHaveTaglessContent (Tagged (PlainBlock ann))

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

taglessContent :: KindOfText t -> AffineFold (Tagged (PlainBlock 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 (PlainBlock ann) (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Methods

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

Defined in ProAbstract.Structure.PlainBlock

Methods

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

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

Defined in ProAbstract.Structure.PlainBlock

Methods

contents :: Lens (PlainBlock ann) (PlainBlock ann) (Seq (Contents (PlainBlock ann))) (Seq (Contents (PlainBlock 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 (PlainBlock ann)

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

Defined in ProAbstract.Structure.PlainBlock

type Annotation (Tagged (PlainBlock ann)) = ann

type Annotation (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type Annotation (PlainBlock ann) = ann

type Content (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

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

type Contents (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

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

type Contents (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type Contents (PlainBlock ann) = Fragment ann

type MetadataOpticKind (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

type MetadataOpticKind (Tagged (PlainBlock ann)) = A_Lens

type TagOpticKind (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

type TagOpticKind (Tagged (PlainBlock ann)) = A_Lens

data Tagged (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

data Tagged (PlainBlock ann) = TaggedPlainBlock {

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

}

data Fragment ann

Constructors

Fragment

Fields

• fragmentText :: Text

  content

• fragmentAnnotation :: ann

  annotation

Instances

Eq ann => Eq (Fragment ann)

Defined in ProAbstract.Structure.Fragment

Methods

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

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

Show ann => Show (Fragment ann)

Defined in ProAbstract.Structure.Fragment

Methods

showsPrec :: Int -> Fragment ann -> ShowS

show :: Fragment ann -> String

showList :: [Fragment ann] -> ShowS

Generic (Fragment ann)

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)

Defined in ProAbstract.Structure.Fragment

Methods

rnf :: Fragment ann -> ()

Hashable ann => Hashable (Fragment ann)

Defined in ProAbstract.Structure.Fragment

Methods

hashWithSalt :: Int -> Fragment ann -> Int

hash :: Fragment ann -> Int

CanBeTagless (Fragment ann)

Defined in ProAbstract.Tagless.CanBeTagless

Methods

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

CanHaveTaglessContent (Fragment ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

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

HasAnnotation (Fragment ann) (Fragment ann')

Defined in ProAbstract.Structure.Fragment

Methods

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

HasContent (Fragment ann) (Fragment ann)

Defined in ProAbstract.Structure.Fragment

Methods

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

type Rep (Fragment ann)

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)

Defined in ProAbstract.Structure.Fragment

type Annotation (Fragment ann) = ann

type Content (Fragment ann)

Defined in ProAbstract.Structure.Fragment

type Content (Fragment ann) = Text

Plain and fork

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 (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

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

type family Plain a

Instances

type Plain (Inline ann)

Defined in ProAbstract.Structure.Inline

type Plain (Inline ann) = Fragment ann

type Plain (Block ann)

Defined in ProAbstract.Structure.Block

type Plain (Block ann) = Tagged (PlainBlock ann)

type Plain (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type Plain (BlockTag ann) = Tagged (PlainBlock 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 (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

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

type family Fork a

Instances

type Fork (Inline ann)

Defined in ProAbstract.Structure.Inline

type Fork (Inline ann) = Tagged (Lines ann)

type Fork (Block ann)

Defined in ProAbstract.Structure.Block

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

type Fork (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type Fork (BlockTag ann) = Tagged (Blocks ann)

Traversals

class HasManyParagraphs x where

Methods

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

Instances

HasManyParagraphs (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

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

Defined in ProAbstract.Structure.BlockTag

Methods

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

class HasManyPlainBlocks x where

Methods

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

Instances

HasManyPlainBlocks (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

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

HasManyPlainBlocks (Blocks ann)

Defined in ProAbstract.Structure.Block

Methods

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

HasManyPlainBlocks (Block ann)

Defined in ProAbstract.Structure.Block

Methods

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

HasManyPlainBlocks (Document ann)

Defined in ProAbstract.Structure.Document

Methods

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

HasManyPlainBlocks (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

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

class HasManyPlainInlines x where

Methods

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

Instances

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

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 (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 (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

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