Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type family Content a Source #
Instances
type Content (Fragment ann) Source # | |
Defined in ProAbstract.Structure.Fragment | |
type Content (Tagged (PlainBlock ann)) Source # | |
Defined in ProAbstract.Structure.PlainBlock | |
type Content (Tagged (Lines ann)) Source # | |
Defined in ProAbstract.Structure.Inline | |
type Content (Tagged (Blocks ann)) Source # | |
Defined in ProAbstract.Structure.Block | |
type Content (Paragraph ann) Source # | |
Defined in ProAbstract.Structure.Paragraph | |
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 (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) Source # | |
Defined in ProAbstract.Structure.PlainBlock content :: Lens (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) (Content (Tagged (PlainBlock ann))) (Content (Tagged (PlainBlock ann))) Source # | |
HasContent (Tagged (Lines ann)) (Tagged (Lines ann)) Source # | |
HasContent (Tagged (Blocks ann)) (Tagged (Blocks ann)) Source # | |
HasContent (Paragraph ann) (Paragraph 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 (Tagged (PlainBlock ann)) Source # | |
Defined in ProAbstract.Structure.PlainBlock | |
type Contents (Tagged (Lines ann)) Source # | |
Defined in ProAbstract.Structure.Inline | |
type Contents (Tagged (Blocks ann)) Source # | |
Defined in ProAbstract.Structure.Block | |
type Contents (PlainBlock ann) Source # | |
Defined in ProAbstract.Structure.PlainBlock | |
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 (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
HasContents (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) Source # | |
Defined in ProAbstract.Structure.PlainBlock contents :: Lens (Tagged (PlainBlock ann)) (Tagged (PlainBlock ann)) (Seq (Contents (Tagged (PlainBlock ann)))) (Seq (Contents (Tagged (PlainBlock ann)))) Source # | |
HasContents (Tagged (Lines ann)) (Tagged (Lines ann)) Source # | |
HasContents (Tagged (Blocks ann)) (Tagged (Blocks ann)) Source # | |
HasContents (PlainBlock ann) (PlainBlock ann) Source # | |
Defined in ProAbstract.Structure.PlainBlock contents :: Lens (PlainBlock ann) (PlainBlock ann) (Seq (Contents (PlainBlock ann))) (Seq (Contents (PlainBlock ann))) Source # | |
HasContents (Lines ann) (Lines ann') Source # | |
HasContents (Line ann) (Line ann) Source # | |
HasContents (Paragraph ann) (Paragraph ann) Source # | |
HasContents (Blocks ann) (Blocks ann') Source # | |
HasContents (Document ann) (Document ann') Source # | |
type HasContents' x = HasContents x x Source #