pro-abstract-0.3.0.0: Abstract syntax for writing documents
Safe HaskellNone
LanguageHaskell2010

ProAbstract.Tag

Documentation

data Tag ann Source #

Constructors

Tag 

Fields

Instances

Instances details
Eq ann => Eq (Tag ann) Source # 
Instance details

Defined in ProAbstract.Tag.TagType

Methods

(==) :: Tag ann -> Tag ann -> Bool #

(/=) :: Tag ann -> Tag ann -> Bool #

Show ann => Show (Tag ann) Source # 
Instance details

Defined in ProAbstract.Tag.TagType

Methods

showsPrec :: Int -> Tag ann -> ShowS #

show :: Tag ann -> String #

showList :: [Tag ann] -> ShowS #

Generic (Tag ann) Source # 
Instance details

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) Source # 
Instance details

Defined in ProAbstract.Tag.TagType

Methods

rnf :: Tag ann -> () #

Hashable ann => Hashable (Tag ann) Source # 
Instance details

Defined in ProAbstract.Tag.TagType

Methods

hashWithSalt :: Int -> Tag ann -> Int #

hash :: Tag ann -> Int #

HasMetadata (Tag ann) Source # 
Instance details

Defined in ProAbstract.Tag.TagType

Associated Types

type MetadataOpticKind (Tag ann) Source #

Methods

metadata :: Optic' (MetadataOpticKind (Tag ann)) NoIx (Tag ann) Metadata Source #

HasTag (Tag ann) Source # 
Instance details

Defined in ProAbstract.Tag.HasTag

Associated Types

type TagOpticKind (Tag ann) Source #

Methods

tag :: Optic' (TagOpticKind (Tag ann)) NoIx (Tag ann) (Tag (Annotation (Tag ann))) Source #

HasAnnotation (Tag ann) (Tag ann') Source # 
Instance details

Defined in ProAbstract.Tag.TagType

Methods

annotation :: Lens (Tag ann) (Tag ann') (Annotation (Tag ann)) (Annotation (Tag ann')) Source #

type Rep (Tag ann) Source # 
Instance details

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) Source # 
Instance details

Defined in ProAbstract.Tag.TagType

type Annotation (Tag ann) = ann
type MetadataOpticKind (Tag ann) Source # 
Instance details

Defined in ProAbstract.Tag.TagType

type MetadataOpticKind (Tag ann) = A_Lens
type TagOpticKind (Tag ann) Source # 
Instance details

Defined in ProAbstract.Tag.HasTag

type TagOpticKind (Tag ann) = A_Lens

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

class HasTag x where Source #

Associated Types

type TagOpticKind x :: OpticKind Source #

Methods

tag :: Optic' (TagOpticKind x) NoIx x (Tag (Annotation x)) Source #

Instances

Instances details
HasTag (Tag ann) Source # 
Instance details

Defined in ProAbstract.Tag.HasTag

Associated Types

type TagOpticKind (Tag ann) Source #

Methods

tag :: Optic' (TagOpticKind (Tag ann)) NoIx (Tag ann) (Tag (Annotation (Tag ann))) Source #

HasTag (TaggedPlainBlock ann) Source # 
Instance details

Defined in ProAbstract.Structure.PlainBlock

Associated Types

type TagOpticKind (TaggedPlainBlock ann) Source #

Methods

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

HasTag (TaggedLines ann) Source # 
Instance details

Defined in ProAbstract.Structure.Inline

Associated Types

type TagOpticKind (TaggedLines ann) Source #

Methods

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

HasTag (Inline ann) Source # 
Instance details

Defined in ProAbstract.Structure.Inline

Associated Types

type TagOpticKind (Inline ann) Source #

Methods

tag :: Optic' (TagOpticKind (Inline ann)) NoIx (Inline ann) (Tag (Annotation (Inline ann))) Source #

HasTag (TaggedBlocks ann) Source # 
Instance details

Defined in ProAbstract.Structure.Block

Associated Types

type TagOpticKind (TaggedBlocks ann) Source #

