Safe Haskell	Safe-Inferred
Language	Haskell2010

Text.RE.ZeInternals.Types.Poss

Documentation

data Poss a Source #

Constructors

Eek String
Yup a

Instances

Instances details

MonadFail Poss Source #
Instance details Defined in Text.RE.ZeInternals.Types.Poss Methods fail :: String -> Poss a Source #
Applicative Poss Source #
Instance details Defined in Text.RE.ZeInternals.Types.Poss Methods pure :: a -> Poss a Source # (<>) :: Poss (a -> b) -> Poss a -> Poss b Source # liftA2 :: (a -> b -> c) -> Poss a -> Poss b -> Poss c Source # (>) :: Poss a -> Poss b -> Poss b Source # (<*) :: Poss a -> Poss b -> Poss a Source #
Functor Poss Source #
Instance details Defined in Text.RE.ZeInternals.Types.Poss Methods fmap :: (a -> b) -> Poss a -> Poss b Source # (<$) :: a -> Poss b -> Poss a Source #
Monad Poss Source #
Instance details Defined in Text.RE.ZeInternals.Types.Poss Methods (>>=) :: Poss a -> (a -> Poss b) -> Poss b Source # (>>) :: Poss a -> Poss b -> Poss b Source # return :: a -> Poss a Source #
Show a => Show (Poss a) Source #
Instance details Defined in Text.RE.ZeInternals.Types.Poss Methods showsPrec :: Int -> Poss a -> ShowS Source # show :: Poss a -> String Source # showList :: [Poss a] -> ShowS Source #
Eq a => Eq (Poss a) Source #
Instance details Defined in Text.RE.ZeInternals.Types.Poss Methods (==) :: Poss a -> Poss a -> Bool Source # (/=) :: Poss a -> Poss a -> Bool Source #
Ord a => Ord (Poss a) Source #
Instance details Defined in Text.RE.ZeInternals.Types.Poss Methods compare :: Poss a -> Poss a -> Ordering Source # (<) :: Poss a -> Poss a -> Bool Source # (<=) :: Poss a -> Poss a -> Bool Source # (>) :: Poss a -> Poss a -> Bool Source # (>=) :: Poss a -> Poss a -> Bool Source # max :: Poss a -> Poss a -> Poss a Source # min :: Poss a -> Poss a -> Poss a Source #

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

poss2either :: Poss a -> Either String a Source #