Propellor.Types.OS

Documentation

data System

High level description of a operating system.

Constructors

System Distribution Architecture

Instances

Eq System

Methods

(==) :: System -> System -> Bool

(/=) :: System -> System -> Bool

Show System

Methods

showsPrec :: Int -> System -> ShowS

show :: System -> String

showList :: [System] -> ShowS

data Distribution

Constructors

Debian DebianKernel DebianSuite

Buntish Release

A well-known Debian derivative founded by a space tourist. The actual name of this distribution is not used in Propellor per http://joeyh.name/blog/entry/trademark_nonsense/

ArchLinux

FreeBSD FreeBSDRelease

Instances

Eq Distribution

Methods

(==) :: Distribution -> Distribution -> Bool

(/=) :: Distribution -> Distribution -> Bool

Show Distribution

Methods

showsPrec :: Int -> Distribution -> ShowS

show :: Distribution -> String

showList :: [Distribution] -> ShowS

data TargetOS

Properties can target one or more OS's; the targets are part of the type of the property, so need to be kept fairly simple.

Constructors

OSDebian

OSBuntish

OSArchLinux

OSFreeBSD

Instances

Eq TargetOS

Methods

(==) :: TargetOS -> TargetOS -> Bool

(/=) :: TargetOS -> TargetOS -> Bool

Ord TargetOS

Methods

compare :: TargetOS -> TargetOS -> Ordering

(<) :: TargetOS -> TargetOS -> Bool

(<=) :: TargetOS -> TargetOS -> Bool

(>) :: TargetOS -> TargetOS -> Bool

(>=) :: TargetOS -> TargetOS -> Bool

max :: TargetOS -> TargetOS -> TargetOS

min :: TargetOS -> TargetOS -> TargetOS

Show TargetOS

Methods

showsPrec :: Int -> TargetOS -> ShowS

show :: TargetOS -> String

showList :: [TargetOS] -> ShowS

type EqT TargetOS OSDebian OSDebian

type EqT TargetOS OSDebian OSDebian = True

type EqT TargetOS OSDebian OSBuntish

type EqT TargetOS OSDebian OSBuntish = False

type EqT TargetOS OSDebian OSArchLinux

type EqT TargetOS OSDebian OSArchLinux = False

type EqT TargetOS OSDebian OSFreeBSD

type EqT TargetOS OSDebian OSFreeBSD = False

type EqT TargetOS OSBuntish OSDebian

type EqT TargetOS OSBuntish OSDebian = False

type EqT TargetOS OSBuntish OSBuntish

type EqT TargetOS OSBuntish OSBuntish = True

type EqT TargetOS OSBuntish OSArchLinux

type EqT TargetOS OSBuntish OSArchLinux = False

type EqT TargetOS OSBuntish OSFreeBSD

type EqT TargetOS OSBuntish OSFreeBSD = False

type EqT TargetOS OSArchLinux OSDebian

type EqT TargetOS OSArchLinux OSDebian = False

type EqT TargetOS OSArchLinux OSBuntish

type EqT TargetOS OSArchLinux OSBuntish = False

type EqT TargetOS OSArchLinux OSArchLinux

type EqT TargetOS OSArchLinux OSArchLinux = True

type EqT TargetOS OSArchLinux OSFreeBSD

type EqT TargetOS OSArchLinux OSFreeBSD = False

type EqT TargetOS OSFreeBSD OSDebian

type EqT TargetOS OSFreeBSD OSDebian = False

type EqT TargetOS OSFreeBSD OSBuntish

type EqT TargetOS OSFreeBSD OSBuntish = False

type EqT TargetOS OSFreeBSD OSArchLinux

type EqT TargetOS OSFreeBSD OSArchLinux = False

type EqT TargetOS OSFreeBSD OSFreeBSD

type EqT TargetOS OSFreeBSD OSFreeBSD = True

data DebianKernel

Most of Debian ports are based on Linux. There also exist hurd-i386, kfreebsd-i386, kfreebsd-amd64 ports

Constructors

Linux

KFreeBSD

Hurd

Instances

Eq DebianKernel

Methods

(==) :: DebianKernel -> DebianKernel -> Bool

(/=) :: DebianKernel -> DebianKernel -> Bool

Show DebianKernel

Methods

showsPrec :: Int -> DebianKernel -> ShowS

show :: DebianKernel -> String

showList :: [DebianKernel] -> ShowS

data DebianSuite

Debian has several rolling suites, and a number of stable releases, such as Stable "stretch".

Constructors

Experimental

Unstable

Testing

Stable Release

Instances

Eq DebianSuite

Methods

(==) :: DebianSuite -> DebianSuite -> Bool

(/=) :: DebianSuite -> DebianSuite -> Bool

Show DebianSuite

Methods

showsPrec :: Int -> DebianSuite -> ShowS

