SuperUserSpark.Check.Types

Documentation

data CheckAssignment

Constructors

CheckAssignment

Fields

• checkCardReference :: BakeCardReference
• checkSettings :: CheckSettings

Instances

Eq CheckAssignment

Methods

(==) :: CheckAssignment -> CheckAssignment -> Bool

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

Show CheckAssignment

Methods

showsPrec :: Int -> CheckAssignment -> ShowS

show :: CheckAssignment -> String

showList :: [CheckAssignment] -> ShowS

Generic CheckAssignment

Associated Types

type Rep CheckAssignment :: * -> *

Methods

from :: CheckAssignment -> Rep CheckAssignment x

to :: Rep CheckAssignment x -> CheckAssignment

Validity CheckAssignment

Methods

isValid :: CheckAssignment -> Bool

type Rep CheckAssignment

type Rep CheckAssignment = D1 (MetaData "CheckAssignment" "SuperUserSpark.Check.Types" "super-user-spark-0.4.0.0-GcVJVgX5Jzv7UpEiCSNmHm" False) (C1 (MetaCons "CheckAssignment" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "checkCardReference") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 BakeCardReference)) (S1 (MetaSel (Just Symbol "checkSettings") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CheckSettings))))

data CheckSettings

Constructors

CheckSettings

Fields

• checkDiagnoseSettings :: DiagnoseSettings

Instances

Eq CheckSettings

Methods

(==) :: CheckSettings -> CheckSettings -> Bool

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

Show CheckSettings

Methods

showsPrec :: Int -> CheckSettings -> ShowS

show :: CheckSettings -> String

showList :: [CheckSettings] -> ShowS

Generic CheckSettings

Associated Types

type Rep CheckSettings :: * -> *

Methods

from :: CheckSettings -> Rep CheckSettings x

to :: Rep CheckSettings x -> CheckSettings

Validity CheckSettings

Methods

isValid :: CheckSettings -> Bool

type Rep CheckSettings

type Rep CheckSettings = D1 (MetaData "CheckSettings" "SuperUserSpark.Check.Types" "super-user-spark-0.4.0.0-GcVJVgX5Jzv7UpEiCSNmHm" False) (C1 (MetaCons "CheckSettings" PrefixI True) (S1 (MetaSel (Just Symbol "checkDiagnoseSettings") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DiagnoseSettings)))

defaultCheckSettings :: CheckSettings

type SparkChecker = ExceptT CheckError (ReaderT CheckSettings IO)

data CheckError

Constructors

CheckDiagnoseError DiagnoseError

CheckError String

Instances

Eq CheckError

Methods

(==) :: CheckError -> CheckError -> Bool

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

Show CheckError

Methods

showsPrec :: Int -> CheckError -> ShowS

show :: CheckError -> String

showList :: [CheckError] -> ShowS

Generic CheckError

Associated Types

type Rep CheckError :: * -> *

Methods

from :: CheckError -> Rep CheckError x

to :: Rep CheckError x -> CheckError

Validity CheckError

Methods

isValid :: CheckError -> Bool

type Rep CheckError

type Rep CheckError = D1 (MetaData "CheckError" "SuperUserSpark.Check.Types" "super-user-spark-0.4.0.0-GcVJVgX5Jzv7UpEiCSNmHm" False) ((:+:) (C1 (MetaCons "CheckDiagnoseError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DiagnoseError))) (C1 (MetaCons "CheckError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))

data Instruction

Constructors

CopyFile (Path Abs File) (Path Abs File)

CopyDir (Path Abs Dir) (Path Abs Dir)

LinkFile (Path Abs File) (Path Abs File)

LinkDir (Path Abs Dir) (Path Abs Dir)

Instances

Eq Instruction

Methods

(==) :: Instruction -> Instruction -> Bool

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

Show Instruction

Methods

showsPrec :: Int -> Instruction -> ShowS

show :: Instruction -> String

showList :: [Instruction] -> ShowS

Generic Instruction

Associated Types

type Rep Instruction :: * -> *

Methods

from :: Instruction -> Rep Instruction x

to :: Rep Instruction x -> Instruction

Validity Instruction

Methods

isValid :: Instruction -> Bool

type Rep Instruction

type Rep Instruction = D1 (MetaData "Instruction" "SuperUserSpark.Check.Types" "super-user-spark-0.4.0.0-GcVJVgX5Jzv7UpEiCSNmHm" False) ((:+:) ((:+:) (C1 (MetaCons "CopyFile" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs File))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs File))))) (C1 (MetaCons "CopyDir" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs Dir))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs Dir)))))) ((:+:) (C1 (MetaCons "LinkFile" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs File))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs File))))) (C1 (MetaCons "LinkDir" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs Dir))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs Dir)))))))

