Safe Haskell	None

Ganeti.Objects.Disk

Description

Implementation of the Ganeti Disk config object.

Synopsis

devType :: String
type DiskParams = Container JSValue
type DRBDSecret = String
data LogicalVolume = LogicalVolume {
- lvGroup :: String
- lvVolume :: String
}
data DiskLogicalId
- = LIDPlain LogicalVolume
- | LIDDrbd8 String String Int Int Int (Private DRBDSecret)
- | LIDFile FileDriver String
- | LIDSharedFile FileDriver String
- | LIDGluster FileDriver String
- | LIDBlockDev BlockDriver String
- | LIDRados String String
- | LIDExt String String
lidDiskType :: DiskLogicalId -> DiskTemplate
lidEncodeType :: DiskLogicalId -> [(String, JSValue)]
encodeDLId :: DiskLogicalId -> JSValue
encodeFullDLId :: DiskLogicalId -> (JSValue, [(String, JSValue)])
decodeDLId :: [(String, JSValue)] -> JSValue -> Result DiskLogicalId
data Disk
- = RealDisk RealDiskData
- | ForthcomingDisk ForthcomingDiskData
data ForthcomingDiskData = ForthcomingDiskData {
- forthcomingDiskLogicalId :: (Maybe DiskLogicalId)
- forthcomingDiskChildren :: [Disk]
- forthcomingDiskNodes :: [String]
- forthcomingDiskIvName :: String
- forthcomingDiskSize :: (Maybe Int)
- forthcomingDiskMode :: DiskMode
- forthcomingDiskName :: (Maybe String)
- forthcomingDiskSpindles :: (Maybe Int)
- forthcomingDiskParams :: (Maybe DiskParams)
- forthcomingDiskUuid :: ByteString
- forthcomingDiskSerial :: Int
- forthcomingDiskCtime :: ClockTime
- forthcomingDiskMtime :: ClockTime
}
data RealDiskData = RealDiskData {
- realDiskLogicalId :: DiskLogicalId
- realDiskChildren :: [Disk]
- realDiskNodes :: [String]
- realDiskIvName :: String
- realDiskSize :: Int
- realDiskMode :: DiskMode
- realDiskName :: (Maybe String)
- realDiskSpindles :: (Maybe Int)
- realDiskParams :: (Maybe DiskParams)
- realDiskUuid :: ByteString
- realDiskSerial :: Int
- realDiskCtime :: ClockTime
- realDiskMtime :: ClockTime
}
diskMtimeL :: Lens' Disk ClockTime
diskCtimeL :: Lens' Disk ClockTime
diskSerialL :: Lens' Disk Int
diskUuidL :: Lens' Disk ByteString
diskParamsL :: Lens' Disk (Maybe DiskParams)
diskSpindlesL :: Lens' Disk (Maybe Int)
diskNameL :: Lens' Disk (Maybe String)
diskModeL :: Lens' Disk DiskMode
diskSizeL :: Lens Disk Disk (Maybe Int) Int
diskIvNameL :: Lens' Disk String
diskNodesL :: Lens' Disk [String]
diskChildrenL :: Lens' Disk [Disk]
diskLogicalIdL :: Lens Disk Disk (Maybe DiskLogicalId) DiskLogicalId
diskMtime :: Disk -> ClockTime
diskCtime :: Disk -> ClockTime
diskSerial :: Disk -> Int
diskUuid :: Disk -> ByteString
diskParams :: Disk -> Maybe DiskParams
diskSpindles :: Disk -> Maybe Int
diskName :: Disk -> Maybe String
diskMode :: Disk -> DiskMode
diskSize :: Disk -> Maybe Int
diskIvName :: Disk -> String
diskNodes :: Disk -> [String]
diskChildren :: Disk -> [Disk]
diskLogicalId :: Disk -> Maybe DiskLogicalId
diskForthcoming :: Disk -> Bool
loadForthcomingDiskData :: JSValue -> Result ForthcomingDiskData
saveForthcomingDiskData :: ForthcomingDiskData -> JSValue
loadRealDiskData :: JSValue -> Result RealDiskData
saveRealDiskData :: RealDiskData -> JSValue
includesLogicalId :: LogicalVolume -> Disk -> Bool

Documentation

devType :: String Source #

Constant for the dev_type key entry in the disk config.

type DiskParams = Container JSValue Source #

The disk parameters type.

