Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Instances
type TagOpticKind x :: OpticKind Source #
tag :: Optic' (TagOpticKind x) NoIx x (Tag (Annotation x)) Source #
Instances
class HasManyTags x where Source #
allTags :: Traversal' x (Tag (Annotation x)) Source #
allInlineTags :: Traversal' x (Tag (Annotation x)) Source #
Instances
class HasWitherableTags x where Source #
witherTags :: Monad f => (Tag (Annotation x) -> f (Maybe (Tag (Annotation x)))) -> x -> f x Source #
mapMaybeTags :: (Tag (Annotation x) -> Maybe (Tag (Annotation x))) -> x -> x Source #
Instances
class HasManyTags x => HasManyBlockTags x where Source #
allBlockTags :: Traversal' x (Tag (Annotation x)) Source #
Instances
HasManyBlockTags (TaggedBlocks ann) Source # | |
Defined in ProAbstract.Structure.Block allBlockTags :: Traversal' (TaggedBlocks ann) (Tag (Annotation (TaggedBlocks ann))) Source # | |
HasManyBlockTags (Blocks ann) Source # | |
Defined in ProAbstract.Structure.Block allBlockTags :: Traversal' (Blocks ann) (Tag (Annotation (Blocks ann))) Source # | |
HasManyBlockTags (Block ann) Source # | |
Defined in ProAbstract.Structure.Block allBlockTags :: Traversal' (Block ann) (Tag (Annotation (Block ann))) Source # | |
HasManyBlockTags (Document ann) Source # | |
Defined in ProAbstract.Structure.Document allBlockTags :: Traversal' (Document ann) (Tag (Annotation (Document ann))) Source # | |
HasManyBlockTags (BlockTagContent ann) Source # | |
Defined in ProAbstract.Structure.BlockTagContent allBlockTags :: Traversal' (BlockTagContent ann) (Tag (Annotation (BlockTagContent ann))) Source # |
class HasManyBlockTags x => HasWitherableBlockTags x where Source #
witherBlockTags :: Monad f => (Tag (Annotation x) -> f (Maybe (Tag (Annotation x)))) -> x -> f x Source #
mapMaybeBlockTags :: (Tag (Annotation x) -> Maybe (Tag (Annotation x))) -> x -> x Source #
Instances
class HasManyTags x => HasWitherableInlineTags x where Source #
witherInlineTags :: Monad f => (Tag (Annotation x) -> f (Maybe (Tag (Annotation x)))) -> x -> f x Source #
mapMaybeInlineTags :: (Tag (Annotation x) -> Maybe (Tag (Annotation x))) -> x -> x Source #