summaryrefslogtreecommitdiff
path: root/src/Propellor/Types/MetaTypes.hs
diff options
context:
space:
mode:
authorJoey Hess2016-03-24 14:39:17 -0400
committerJoey Hess2016-03-24 14:39:17 -0400
commit3aca4c62203c9586f396f35cb780c4a79fa0c099 (patch)
tree31b460fadecea91177bb7bcfd38d96d09b403f2e /src/Propellor/Types/MetaTypes.hs
parent7cc8250a1ac0ad0d95e1ecad35280e3572cc6a89 (diff)
1st stage integrating MetaTypes
Diffstat (limited to 'src/Propellor/Types/MetaTypes.hs')
-rw-r--r--src/Propellor/Types/MetaTypes.hs8
1 files changed, 3 insertions, 5 deletions
diff --git a/src/Propellor/Types/MetaTypes.hs b/src/Propellor/Types/MetaTypes.hs
index de6ffea3..b6d72dcd 100644
--- a/src/Propellor/Types/MetaTypes.hs
+++ b/src/Propellor/Types/MetaTypes.hs
@@ -1,9 +1,6 @@
{-# LANGUAGE TypeOperators, PolyKinds, DataKinds, TypeFamilies, UndecidableInstances, FlexibleInstances, GADTs #-}
module Propellor.Types.MetaTypes (
- Property(..),
- mkProperty,
- mkProperty',
MetaType(..),
OS(..),
UnixLike,
@@ -19,6 +16,7 @@ module Propellor.Types.MetaTypes (
Sing,
sing,
SingI,
+ Union,
) where
----- DEMO ----------
@@ -27,8 +25,8 @@ foo :: Property (HasInfo + FreeBSD)
foo = mkProperty' $ \t -> do
ensureProperty t jail
--- bar :: Property (Debian + UsesPort 80 + FreeBSD)
--- bar = aptinstall `pickOS` jail
+bar :: Property (Debian + FreeBSD)
+bar = aptinstall `pickOS` jail
aptinstall :: Property Debian
aptinstall = mkProperty $ do