- data PatchInfo
- patchinfo :: String -> String -> String -> [String] -> IO PatchInfo
- invert_name :: PatchInfo -> PatchInfo
- is_inverted :: PatchInfo -> Bool
- idpatchinfo :: PatchInfo
- add_junk :: PatchInfo -> IO PatchInfo
- make_filename :: PatchInfo -> String
- make_alt_filename :: PatchInfo -> String
- readPatchInfo :: ByteString -> Maybe (PatchInfo, ByteString)
- just_name :: PatchInfo -> String
- just_author :: PatchInfo -> String
- repopatchinfo :: String -> PatchInfo -> RepoPatchInfo
- data RepoPatchInfo
- human_friendly :: PatchInfo -> Doc
- to_xml :: PatchInfo -> Doc
- pi_date :: PatchInfo -> CalendarTime
- set_pi_date :: String -> PatchInfo -> PatchInfo
- pi_name :: PatchInfo -> String
- pi_rename :: PatchInfo -> String -> PatchInfo
- pi_author :: PatchInfo -> String
- pi_tag :: PatchInfo -> Maybe String
- pi_log :: PatchInfo -> [String]
- showPatchInfo :: PatchInfo -> Doc
- is_tag :: PatchInfo -> Bool
Documentation
is_inverted :: PatchInfo -> BoolSource
just_author :: PatchInfo -> StringSource
repopatchinfo :: String -> PatchInfo -> RepoPatchInfoSource
human_friendly :: PatchInfo -> DocSource
set_pi_date :: String -> PatchInfo -> PatchInfoSource
showPatchInfo :: PatchInfo -> DocSource
Patch is stored between square brackets.
[ <patch name> <patch author>*<patch date> <patch log (may be empty)> (indented one) <can have multiple lines in patch log,> <as long as they're preceded by a space> <and don't end with a square bracket.> ]
note that below I assume the name has no newline in it.