Methods

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

HasTag (Block ann) Source # 
Instance details

Defined in ProAbstract.Structure.Block

Associated Types

type TagOpticKind (Block ann) Source #

Methods

tag :: Optic' (TagOpticKind (Block ann)) NoIx (Block ann) (Tag (Annotation (Block ann))) Source #

HasTag (BlockTag ann) Source # 
Instance details

Defined in ProAbstract.Structure.BlockTag

Associated Types

type TagOpticKind (BlockTag ann) Source #

Methods

tag :: Optic' (TagOpticKind (BlockTag ann)) NoIx (BlockTag ann) (Tag (Annotation (BlockTag ann))) Source #

class HasManyTags x where Source #

Methods

allTags :: Traversal' x (Tag (Annotation x)) Source #

allInlineTags :: Traversal' x (Tag (Annotation x)) Source #

Instances

Instances details
HasManyTags (TaggedLines ann) Source # 
Instance details

Defined in ProAbstract.Structure.Inline

Methods

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

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

HasManyTags (Lines ann) Source # 
Instance details

Defined in ProAbstract.Structure.Inline

Methods

allTags :: Traversal' (Lines ann) (Tag (Annotation (Lines ann))) Source #

allInlineTags :: Traversal' (Lines ann) (Tag (Annotation (Lines ann))) Source #

HasManyTags (Line ann) Source # 
Instance details

Defined in ProAbstract.Structure.Inline

Methods

allTags :: Traversal' (Line ann) (Tag (Annotation (Line ann))) Source #

allInlineTags :: Traversal' (Line ann) (Tag (Annotation (Line ann))) Source #

HasManyTags (Inline ann) Source # 
Instance details

Defined in ProAbstract.Structure.Inline

Methods

allTags :: Traversal' (Inline ann) (Tag (Annotation (Inline ann))) Source #

allInlineTags :: Traversal' (Inline ann) (Tag (Annotation (Inline ann))) Source #

HasManyTags (Paragraph ann) Source # 
Instance details

Defined in ProAbstract.Structure.Paragraph

Methods

allTags :: Traversal' (Paragraph ann) (Tag (Annotation (Paragraph ann))) Source #

allInlineTags :: Traversal' (Paragraph ann) (Tag (Annotation (Paragraph ann))) Source #

HasManyTags (TaggedBlocks ann) Source # 
Instance details

Defined in ProAbstract.Structure.Block

Methods

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

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

HasManyTags (Blocks ann) Source # 
Instance details

Defined in ProAbstract.Structure.Block

Methods

allTags :: Traversal' (Blocks ann) (Tag (Annotation (Blocks ann))) Source #

allInlineTags :: Traversal' (Blocks ann) (Tag (Annotation (Blocks ann))) Source #

HasManyTags (Block ann) Source # 
Instance details

Defined in ProAbstract.Structure.Block

Methods

allTags :: Traversal' (Block ann) (Tag (Annotation (Block ann))) Source #

allInlineTags :: Traversal' (Block ann) (Tag (Annotation (Block ann))) Source #

HasManyTags (Document ann) Source # 
Instance details

Defined in ProAbstract.Structure.Document

Methods

allTags :: Traversal' (Document ann) (Tag (Annotation (Document ann))) Source #

allInlineTags :: Traversal' (Document ann) (Tag (Annotation (Document ann))) Source #

HasManyTags (BlockTagContent ann) Source # 
Instance details

Defined in ProAbstract.Structure.BlockTagContent

Methods

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

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

HasManyTags (BlockTag ann) Source # 
Instance details

Defined in ProAbstract.Structure.BlockTag

Methods

allTags :: Traversal' (BlockTag ann) (Tag (Annotation (BlockTag ann))) Source #

allInlineTags :: Traversal' (BlockTag ann) (Tag (Annotation (BlockTag ann))) Source #

class HasWitherableTags x where Source #

Minimal complete definition

witherTags

Methods

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

Instances details
HasWitherableTags (Lines ann) Source # 
Instance details

