Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type family Content a Source #
Instances
type Content (Fragment ann) Source # | |
Defined in ProAbstract.Structure.Fragment | |
type Content (TaggedPlainBlock ann) Source # | |
Defined in ProAbstract.Structure.PlainBlock | |
type Content (TaggedLines ann) Source # | |
Defined in ProAbstract.Structure.Inline | |
type Content (Paragraph ann) Source # | |
Defined in ProAbstract.Structure.Paragraph | |
type Content (TaggedBlocks ann) Source # | |
Defined in ProAbstract.Structure.Block | |
type Content (Document ann) Source # | |
Defined in ProAbstract.Structure.Document | |
type Content (BlockTag ann) Source # | |
Defined in ProAbstract.Structure.BlockTag |
class HasContent x x' where Source #
Instances
HasContent (Fragment ann) (Fragment ann) Source # | |
HasContent (TaggedPlainBlock ann) (TaggedPlainBlock ann) Source # | |
Defined in ProAbstract.Structure.PlainBlock content :: Lens (TaggedPlainBlock ann) (TaggedPlainBlock ann) (Content (TaggedPlainBlock ann)) (Content (TaggedPlainBlock ann)) Source # | |
HasContent (TaggedLines ann) (TaggedLines ann) Source # | |
Defined in ProAbstract.Structure.Inline content :: Lens (TaggedLines ann) (TaggedLines ann) (Content (TaggedLines ann)) (Content (TaggedLines ann)) Source # | |
HasContent (Paragraph ann) (Paragraph ann) Source # | |
HasContent (TaggedBlocks ann) (TaggedBlocks ann) Source # | |
Defined in ProAbstract.Structure.Block content :: Lens (TaggedBlocks ann) (TaggedBlocks ann) (Content (TaggedBlocks ann)) (Content (TaggedBlocks ann)) Source # | |
HasContent (Document ann) (Document ann') Source # | |
HasContent (BlockTag ann) (BlockTag ann) Source # | |
type HasContent' x = HasContent x x Source #
type family Contents a Source #
Instances
type Contents (TaggedPlainBlock ann) Source # | |
Defined in ProAbstract.Structure.PlainBlock | |
type Contents (PlainBlock ann) Source # | |
Defined in ProAbstract.Structure.PlainBlock | |
type Contents (TaggedLines ann) Source # | |
Defined in ProAbstract.Structure.Inline | |
type Contents (Lines ann) Source # | |
Defined in ProAbstract.Structure.Inline | |
type Contents (Line ann) Source # | |
Defined in ProAbstract.Structure.Inline | |
type Contents (Paragraph ann) Source # | |
Defined in ProAbstract.Structure.Paragraph | |
type Contents (TaggedBlocks ann) Source # | |
Defined in ProAbstract.Structure.Block | |
type Contents (Blocks ann) Source # | |
Defined in ProAbstract.Structure.Block | |
type Contents (Document ann) Source # | |
Defined in ProAbstract.Structure.Document |
class HasContents x x' where Source #
Instances
type HasContents' x = HasContents x x Source #