1 files changed, 22 insertions, 0 deletions
diff --git a/Types.hs b/Types.hs
new file mode 100644
index 00000000..d22bd171
--- /dev/null
+++ b/Types.hs
@@ -0,0 +1,22 @@
+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