Data.Owoify.Internal.Parser.OwoifyParser

class OwoifyError e  where

The OwoifyError class represents those types denoting errors when owoifying.

Members

• eof :: e

  Representing that the source collection of strings has been exhausted.

• parseError :: String -> e

  Representing general parser error. Currently not used.

Instances

• OwoifyError OError

count :: forall f e. OwoifyError e => Foldable f => Traversable f => Unfoldable f => (f String -> Maybe { head :: String, tail :: f String }) -> Int -> f (Word -> ExceptT String Effect Word) -> OwoifyParser e f (f (Effect (Either String Word)))

count unconsFunc n p will replicate owoify parser according to the specified uncons, length (n) and a collection of owoify functions.

data OError

A simple type representing errors that occur during owoification.

Constructors

• EOF
• ParseError String

Instances

• Generic OError _
• Show OError
• OwoifyError OError

newtype OwoifyParser :: Type -> (Type -> Type) -> Type -> Typenewtype OwoifyParser e f a

Instances

• Functor (OwoifyParser e f)
• Apply (OwoifyParser e f)
• Applicative (OwoifyParser e f)
• Bind (OwoifyParser e f)
• Monad (OwoifyParser e f)

runOwoifyParser :: forall e f a. OwoifyError e => OwoifyParser e f a -> OwoifyFunction e f a

runOwoifyParser (OwoifyParser f) simply executes (unwraps) the parser inside the monad.