1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
interface Maybe where {
interface ! Prelude
{-# NEED maybe #-}
maybe{-# 3 #-}::(a -> ((b -> a) -> ((Prelude.Maybe b) -> a)));
interface ! Maybe
{-# NEED isJust #-}
isJust{-# 1 #-}::((Prelude.Maybe a) -> Prelude.Bool);
{-# NEED fromJust #-}
fromJust{-# 1 #-}::((Prelude.Maybe a) -> a);
{-# NEED maybeToList #-}
maybeToList{-# 1 #-}::((Prelude.Maybe a) -> [a]);
{-# NEED catMaybes #-}
catMaybes{-# 1 #-}::([(Prelude.Maybe a)] -> [a]);
{-# NEED isNothing #-}
isNothing{-# 1 #-}::((Prelude.Maybe a) -> Prelude.Bool);
{-# NEED mapMaybe #-}
mapMaybe{-# 1 #-}::((a -> (Prelude.Maybe b)) -> ([a] -> [b]));
{-# NEED listToMaybe #-}
listToMaybe{-# 1 #-}::([a] -> (Prelude.Maybe a));
{-# NEED fromMaybe #-}
fromMaybe{-# 2 #-}::(a -> ((Prelude.Maybe a) -> a));
interface ! Prelude
{-# NEED {Maybe Nothing Just} #-}
data Maybe a
= Nothing
| Just a;
}
|
