Curry.Module.Maybe

Documentation

c_isJust :: Curry t0 => C_Maybe t0 -> State -> C_Bool

c_isNothing :: Curry t0 => C_Maybe t0 -> State -> C_Bool

c_fromJust :: Curry t0 => C_Maybe t0 -> State -> t0

c_fromMaybe :: Curry t0 => t0 -> C_Maybe t0 -> State -> t0

c_maybeToList :: Curry t0 => C_Maybe t0 -> State -> List t0

c_listToMaybe :: Curry t0 => List t0 -> State -> C_Maybe t0

c_catMaybes :: Curry t0 => List (C_Maybe t0) -> State -> List t0

c_catMaybes'46_'35lambda4 :: Curry t37 => C_Maybe t37 -> List t37 -> State -> List t37

c_mapMaybe :: (Curry t0, Curry t1) => Prim (t0 -> State -> C_Maybe t1) -> State -> Prim (List t0 -> State -> List t1)

op_62_62_45 :: (Curry t0, Curry t1) => C_Maybe t0 -> Prim (t0 -> State -> C_Maybe t1) -> State -> C_Maybe t1

c_sequenceMaybe :: Curry t0 => List (C_Maybe t0) -> State -> C_Maybe (List t0)

c_sequenceMaybe'46_'35lambda6 :: Curry t66 => List (C_Maybe t66) -> t66 -> State -> C_Maybe (List t66)

c_sequenceMaybe'46_'35lambda6'46_'35lambda7 :: Curry t66 => t66 -> List t66 -> State -> C_Maybe (List t66)

c_mapMMaybe :: (Curry t0, Curry t1) => Prim (t0 -> State -> C_Maybe t1) -> State -> Prim (List t0 -> State -> C_Maybe (List t1))