ProAbstract.Content

Documentation

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

class HasContent x x' where

Methods

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

Instances

HasContent (Fragment ann) (Fragment ann)

Defined in ProAbstract.Structure.Fragment

Methods

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

HasContent (TaggedPlainBlock ann) (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Methods

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

HasContent (TaggedLines ann) (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Methods

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

HasContent (Paragraph ann) (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

Methods

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

HasContent (TaggedBlocks ann) (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

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

HasContent (Document ann) (Document ann')

Defined in ProAbstract.Structure.Document

Methods

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

HasContent (BlockTag ann) (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

Methods

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

type HasContent' x = HasContent x x

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

class HasContents x x' where

Methods

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

Instances

HasContents (TaggedPlainBlock ann) (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Methods

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

HasContents (PlainBlock ann) (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

Methods

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

HasContents (TaggedLines ann) (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

Methods

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

HasContents (Lines ann) (Lines ann')

Defined in ProAbstract.Structure.Inline

Methods

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

HasContents (Line ann) (Line ann)

Defined in ProAbstract.Structure.Inline

Methods

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

HasContents (Paragraph ann) (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

Methods

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

HasContents (TaggedBlocks ann) (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

Methods

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

HasContents (Blocks ann) (Blocks ann')

Defined in ProAbstract.Structure.Block

Methods

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

HasContents (Document ann) (Document ann')

Defined in ProAbstract.Structure.Document

Methods

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

type HasContents' x = HasContents x x