Defined in ProAbstract.Structure.Inline

Methods

witherTags :: Monad f => (Tag (Annotation (Lines ann)) -> f (Maybe (Tag (Annotation (Lines ann))))) -> Lines ann -> f (Lines ann) Source #

mapMaybeTags :: (Tag (Annotation (Lines ann)) -> Maybe (Tag (Annotation (Lines ann)))) -> Lines ann -> Lines ann Source #

HasWitherableTags (Line ann) Source # 
Instance details

Defined in ProAbstract.Structure.Inline

Methods

witherTags :: Monad f => (Tag (Annotation (Line ann)) -> f (Maybe (Tag (Annotation (Line ann))))) -> Line ann -> f (Line ann) Source #

mapMaybeTags :: (Tag (Annotation (Line ann)) -> Maybe (Tag (Annotation (Line ann)))) -> Line ann -> Line ann Source #

HasWitherableTags (Blocks ann) Source # 
Instance details

Defined in ProAbstract.Structure.Block

Methods

witherTags :: Monad f => (Tag (Annotation (Blocks ann)) -> f (Maybe (Tag (Annotation (Blocks ann))))) -> Blocks ann -> f (Blocks ann) Source #

mapMaybeTags :: (Tag (Annotation (Blocks ann)) -> Maybe (Tag (Annotation (Blocks ann)))) -> Blocks ann -> Blocks ann Source #

HasWitherableTags (Document ann) Source # 
Instance details

Defined in ProAbstract.Structure.Document

Methods

witherTags :: Monad f => (Tag (Annotation (Document ann)) -> f (Maybe (Tag (Annotation (Document ann))))) -> Document ann -> f (Document ann) Source #

mapMaybeTags :: (Tag (Annotation (Document ann)) -> Maybe (Tag (Annotation (Document ann)))) -> Document ann -> Document ann Source #

HasWitherableTags (BlockTagContent ann) Source # 
Instance details

Defined in ProAbstract.Structure.BlockTagContent

Methods

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

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

class HasManyTags x => HasManyBlockTags x where Source #

Methods

allBlockTags :: Traversal' x (Tag (Annotation x)) Source #

Instances

Instances details
HasManyBlockTags (TaggedBlocks ann) Source # 
Instance details

Defined in ProAbstract.Structure.Block

Methods

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

HasManyBlockTags (Blocks ann) Source # 
Instance details

Defined in ProAbstract.Structure.Block

Methods

allBlockTags :: Traversal' (Blocks ann) (Tag (Annotation (Blocks ann))) Source #

HasManyBlockTags (Block ann) Source # 
Instance details

Defined in ProAbstract.Structure.Block

Methods

allBlockTags :: Traversal' (Block ann) (Tag (Annotation (Block ann))) Source #

HasManyBlockTags (Document ann) Source # 
Instance details

Defined in ProAbstract.Structure.Document

Methods

allBlockTags :: Traversal' (Document ann) (Tag (Annotation (Document ann))) Source #

HasManyBlockTags (BlockTagContent ann) Source # 
Instance details

Defined in ProAbstract.Structure.BlockTagContent

Methods

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

class HasManyBlockTags x => HasWitherableBlockTags x where Source #

Minimal complete definition

witherBlockTags

Methods

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

Instances details
HasWitherableBlockTags (Blocks ann) Source # 
Instance details

Defined in ProAbstract.Structure.Block

Methods

witherBlockTags :: Monad f => (Tag (Annotation (Blocks ann)) -> f (Maybe (Tag (Annotation (Blocks ann))))) -> Blocks ann -> f (Blocks ann) Source #

mapMaybeBlockTags :: (Tag (Annotation (Blocks ann)) -> Maybe (Tag (Annotation (Blocks ann)))) -> Blocks ann -> Blocks ann Source #

HasWitherableBlockTags (Document ann) Source # 
Instance details

Defined in ProAbstract.Structure.Document

Methods

witherBlockTags :: Monad f => (Tag (Annotation (Document ann)) -> f (Maybe (Tag (Annotation (Document ann))))) -> Document ann -> f (Document ann) Source #

