ProAbstract.Families

Annotation

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 (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type Annotation (TaggedPlainBlock ann) = ann

type Annotation (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type Annotation (PlainBlock ann) = ann

type Annotation (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

type Annotation (TaggedLines 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 (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

type Annotation (TaggedBlocks 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 (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

type Annotation (BlockTagContent ann) = ann

type Annotation (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type Annotation (BlockTag ann) = ann

Content

type family Content a

Instances

type Content (Fragment ann)

Defined in ProAbstract.Structure.Fragment

type Content (Fragment ann) = Text

type Content (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type Content (TaggedPlainBlock ann) = PlainBlock ann

type Content (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

type Content (TaggedLines ann) = Lines ann

type Content (Paragraph ann)

Defined in ProAbstract.Structure.Paragraph

type Content (Paragraph ann) = Lines ann

type Content (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

type Content (TaggedBlocks ann) = Blocks ann

type Content (Document ann)

Defined in ProAbstract.Structure.Document

type Content (Document ann) = Blocks ann

type Content (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type Content (BlockTag ann) = BlockTagContent ann

type family Contents a

Instances

type Contents (TaggedPlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type Contents (TaggedPlainBlock ann) = Fragment ann

type Contents (PlainBlock ann)

Defined in ProAbstract.Structure.PlainBlock

type Contents (PlainBlock ann) = Fragment ann

type Contents (TaggedLines ann)

Defined in ProAbstract.Structure.Inline

type Contents (TaggedLines ann) = Line 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 (TaggedBlocks ann)

Defined in ProAbstract.Structure.Block

type Contents (TaggedBlocks ann) = Block 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

Fork or plain

type family Fork a

Instances

type Fork (Inline ann)

Defined in ProAbstract.Structure.Inline

type Fork (Inline ann) = TaggedLines ann

type Fork (Block ann)

Defined in ProAbstract.Structure.Block

type Fork (Block ann) = TaggedBlocks ann

type Fork (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

type Fork (BlockTagContent ann) = Blocks ann

type Fork (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type Fork (BlockTag ann) = TaggedBlocks 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) = TaggedPlainBlock ann

type Plain (BlockTagContent ann)

Defined in ProAbstract.Structure.BlockTagContent

type Plain (BlockTagContent ann) = PlainBlock ann

type Plain (BlockTag ann)

Defined in ProAbstract.Structure.BlockTag

type Plain (BlockTag ann) = TaggedPlainBlock ann

Tagged or bare

type family TaggedType a

Instances

type TaggedType (Inline ann)

Defined in ProAbstract.Structure.IsTaggedOrBare

type TaggedType (Inline ann) = TaggedLines ann

type TaggedType (Block ann)

Defined in ProAbstract.Structure.IsTaggedOrBare

type TaggedType (Block ann) = BlockTag ann

type TaggedType (TaggedOrBare a)

Defined in ProAbstract.Structure.IsTaggedOrBare

type TaggedType (TaggedOrBare a) = TaggedType a

type family BareType a

Instances

type BareType (Inline ann)

Defined in ProAbstract.Structure.IsTaggedOrBare

type BareType (Inline ann) = Fragment ann

type BareType (Block ann)

Defined in ProAbstract.Structure.IsTaggedOrBare

type BareType (Block ann) = Paragraph ann

type BareType (TaggedOrBare a)

Defined in ProAbstract.Structure.IsTaggedOrBare

type BareType (TaggedOrBare a) = BareType a