propellor-5.13: property-based host configuration management in haskell
Safe HaskellSafe
LanguageHaskell2010

Propellor.Property.Installer.Types

Synopsis

Documentation

newtype TargetDiskDevice Source #

The disk device to install to.

Constructors

TargetDiskDevice FilePath 

Instances

Instances details
Read TargetDiskDevice Source # 
Instance details

Defined in Propellor.Property.Installer.Types

Show TargetDiskDevice Source # 
Instance details

Defined in Propellor.Property.Installer.Types

Methods

showsPrec :: Int -> TargetDiskDevice -> ShowS

show :: TargetDiskDevice -> String

showList :: [TargetDiskDevice] -> ShowS

data DiskEraseConfirmed Source #

Constructors

DiskEraseConfirmed 

Instances

Instances details
Read DiskEraseConfirmed Source # 
Instance details

Defined in Propellor.Property.Installer.Types

Show DiskEraseConfirmed Source # 
Instance details

Defined in Propellor.Property.Installer.Types

Methods

showsPrec :: Int -> DiskEraseConfirmed -> ShowS

show :: DiskEraseConfirmed -> String

showList :: [DiskEraseConfirmed] -> ShowS

class UserInput i where Source #

Class of user input that an installer might prompt for.

Methods

targetDiskDevice :: i -> Maybe TargetDiskDevice Source #

Get the disk device the user selected to install to.

diskEraseConfirmed :: i -> Maybe DiskEraseConfirmed Source #

Check if the user has confirmed they want to erase the target disk device.