Language.Clafer.Front.ErrM

Documentation

data Err a

Constructors

Ok a

Bad Pos String

Instances

Monad Err

Methods

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

(>>) :: Err a -> Err b -> Err b

return :: a -> Err a

fail :: String -> Err a

Functor Err

Methods

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

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

Applicative Err

Methods

pure :: a -> Err a

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

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

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

Alternative Err

Methods

empty :: Err a

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

some :: Err a -> Err [a]

many :: Err a -> Err [a]

MonadPlus Err

Methods

mzero :: Err a

mplus :: Err a -> Err a -> Err a

Eq a => Eq (Err a)

Methods

(==) :: Err a -> Err a -> Bool

(/=) :: Err a -> Err a -> Bool

Ord a => Ord (Err a)

Methods

compare :: Err a -> Err a -> Ordering

(<) :: Err a -> Err a -> Bool

(<=) :: Err a -> Err a -> Bool

(>) :: Err a -> Err a -> Bool

(>=) :: Err a -> Err a -> Bool

max :: Err a -> Err a -> Err a

min :: Err a -> Err a -> Err a

Read a => Read (Err a)

Methods

readsPrec :: Int -> ReadS (Err a)

readList :: ReadS [Err a]

readPrec :: ReadPrec (Err a)

readListPrec :: ReadPrec [Err a]

Show a => Show (Err a)

Methods

showsPrec :: Int -> Err a -> ShowS

show :: Err a -> String

showList :: [Err a] -> ShowS