type DRBDSecret = String Source #

An alias for DRBD secrets

data LogicalVolume Source #

Constructors

LogicalVolume
Fields lvGroup :: String lvVolume :: String

Instances

Instances details

Eq LogicalVolume #
Instance details Defined in Ganeti.Objects.Disk Methods (==) :: LogicalVolume -> LogicalVolume -> Bool (/=) :: LogicalVolume -> LogicalVolume -> Bool
Ord LogicalVolume #
Instance details Defined in Ganeti.Objects.Disk Methods compare :: LogicalVolume -> LogicalVolume -> Ordering (<) :: LogicalVolume -> LogicalVolume -> Bool (<=) :: LogicalVolume -> LogicalVolume -> Bool (>) :: LogicalVolume -> LogicalVolume -> Bool (>=) :: LogicalVolume -> LogicalVolume -> Bool max :: LogicalVolume -> LogicalVolume -> LogicalVolume min :: LogicalVolume -> LogicalVolume -> LogicalVolume
Show LogicalVolume #
Instance details Defined in Ganeti.Objects.Disk Methods showsPrec :: Int -> LogicalVolume -> ShowS show :: LogicalVolume -> String showList :: [LogicalVolume] -> ShowS
JSON LogicalVolume #
Instance details Defined in Ganeti.Objects.Disk Methods readJSON :: JSValue -> Result LogicalVolume showJSON :: LogicalVolume -> JSValue readJSONs :: JSValue -> Result [LogicalVolume] showJSONs :: [LogicalVolume] -> JSValue
Validatable LogicalVolume #	Check the constraints for VG/LV names (except the `/dev/` check).
Instance details Defined in Ganeti.Objects.Disk Methods validate :: LogicalVolume -> ValidationMonad () Source #
Arbitrary LogicalVolume
Instance details Defined in Test.Ganeti.Objects Methods arbitrary :: Gen LogicalVolume shrink :: LogicalVolume -> [LogicalVolume]

data DiskLogicalId Source #

The disk configuration type. This includes the disk type itself, for a more complete consistency. Note that since in the Python code-base there's no authoritative place where we document the logical id, this is probably a good reference point. There is a bijective correspondence between the DiskLogicalId constructors and DiskTemplate.

Constructors

LIDPlain LogicalVolume	Volume group, logical volume
LIDDrbd8 String String Int Int Int (Private DRBDSecret)	NodeA, NodeB, Port, MinorA, MinorB, Secret
LIDFile FileDriver String	Driver, path
LIDSharedFile FileDriver String	Driver, path
LIDGluster FileDriver String	Driver, path
LIDBlockDev BlockDriver String	Driver, path (must be under /dev)
LIDRados String String	Unused, path
LIDExt String String	ExtProvider, unique name

Instances

Instances details

Eq DiskLogicalId #
Instance details Defined in Ganeti.Objects.Disk Methods (==) :: DiskLogicalId -> DiskLogicalId -> Bool (/=) :: DiskLogicalId -> DiskLogicalId -> Bool
Show DiskLogicalId #
Instance details Defined in Ganeti.Objects.Disk Methods showsPrec :: Int -> DiskLogicalId -> ShowS show :: DiskLogicalId -> String showList :: [DiskLogicalId] -> ShowS
Arbitrary DiskLogicalId
Instance details Defined in Test.Ganeti.Objects Methods arbitrary :: Gen DiskLogicalId shrink :: DiskLogicalId -> [DiskLogicalId]

lidDiskType :: DiskLogicalId -> DiskTemplate Source #

Mapping from a logical id to a disk type.

lidEncodeType :: DiskLogicalId -> [(String, JSValue)] Source #

Builds the extra disk_type field for a given logical id.

encodeDLId :: DiskLogicalId -> JSValue Source #

Custom encoder for DiskLogicalId (logical id only).

encodeFullDLId :: DiskLogicalId -> (JSValue, [(String, JSValue)]) Source #

Custom encoder for DiskLogicalId, composing both the logical id and the extra disk_type field.

decodeDLId :: [(String, JSValue)] -> JSValue -> Result DiskLogicalId Source #

Custom decoder for DiskLogicalId. This is manual for now, since we don't have yet automation for separate-key style fields.

data Disk Source #

Disk data structure.

Constructors

RealDisk RealDiskData
ForthcomingDisk ForthcomingDiskData

Instances

Instances details

