ProAbstract.Optics

Lenses

content :: HasContent x x' => Lens x x' (Content x) (Content x')

contents :: HasContents x x' => Lens x x' (Seq (Contents x)) (Seq (Contents x'))

tag :: HasTag x => Optic' (TagOpticKind x) NoIx x (Tag (Annotation x))

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

Annotation

annotation :: HasAnnotation x x' => Lens x x' (Annotation x) (Annotation x')

Metadata

metadata :: HasMetadata x => Optic' (MetadataOpticKind x) NoIx x Metadata

atSetting :: (HasMetadata m, JoinKinds (MetadataOpticKind m) A_Lens k) => Text -> Optic' k NoIx m (Maybe Text)

Select a setting from an item attached to metadata. Returns Nothing if no value is set.

hasProperty :: (HasMetadata m, JoinKinds (MetadataOpticKind m) A_Lens k) => Text -> Optic' k NoIx m Bool

Check if a property is attached to an item with metadata. Using this optic as a setter will add a property if set to True and remove the property when set to False.

properties :: (HasMetadata m, JoinKinds (MetadataOpticKind m) A_Lens k) => Optic' k NoIx m (Set Text)

Fetch all properties from items which contain metadata.

settings :: (HasMetadata m, JoinKinds (MetadataOpticKind m) A_Lens k) => Optic' k NoIx m (Map Text Text)

Fetch all settings defined on items which contain metadata.

Prisms

fork :: CanFork x => Prism' x (Fork x)

plain :: CanBePlain x => Prism' x (Plain x)

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

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

Traversals

allParagraphs :: HasManyParagraphs x => Traversal' x (Paragraph (Annotation x))

allPlainBlocks :: HasManyPlainBlocks x => Traversal' x (Tagged (PlainBlock (Annotation x)))

allPlainInlines :: HasManyPlainInlines x => Traversal' x (Fragment (Annotation x))

Annotation

allAnnotations :: HasManyAnnotations x x' => Traversal x x' (Annotation x) (Annotation x')

Tags

allTags :: HasManyTags x => Traversal' x (Tag (Annotation x))

allInlineTags :: HasManyTags x => Traversal' x (Tag (Annotation x))

allBlockTags :: HasManyBlockTags x => Traversal' x (Tag (Annotation x))

Metadata

allMetadata :: HasManyMetadata x => Traversal' x Metadata

Affine folds

tagless :: CanBeTagless a => KindOfText txt -> AffineFold a txt

taglessContent :: CanHaveTaglessContent a => KindOfText t -> AffineFold a t

data KindOfText txt where

Constructors

TextLine :: KindOfText Text

TextStanza :: KindOfText (Seq Text)

TextParagraphs :: KindOfText (Seq (Seq Text))