Propellor.Property.Installer.Types

Documentation

newtype TargetDiskDevice

The disk device to install to.

Constructors

TargetDiskDevice FilePath

Instances

Read TargetDiskDevice

Defined in Propellor.Property.Installer.Types

Methods

readsPrec :: Int -> ReadS TargetDiskDevice

readList :: ReadS [TargetDiskDevice]

readPrec :: ReadPrec TargetDiskDevice

readListPrec :: ReadPrec [TargetDiskDevice]

Show TargetDiskDevice

Defined in Propellor.Property.Installer.Types

Methods

showsPrec :: Int -> TargetDiskDevice -> ShowS

show :: TargetDiskDevice -> String

showList :: [TargetDiskDevice] -> ShowS

data DiskEraseConfirmed

Constructors

DiskEraseConfirmed

Instances

Read DiskEraseConfirmed

Defined in Propellor.Property.Installer.Types

Methods

readsPrec :: Int -> ReadS DiskEraseConfirmed

readList :: ReadS [DiskEraseConfirmed]

readPrec :: ReadPrec DiskEraseConfirmed

readListPrec :: ReadPrec [DiskEraseConfirmed]

Show DiskEraseConfirmed

Defined in Propellor.Property.Installer.Types

Methods

showsPrec :: Int -> DiskEraseConfirmed -> ShowS

show :: DiskEraseConfirmed -> String

showList :: [DiskEraseConfirmed] -> ShowS

class UserInput i where

Class of user input that an installer might prompt for.

Methods

targetDiskDevice :: i -> Maybe TargetDiskDevice

Get the disk device the user selected to install to.

diskEraseConfirmed :: i -> Maybe DiskEraseConfirmed

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