Propellor.Types.Info

Documentation

data Info

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

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

Instances

Show Info

Monoid Info

class (Typeable v, Monoid 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

propigateInfo :: v -> Bool

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

Instances

IsInfo NamedConfMap

IsInfo DnsInfo

DNS Info is propigated, so that eg, aliases of a container are reflected in the dns for the host where it runs.

IsInfo AliasesInfo

IsInfo PrivInfo

IsInfo ChrootInfo

IsInfo DockerInfo

Typeable * v => IsInfo (InfoVal v)

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

getInfo :: IsInfo v => Info -> v

propigatableInfo :: Info -> Info

Filters out parts of the Info that should not propigate out of a container.

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 propigate out of a container.

Constructors

NoInfoVal

InfoVal v

Instances

Monoid (InfoVal v)

Typeable * v => IsInfo (InfoVal v)

Typeable (* -> *) InfoVal

fromInfoVal :: InfoVal v -> Maybe v

class Typeable a

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

Minimal complete definition

typeRep#

Instances

Typeable * Bool

Typeable * Char

Typeable * Double

Typeable * Float

Typeable * Int

Typeable * Int8

Typeable * Int16

Typeable * Int32

Typeable * Int64

Typeable * Integer

Typeable * Ordering

Typeable * RealWorld

Typeable * Word

Typeable * Word8

Typeable * Word16

Typeable * Word32

Typeable * Word64

Typeable * ()

Typeable * Fd

Typeable * CRLim

Typeable * CTcflag

Typeable * CSpeed

Typeable * CCc

Typeable * CUid

Typeable * CNlink

Typeable * CGid

Typeable * CSsize

Typeable * CPid

Typeable * COff

Typeable * CMode

Typeable * CIno

Typeable * CDev

Typeable * Handle

Typeable * ThreadId

Typeable * Handle__

Typeable * SpecConstrAnnotation

Typeable * E0

Typeable * E1

Typeable * E2

Typeable * E3

Typeable * E6

Typeable * E9

Typeable * E12

Typeable * BlockedIndefinitelyOnMVar

Typeable * BlockedIndefinitelyOnSTM

Typeable * Deadlock

Typeable * AssertionFailed

Typeable * SomeAsyncException

Typeable * AsyncException

Typeable * ArrayException

Typeable * ExitCode

Typeable * CChar

Typeable * CSChar

Typeable * CUChar

Typeable * CShort

Typeable * CUShort

Typeable * CInt

Typeable * CUInt

Typeable * CLong

Typeable * CULong

Typeable * CLLong

Typeable * CULLong

Typeable * CFloat

Typeable * CDouble

Typeable * CPtrdiff

Typeable * CSize

Typeable * CWchar

Typeable * CSigAtomic

Typeable * CClock

Typeable * CTime

Typeable * CUSeconds

Typeable * CSUSeconds

Typeable * CIntPtr

Typeable * CUIntPtr

Typeable * CIntMax

Typeable * CUIntMax

Typeable * Dynamic

Typeable * IOException

Typeable * ErrorCall

Typeable * ArithException

Typeable * TypeRep

Typeable * TyCon

Typeable * SomeException

Typeable * ByteString

Typeable * ByteString

Typeable * ServiceEntry

Typeable * ProtocolEntry

Typeable * HostEntry

Typeable * NetworkEntry

Typeable * SocketOption

Typeable * ShutdownCmd

Typeable * AddrInfoFlag

Typeable * AddrInfo

Typeable * NameInfoFlag

Typeable * Socket

Typeable * SocketStatus

Typeable * SocketType

Typeable * PortNumber

Typeable * SockAddr

Typeable * LocalTime

Typeable * ZonedTime

Typeable * TimeOfDay

Typeable * TimeZone

Typeable * UTCTime

Typeable * NominalDiffTime

Typeable * Day

Typeable * Handler

Typeable * System

Typeable * NamedConfMap

Typeable * Record

Typeable * DnsInfo

Typeable * AliasesInfo

Typeable * Host

Typeable * PrivInfo

Typeable * ChrootInfo

Typeable * DockerInfo

(Typeable (k1 -> k) s, Typeable k1 a) => Typeable k (s a)

Kind-polymorphic Typeable instance for type application

Typeable ((* -> *) -> Constraint) Alternative

Typeable ((* -> *) -> Constraint) Applicative

Typeable (* -> * -> * -> * -> * -> * -> * -> *) (,,,,,,)

Typeable (* -> * -> * -> * -> * -> * -> *) (,,,,,)

Typeable (* -> * -> * -> * -> * -> *) (,,,,)

Typeable (* -> * -> * -> * -> *) (,,,)

Typeable (* -> * -> * -> *) (,,)

Typeable (* -> * -> * -> *) STArray

Typeable (* -> * -> *) (->)

Typeable (* -> * -> *) Either

Typeable (* -> * -> *) (,)

Typeable (* -> * -> *) ST

Typeable (* -> * -> *) Array

Typeable (* -> * -> *) STRef

Typeable (* -> * -> *) Map

Typeable (* -> *) []

Typeable (* -> *) Ratio

Typeable (* -> *) IO

Typeable (* -> *) Ptr

Typeable (* -> *) FunPtr

Typeable (* -> *) ForeignPtr

Typeable (* -> *) Fixed

Typeable (* -> *) Complex

Typeable (* -> *) STM

Typeable (* -> *) TVar

Typeable (* -> *) MVar

Typeable (* -> *) Maybe

Typeable (* -> *) Set

Typeable (* -> *) InfoVal

Typeable (* -> Constraint) Monoid

Typeable (k -> *) (Proxy k)

Typeable (k -> k -> *) (Coercion k)

Typeable (k -> k -> *) ((:~:) k)