Documentation

stringify :: Foldable m => String -> String -> String -> Int -> m String -> String Source #

findJust :: Foldable t => t (Maybe a) -> Maybe a Source #