diff options
Diffstat (limited to 'Types.hs')
| -rw-r--r-- | Types.hs | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/Types.hs b/Types.hs deleted file mode 100644 index d22bd171..00000000 --- a/Types.hs +++ /dev/null @@ -1,22 +0,0 @@ -module Types where - -type HostName = String -type UserName = String - -data Property = Property - { propertyDesc :: Desc - -- must be idempotent; may run repeatedly - , propertySatisfy :: IO Result - } - -type Desc = String - -data Result = NoChange | MadeChange | FailedChange - deriving (Show, Eq) - -combineResult :: Result -> Result -> Result -combineResult FailedChange _ = FailedChange -combineResult _ FailedChange = FailedChange -combineResult MadeChange _ = MadeChange -combineResult _ MadeChange = MadeChange -combineResult NoChange NoChange = NoChange |