blob: d8e282a3b283afda2089ea8be914e8a19076c4d4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
catMaybes :: [Maybe a] -> [a]
fromJust :: GHC.Stack.Types.HasCallStack => Maybe a -> a
fromMaybe :: a -> Maybe a -> a
isJust :: Maybe a -> Bool
isNothing :: Maybe a -> Bool
listToMaybe :: [a] -> Maybe a
mapMaybe :: (a -> Maybe b) -> [a] -> [b]
maybe :: b -> (a -> b) -> Maybe a -> b
maybeToList :: Maybe a -> [a]
type Maybe :: * -> *
data Maybe a = Nothing | Just a
type T :: *
data T = A Int | B Float
f :: Double -> Double
g :: Double -> Double
h :: Integral a => a -> a
f :: Double -> Double
|
