SingI metatypes => Semigroup (Property (MetaTypes metatypes)) # | Any type of Property is a Semigroup. When properties x and y are
appended together, the resulting property has a description like
"x and y". Note that when x fails to be ensured, it will not
try to ensure y. |
Instance detailsDefined in Propellor.Types |
SingI metatypes => Monoid (Property (MetaTypes metatypes)) # | Any type of Property is a Monoid. |
Instance detailsDefined in Propellor.Types |
(CheckCombinable x y ~ CanCombine, SingI (Combine x y)) => Combines (Property (MetaTypes x)) (Property (MetaTypes y)) Source # | |
Instance detailsDefined in Propellor.Types |
(CheckCombinable x y ~ CanCombine, SingI (Combine x y)) => Combines (Property (MetaTypes x)) (RevertableProperty (MetaTypes y) (MetaTypes y')) Source # | |
Instance detailsDefined in Propellor.Types |
(Semigroup (Property (MetaTypes setupmetatypes)), Semigroup (Property (MetaTypes undometatypes)), SingI setupmetatypes, SingI undometatypes) => Semigroup (RevertableProperty (MetaTypes setupmetatypes) (MetaTypes undometatypes)) # | Any type of RevertableProperty is a Semigroup. When revertable
properties x and y are appended together, the resulting revertable
property has a description like "x and y".
Note that when x fails to be ensured, it will not try to ensure y. |
Instance detailsDefined in Propellor.Types |
(Monoid (Property (MetaTypes setupmetatypes)), Monoid (Property (MetaTypes undometatypes)), SingI setupmetatypes, SingI undometatypes) => Monoid (RevertableProperty (MetaTypes setupmetatypes) (MetaTypes undometatypes)) # | |
Instance detailsDefined in Propellor.Types |
(CheckCombinable x y ~ CanCombine, SingI (Combine x y)) => Combines (RevertableProperty (MetaTypes x) (MetaTypes x')) (Property (MetaTypes y)) Source # | |
Instance detailsDefined in Propellor.Types |
(CheckCombinable x y ~ CanCombine, CheckCombinable x' y' ~ CanCombine, SingI (Combine x y), SingI (Combine x' y')) => Combines (RevertableProperty (MetaTypes x) (MetaTypes x')) (RevertableProperty (MetaTypes y) (MetaTypes y')) Source # | |
Instance detailsDefined in Propellor.Types |
data Sing (x :: Bool) Source # | |
Instance detailsDefined in Propellor.Types.Singletons |
data Sing (x :: MetaType) Source # | |
Instance detailsDefined in Propellor.Types.MetaTypes |
data Sing (x :: [k]) Source # | |
Instance detailsDefined in Propellor.Types.Singletons data Sing (x :: [k]) where |