Safe Haskell | None |
---|
- data Host = Host [Property] (Attr -> Attr)
- data Attr
- type HostName = 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
- class ActionResult a where
- getActionResult :: a -> (String, ColorIntensity, Color)
- data CmdLine
- data PrivDataField
- type GpgKeyId = String
- data SshKeyType
- = SshRsa
- | SshDsa
- | SshEcdsa
- | SshEd25519
- module Propellor.Types.OS
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) |
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.
data SshKeyType Source
module Propellor.Types.OS