MarXup.Text

Documentation

data Text a where

Constructors

Return :: a -> Text a

Text :: String -> Text ()

(:>>=) :: Text a -> (a -> Text b) -> Text b

MFix :: (a -> Text a) -> Text a

Instances

Monad Text

Methods

(>>=) :: Text a -> (a -> Text b) -> Text b

(>>) :: Text a -> Text b -> Text b

return :: a -> Text a

fail :: String -> Text a

Functor Text

Methods

fmap :: (a -> b) -> Text a -> Text b

(<$) :: a -> Text b -> Text a

MonadFix Text

Methods

mfix :: (a -> Text a) -> Text a

Applicative Text

Methods

pure :: a -> Text a

(<*>) :: Text (a -> b) -> Text a -> Text b

(*>) :: Text a -> Text b -> Text b

(<*) :: Text a -> Text b -> Text a

textual :: String -> Text ()

element :: Show a => a -> Text ()

module Data.Monoid

linearize :: Text a -> [String]