Safe Haskell	Safe-Inferred
Language	Haskell98

Propellor.Types.Info

Synopsis

Documentation

data Info Source

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 Source

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 Source

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 Source

getInfo :: IsInfo v => Info -> v Source

propigatableInfo :: Info -> Info Source

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

data InfoVal v Source

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 Source

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)