From 61d8214d9d8cea6ba047d1a26f9edc1ea180234b Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Sun, 30 Mar 2014 19:10:32 -0400 Subject: propellor spin --- Types.hs | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 Types.hs (limited to 'Types.hs') 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 -- cgit v1.2.3