summaryrefslogtreecommitdiff
path: root/src/Propellor.hs
blob: a371ea446145aa7cc00f59ee81eb0b2bf4e8325c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
{-# OPTIONS_GHC -fno-warn-duplicate-exports #-}

-- | When propellor runs on a Host, it ensures that its Properties
-- are satisfied, taking action as necessary when a Property is not
-- currently satisfied.
--
-- A simple propellor program example:
--
-- > import Propellor
-- > import qualified Propellor.Property.File as File
-- > import qualified Propellor.Property.Apt as Apt
-- > 
-- > main :: IO ()
-- > main = defaultMain hosts
-- > 
-- > hosts :: [Host]
-- > hosts = [example]
-- > 
-- > example :: Host
-- > example = host "example.com" $ props
-- >     & Apt.installed ["mydaemon"]
-- >     & "/etc/mydaemon.conf" `File.containsLine` "secure=1"
-- >       `onChange` cmdProperty "service" ["mydaemon", "restart"]
-- >     ! Apt.installed ["unwantedpackage"]
--
-- See config.hs for a more complete example, and clone Propellor's
-- git repository for a deployable system using Propellor:
-- git clone <git://git.joeyh.name/propellor>

module Propellor (
	-- * Core data types
	  Host(..)
	, Property
	, RevertableProperty
	, module Propellor.Types
	-- * Config file
	, defaultMain
	, host
	, (&)
	, (!)
	-- * Propertries
	-- | Properties are often combined together in your propellor
	-- configuration. For example:
	--
	-- > "/etc/foo/config" `File.containsLine` "bar=1"
	-- > 	`requires` File.dirExists "/etc/foo"
	, requires
	, before
	, onChange
	, describe
	, module Propellor.Property
	-- | Everything you need to build your own properties,
	-- and useful property combinators
	, module Propellor.Property.Cmd
	-- | Properties to run shell commands
	, module Propellor.Info
	-- | Properties that set `Info`
	, module Propellor.Property.List
	-- | Combining a list of properties into a single property
	, module Propellor.Types.PrivData
	-- | Private data access for properties

	, module X
) where

import Propellor.Types
import Propellor.CmdLine (defaultMain)
import Propellor.Property
import Propellor.Property.List
import Propellor.Property.Cmd
import Propellor.Types.PrivData
import Propellor.Info
import Propellor.PropAccum

import Data.Monoid as X
import Data.String as X (fromString)