Propellor.Types.Singletons

Simple implementation of singletons, portable back to ghc 7.6.3

Documentation

class kparam ~ KProxy => SingKind (kparam :: KProxy k) where

Minimal complete definition

fromSing

Associated Types

type DemoteRep kparam :: *

Methods

fromSing :: Sing (a :: k) -> DemoteRep kparam

From singleton to value.

Instances

SingKind (KProxy :: KProxy Bool)

Defined in Propellor.Types.Singletons

Associated Types

type DemoteRep KProxy :: *

Methods

fromSing :: Sing a -> DemoteRep KProxy0

SingKind (KProxy :: KProxy MetaType)

Defined in Propellor.Types.MetaTypes

Associated Types

type DemoteRep KProxy :: *

Methods

fromSing :: Sing a -> DemoteRep KProxy0

SingKind (KProxy :: KProxy a) => SingKind (KProxy :: KProxy [a])

Defined in Propellor.Types.Singletons

Associated Types

type DemoteRep KProxy :: *

Methods

fromSing :: Sing a0 -> DemoteRep KProxy0

class SingI t where

A class used to pass singleton values implicitly.

Minimal complete definition

sing

Methods

sing :: Sing t

Instances

SingI False

Defined in Propellor.Types.Singletons

Methods

sing :: Sing False

SingI True

Defined in Propellor.Types.Singletons

Methods

sing :: Sing True

SingI WithInfo

Defined in Propellor.Types.MetaTypes

Methods

sing :: Sing WithInfo

SingI (Targeting OSDebian)

Defined in Propellor.Types.MetaTypes

Methods

sing :: Sing (Targeting OSDebian)

SingI (Targeting OSBuntish)

Defined in Propellor.Types.MetaTypes

Methods

sing :: Sing (Targeting OSBuntish)

SingI (Targeting OSArchLinux)

Defined in Propellor.Types.MetaTypes

Methods

sing :: Sing (Targeting OSArchLinux)

SingI (Targeting OSFreeBSD)

Defined in Propellor.Types.MetaTypes

Methods

sing :: Sing (Targeting OSFreeBSD)

SingI ([] :: [k])

Defined in Propellor.Types.Singletons

Methods

sing :: Sing []

(SingI x, SingI xs) => SingI (x ': xs :: [a])

Defined in Propellor.Types.Singletons

Methods

sing :: Sing (x ': xs)

data family Sing (x :: k)

The data family of singleton types.

Instances

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.

Defined in Propellor.Types

Methods

(<>) :: Property (MetaTypes metatypes) -> Property (MetaTypes metatypes) -> Property (MetaTypes metatypes)

sconcat :: NonEmpty (Property (MetaTypes metatypes)) -> Property (MetaTypes metatypes)

stimes :: Integral b => b -> Property (MetaTypes metatypes) -> Property (MetaTypes metatypes)

SingI metatypes => Monoid (Property (MetaTypes metatypes))

Any type of Property is a Monoid.

Defined in Propellor.Types

Methods

mempty :: Property (MetaTypes metatypes)

mappend :: Property (MetaTypes metatypes) -> Property (MetaTypes metatypes) -> Property (MetaTypes metatypes)

mconcat :: [Property (MetaTypes metatypes)] -> Property (MetaTypes metatypes)

(CheckCombinable x y ~ CanCombine, SingI (Combine x y)) => Combines (Property (MetaTypes x)) (Property (MetaTypes y))

Defined in Propellor.Types

Methods

combineWith :: ResultCombiner -> ResultCombiner -> Property (MetaTypes x) -> Property (MetaTypes y) -> CombinedType (Property (MetaTypes x)) (Property (MetaTypes y))

(CheckCombinable x y ~ CanCombine, SingI (Combine x y)) => Combines (Property (MetaTypes x)) (RevertableProperty (MetaTypes y) (MetaTypes y'))

Defined in Propellor.Types

Methods

combineWith :: ResultCombiner -> ResultCombiner -> Property (MetaTypes x) -> RevertableProperty (MetaTypes y) (MetaTypes y') -> CombinedType (Property (MetaTypes x)) (RevertableProperty (MetaTypes y) (MetaTypes y'))

(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.

Defined in Propellor.Types

Methods

(<>) :: RevertableProperty (MetaTypes setupmetatypes) (MetaTypes undometatypes) -> RevertableProperty (MetaTypes setupmetatypes) (MetaTypes undometatypes) -> RevertableProperty (MetaTypes setupmetatypes) (MetaTypes undometatypes)

sconcat :: NonEmpty (RevertableProperty (MetaTypes setupmetatypes) (MetaTypes undometatypes)) -> RevertableProperty (MetaTypes setupmetatypes) (MetaTypes undometatypes)

stimes :: Integral b => b -> RevertableProperty (MetaTypes setupmetatypes) (MetaTypes undometatypes) -> RevertableProperty (MetaTypes setupmetatypes) (MetaTypes undometatypes)

(Monoid (Property (MetaTypes setupmetatypes)), Monoid (Property (MetaTypes undometatypes)), SingI setupmetatypes, SingI undometatypes) => Monoid (RevertableProperty (MetaTypes setupmetatypes) (MetaTypes undometatypes))

Defined in Propellor.Types

Methods

mempty :: RevertableProperty (MetaTypes setupmetatypes) (MetaTypes undometatypes)

mappend :: RevertableProperty (MetaTypes setupmetatypes) (MetaTypes undometatypes) -> RevertableProperty (MetaTypes setupmetatypes) (MetaTypes undometatypes) -> RevertableProperty (MetaTypes setupmetatypes) (MetaTypes undometatypes)

mconcat :: [RevertableProperty (MetaTypes setupmetatypes) (MetaTypes undometatypes)] -> RevertableProperty (MetaTypes setupmetatypes) (MetaTypes undometatypes)

(CheckCombinable x y ~ CanCombine, SingI (Combine x y)) => Combines (RevertableProperty (MetaTypes x) (MetaTypes x')) (Property (MetaTypes y))

Defined in Propellor.Types

Methods

combineWith :: ResultCombiner -> ResultCombiner -> RevertableProperty (MetaTypes x) (MetaTypes x') -> Property (MetaTypes y) -> CombinedType (RevertableProperty (MetaTypes x) (MetaTypes x')) (Property (MetaTypes y))

(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'))

Defined in Propellor.Types

Methods

combineWith :: ResultCombiner -> ResultCombiner -> RevertableProperty (MetaTypes x) (MetaTypes x') -> RevertableProperty (MetaTypes y) (MetaTypes y') -> CombinedType (RevertableProperty (MetaTypes x) (MetaTypes x')) (RevertableProperty (MetaTypes y) (MetaTypes y'))

data Sing (x :: Bool)

Defined in Propellor.Types.Singletons

data Sing (x :: Bool) where

• TrueS :: Sing True
• FalseS :: Sing False

data Sing (x :: MetaType)

Defined in Propellor.Types.MetaTypes

data Sing (x :: MetaType) where

• OSDebianS :: Sing (Targeting OSDebian)
• OSBuntishS :: Sing (Targeting OSBuntish)
• OSFreeBSDS :: Sing (Targeting OSFreeBSD)
• OSArchLinuxS :: Sing (Targeting OSArchLinux)
• WithInfoS :: Sing WithInfo

data Sing (x :: [k])

Defined in Propellor.Types.Singletons

data Sing (x :: [k]) where

• Nil :: Sing ([] :: [k])
• Cons :: Sing (x ': xs)

data KProxy t

A concrete, promotable proxy type, for use at the kind level There are no instances for this because it is intended at the kind level only

Constructors

KProxy