Data.Text.Human.Parse

Documentation

class HumanParse e a | a -> e where

An unprincipled best-effort informal attempt to figure out what a human is saying.

Type variables:

• a - The type we're trying to parse into
• e - The type of error we produce when we can't understand the human

Minimal complete definition

parseHuman

Methods

parseHuman :: Text -> Either e a

Instances

HumanParse () Void

Methods

parseHuman :: Text -> Either () Void

HumanParse e a => HumanParse e (Maybe a)

We parse Maybe a by first attempting to parse a and wrap it in Just. If that fails but the input is only whitespace, then we accept the as Nothing. If there is some non-whitespace text that fails to parse as a, only then do we reject the input.

Methods

parseHuman :: Text -> Either e (Maybe a)