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