ProAbstract.Content

Documentation

type family Content a

Instances

type Content (Fragment ann)

Defined in ProAbstract.Structure.Fragment

type Content (Fragment ann) = Text

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

Defined in ProAbstract.Structure.Paragraph

type Content (Paragraph ann) = Lines ann

type Content (Document ann)

Defined in ProAbstract.Structure.Document

type Content (Document ann) = Blocks 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 (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)))

HasContent (Paragraph ann) (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

Methods

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

HasContent (Document ann) (Document ann')

Defined in ProAbstract.Structure.Document

Methods

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

type HasContent' x = HasContent x x

type family Contents a

Instances

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

Defined in ProAbstract.Structure.PlainBlock

type Contents (PlainBlock ann) = Fragment 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 (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 (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))))

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