Safe Haskell | None |
---|
- data Host = Host [Property] (Attr -> Attr)
- data Attr
- type HostName = String
- type UserName = String
- type GroupName = String
- newtype Propellor p = Propellor {
- runWithAttr :: ReaderT Attr IO p
- data Property = Property {}
- data RevertableProperty = RevertableProperty Property Property
- data AttrProperty = forall p . IsProp p => AttrProperty p (Attr -> Attr)
- class IsProp p where
- type Desc = String
- data Result
- = NoChange
- | MadeChange
- | FailedChange
- data System = System Distribution Architecture
- data Distribution
- data DebianSuite
- = Experimental
- | Unstable
- | Testing
- | Stable
- | DebianRelease Release
- type Release = String
- type Architecture = String
- class ActionResult a where
- getActionResult :: a -> (String, ColorIntensity, Color)
- data CmdLine
- data PrivDataField
Documentation
The attributes of a host. For example, its hostname.
Propellor's monad provides read-only access to attributes of the system.
Propellor | |
|
The core data type of Propellor, this represents a property that the system should have, and an action to ensure it has the property.
Property | |
|
data RevertableProperty Source
A property that can be reverted.
data AttrProperty Source
A property that affects the Attr.
forall p . IsProp p => AttrProperty p (Attr -> Attr) |
High level descritption of a operating system.
data DebianSuite Source
type Architecture = StringSource
class ActionResult a whereSource
Results of actions, with color.
getActionResult :: a -> (String, ColorIntensity, Color)Source
data PrivDataField Source
Note that removing or changing field names will break the serialized privdata files, so don't do that! It's fine to add new fields.