propellor-0.2.1: property-based host configuration management in haskell

Safe HaskellSafe-Inferred

Propellor.Types

Synopsis

Documentation

data Property Source

Constructors

Property 

Fields

propertyDesc :: Desc
 
propertySatisfy :: IO Result

must be idempotent; may run repeatedly

Instances

class IsProp p whereSource

Methods

describe :: p -> Desc -> pSource

Sets description.

toProp :: p -> PropertySource

requires :: p -> Property -> pSource

Indicates that the first property can only be satisfied once the second one is.

data System Source

High level descritption of a operating system.

Instances

class ActionResult a whereSource

Results of actions, with color.

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.