summaryrefslogtreecommitdiff
path: root/Types.hs
diff options
context:
space:
mode:
Diffstat (limited to 'Types.hs')
-rw-r--r--Types.hs22
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