Safe Haskell	None
Language	Haskell2010

ProAbstract.Tagless

Documentation

class CanBeTagless a where Source #

Methods

tagless :: KindOfText txt -> AffineFold a txt Source #

Instances

Instances details

CanBeTagless (Fragment ann) Source #
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (Fragment ann) txt Source #
CanBeTagless (PlainBlock ann) Source #
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (PlainBlock ann) txt Source #
CanBeTagless (Lines ann) Source #
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (Lines ann) txt Source #
CanBeTagless (Line ann) Source #
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (Line ann) txt Source #
CanBeTagless (Inline ann) Source #	Only a `plain` inline is considered to be plain text, because `fork` inlines have a tags.
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (Inline ann) txt Source #
CanBeTagless (Paragraph ann) Source #
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (Paragraph ann) txt Source #
CanBeTagless (Blocks ann) Source #
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (Blocks ann) txt Source #
CanBeTagless (Block ann) Source #	Only a `bare` block is considered to be plain text, because `fork` and `plain` blocks have tags.
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (Block ann) txt Source #
CanBeTagless (BlockTagContent ann) Source #
Instance details Defined in ProAbstract.Tagless.CanBeTagless Methods tagless :: KindOfText txt -> AffineFold (BlockTagContent ann) txt Source #

class CanHaveTaglessContent a where Source #

Methods

taglessContent :: KindOfText t -> AffineFold a t Source #

Instances

Instances details

CanHaveTaglessContent (Fragment ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Fragment ann) t Source #
CanHaveTaglessContent (TaggedPlainBlock ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (TaggedPlainBlock ann) t Source #
CanHaveTaglessContent (TaggedLines ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (TaggedLines ann) t Source #
CanHaveTaglessContent (Lines ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Lines ann) t Source #
CanHaveTaglessContent (Line ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Line ann) t Source #
CanHaveTaglessContent (Inline ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Inline ann) t Source #
CanHaveTaglessContent (TaggedBlocks ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (TaggedBlocks ann) t Source #
CanHaveTaglessContent (Blocks ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Blocks ann) t Source #
CanHaveTaglessContent (Block ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Block ann) t Source #
CanHaveTaglessContent (Document ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (Document ann) t Source #
CanHaveTaglessContent (BlockTagContent ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (BlockTagContent ann) t Source #
CanHaveTaglessContent (BlockTag ann) Source #
Instance details Defined in ProAbstract.Tagless.CanHaveTaglessContent Methods taglessContent :: KindOfText t -> AffineFold (BlockTag ann) t Source #

data KindOfText txt where Source #

Constructors

TextLine :: KindOfText Text
TextStanza :: KindOfText (Seq Text)
TextParagraphs :: KindOfText (Seq (Seq Text))