| Safe Haskell | None |
|---|
Propellor.Types
- 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.
Constructors
| Propellor | |
Fields
| |
The core data type of Propellor, this represents a property that the system should have, and an action to ensure it has the property.
Constructors
| Property | |
Fields
| |
data RevertableProperty Source
A property that can be reverted.
Constructors
| RevertableProperty Property Property |
Instances
data AttrProperty Source
A property that affects the Attr.
Constructors
| forall p . IsProp p => AttrProperty p (Attr -> Attr) |
Instances
Methods
describe :: p -> Desc -> pSource
Sets description.
requires :: p -> Property -> pSource
Indicates that the first property can only be satisfied once the second one is.
Instances
Constructors
| NoChange | |
| MadeChange | |
| FailedChange |
High level descritption of a operating system.
Constructors
| System Distribution Architecture |
data DebianSuite Source
Constructors
| Experimental | |
| Unstable | |
| Testing | |
| Stable | |
| DebianRelease Release |
Instances
type Architecture = StringSource
class ActionResult a whereSource
Results of actions, with color.
Methods
getActionResult :: a -> (String, ColorIntensity, Color)Source
Instances
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.
Constructors
| DockerAuthentication | |
| SshPrivKey UserName | |
| Password UserName | |
| PrivFile FilePath |