| ||||||||||||||||
| ||||||||||||||||
| Documentation | ||||||||||||||||
| data Patch where | ||||||||||||||||
| ||||||||||||||||
| data Named p where | ||||||||||||||||
| ||||||||||||||||
| is_null_patch :: Patch -> Bool | ||||||||||||||||
| nullP :: Patch -> EqCheck | ||||||||||||||||
| is_merger :: Patch -> Bool | ||||||||||||||||
| merger_undo :: Patch -> Patch | ||||||||||||||||
| flattenFL :: Patch -> FL Patch | ||||||||||||||||
| join_patchesFL :: FL Patch -> Patch | ||||||||||||||||
| infopatch :: Patchy p => PatchInfo -> p -> Named p | ||||||||||||||||
| adddeps :: Named p -> [PatchInfo] -> Named p | ||||||||||||||||
| getdeps :: Named p -> [PatchInfo] | ||||||||||||||||
| namepatch :: Patchy p => String -> String -> String -> [String] -> p -> IO (Named p) | ||||||||||||||||
| anonymous :: Patchy p => p -> IO (Named p) | ||||||||||||||||
| patch2patchinfo :: Named p -> PatchInfo | ||||||||||||||||
| patchname :: Named p -> String | ||||||||||||||||
| patchcontents :: Named p -> p | ||||||||||||||||
| Produced by Haddock version 2.4.2 |