data CleanupInstruction

Constructors

CleanFile (Path Abs File)

CleanDirectory (Path Abs Dir)

CleanLink (Path Abs File)

Instances

Eq CleanupInstruction

Methods

(==) :: CleanupInstruction -> CleanupInstruction -> Bool

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

Show CleanupInstruction

Methods

showsPrec :: Int -> CleanupInstruction -> ShowS

show :: CleanupInstruction -> String

showList :: [CleanupInstruction] -> ShowS

Generic CleanupInstruction

Associated Types

type Rep CleanupInstruction :: * -> *

Methods

from :: CleanupInstruction -> Rep CleanupInstruction x

to :: Rep CleanupInstruction x -> CleanupInstruction

Validity CleanupInstruction

Methods

isValid :: CleanupInstruction -> Bool

type Rep CleanupInstruction

type Rep CleanupInstruction = D1 (MetaData "CleanupInstruction" "SuperUserSpark.Check.Types" "super-user-spark-0.4.0.0-GcVJVgX5Jzv7UpEiCSNmHm" False) ((:+:) (C1 (MetaCons "CleanFile" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs File)))) ((:+:) (C1 (MetaCons "CleanDirectory" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs Dir)))) (C1 (MetaCons "CleanLink" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs File))))))

data DeploymentCheckResult

Constructors

DeploymentDone

Done already

ReadyToDeploy Instruction

Immediately possible

DirtySituation String Instruction CleanupInstruction

Possible after cleanup of destination

ImpossibleDeployment [String]

Entirely impossible

Instances

Eq DeploymentCheckResult

Methods

(==) :: DeploymentCheckResult -> DeploymentCheckResult -> Bool

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

Show DeploymentCheckResult

Methods

showsPrec :: Int -> DeploymentCheckResult -> ShowS

show :: DeploymentCheckResult -> String

showList :: [DeploymentCheckResult] -> ShowS

Generic DeploymentCheckResult

Associated Types

type Rep DeploymentCheckResult :: * -> *

Methods

from :: DeploymentCheckResult -> Rep DeploymentCheckResult x

to :: Rep DeploymentCheckResult x -> DeploymentCheckResult

Validity DeploymentCheckResult

Methods

isValid :: DeploymentCheckResult -> Bool

type Rep DeploymentCheckResult

type Rep DeploymentCheckResult = D1 (MetaData "DeploymentCheckResult" "SuperUserSpark.Check.Types" "super-user-spark-0.4.0.0-GcVJVgX5Jzv7UpEiCSNmHm" False) ((:+:) ((:+:) (C1 (MetaCons "DeploymentDone" PrefixI False) U1) (C1 (MetaCons "ReadyToDeploy" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Instruction)))) ((:+:) (C1 (MetaCons "DirtySituation" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Instruction)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CleanupInstruction))))) (C1 (MetaCons "ImpossibleDeployment" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [String])))))

data CheckResult

Constructors

AlreadyDone

Done already

Ready Instruction

Immediately possible

Dirty String Instruction CleanupInstruction

Possible after cleanup

Impossible String

Entirely impossible

Instances

Eq CheckResult

Methods

(==) :: CheckResult -> CheckResult -> Bool

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

Show CheckResult

Methods

showsPrec :: Int -> CheckResult -> ShowS

show :: CheckResult -> String

showList :: [CheckResult] -> ShowS

Generic CheckResult

Associated Types

type Rep CheckResult :: * -> *

Methods

from :: CheckResult -> Rep CheckResult x

to :: Rep CheckResult x -> CheckResult

Validity CheckResult

Methods

isValid :: CheckResult -> Bool

type Rep CheckResult

type Rep CheckResult = D1 (MetaData "CheckResult" "SuperUserSpark.Check.Types" "super-user-spark-0.4.0.0-GcVJVgX5Jzv7UpEiCSNmHm" False) ((:+:) ((:+:) (C1 (MetaCons "AlreadyDone" PrefixI False) U1) (C1 (MetaCons "Ready" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Instruction)))) ((:+:) (C1 (MetaCons "Dirty" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Instruction)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CleanupInstruction))))) (C1 (MetaCons "Impossible" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))))