Precis.Properties

Contents

• Property type
• Edit type
• Edit operations

Description

Synopsis

• data Property n = Property {
  • property_name :: String
  • property_description :: String
  • property_value :: n
  }
• data Edit a
  • = Added a
  • | Conflict a a
  • | Same a
  • | Removed a
• difference :: (a -> a -> Bool) -> (a -> a -> Bool) -> [a] -> [a] -> [Edit a]
• diffProperty :: (n -> n -> b) -> Property n -> Property n -> b
• addedRemoved :: [Edit a] -> ([a], [a])
• summarizeAddedRemoved :: String -> String -> (a -> String) -> [Edit a] -> ShowS
• summarizeConflictRemoved :: String -> String -> (a -> String) -> [Edit a] -> ShowS
• summarizeAddedConflictRemoved :: String -> String -> (a -> String) -> [Edit a] -> ShowS

Property type

Edit type

Edit operations