show :: DebianSuite -> String

showList :: [DebianSuite] -> ShowS

data FreeBSDRelease

FreeBSD breaks their releases into Production and Legacy.

Constructors

FBSDProduction FBSDVersion

FBSDLegacy FBSDVersion

Instances

Eq FreeBSDRelease

Methods

(==) :: FreeBSDRelease -> FreeBSDRelease -> Bool

(/=) :: FreeBSDRelease -> FreeBSDRelease -> Bool

Show FreeBSDRelease

Methods

showsPrec :: Int -> FreeBSDRelease -> ShowS

show :: FreeBSDRelease -> String

showList :: [FreeBSDRelease] -> ShowS

data FBSDVersion

Constructors

FBSD101

FBSD102

FBSD093

Instances

Eq FBSDVersion

Methods

(==) :: FBSDVersion -> FBSDVersion -> Bool

(/=) :: FBSDVersion -> FBSDVersion -> Bool

Show FBSDVersion

Methods

showsPrec :: Int -> FBSDVersion -> ShowS

show :: FBSDVersion -> String

showList :: [FBSDVersion] -> ShowS

IsString FBSDVersion

Methods

fromString :: String -> FBSDVersion

ConfigurableValue FBSDVersion

Methods

val :: FBSDVersion -> String

isStable :: DebianSuite -> Bool

type Release = String

data Architecture

Many of these architecture names are based on the names used by Debian, with a few exceptions for clarity.

Constructors

X86_64

64 bit Intel, called "amd64" in Debian

X86_32

32 bit Intel, called "i386" in Debian

ARMHF

ARMEL

PPC

PPC64

SPARC

SPARC64

MIPS

MIPSEL

MIPS64EL

SH4

IA64

Itanium

S390

S390X

ALPHA

HPPA

M68K

ARM64

X32

New Linux ABI for 64 bit CPUs using 32-bit integers. Not widely used.

Instances

Eq Architecture

Methods

(==) :: Architecture -> Architecture -> Bool

(/=) :: Architecture -> Architecture -> Bool

Show Architecture

Methods

showsPrec :: Int -> Architecture -> ShowS

show :: Architecture -> String

showList :: [Architecture] -> ShowS

architectureToDebianArchString :: Architecture -> String

type HostName = String

Either a host name e.g., "haskell.org" or a numeric host address string consisting of a dotted decimal IPv4 address or an IPv6 address e.g., "192.168.0.1".

type UserName = String

newtype User

Constructors

User UserName

Instances

Eq User

Methods

(==) :: User -> User -> Bool

(/=) :: User -> User -> Bool

Ord User

Methods

compare :: User -> User -> Ordering

(<) :: User -> User -> Bool

(<=) :: User -> User -> Bool

(>) :: User -> User -> Bool

(>=) :: User -> User -> Bool

max :: User -> User -> User

min :: User -> User -> User

Show User

Methods

showsPrec :: Int -> User -> ShowS

show :: User -> String

showList :: [User] -> ShowS

ConfigurableValue User

Methods

val :: User -> String

newtype Group

Constructors

Group String

Instances

Eq Group

Methods

(==) :: Group -> Group -> Bool

(/=) :: Group -> Group -> Bool

Ord Group

Methods

compare :: Group -> Group -> Ordering

(<) :: Group -> Group -> Bool

(<=) :: Group -> Group -> Bool

(>) :: Group -> Group -> Bool

(>=) :: Group -> Group -> Bool

max :: Group -> Group -> Group

min :: Group -> Group -> Group

Show Group

Methods

showsPrec :: Int -> Group -> ShowS

show :: Group -> String

showList :: [Group] -> ShowS

ConfigurableValue Group

Methods

val :: Group -> String

userGroup :: User -> Group

Makes a Group with the same name as the User.

newtype Port

Constructors

Port Int

Instances

Eq Port

Methods

(==) :: Port -> Port -> Bool

(/=) :: Port -> Port -> Bool

Ord Port

Methods

compare :: Port -> Port -> Ordering

(<) :: Port -> Port -> Bool

(<=) :: Port -> Port -> Bool

(>) :: Port -> Port -> Bool

(>=) :: Port -> Port -> Bool

max :: Port -> Port -> Port

min :: Port -> Port -> Port

Show Port

Methods

showsPrec :: Int -> Port -> ShowS

show :: Port -> String

showList :: [Port] -> ShowS

ConfigurableValue Port

Methods

val :: Port -> String

Publishable Port

Methods

toPublish :: Port -> String

Publishable (Bound Port)

Methods

toPublish :: Bound Port -> String

Publishable (Bound Port)

Methods

toPublish :: Bound Port -> String

Publishable (Proto, Bound Port)

Methods

toPublish :: (Proto, Bound Port) -> String

systemToTargetOS :: System -> TargetOS