| |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
Synopsis | |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
Documentation | |||||||||||||||||||||||||||||||||
type PatchCheck = State KnownState | |||||||||||||||||||||||||||||||||
PatchCheck is a state monad with a simulated repository state | |||||||||||||||||||||||||||||||||
do_check :: PatchCheck a -> a | |||||||||||||||||||||||||||||||||
file_exists :: String -> PatchCheck Bool | |||||||||||||||||||||||||||||||||
dir_exists :: String -> PatchCheck Bool | |||||||||||||||||||||||||||||||||
remove_file :: String -> PatchCheck Bool | |||||||||||||||||||||||||||||||||
remove_dir :: String -> PatchCheck Bool | |||||||||||||||||||||||||||||||||
create_file :: String -> PatchCheck Bool | |||||||||||||||||||||||||||||||||
create_dir :: String -> PatchCheck Bool | |||||||||||||||||||||||||||||||||
insert_line :: String -> Int -> ByteString -> PatchCheck Bool | |||||||||||||||||||||||||||||||||
delete_line :: String -> Int -> ByteString -> PatchCheck Bool | |||||||||||||||||||||||||||||||||
is_valid :: PatchCheck Bool | |||||||||||||||||||||||||||||||||
Returns true if the current repository state is not inconsistent | |||||||||||||||||||||||||||||||||
do_verbose_check :: PatchCheck a -> a | |||||||||||||||||||||||||||||||||
Run a check, and print the final repository state | |||||||||||||||||||||||||||||||||
file_empty | |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
check_move :: String -> String -> PatchCheck Bool | |||||||||||||||||||||||||||||||||
modify_file :: String -> (Maybe FileContents -> Maybe FileContents) -> PatchCheck Bool | |||||||||||||||||||||||||||||||||
data FileContents | |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
Produced by Haddock version 2.6.0 |