Propellor.Types.Info

Documentation

newtype Info

Information about a Host, which can be provided by its properties.

Many different types of data can be contained in the same Info value at the same time. See toInfo and fromInfo.

Constructors

Info [InfoEntry]

Instances

Show Info

Defined in Propellor.Types.Info

Methods

showsPrec :: Int -> Info -> ShowS

show :: Info -> String

showList :: [Info] -> ShowS

Semigroup Info

Defined in Propellor.Types.Info

Methods

(<>) :: Info -> Info -> Info

sconcat :: NonEmpty Info -> Info

stimes :: Integral b => b -> Info -> Info

Monoid Info

Defined in Propellor.Types.Info

Methods

mempty :: Info

mappend :: Info -> Info -> Info

mconcat :: [Info] -> Info

data InfoEntry where

Constructors

InfoEntry :: (IsInfo v, Typeable v) => v -> InfoEntry

Instances

Show InfoEntry

Defined in Propellor.Types.Info

Methods

showsPrec :: Int -> InfoEntry -> ShowS

show :: InfoEntry -> String

showList :: [InfoEntry] -> ShowS

class (Typeable v, Monoid v, Show v) => IsInfo v where

Values stored in Info must be members of this class.

This is used to avoid accidentially using other data types as info, especially type aliases which coud easily lead to bugs. We want a little bit of dynamic types here, but not too far..

Methods

propagateInfo :: v -> PropagateInfo

Should this info be propagated out of a container to its Host?

Instances

IsInfo NamedConfMap

Defined in Propellor.Types.Dns

Methods

propagateInfo :: NamedConfMap -> PropagateInfo

IsInfo DnsInfoUnpropagated

Defined in Propellor.Types.Dns

Methods

propagateInfo :: DnsInfoUnpropagated -> PropagateInfo

IsInfo DnsInfoPropagated

Defined in Propellor.Types.Dns

Methods

propagateInfo :: DnsInfoPropagated -> PropagateInfo

IsInfo AliasesInfo

Defined in Propellor.Types.Dns

Methods

propagateInfo :: AliasesInfo -> PropagateInfo

IsInfo DockerInfo

Defined in Propellor.Types.Docker

Methods

propagateInfo :: DockerInfo -> PropagateInfo

IsInfo ChrootInfo

Defined in Propellor.Types.Chroot

Methods

propagateInfo :: ChrootInfo -> PropagateInfo

IsInfo PrivInfo

Defined in Propellor.PrivData

Methods

propagateInfo :: PrivInfo -> PropagateInfo

IsInfo PkgUpgrade

Defined in Propellor.Property.FreeBSD.Pkg

Methods

propagateInfo :: PkgUpgrade -> PropagateInfo

IsInfo PkgUpdate

Defined in Propellor.Property.FreeBSD.Pkg

Methods

propagateInfo :: PkgUpdate -> PropagateInfo

IsInfo PoudriereConfigured

Defined in Propellor.Property.FreeBSD.Poudriere

Methods

propagateInfo :: PoudriereConfigured -> PropagateInfo

IsInfo PartInfo

Defined in Propellor.Property.DiskImage.PartSpec

Methods

propagateInfo :: PartInfo -> PropagateInfo

IsInfo [ContainerCapability]

A [ContainerCapability] can be used as Info. It does not propagate out to the Host. When not in a container, the Info value will be [].

Defined in Propellor.Types.Container

Methods

propagateInfo :: [ContainerCapability] -> PropagateInfo

IsInfo [BootloaderInstalled]

Defined in Propellor.Types.Bootloader

Methods

propagateInfo :: [BootloaderInstalled] -> PropagateInfo

(Typeable v, Show v) => IsInfo (InfoVal v)

Defined in Propellor.Types.Info

Methods

propagateInfo :: InfoVal v -> PropagateInfo

data PropagateInfo

Constructors

PropagateInfo Bool

PropagatePrivData

Info about PrivData generally will be propigated even in cases where other Info is not, so it treated specially.

addInfo :: IsInfo v => Info -> v -> Info

Any value in the IsInfo type class can be added to an Info.

toInfo :: IsInfo v => v -> Info

Converts any value in the IsInfo type class into an Info, which is otherwise empty.

fromInfo :: IsInfo v => Info -> v

Extracts a value from an Info.

mapInfo :: IsInfo v => (v -> v) -> Info -> Info

Maps a function over all values stored in the Info that are of the appropriate type.

data InfoVal v

Use this to put a value in Info that is not a monoid. The last value set will be used. This info does not propagate out of a container.

Constructors

NoInfoVal

InfoVal v

Instances

Show v => Show (InfoVal v)

Defined in Propellor.Types.Info

Methods

showsPrec :: Int -> InfoVal v -> ShowS

show :: InfoVal v -> String

showList :: [InfoVal v] -> ShowS

Semigroup (InfoVal v)

Defined in Propellor.Types.Info

Methods

(<>) :: InfoVal v -> InfoVal v -> InfoVal v

sconcat :: NonEmpty (InfoVal v) -> InfoVal v

stimes :: Integral b => b -> InfoVal v -> InfoVal v

Monoid (InfoVal v)

Defined in Propellor.Types.Info

Methods

mempty :: InfoVal v

mappend :: InfoVal v -> InfoVal v -> InfoVal v

mconcat :: [InfoVal v] -> InfoVal v

(Typeable v, Show v) => IsInfo (InfoVal v)

Defined in Propellor.Types.Info

Methods

propagateInfo :: InfoVal v -> PropagateInfo

fromInfoVal :: InfoVal v -> Maybe v

class Typeable (a :: k)

The class Typeable allows a concrete representation of a type to be calculated.

Minimal complete definition

typeRep#