mapMaybeBlockTags :: (Tag (Annotation (Document ann)) -> Maybe (Tag (Annotation (Document ann)))) -> Document ann -> Document ann Source #

HasWitherableBlockTags (BlockTagContent ann) Source # 
Instance details

Defined in ProAbstract.Structure.BlockTagContent

Methods

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

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

class HasManyTags x => HasWitherableInlineTags x where Source #

Minimal complete definition

witherInlineTags

Methods

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 #

Instances

Instances details
HasWitherableInlineTags (TaggedLines ann) Source # 
Instance details

Defined in ProAbstract.Structure.Inline

Methods

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

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

HasWitherableInlineTags (Lines ann) Source # 
Instance details

Defined in ProAbstract.Structure.Inline

Methods

witherInlineTags :: Monad f => (Tag (Annotation (Lines ann)) -> f (Maybe (Tag (Annotation (Lines ann))))) -> Lines ann -> f (Lines ann) Source #

mapMaybeInlineTags :: (Tag (Annotation (Lines ann)) -> Maybe (Tag (Annotation (Lines ann)))) -> Lines ann -> Lines ann Source #

HasWitherableInlineTags (Line ann) Source # 
Instance details

Defined in ProAbstract.Structure.Inline

Methods

witherInlineTags :: Monad f => (Tag (Annotation (Line ann)) -> f (Maybe (Tag (Annotation (Line ann))))) -> Line ann -> f (Line ann) Source #

mapMaybeInlineTags :: (Tag (Annotation (Line ann)) -> Maybe (Tag (Annotation (Line ann)))) -> Line ann -> Line ann Source #

HasWitherableInlineTags (Paragraph ann) Source # 
Instance details

Defined in ProAbstract.Structure.Paragraph

Methods

witherInlineTags :: Monad f => (Tag (Annotation (Paragraph ann)) -> f (Maybe (Tag (Annotation (Paragraph ann))))) -> Paragraph ann -> f (Paragraph ann) Source #

mapMaybeInlineTags :: (Tag (Annotation (Paragraph ann)) -> Maybe (Tag (Annotation (Paragraph ann)))) -> Paragraph ann -> Paragraph ann Source #

HasWitherableInlineTags (TaggedBlocks ann) Source # 
Instance details

Defined in ProAbstract.Structure.Block

Methods

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

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

HasWitherableInlineTags (Blocks ann) Source # 
Instance details

Defined in ProAbstract.Structure.Block

Methods

witherInlineTags :: Monad f => (Tag (Annotation (Blocks ann)) -> f (Maybe (Tag (Annotation (Blocks ann))))) -> Blocks ann -> f (Blocks ann) Source #

mapMaybeInlineTags :: (Tag (Annotation (Blocks ann)) -> Maybe (Tag (Annotation (Blocks ann)))) -> Blocks ann -> Blocks ann Source #

HasWitherableInlineTags (Block ann) Source # 
Instance details

Defined in ProAbstract.Structure.Block

Methods

witherInlineTags :: Monad f => (Tag (Annotation (Block ann)) -> f (Maybe (Tag (Annotation (Block ann))))) -> Block ann -> f (Block ann) Source #

mapMaybeInlineTags :: (Tag (Annotation (Block ann)) -> Maybe (Tag (Annotation (Block ann)))) -> Block ann -> Block ann Source #

HasWitherableInlineTags (Document ann) Source # 
Instance details

Defined in ProAbstract.Structure.Document

Methods

witherInlineTags :: Monad f => (Tag (Annotation (Document ann)) -> f (Maybe (Tag (Annotation (Document ann))))) -> Document ann -> f (Document ann) Source #

mapMaybeInlineTags :: (Tag (Annotation (Document ann)) -> Maybe (Tag (Annotation (Document ann)))) -> Document ann -> Document ann Source #

HasWitherableInlineTags (BlockTagContent ann) Source # 
Instance details

Defined in ProAbstract.Structure.BlockTagContent

Methods

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

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