option-0.1.0.1: A strict version of Maybe
Data.Option
data Option a Source #
Constructors
Instances
Methods
(>>=) :: Option a -> (a -> Option b) -> Option b #
(>>) :: Option a -> Option b -> Option b #
return :: a -> Option a #
fail :: String -> Option a #
fmap :: (a -> b) -> Option a -> Option b #
(<$) :: a -> Option b -> Option a #
pure :: a -> Option a #
(<*>) :: Option (a -> b) -> Option a -> Option b #
(*>) :: Option a -> Option b -> Option b #
(<*) :: Option a -> Option b -> Option a #
empty :: Option a #
(<|>) :: Option a -> Option a -> Option a #
some :: Option a -> Option [a] #
many :: Option a -> Option [a] #
mzero :: Option a #
mplus :: Option a -> Option a -> Option a #
(==) :: Option a -> Option a -> Bool #
(/=) :: Option a -> Option a -> Bool #
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Option a -> c (Option a) #
gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Option a) #
toConstr :: Option a -> Constr #
dataTypeOf :: Option a -> DataType #
dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Option a)) #
dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Option a)) #
gmapT :: (forall b. Data b => b -> b) -> Option a -> Option a #
gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Option a -> r #
gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Option a -> r #
gmapQ :: (forall d. Data d => d -> u) -> Option a -> [u] #
gmapQi :: Int -> (forall d. Data d => d -> u) -> Option a -> u #
gmapM :: Monad m => (forall d. Data d => d -> m d) -> Option a -> m (Option a) #
gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Option a -> m (Option a) #
gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Option a -> m (Option a) #
compare :: Option a -> Option a -> Ordering #
(<) :: Option a -> Option a -> Bool #
(<=) :: Option a -> Option a -> Bool #
(>) :: Option a -> Option a -> Bool #
(>=) :: Option a -> Option a -> Bool #
max :: Option a -> Option a -> Option a #
min :: Option a -> Option a -> Option a #
readsPrec :: Int -> ReadS (Option a) #
readList :: ReadS [Option a] #
readPrec :: ReadPrec (Option a) #
readListPrec :: ReadPrec [Option a] #
showsPrec :: Int -> Option a -> ShowS #
show :: Option a -> String #
showList :: [Option a] -> ShowS #
fromMaybe :: Maybe a -> Option a Source #
toMaybe :: Option a -> Maybe a Source #