Propellor.Property

# Property combinators

requires

before

onChange

onChangeFlagOnFail

flagFile

flagFile'

check

fallback

revert

# Property descriptions

describe

(==>)

# Constructing properties

data Propellor p

property

property'

data OuterMetaTypesWitness metatypes

ensureProperty

pickOS

withOS

unsupportedOS

unsupportedOS'

makeChange

noChange

doNothing

impossible

endAction

# Property result checking

data UncheckedProperty i

unchecked

changesFile

changesFileContent

isNewerThan

checkResult

class Checkable p i

assume