Function read_binary_file

include/fplus/side_effects.hpp:421–429

API search type: read_binary_file : String -> Io [Int] Returns a function that reads the content of a binary file when executed. This function then returns an empty vector if the file could not be read.

// Returns a function that reads the content of a binary file when executed.
// This function then returns an empty vector if the file could not be read.
inline std::function<std::vector<std::uint8_t>()> read_binary_file(
    const std::string& filename)
{
    return [filename]() -> std::vector<std::uint8_t> {
        return just_with_default(
            std::vector<std::uint8_t>(),
            read_binary_file_maybe(filename)());
    };
}

// API search type: read_text_file_lines_maybe : (String, Bool) -> Io (Maybe [String])
// Returns a function that (when called) reads the content of a text file