Ideas.Utils.Decoding

Extensions to the QuickCheck library

Documentation

data Decoder env s a

Instances

MonadState s (Decoder env s)

Defined in Ideas.Utils.Decoding

Methods

get :: Decoder env s s

put :: s -> Decoder env s ()

state :: (s -> (a, s)) -> Decoder env s a

MonadReader env (Decoder env s)

Defined in Ideas.Utils.Decoding

Methods

ask :: Decoder env s env

local :: (env -> env) -> Decoder env s a -> Decoder env s a

reader :: (env -> a) -> Decoder env s a

Monad (Decoder env s)

Defined in Ideas.Utils.Decoding

Methods

(>>=) :: Decoder env s a -> (a -> Decoder env s b) -> Decoder env s b

(>>) :: Decoder env s a -> Decoder env s b -> Decoder env s b

return :: a -> Decoder env s a

fail :: String -> Decoder env s a

Functor (Decoder env s)

Defined in Ideas.Utils.Decoding

Methods

fmap :: (a -> b) -> Decoder env s a -> Decoder env s b

(<$) :: a -> Decoder env s b -> Decoder env s a

Applicative (Decoder env s)

Defined in Ideas.Utils.Decoding

Methods

pure :: a -> Decoder env s a

(<*>) :: Decoder env s (a -> b) -> Decoder env s a -> Decoder env s b

liftA2 :: (a -> b -> c) -> Decoder env s a -> Decoder env s b -> Decoder env s c

(*>) :: Decoder env s a -> Decoder env s b -> Decoder env s b

(<*) :: Decoder env s a -> Decoder env s b -> Decoder env s a

Alternative (Decoder env s)

Defined in Ideas.Utils.Decoding

Methods

empty :: Decoder env s a

(<|>) :: Decoder env s a -> Decoder env s a -> Decoder env s a

some :: Decoder env s a -> Decoder env s [a]

many :: Decoder env s a -> Decoder env s [a]

MonadPlus (Decoder env s)

Defined in Ideas.Utils.Decoding

Methods

mzero :: Decoder env s a

mplus :: Decoder env s a -> Decoder env s a -> Decoder env s a

Semigroup a => Semigroup (Decoder env s a)

Defined in Ideas.Utils.Decoding

Methods

(<>) :: Decoder env s a -> Decoder env s a -> Decoder env s a

sconcat :: NonEmpty (Decoder env s a) -> Decoder env s a

stimes :: Integral b => b -> Decoder env s a -> Decoder env s a

Monoid a => Monoid (Decoder env s a)

Defined in Ideas.Utils.Decoding

Methods

mempty :: Decoder env s a

mappend :: Decoder env s a -> Decoder env s a -> Decoder env s a

mconcat :: [Decoder env s a] -> Decoder env s a

BuildXML a => BuildXML (Decoder env s a)

Defined in Ideas.Text.XML

Methods

(.=.) :: String -> String -> Decoder env s a

string :: String -> Decoder env s a

builder :: XML -> Decoder env s a

tag :: String -> Decoder env s a -> Decoder env s a

char :: Char -> Decoder env s a

text :: Show s0 => s0 -> Decoder env s a

element :: String -> [Decoder env s a] -> Decoder env s a

emptyTag :: String -> Decoder env s a

runDecoder :: Monad m => Decoder env s a -> env -> s -> m a

symbol :: Decoder env [s] s

type Encoder env = Decoder env ()

runEncoder :: Monad m => Encoder env a -> env -> m a

data Error a

Instances

Monad Error

Defined in Ideas.Utils.Decoding

Methods

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

(>>) :: Error a -> Error b -> Error b

return :: a -> Error a

fail :: String -> Error a

Functor Error

Defined in Ideas.Utils.Decoding

Methods

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

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

Applicative Error

Defined in Ideas.Utils.Decoding

Methods

pure :: a -> Error a

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

liftA2 :: (a -> b -> c) -> Error a -> Error b -> Error c

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

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

Alternative Error

Defined in Ideas.Utils.Decoding

Methods

empty :: Error a

(<|>) :: Error a -> Error a -> Error a

some :: Error a -> Error [a]

many :: Error a -> Error [a]

MonadPlus Error

Defined in Ideas.Utils.Decoding

Methods

mzero :: Error a

mplus :: Error a -> Error a -> Error a

runError :: Error a -> Either String a

runErrorM :: Monad m => Error a -> m a