ghc/compiler/utils/Maybes.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface Maybes where
   3 data Labda a   = Hamna | Ni a
   4 data MaybeErr a b   = Succeeded a | Failed b
   5 allMaybes :: [Labda a] -> Labda [a]
   6 assocMaybe :: Eq a => [(a, b)] -> a -> Labda b
   7 catMaybes :: [Labda a] -> [a]
   8 failMaB :: b -> MaybeErr a b
   9 failMaybe :: Labda a
  10 firstJust :: [Labda a] -> Labda a
  11 mapMaybe :: (a -> Labda b) -> [a] -> Labda [b]
  12 maybeToBool :: Labda a -> Bool
  13 mkLookupFun :: (a -> a -> Bool) -> [(a, b)] -> a -> Labda b
  14 returnMaB :: a -> MaybeErr a b
  15 returnMaybe :: a -> Labda a
  16 thenMaB :: MaybeErr a c -> (a -> MaybeErr b c) -> MaybeErr b c
  17 thenMaybe :: Labda a -> (a -> Labda b) -> Labda b
  18