ProAbstract.Types

Documentation

type family Annotation x

Instances

type Annotation (Fragment ann)

Defined in ProAbstract.Structure.Fragment

type Annotation (Fragment ann) = ann

type Annotation (Tag ann)

Defined in ProAbstract.Tag.TagType

type Annotation (Tag ann) = ann

type Annotation (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type Annotation (TaggedPlainBlock ann) = ann

type Annotation (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type Annotation (PlainBlock ann) = ann

type Annotation (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

type Annotation (TaggedLines ann) = ann

type Annotation (Lines ann)

Defined in ProAbstract.Structure.Inline

type Annotation (Lines ann) = ann

type Annotation (Line ann)

Defined in ProAbstract.Structure.Inline

type Annotation (Line ann) = ann

type Annotation (Inline ann)

Defined in ProAbstract.Structure.Inline

type Annotation (Inline ann) = ann

type Annotation (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

type Annotation (Paragraph ann) = ann

type Annotation (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

type Annotation (TaggedBlocks ann) = ann

type Annotation (Blocks ann)

Defined in ProAbstract.Structure.Block

type Annotation (Blocks ann) = ann

type Annotation (Block ann)

Defined in ProAbstract.Structure.Block

type Annotation (Block ann) = ann

type Annotation (Document ann)

Defined in ProAbstract.Structure.Document

type Annotation (Document ann) = ann

type Annotation (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

type Annotation (BlockTagContent ann) = ann

type Annotation (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type Annotation (BlockTag ann) = ann

data Block ann

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) (TaggedPlainBlock (Annotation (Block ann)))

HasManyParagraphs (Block ann)

Defined in ProAbstract.Structure.Block

Methods

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

IsTaggedOrBare (Block ann)

Defined in ProAbstract.Structure.IsTaggedOrBare

Associated Types

type TaggedType (Block ann)

type BareType (Block ann)

Methods

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

CanBeTagless (Block ann)

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

Defined in ProAbstract.Tagless.CanBeTagless

Methods

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

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.3.0.0-CFjEApBZPUR1EoNCheWNFg" 'False) (C1 ('MetaCons "BlockPlain" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TaggedPlainBlock 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 (TaggedBlocks 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) = TaggedBlocks ann

type Plain (Block ann)

Defined in ProAbstract.Structure.Block

type Plain (Block ann) = TaggedPlainBlock ann

type TagOpticKind (Block ann)

Defined in ProAbstract.Structure.Block

type TagOpticKind (Block ann) = An_AffineTraversal

type TaggedType (Block ann)

Defined in ProAbstract.Structure.IsTaggedOrBare

type TaggedType (Block ann) = BlockTag ann

type BareType (Block ann)

Defined in ProAbstract.Structure.IsTaggedOrBare

type BareType (Block ann) = Paragraph ann

data Blocks ann

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

Defined in ProAbstract.Structure.Block

Methods

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

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

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

Defined in ProAbstract.Structure.Block

Methods

rnf :: Blocks ann -> ()

Hashable ann => Hashable (Blocks ann)

Defined in ProAbstract.Structure.Block

Methods

hashWithSalt :: Int -> Blocks ann -> Int

hash :: Blocks ann -> Int

HasManyMetadata (Blocks ann)

Defined in ProAbstract.Structure.Block

Methods

allMetadata :: Traversal' (Blocks ann) Metadata

HasManyPlainInlines (Blocks ann)

Defined in ProAbstract.Structure.Block

Methods

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

Defined in ProAbstract.Structure.Block

Methods

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

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

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

HasManyAnnotations (Blocks ann) (Blocks ann')

Defined in ProAbstract.Structure.Block

Methods

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

Defined in ProAbstract.Structure.Block

type Rep (Blocks ann) = D1 ('MetaData "Blocks" "ProAbstract.Structure.Block" "pro-abstract-0.3.0.0-CFjEApBZPUR1EoNCheWNFg" '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 (Blocks ann)

Defined in ProAbstract.Structure.Block

type Annotation (Blocks ann) = ann

type Contents (Blocks ann)

Defined in ProAbstract.Structure.Block

type Contents (Blocks ann) = Block ann

data BlockTag ann

Instances

Eq ann => Eq (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

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

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

Show ann => Show (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

showsPrec :: Int -> BlockTag ann -> ShowS

show :: BlockTag ann -> String

showList :: [BlockTag ann] -> ShowS

Generic (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Associated Types

type Rep (BlockTag ann) :: Type -> Type

Methods

from :: BlockTag ann -> Rep (BlockTag ann) x

to :: Rep (BlockTag ann) x -> BlockTag ann

NFData ann => NFData (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

rnf :: BlockTag ann -> ()

Hashable ann => Hashable (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

hashWithSalt :: Int -> BlockTag ann -> Int

hash :: BlockTag ann -> Int

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

HasContent (BlockTag ann) (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

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

type Rep (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type Rep (BlockTag ann) = D1 ('MetaData "BlockTag" "ProAbstract.Structure.BlockTag" "pro-abstract-0.3.0.0-CFjEApBZPUR1EoNCheWNFg" 'False) (C1 ('MetaCons "BlockTagFork" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TaggedBlocks ann))) :+: C1 ('MetaCons "BlockTagPlain" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TaggedPlainBlock ann))))

type Annotation (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type Annotation (BlockTag ann) = ann

type Content (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type Content (BlockTag ann) = BlockTagContent 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) = TaggedBlocks ann

type Plain (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type Plain (BlockTag ann) = TaggedPlainBlock ann

type TagOpticKind (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type TagOpticKind (BlockTag ann) = A_Lens

data BlockTagContent ann

Instances

Eq ann => Eq (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

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

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

Show ann => Show (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

showsPrec :: Int -> BlockTagContent ann -> ShowS

show :: BlockTagContent ann -> String

showList :: [BlockTagContent ann] -> ShowS

Generic (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Associated Types

type Rep (BlockTagContent ann) :: Type -> Type

Methods

from :: BlockTagContent ann -> Rep (BlockTagContent ann) x

to :: Rep (BlockTagContent ann) x -> BlockTagContent ann

NFData ann => NFData (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

rnf :: BlockTagContent ann -> ()

Hashable ann => Hashable (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

hashWithSalt :: Int -> BlockTagContent ann -> Int

hash :: BlockTagContent ann -> Int

HasManyMetadata (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

allMetadata :: Traversal' (BlockTagContent ann) Metadata

CanFork (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

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

HasManyPlainInlines (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

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

CanBePlain (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

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

HasWitherableInlineTags (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

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

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

HasWitherableBlockTags (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

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

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

HasManyBlockTags (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

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

HasWitherableTags (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

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

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

HasManyTags (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

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

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

HasManyPlainBlocks (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

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

HasManyParagraphs (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

Methods

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

CanBeTagless (BlockTagContent ann)

Defined in ProAbstract.Tagless.CanBeTagless

Methods

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

CanHaveTaglessContent (BlockTagContent ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

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

HasManyAnnotations (BlockTagContent ann) (BlockTagContent ann')

Defined in ProAbstract.Structure.BlockTagContent

Methods

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

type Rep (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

type Rep (BlockTagContent ann) = D1 ('MetaData "BlockTagContent" "ProAbstract.Structure.BlockTagContent" "pro-abstract-0.3.0.0-CFjEApBZPUR1EoNCheWNFg" 'False) (C1 ('MetaCons "BlockTagContent_Fork" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Blocks ann))) :+: C1 ('MetaCons "BlockTagContent_Plain" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PlainBlock ann))))

type Annotation (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

type Annotation (BlockTagContent ann) = ann

type Fork (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

type Fork (BlockTagContent ann) = Blocks ann

type Plain (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

type Plain (BlockTagContent ann) = PlainBlock ann

type family Content a

Instances

type Content (Fragment ann)

Defined in ProAbstract.Structure.Fragment

type Content (Fragment ann) = Text

type Content (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type Content (TaggedPlainBlock ann) = PlainBlock ann

type Content (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

type Content (TaggedLines ann) = Lines ann

type Content (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

type Content (Paragraph ann) = Lines ann

type Content (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

type Content (TaggedBlocks ann) = Blocks ann

type Content (Document ann)

Defined in ProAbstract.Structure.Document

type Content (Document ann) = Blocks ann

type Content (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type Content (BlockTag ann) = BlockTagContent ann

type family Contents a

Instances

type Contents (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type Contents (TaggedPlainBlock ann) = Fragment ann

type Contents (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type Contents (PlainBlock ann) = Fragment ann

type Contents (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

type Contents (TaggedLines ann) = Line ann

type Contents (Lines ann)

Defined in ProAbstract.Structure.Inline

type Contents (Lines ann) = Line ann

type Contents (Line ann)

Defined in ProAbstract.Structure.Inline

type Contents (Line ann) = Inline ann

type Contents (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

type Contents (Paragraph ann) = Line ann

type Contents (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

type Contents (TaggedBlocks ann) = Block ann

type Contents (Blocks ann)

Defined in ProAbstract.Structure.Block

type Contents (Blocks ann) = Block ann

type Contents (Document ann)

Defined in ProAbstract.Structure.Document

type Contents (Document ann) = Block ann

data Document ann

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) (TaggedPlainBlock (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.3.0.0-CFjEApBZPUR1EoNCheWNFg" '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

type family Fork a

Instances

type Fork (Inline ann)

Defined in ProAbstract.Structure.Inline

type Fork (Inline ann) = TaggedLines ann

type Fork (Block ann)

Defined in ProAbstract.Structure.Block

type Fork (Block ann) = TaggedBlocks ann

type Fork (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

type Fork (BlockTagContent ann) = Blocks ann

type Fork (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type Fork (BlockTag ann) = TaggedBlocks ann

data Fragment ann

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.3.0.0-CFjEApBZPUR1EoNCheWNFg" '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

data Inline ann

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

IsTaggedOrBare (Inline ann)

Defined in ProAbstract.Structure.IsTaggedOrBare

Associated Types

type TaggedType (Inline ann)

type BareType (Inline ann)

Methods

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

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.3.0.0-CFjEApBZPUR1EoNCheWNFg" 'False) (C1 ('MetaCons "InlineFork" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TaggedLines 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) = TaggedLines 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

type TaggedType (Inline ann)

Defined in ProAbstract.Structure.IsTaggedOrBare

type TaggedType (Inline ann) = TaggedLines ann

type BareType (Inline ann)

Defined in ProAbstract.Structure.IsTaggedOrBare

type BareType (Inline ann) = Fragment ann

data Line ann

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.3.0.0-CFjEApBZPUR1EoNCheWNFg" '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

data Lines ann

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

Defined in ProAbstract.Structure.Inline

Methods

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

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

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

Defined in ProAbstract.Structure.Inline

Methods

rnf :: Lines ann -> ()

Hashable ann => Hashable (Lines ann)

Defined in ProAbstract.Structure.Inline

Methods

hashWithSalt :: Int -> Lines ann -> Int

hash :: Lines ann -> Int

HasManyMetadata (Lines ann)

Defined in ProAbstract.Structure.Inline

Methods

allMetadata :: Traversal' (Lines ann) Metadata

HasManyPlainInlines (Lines ann)

Defined in ProAbstract.Structure.Inline

Methods

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

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

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

HasManyAnnotations (Lines ann) (Lines ann')

Defined in ProAbstract.Structure.Inline

Methods

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

Defined in ProAbstract.Structure.Inline

type Rep (Lines ann) = D1 ('MetaData "Lines" "ProAbstract.Structure.Inline" "pro-abstract-0.3.0.0-CFjEApBZPUR1EoNCheWNFg" '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 (Lines ann)

Defined in ProAbstract.Structure.Inline

type Annotation (Lines ann) = ann

type Contents (Lines ann)

Defined in ProAbstract.Structure.Inline

type Contents (Lines ann) = Line ann

data MetaItem

Instances

Eq MetaItem

Defined in ProAbstract.Metadata.MetaItem

Methods

(==) :: MetaItem -> MetaItem -> Bool

(/=) :: MetaItem -> MetaItem -> Bool

Ord MetaItem

Defined in ProAbstract.Metadata.MetaItem

Methods

compare :: MetaItem -> MetaItem -> Ordering

(<) :: MetaItem -> MetaItem -> Bool

(<=) :: MetaItem -> MetaItem -> Bool

(>) :: MetaItem -> MetaItem -> Bool

(>=) :: MetaItem -> MetaItem -> Bool

max :: MetaItem -> MetaItem -> MetaItem

min :: MetaItem -> MetaItem -> MetaItem

Show MetaItem

Defined in ProAbstract.Metadata.MetaItem

Methods

showsPrec :: Int -> MetaItem -> ShowS

show :: MetaItem -> String

showList :: [MetaItem] -> ShowS

Generic MetaItem

Defined in ProAbstract.Metadata.MetaItem

Associated Types

type Rep MetaItem :: Type -> Type

Methods

from :: MetaItem -> Rep MetaItem x

to :: Rep MetaItem x -> MetaItem

NFData MetaItem

Defined in ProAbstract.Metadata.MetaItem

Methods

rnf :: MetaItem -> ()

Hashable MetaItem

Defined in ProAbstract.Metadata.MetaItem

Methods

hashWithSalt :: Int -> MetaItem -> Int

hash :: MetaItem -> Int

type Rep MetaItem

Defined in ProAbstract.Metadata.MetaItem

type Rep MetaItem = D1 ('MetaData "MetaItem" "ProAbstract.Metadata.MetaItem" "pro-abstract-0.3.0.0-CFjEApBZPUR1EoNCheWNFg" 'False) (C1 ('MetaCons "Property" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "Setting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data MetaValue

Instances

Eq MetaValue

Defined in ProAbstract.Metadata.MetaValue

Methods

(==) :: MetaValue -> MetaValue -> Bool

(/=) :: MetaValue -> MetaValue -> Bool

Ord MetaValue

Defined in ProAbstract.Metadata.MetaValue

Methods

compare :: MetaValue -> MetaValue -> Ordering

(<) :: MetaValue -> MetaValue -> Bool

(<=) :: MetaValue -> MetaValue -> Bool

(>) :: MetaValue -> MetaValue -> Bool

(>=) :: MetaValue -> MetaValue -> Bool

max :: MetaValue -> MetaValue -> MetaValue

min :: MetaValue -> MetaValue -> MetaValue

Show MetaValue

Defined in ProAbstract.Metadata.MetaValue

Methods

showsPrec :: Int -> MetaValue -> ShowS

show :: MetaValue -> String

showList :: [MetaValue] -> ShowS

Generic MetaValue

Defined in ProAbstract.Metadata.MetaValue

Associated Types

type Rep MetaValue :: Type -> Type

Methods

from :: MetaValue -> Rep MetaValue x

to :: Rep MetaValue x -> MetaValue

Semigroup MetaValue

Defined in ProAbstract.Metadata.MetaValue

Methods

(<>) :: MetaValue -> MetaValue -> MetaValue

sconcat :: NonEmpty MetaValue -> MetaValue

stimes :: Integral b => b -> MetaValue -> MetaValue

NFData MetaValue

Defined in ProAbstract.Metadata.MetaValue

Methods

rnf :: MetaValue -> ()

Hashable MetaValue

Defined in ProAbstract.Metadata.MetaValue

Methods

hashWithSalt :: Int -> MetaValue -> Int

hash :: MetaValue -> Int

type Rep MetaValue

Defined in ProAbstract.Metadata.MetaValue

type Rep MetaValue = D1 ('MetaData "MetaValue" "ProAbstract.Metadata.MetaValue" "pro-abstract-0.3.0.0-CFjEApBZPUR1EoNCheWNFg" 'False) (C1 ('MetaCons "MetaValue_Property" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MetaValue_Setting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "MetaValue_PropertyAndSetting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

data Metadata

A set of properties and settings, associated with a document or tag.

The namespaces of properties and settings are distinct; a property can share a name with a setting without conflict.

Instances

Eq Metadata

Defined in ProAbstract.Metadata.MetadataType

Methods

(==) :: Metadata -> Metadata -> Bool

(/=) :: Metadata -> Metadata -> Bool

Show Metadata

Defined in ProAbstract.Metadata.MetadataType

Methods

showsPrec :: Int -> Metadata -> ShowS

show :: Metadata -> String

showList :: [Metadata] -> ShowS

Generic Metadata

Defined in ProAbstract.Metadata.MetadataType

Associated Types

type Rep Metadata :: Type -> Type

Methods

from :: Metadata -> Rep Metadata x

to :: Rep Metadata x -> Metadata

Semigroup Metadata

Defined in ProAbstract.Metadata.MetadataType

Methods

(<>) :: Metadata -> Metadata -> Metadata

sconcat :: NonEmpty Metadata -> Metadata

stimes :: Integral b => b -> Metadata -> Metadata

Monoid Metadata

Defined in ProAbstract.Metadata.MetadataType

Methods

mempty :: Metadata

mappend :: Metadata -> Metadata -> Metadata

mconcat :: [Metadata] -> Metadata

NFData Metadata

Defined in ProAbstract.Metadata.MetadataType

Methods

rnf :: Metadata -> ()

Hashable Metadata

Defined in ProAbstract.Metadata.MetadataType

Methods

hashWithSalt :: Int -> Metadata -> Int

hash :: Metadata -> Int

HasMetadata Metadata

Defined in ProAbstract.Metadata.HasMetadata

Associated Types

type MetadataOpticKind Metadata

Methods

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

type Rep Metadata

Defined in ProAbstract.Metadata.MetadataType

type Rep Metadata = D1 ('MetaData "Metadata" "ProAbstract.Metadata.MetadataType" "pro-abstract-0.3.0.0-CFjEApBZPUR1EoNCheWNFg" 'False) (C1 ('MetaCons "Metadata" 'PrefixI 'True) (S1 ('MetaSel ('Just "metadataProperties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Text)) :*: S1 ('MetaSel ('Just "metadataSettings") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Text Text))))

type MetadataOpticKind Metadata

Defined in ProAbstract.Metadata.HasMetadata

type MetadataOpticKind Metadata = An_Iso

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.

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.3.0.0-CFjEApBZPUR1EoNCheWNFg" '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

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) = TaggedPlainBlock ann

type Plain (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

type Plain (BlockTagContent ann) = PlainBlock ann

type Plain (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type Plain (BlockTag ann) = TaggedPlainBlock ann

data PlainBlock ann

Instances

Eq ann => Eq (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Methods

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

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

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

Defined in ProAbstract.Structure.PlainBlock

Methods

rnf :: PlainBlock ann -> ()

Hashable ann => Hashable (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Methods

hashWithSalt :: Int -> PlainBlock ann -> Int

hash :: PlainBlock ann -> Int

CanBeTagless (PlainBlock ann)

Defined in ProAbstract.Tagless.CanBeTagless

Methods

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

HasAnnotation (PlainBlock ann) (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Methods

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

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

Defined in ProAbstract.Structure.PlainBlock

type Rep (PlainBlock ann) = D1 ('MetaData "PlainBlock" "ProAbstract.Structure.PlainBlock" "pro-abstract-0.3.0.0-CFjEApBZPUR1EoNCheWNFg" '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 (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type Annotation (PlainBlock ann) = ann

type Contents (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type Contents (PlainBlock ann) = Fragment ann

data Tag ann

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.3.0.0-CFjEApBZPUR1EoNCheWNFg" '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

data TaggedBlocks ann

Instances

Eq ann => Eq (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

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

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

Show ann => Show (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

showsPrec :: Int -> TaggedBlocks ann -> ShowS

show :: TaggedBlocks ann -> String

showList :: [TaggedBlocks ann] -> ShowS

Generic (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Associated Types

type Rep (TaggedBlocks ann) :: Type -> Type

Methods

from :: TaggedBlocks ann -> Rep (TaggedBlocks ann) x

to :: Rep (TaggedBlocks ann) x -> TaggedBlocks ann

NFData ann => NFData (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

rnf :: TaggedBlocks ann -> ()

Hashable ann => Hashable (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

hashWithSalt :: Int -> TaggedBlocks ann -> Int

hash :: TaggedBlocks ann -> Int

HasMetadata (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Associated Types

type MetadataOpticKind (TaggedBlocks ann)

Methods

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

HasManyMetadata (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

allMetadata :: Traversal' (TaggedBlocks ann) Metadata

HasManyPlainInlines (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

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

HasTag (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Associated Types

type TagOpticKind (TaggedBlocks ann)

Methods

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

HasWitherableInlineTags (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

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

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

HasManyBlockTags (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

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

HasManyTags (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

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

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

HasManyPlainBlocks (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

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

HasManyParagraphs (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

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

CanHaveTaglessContent (TaggedBlocks ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

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

HasAnnotation (TaggedBlocks ann) (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

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

HasManyAnnotations (TaggedBlocks ann) (TaggedBlocks ann')

Defined in ProAbstract.Structure.Block

Methods

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

HasContent (TaggedBlocks ann) (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

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

HasContents (TaggedBlocks ann) (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

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

type Rep (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

type Rep (TaggedBlocks ann) = D1 ('MetaData "TaggedBlocks" "ProAbstract.Structure.Block" "pro-abstract-0.3.0.0-CFjEApBZPUR1EoNCheWNFg" '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 (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

type Annotation (TaggedBlocks ann) = ann

type Content (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

type Content (TaggedBlocks ann) = Blocks ann

type Contents (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

type Contents (TaggedBlocks ann) = Block ann

type MetadataOpticKind (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

type MetadataOpticKind (TaggedBlocks ann) = A_Lens

type TagOpticKind (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

type TagOpticKind (TaggedBlocks ann) = A_Lens

data TaggedLines ann

Instances

Eq ann => Eq (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Methods

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

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

Show ann => Show (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Methods

showsPrec :: Int -> TaggedLines ann -> ShowS

show :: TaggedLines ann -> String

showList :: [TaggedLines ann] -> ShowS

Generic (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Associated Types

type Rep (TaggedLines ann) :: Type -> Type

Methods

from :: TaggedLines ann -> Rep (TaggedLines ann) x

to :: Rep (TaggedLines ann) x -> TaggedLines ann

NFData ann => NFData (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Methods

rnf :: TaggedLines ann -> ()

Hashable ann => Hashable (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Methods

hashWithSalt :: Int -> TaggedLines ann -> Int

hash :: TaggedLines ann -> Int

HasMetadata (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Associated Types

type MetadataOpticKind (TaggedLines ann)

Methods

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

HasManyMetadata (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Methods

allMetadata :: Traversal' (TaggedLines ann) Metadata

HasManyPlainInlines (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Methods

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

HasTag (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Associated Types

type TagOpticKind (TaggedLines ann)

Methods

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

HasWitherableInlineTags (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Methods

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

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

HasManyTags (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Methods

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

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

CanHaveTaglessContent (TaggedLines ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

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

HasAnnotation (TaggedLines ann) (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Methods

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

HasManyAnnotations (TaggedLines ann) (TaggedLines ann')

Defined in ProAbstract.Structure.Inline

Methods

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

HasContent (TaggedLines ann) (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Methods

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

HasContents (TaggedLines ann) (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Methods

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

type Rep (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

type Rep (TaggedLines ann) = D1 ('MetaData "TaggedLines" "ProAbstract.Structure.Inline" "pro-abstract-0.3.0.0-CFjEApBZPUR1EoNCheWNFg" '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 Annotation (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

type Annotation (TaggedLines ann) = ann

type Content (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

type Content (TaggedLines ann) = Lines ann

type Contents (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

type Contents (TaggedLines ann) = Line ann

type MetadataOpticKind (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

type MetadataOpticKind (TaggedLines ann) = A_Lens

type TagOpticKind (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

type TagOpticKind (TaggedLines ann) = A_Lens

data TaggedPlainBlock ann

Instances

Eq ann => Eq (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Methods

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

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

Show ann => Show (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Methods

showsPrec :: Int -> TaggedPlainBlock ann -> ShowS

show :: TaggedPlainBlock ann -> String

showList :: [TaggedPlainBlock ann] -> ShowS

Generic (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Associated Types

type Rep (TaggedPlainBlock ann) :: Type -> Type

Methods

from :: TaggedPlainBlock ann -> Rep (TaggedPlainBlock ann) x

to :: Rep (TaggedPlainBlock ann) x -> TaggedPlainBlock ann

NFData ann => NFData (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Methods

rnf :: TaggedPlainBlock ann -> ()

Hashable ann => Hashable (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Methods

hashWithSalt :: Int -> TaggedPlainBlock ann -> Int

hash :: TaggedPlainBlock ann -> Int

HasMetadata (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Associated Types

type MetadataOpticKind (TaggedPlainBlock ann)

Methods

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

HasTag (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Associated Types

type TagOpticKind (TaggedPlainBlock ann)

Methods

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

CanHaveTaglessContent (TaggedPlainBlock ann)

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

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

HasAnnotation (TaggedPlainBlock ann) (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Methods

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

HasManyAnnotations (TaggedPlainBlock ann) (TaggedPlainBlock ann')

Defined in ProAbstract.Structure.PlainBlock

Methods

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

HasContent (TaggedPlainBlock ann) (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Methods

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

HasContents (TaggedPlainBlock ann) (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Methods

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

type Rep (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type Rep (TaggedPlainBlock ann) = D1 ('MetaData "TaggedPlainBlock" "ProAbstract.Structure.PlainBlock" "pro-abstract-0.3.0.0-CFjEApBZPUR1EoNCheWNFg" '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 Annotation (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type Annotation (TaggedPlainBlock ann) = ann

type Content (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type Content (TaggedPlainBlock ann) = PlainBlock ann

type Contents (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type Contents (TaggedPlainBlock ann) = Fragment ann

type MetadataOpticKind (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type MetadataOpticKind (TaggedPlainBlock ann) = A_Lens

type TagOpticKind (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type TagOpticKind (TaggedPlainBlock ann) = A_Lens

data TaggedOrBare a

Instances

IsTaggedOrBare (TaggedOrBare a)

Defined in ProAbstract.Structure.IsTaggedOrBare

Associated Types

type TaggedType (TaggedOrBare a)

type BareType (TaggedOrBare a)

Methods

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

type TaggedType (TaggedOrBare a)

Defined in ProAbstract.Structure.IsTaggedOrBare

type TaggedType (TaggedOrBare a) = TaggedType a

type BareType (TaggedOrBare a)

Defined in ProAbstract.Structure.IsTaggedOrBare

type BareType (TaggedOrBare a) = BareType a