Text.Taggy.Types

Core types of taggy.

Tag type

data Tag

A Tag can be one of the following types of tags:

• an opening tag that has a name, a list of attributes, and whether it is a self-closing tag or not
• a closing tag with the name of the tag
• some raw Text
• an HTML comment tag
• a script.../script tag
• a style.../style tag

The latter two are useful to be considered separately in the parser and also lets you collect these bits quite easily.

Constructors

TagOpen !Text [Attribute] !Bool

TagClose !Text

TagText !Text

TagComment !Text

TagScript !Tag !Text !Tag

TagStyle !Tag !Text !Tag

Instances

Eq Tag

Show Tag

tname :: Tag -> Text

Name of a Tag.

tname (TagClose "a") == "a"

isTagOpen :: Tag -> Bool

Is this Tag an opening tag?

isTagClose :: Tag -> Bool

Is this Tag a closing tag?

isTagText :: Tag -> Bool

Is this Tag just some flat text?

isTagComment :: Tag -> Bool

Is this Tag an HTML comment tag?

isTagScript :: Tag -> Bool

Is this Tag a script.../script tag?

isTagStyle :: Tag -> Bool

Is this Tag a style.../style tag?

tagsNamed :: Text -> [Tag] -> [Tag]

Get all the (opening) tags with the given name

Attributes

data Attribute

An attribute is just an attribute name and an attribute value.

Constructors

Attribute !Text !Text

Instances

Eq Attribute

Show Attribute

attrs :: Tag -> [Attribute]

Get the attributes of a Tag.

attrKey :: Attribute -> Text

Get the name of an Attribute.

attrValue :: Attribute -> Text

Get the value of an Attribute.

A small difference list implementation

data L a

emptyL :: L a

appL :: L a -> L a -> L a

insertL :: a -> L a -> L a

singletonL :: a -> L a

toListL :: L a -> [a]