Eq Disk #
Instance details Defined in Ganeti.Objects.Disk Methods (==) :: Disk -> Disk -> Bool (/=) :: Disk -> Disk -> Bool
Show Disk #
Instance details Defined in Ganeti.Objects.Disk Methods showsPrec :: Int -> Disk -> ShowS show :: Disk -> String showList :: [Disk] -> ShowS
JSON Disk #
Instance details Defined in Ganeti.Objects.Disk Methods readJSON :: JSValue -> Result Disk showJSON :: Disk -> JSValue readJSONs :: JSValue -> Result [Disk] showJSONs :: [Disk] -> JSValue
ArrayObject Disk #
Instance details Defined in Ganeti.Objects.Disk Methods toJSArray :: Disk -> [JSValue] Source # fromJSArray :: [JSValue] -> Result Disk Source #
DictObject Disk #
Instance details Defined in Ganeti.Objects.Disk Methods toDict :: Disk -> [(String, JSValue)] Source # fromDictWKeys :: [(String, JSValue)] -> WriterT UsedKeys Result Disk Source # fromDict :: [(String, JSValue)] -> Result Disk Source #
SerialNoObject Disk #
Instance details Defined in Ganeti.Objects.Disk Methods serialOf :: Disk -> Int Source #
ForthcomingObject Disk #
Instance details Defined in Ganeti.Objects.Disk Methods isForthcoming :: Disk -> Bool Source #
UuidObject Disk #
Instance details Defined in Ganeti.Objects.Disk Methods uuidOf :: Disk -> String Source #
TimeStampObject Disk #
Instance details Defined in Ganeti.Objects.Disk Methods cTimeOf :: Disk -> ClockTime Source # mTimeOf :: Disk -> ClockTime Source #
SerialNoObjectL Disk #
Instance details Defined in Ganeti.Objects.Lens Methods serialL :: Lens' Disk Int Source #
UuidObjectL Disk #
Instance details Defined in Ganeti.Objects.Lens Methods uuidL :: Lens' Disk String Source #
TimeStampObjectL Disk #
Instance details Defined in Ganeti.Objects.Lens Methods mTimeL :: Lens' Disk ClockTime Source #
Arbitrary Disk	`Disk` `arbitrary` instance. Since we don't test disk hierarchy properties, we only generate disks with no children (FIXME), as generating recursive datastructures is a bit more work.
Instance details Defined in Test.Ganeti.Objects Methods arbitrary :: Gen Disk shrink :: Disk -> [Disk]

data ForthcomingDiskData Source #

Constructors

ForthcomingDiskData

Fields

forthcomingDiskLogicalId :: (Maybe DiskLogicalId)
forthcomingDiskChildren :: [Disk]
forthcomingDiskNodes :: [String]
forthcomingDiskIvName :: String
forthcomingDiskSize :: (Maybe Int)
forthcomingDiskMode :: DiskMode
forthcomingDiskName :: (Maybe String)
forthcomingDiskSpindles :: (Maybe Int)
forthcomingDiskParams :: (Maybe DiskParams)
forthcomingDiskUuid :: ByteString
forthcomingDiskSerial :: Int
forthcomingDiskCtime :: ClockTime
forthcomingDiskMtime :: ClockTime

Instances

Instances details

Eq ForthcomingDiskData #
Instance details Defined in Ganeti.Objects.Disk Methods (==) :: ForthcomingDiskData -> ForthcomingDiskData -> Bool (/=) :: ForthcomingDiskData -> ForthcomingDiskData -> Bool
Show ForthcomingDiskData #
Instance details Defined in Ganeti.Objects.Disk Methods showsPrec :: Int -> ForthcomingDiskData -> ShowS show :: ForthcomingDiskData -> String showList :: [ForthcomingDiskData] -> ShowS
JSON ForthcomingDiskData #
Instance details Defined in Ganeti.Objects.Disk Methods readJSON :: JSValue -> Result ForthcomingDiskData showJSON :: ForthcomingDiskData -> JSValue readJSONs :: JSValue -> Result [ForthcomingDiskData] showJSONs :: [ForthcomingDiskData] -> JSValue
ArrayObject ForthcomingDiskData #
Instance details Defined in Ganeti.Objects.Disk Methods toJSArray :: ForthcomingDiskData -> [JSValue] Source # fromJSArray :: [JSValue] -> Result ForthcomingDiskData Source #
DictObject ForthcomingDiskData #
Instance details Defined in Ganeti.Objects.Disk Methods toDict :: ForthcomingDiskData -> [(String, JSValue)] Source # fromDictWKeys :: [(String, JSValue)] -> WriterT UsedKeys Result ForthcomingDiskData Source # fromDict :: [(String, JSValue)] -> Result ForthcomingDiskData Source #

