ProAbstract.Families

Documentation

type family Annotation x

Instances

type Annotation (Fragment ann)

Defined in ProAbstract.Structure.Fragment

type Annotation (Fragment ann) = ann

type Annotation (Tag ann)

Defined in ProAbstract.Tag.TagType

type Annotation (Tag ann) = ann

type Annotation (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

type Annotation (Tagged (PlainBlock ann)) = ann

type Annotation (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

type Annotation (Tagged (Lines ann)) = ann

type Annotation (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

type Annotation (Tagged (Blocks ann)) = ann

type Annotation (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type Annotation (PlainBlock ann) = ann

type Annotation (Lines ann)

Defined in ProAbstract.Structure.Inline

type Annotation (Lines ann) = ann

type Annotation (Line ann)

Defined in ProAbstract.Structure.Inline

type Annotation (Line ann) = ann

type Annotation (Inline ann)

Defined in ProAbstract.Structure.Inline

type Annotation (Inline ann) = ann

type Annotation (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

type Annotation (Paragraph ann) = ann

type Annotation (Blocks ann)

Defined in ProAbstract.Structure.Block

type Annotation (Blocks ann) = ann

type Annotation (Block ann)

Defined in ProAbstract.Structure.Block

type Annotation (Block ann) = ann

type Annotation (Document ann)

Defined in ProAbstract.Structure.Document

type Annotation (Document ann) = ann

type Annotation (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type Annotation (BlockTag ann) = ann

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

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

type family Fork a

Instances

type Fork (Inline ann)

Defined in ProAbstract.Structure.Inline

type Fork (Inline ann) = Tagged (Lines ann)

type Fork (Block ann)

Defined in ProAbstract.Structure.Block

type Fork (Block ann) = Tagged (Blocks ann)

type Fork (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type Fork (BlockTag ann) = Tagged (Blocks ann)

type family Plain a

Instances

type Plain (Inline ann)

Defined in ProAbstract.Structure.Inline

type Plain (Inline ann) = Fragment ann

type Plain (Block ann)

Defined in ProAbstract.Structure.Block

type Plain (Block ann) = Tagged (PlainBlock ann)

type Plain (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type Plain (BlockTag ann) = Tagged (PlainBlock ann)

data family Tagged con

Instances

Eq ann => Eq (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

Methods

(==) :: Tagged (PlainBlock ann) -> Tagged (PlainBlock ann) -> Bool

(/=) :: Tagged (PlainBlock ann) -> Tagged (PlainBlock ann) -> Bool

Eq ann => Eq (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Methods

(==) :: Tagged (Lines ann) -> Tagged (Lines ann) -> Bool

(/=) :: Tagged (Lines ann) -> Tagged (Lines ann) -> Bool

Eq ann => Eq (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

(==) :: Tagged (Blocks ann) -> Tagged (Blocks ann) -> Bool

(/=) :: Tagged (Blocks ann) -> Tagged (Blocks ann) -> Bool

Show ann => Show (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

Methods

showsPrec :: Int -> Tagged (PlainBlock ann) -> ShowS

show :: Tagged (PlainBlock ann) -> String

showList :: [Tagged (PlainBlock ann)] -> ShowS

Show ann => Show (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Methods

showsPrec :: Int -> Tagged (Lines ann) -> ShowS

show :: Tagged (Lines ann) -> String

showList :: [Tagged (Lines ann)] -> ShowS

Show ann => Show (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

showsPrec :: Int -> Tagged (Blocks ann) -> ShowS

show :: Tagged (Blocks ann) -> String

showList :: [Tagged (Blocks ann)] -> ShowS

Generic (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

Associated Types

type Rep (Tagged (PlainBlock ann)) :: Type -> Type

Methods

from :: Tagged (PlainBlock ann) -> Rep (Tagged (PlainBlock ann)) x

to :: Rep (Tagged (PlainBlock ann)) x -> Tagged (PlainBlock ann)

Generic (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Associated Types

type Rep (Tagged (Lines ann)) :: Type -> Type

Methods

from :: Tagged (Lines ann) -> Rep (Tagged (Lines ann)) x

to :: Rep (Tagged (Lines ann)) x -> Tagged (Lines ann)

Generic (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Associated Types

type Rep (Tagged (Blocks ann)) :: Type -> Type

Methods

from :: Tagged (Blocks ann) -> Rep (Tagged (Blocks ann)) x

to :: Rep (Tagged (Blocks ann)) x -> Tagged (Blocks ann)

NFData ann => NFData (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

Methods

rnf :: Tagged (PlainBlock ann) -> ()

NFData ann => NFData (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Methods

rnf :: Tagged (Lines ann) -> ()

NFData ann => NFData (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

rnf :: Tagged (Blocks ann) -> ()

Hashable ann => Hashable (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

Methods

hashWithSalt :: Int -> Tagged (PlainBlock ann) -> Int

hash :: Tagged (PlainBlock ann) -> Int

Hashable ann => Hashable (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Methods

hashWithSalt :: Int -> Tagged (Lines ann) -> Int

hash :: Tagged (Lines ann) -> Int

Hashable ann => Hashable (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

hashWithSalt :: Int -> Tagged (Blocks ann) -> Int

hash :: Tagged (Blocks ann) -> Int

HasMetadata (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

Associated Types

type MetadataOpticKind (Tagged (PlainBlock ann))

Methods

metadata :: Optic' (MetadataOpticKind (Tagged (PlainBlock ann))) NoIx (Tagged (PlainBlock ann)) Metadata

HasMetadata (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Associated Types

type MetadataOpticKind (Tagged (Lines ann))

Methods

metadata :: Optic' (MetadataOpticKind (Tagged (Lines ann))) NoIx (Tagged (Lines ann)) Metadata

HasMetadata (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Associated Types

type MetadataOpticKind (Tagged (Blocks ann))

Methods

metadata :: Optic' (MetadataOpticKind (Tagged (Blocks ann))) NoIx (Tagged (Blocks ann)) Metadata

HasManyMetadata (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Methods

allMetadata :: Traversal' (Tagged (Lines ann)) Metadata

HasManyMetadata (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

allMetadata :: Traversal' (Tagged (Blocks ann)) Metadata

HasManyPlainInlines (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Methods

allPlainInlines :: Traversal' (Tagged (Lines ann)) (Fragment (Annotation (Tagged (Lines ann))))

HasManyPlainInlines (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

allPlainInlines :: Traversal' (Tagged (Blocks ann)) (Fragment (Annotation (Tagged (Blocks ann))))

HasTag (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

Associated Types

type TagOpticKind (Tagged (PlainBlock ann))

Methods

tag :: Optic' (TagOpticKind (Tagged (PlainBlock ann))) NoIx (Tagged (PlainBlock ann)) (Tag (Annotation (Tagged (PlainBlock ann))))

HasTag (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Associated Types

type TagOpticKind (Tagged (Lines ann))

Methods

tag :: Optic' (TagOpticKind (Tagged (Lines ann))) NoIx (Tagged (Lines ann)) (Tag (Annotation (Tagged (Lines ann))))

HasTag (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Associated Types

type TagOpticKind (Tagged (Blocks ann))

Methods

tag :: Optic' (TagOpticKind (Tagged (Blocks ann))) NoIx (Tagged (Blocks ann)) (Tag (Annotation (Tagged (Blocks ann))))

HasWitherableInlineTags (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Methods

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

mapMaybeInlineTags :: (Tag (Annotation (Tagged (Lines ann))) -> Maybe (Tag (Annotation (Tagged (Lines ann))))) -> Tagged (Lines ann) -> Tagged (Lines ann)

HasWitherableInlineTags (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

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

mapMaybeInlineTags :: (Tag (Annotation (Tagged (Blocks ann))) -> Maybe (Tag (Annotation (Tagged (Blocks ann))))) -> Tagged (Blocks ann) -> Tagged (Blocks ann)

HasManyBlockTags (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

allBlockTags :: Traversal' (Tagged (Blocks ann)) (Tag (Annotation (Tagged (Blocks ann))))

HasManyTags (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Methods

allTags :: Traversal' (Tagged (Lines ann)) (Tag (Annotation (Tagged (Lines ann))))

allInlineTags :: Traversal' (Tagged (Lines ann)) (Tag (Annotation (Tagged (Lines ann))))

HasManyTags (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

allTags :: Traversal' (Tagged (Blocks ann)) (Tag (Annotation (Tagged (Blocks ann))))

allInlineTags :: Traversal' (Tagged (Blocks ann)) (Tag (Annotation (Tagged (Blocks ann))))

HasManyPlainBlocks (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

allPlainBlocks :: Traversal' (Tagged (Blocks ann)) (Tagged (PlainBlock (Annotation (Tagged (Blocks ann)))))

HasManyParagraphs (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

allParagraphs :: Traversal' (Tagged (Blocks ann)) (Paragraph (Annotation (Tagged (Blocks ann))))

CanHaveTaglessContent (Tagged (PlainBlock ann))

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

taglessContent :: KindOfText t -> AffineFold (Tagged (PlainBlock ann)) t

CanHaveTaglessContent (Tagged (Lines ann))

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

taglessContent :: KindOfText t -> AffineFold (Tagged (Lines ann)) t

CanHaveTaglessContent (Tagged (Blocks ann))

Defined in ProAbstract.Tagless.CanHaveTaglessContent

Methods

taglessContent :: KindOfText t -> AffineFold (Tagged (Blocks ann)) t

HasAnnotation (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

Methods

annotation :: Lens (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) (Annotation (Tagged (PlainBlock ann))) (Annotation (Tagged (PlainBlock ann)))

HasAnnotation (Tagged (Lines ann)) (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

Methods

annotation :: Lens (Tagged (Lines ann)) (Tagged (Lines ann)) (Annotation (Tagged (Lines ann))) (Annotation (Tagged (Lines ann)))

HasAnnotation (Tagged (Blocks ann)) (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

Methods

annotation :: Lens (Tagged (Blocks ann)) (Tagged (Blocks ann)) (Annotation (Tagged (Blocks ann))) (Annotation (Tagged (Blocks ann)))

HasManyAnnotations (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann'))

Defined in ProAbstract.Structure.PlainBlock

Methods

allAnnotations :: Traversal (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann')) (Annotation (Tagged (PlainBlock ann))) (Annotation (Tagged (PlainBlock ann')))

HasManyAnnotations (Tagged (Lines ann)) (Tagged (Lines ann'))

Defined in ProAbstract.Structure.Inline

Methods

allAnnotations :: Traversal (Tagged (Lines ann)) (Tagged (Lines ann')) (Annotation (Tagged (Lines ann))) (Annotation (Tagged (Lines ann')))

HasManyAnnotations (Tagged (Blocks ann)) (Tagged (Blocks ann'))

Defined in ProAbstract.Structure.Block

Methods

allAnnotations :: Traversal (Tagged (Blocks ann)) (Tagged (Blocks ann')) (Annotation (Tagged (Blocks ann))) (Annotation (Tagged (Blocks 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)))

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

type Rep (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

type Rep (Tagged (PlainBlock ann)) = D1 ('MetaData "Tagged" "ProAbstract.Structure.PlainBlock" "pro-abstract-0.1.0.0-fAo99Omz3u7l2SA6DiDR2" 'False) (C1 ('MetaCons "TaggedPlainBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "plaintextTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tag ann)) :*: S1 ('MetaSel ('Just "taggedPlaintext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PlainBlock ann))))

type Rep (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

type Rep (Tagged (Lines ann)) = D1 ('MetaData "Tagged" "ProAbstract.Structure.Inline" "pro-abstract-0.1.0.0-fAo99Omz3u7l2SA6DiDR2" 'False) (C1 ('MetaCons "TaggedLines" 'PrefixI 'True) (S1 ('MetaSel ('Just "linesTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tag ann)) :*: S1 ('MetaSel ('Just "taggedLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Lines ann))))

type Rep (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

type Rep (Tagged (Blocks ann)) = D1 ('MetaData "Tagged" "ProAbstract.Structure.Block" "pro-abstract-0.1.0.0-fAo99Omz3u7l2SA6DiDR2" 'False) (C1 ('MetaCons "TaggedBlocks" 'PrefixI 'True) (S1 ('MetaSel ('Just "blocksTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tag ann)) :*: S1 ('MetaSel ('Just "taggedBlocks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Blocks ann))))

type Annotation (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

type Annotation (Tagged (PlainBlock ann)) = ann

type Annotation (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

type Annotation (Tagged (Lines ann)) = ann

type Annotation (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

type Annotation (Tagged (Blocks ann)) = ann

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

Defined in ProAbstract.Structure.PlainBlock

type MetadataOpticKind (Tagged (PlainBlock ann)) = A_Lens

type MetadataOpticKind (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

type MetadataOpticKind (Tagged (Lines ann)) = A_Lens

type MetadataOpticKind (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

type MetadataOpticKind (Tagged (Blocks ann)) = A_Lens

type TagOpticKind (Tagged (PlainBlock ann))

Defined in ProAbstract.Structure.PlainBlock

type TagOpticKind (Tagged (PlainBlock ann)) = A_Lens

type TagOpticKind (Tagged (Lines ann))

Defined in ProAbstract.Structure.Inline

type TagOpticKind (Tagged (Lines ann)) = A_Lens

type TagOpticKind (Tagged (Blocks ann))

Defined in ProAbstract.Structure.Block

type TagOpticKind (Tagged (Blocks ann)) = A_Lens

data Tagged (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

data Tagged (PlainBlock ann) = TaggedPlainBlock {

• plaintextTag :: Tag ann
• taggedPlaintext :: PlainBlock ann

}

data Tagged (Lines ann)

Defined in ProAbstract.Structure.Inline

data Tagged (Lines ann) = TaggedLines {

• linesTag :: Tag ann
• taggedLines :: Lines ann

}

data Tagged (Blocks ann)

Defined in ProAbstract.Structure.Block

data Tagged (Blocks ann) = TaggedBlocks {

• blocksTag :: Tag ann
• taggedBlocks :: Blocks ann

}