Text.RE.ZeInternals.Types.Poss

Documentation

data Poss a

Constructors

Eek String

Yup a

Instances

Monad Poss

Defined in Text.RE.ZeInternals.Types.Poss

Methods

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

(>>) :: Poss a -> Poss b -> Poss b

return :: a -> Poss a

fail :: String -> Poss a

Functor Poss

Defined in Text.RE.ZeInternals.Types.Poss

Methods

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

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

MonadFail Poss

Defined in Text.RE.ZeInternals.Types.Poss

Methods

fail :: String -> Poss a

Applicative Poss

Defined in Text.RE.ZeInternals.Types.Poss

Methods

pure :: a -> Poss a

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

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

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

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

Eq a => Eq (Poss a)

Defined in Text.RE.ZeInternals.Types.Poss

Methods

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

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

Ord a => Ord (Poss a)

Defined in Text.RE.ZeInternals.Types.Poss

Methods

compare :: Poss a -> Poss a -> Ordering

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

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

(>) :: Poss a -> Poss a -> Bool

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

max :: Poss a -> Poss a -> Poss a

min :: Poss a -> Poss a -> Poss a

Show a => Show (Poss a)

Defined in Text.RE.ZeInternals.Types.Poss

Methods

showsPrec :: Int -> Poss a -> ShowS

show :: Poss a -> String

showList :: [Poss a] -> ShowS

poss :: (String -> b) -> (a -> b) -> Poss a -> b

poss2either :: Poss a -> Either String a