data RealDiskData Source #

Constructors

RealDiskData
Fields realDiskLogicalId :: DiskLogicalId realDiskChildren :: [Disk] realDiskNodes :: [String] realDiskIvName :: String realDiskSize :: Int realDiskMode :: DiskMode realDiskName :: (Maybe String) realDiskSpindles :: (Maybe Int) realDiskParams :: (Maybe DiskParams) realDiskUuid :: ByteString realDiskSerial :: Int realDiskCtime :: ClockTime realDiskMtime :: ClockTime

Instances

Instances details

Eq RealDiskData #
Instance details Defined in Ganeti.Objects.Disk Methods (==) :: RealDiskData -> RealDiskData -> Bool (/=) :: RealDiskData -> RealDiskData -> Bool
Show RealDiskData #
Instance details Defined in Ganeti.Objects.Disk Methods showsPrec :: Int -> RealDiskData -> ShowS show :: RealDiskData -> String showList :: [RealDiskData] -> ShowS
JSON RealDiskData #
Instance details Defined in Ganeti.Objects.Disk Methods readJSON :: JSValue -> Result RealDiskData showJSON :: RealDiskData -> JSValue readJSONs :: JSValue -> Result [RealDiskData] showJSONs :: [RealDiskData] -> JSValue
ArrayObject RealDiskData #
Instance details Defined in Ganeti.Objects.Disk Methods toJSArray :: RealDiskData -> [JSValue] Source # fromJSArray :: [JSValue] -> Result RealDiskData Source #
DictObject RealDiskData #
Instance details Defined in Ganeti.Objects.Disk Methods toDict :: RealDiskData -> [(String, JSValue)] Source # fromDictWKeys :: [(String, JSValue)] -> WriterT UsedKeys Result RealDiskData Source # fromDict :: [(String, JSValue)] -> Result RealDiskData Source #

diskMtimeL :: Lens' Disk ClockTime Source #

diskCtimeL :: Lens' Disk ClockTime Source #

diskSerialL :: Lens' Disk Int Source #

diskUuidL :: Lens' Disk ByteString Source #

diskParamsL :: Lens' Disk (Maybe DiskParams) Source #

diskSpindlesL :: Lens' Disk (Maybe Int) Source #

diskNameL :: Lens' Disk (Maybe String) Source #

diskModeL :: Lens' Disk DiskMode Source #

diskSizeL :: Lens Disk Disk (Maybe Int) Int Source #

diskIvNameL :: Lens' Disk String Source #

diskNodesL :: Lens' Disk [String] Source #

diskChildrenL :: Lens' Disk [Disk] Source #

diskLogicalIdL :: Lens Disk Disk (Maybe DiskLogicalId) DiskLogicalId Source #

diskMtime :: Disk -> ClockTime Source #

diskCtime :: Disk -> ClockTime Source #

diskSerial :: Disk -> Int Source #

diskUuid :: Disk -> ByteString Source #

diskParams :: Disk -> Maybe DiskParams Source #

diskSpindles :: Disk -> Maybe Int Source #

diskName :: Disk -> Maybe String Source #

diskMode :: Disk -> DiskMode Source #

diskSize :: Disk -> Maybe Int Source #

diskIvName :: Disk -> String Source #

diskNodes :: Disk -> [String] Source #

diskChildren :: Disk -> [Disk] Source #

diskLogicalId :: Disk -> Maybe DiskLogicalId Source #

diskForthcoming :: Disk -> Bool Source #

loadForthcomingDiskData :: JSValue -> Result ForthcomingDiskData Source #

saveForthcomingDiskData :: ForthcomingDiskData -> JSValue Source #

loadRealDiskData :: JSValue -> Result RealDiskData Source #

saveRealDiskData :: RealDiskData -> JSValue Source #

includesLogicalId :: LogicalVolume -> Disk -> Bool Source #

Determines whether a disk or one of his children has the given logical id (determined by the volume group name and by the logical volume name). This can be true only for DRBD or LVM disks.