Text.HTML.Onama

Some extra primitives to parse HTMl with Parsec.

You'll still need to import Text.Parsec along with this library. These primitives will work with all the combinators from Parsec. Note that you'll need to override Parsec's satisfies, since that one only works on character streams (for some reason).

testParser = dp
  tagOpen "b"
  bolded <- text
  tagClose "b"

testParser2 = do
  tagClose "div"
  tagOpen "p"
  inner <- text
  tagClose "p"

Documentation

data Tag str

Constructors

TagOpen str [Attribute str] Position

TagClose str Position

TagText str Position

Instances

Show str => Show (Tag str)

Defined in Text.HTML.Onama

Methods

showsPrec :: Int -> Tag str -> ShowS

show :: Tag str -> String

showList :: [Tag str] -> ShowS

Eq str => Eq (Tag str)

Defined in Text.HTML.Onama

Methods

(==) :: Tag str -> Tag str -> Bool

(/=) :: Tag str -> Tag str -> Bool

type Position = (Row, Column)

parseTags :: StringLike str => str -> [Tag str]

Return a list of tags parsed from some sort of string. This list should then get fed into an Onama parser.

tag :: (Monad m, Show str) => ParsecT [Tag str] u m (Tag str)

Primitive. Return the next input tag. All other primitive parsers should be implemented in terms of this.

satisfy :: (Monad m, Show str) => (Tag str -> Bool) -> ParsecT [Tag str] u m (Tag str)

Create a parser which parses a single HTML tag if it passes the given predicate. Return the parsed tag.

data TagOpenSelector

Constructors

AnyOpenTag [AttrSelector]

TagOpenSelector String [AttrSelector]

Instances

IsString TagOpenSelector

Defined in Text.HTML.Onama

Methods

fromString :: String -> TagOpenSelector

data TagCloseSelector

Constructors

AnyCloseTag

TagCloseSelector String

Instances

IsString TagCloseSelector

Defined in Text.HTML.Onama

Methods

fromString :: String -> TagCloseSelector

newtype AttrName

Constructors

AttrName String

Instances

IsString AttrName

Defined in Text.HTML.Onama

Methods

fromString :: String -> AttrName

data AttrValue

Constructors

AnyAttr

AttrValue String

Instances

IsString AttrValue

Defined in Text.HTML.Onama

Methods

fromString :: String -> AttrValue

data AttrSelector

Constructors

AttrSelector AttrName AttrValue

Instances

IsString AttrSelector

Defined in Text.HTML.Onama

Methods

fromString :: String -> AttrSelector

(@:) :: TagOpenSelector -> [AttrSelector] -> TagOpenSelector

(@=) :: AttrName -> AttrValue -> AttrSelector

tagOpen_ :: (Monad m, StringLike str, Show str) => TagOpenSelector -> ParsecT [Tag str] u m (Tag str)

tagOpen :: (Monad m, StringLike str, Show str) => TagOpenSelector -> ParsecT [Tag str] u m (Tag str)

tagClose_ :: (Monad m, StringLike str, Show str) => TagCloseSelector -> ParsecT [Tag str] u m (Tag str)

tagClose :: (Monad m, StringLike str, Show str) => TagCloseSelector -> ParsecT [Tag str] u m (Tag str)

tagText :: (Monad m, Show str) => ParsecT [Tag str] u m str

voidElement :: (Monad m, StringLike str, Show str) => ParsecT [Tag str] u m (Tag str)

Certain HTML elements are self closing. In addition, they can show up without their closing slash. For these, we just want to go over their opening tag. These elements are void, according to the W3C spec: https://www.w3.org/TR/2012/WD-html-markup-20121025/syntax.html#syntax-elements

• area
• base
• br
• col
• command
• embed
• hr
• img
• input
• keygen
• link
• meta
• param
• source
• track
• wbr

balancedTags :: (Monad m, StringLike str, Show str) => TagOpenSelector -> ParsecT [Tag str] u m [Tag str]

anyOpenTag :: TagOpenSelector

anyCloseTag :: TagCloseSelector

anyValue :: AttrValue

innerText :: StringLike str => [Tag str] -> str

skip :: Stream s m t => ParsecT s u m a -> ParsecT s u m ()

skip p produces a parser which will ignore the output of p.