Documentation

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

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

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

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

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

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

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

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

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

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

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

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

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

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