SuperUserSpark.Check.Types

Documentation

data CheckAssignment

Constructors

CheckAssignment

Fields

• checkCardReference :: BakeCardReference
• checkSettings :: CheckSettings

Instances

Eq CheckAssignment

Defined in SuperUserSpark.Check.Types

Methods

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

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

Show CheckAssignment

Defined in SuperUserSpark.Check.Types

Methods

showsPrec :: Int -> CheckAssignment -> ShowS

show :: CheckAssignment -> String

showList :: [CheckAssignment] -> ShowS

Generic CheckAssignment

Defined in SuperUserSpark.Check.Types

Associated Types

type Rep CheckAssignment :: * -> *

Methods

from :: CheckAssignment -> Rep CheckAssignment x

to :: Rep CheckAssignment x -> CheckAssignment

Validity CheckAssignment

Defined in SuperUserSpark.Check.Types

Methods

validate :: CheckAssignment -> Validation

type Rep CheckAssignment

Defined in SuperUserSpark.Check.Types

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

newtype CheckSettings

Constructors

CheckSettings

Fields

• checkDiagnoseSettings :: DiagnoseSettings

Instances

Eq CheckSettings

Defined in SuperUserSpark.Check.Types

Methods

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

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

Show CheckSettings

Defined in SuperUserSpark.Check.Types

Methods

showsPrec :: Int -> CheckSettings -> ShowS

show :: CheckSettings -> String

showList :: [CheckSettings] -> ShowS

Generic CheckSettings

Defined in SuperUserSpark.Check.Types

Associated Types

type Rep CheckSettings :: * -> *

Methods

from :: CheckSettings -> Rep CheckSettings x

to :: Rep CheckSettings x -> CheckSettings

Validity CheckSettings

Defined in SuperUserSpark.Check.Types

Methods

validate :: CheckSettings -> Validation

type Rep CheckSettings

Defined in SuperUserSpark.Check.Types

type Rep CheckSettings = D1 (MetaData "CheckSettings" "SuperUserSpark.Check.Types" "super-user-spark-0.4.0.1-P7s2QbrTII5c6XXsq6MCt" True) (C1 (MetaCons "CheckSettings" PrefixI True) (S1 (MetaSel (Just "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

Defined in SuperUserSpark.Check.Types

Methods

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

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

Show CheckError

Defined in SuperUserSpark.Check.Types

Methods

showsPrec :: Int -> CheckError -> ShowS

show :: CheckError -> String

showList :: [CheckError] -> ShowS

Generic CheckError

Defined in SuperUserSpark.Check.Types

Associated Types

type Rep CheckError :: * -> *

Methods

from :: CheckError -> Rep CheckError x

to :: Rep CheckError x -> CheckError

Validity CheckError

Defined in SuperUserSpark.Check.Types

Methods

validate :: CheckError -> Validation

type Rep CheckError

Defined in SuperUserSpark.Check.Types

type Rep CheckError = D1 (MetaData "CheckError" "SuperUserSpark.Check.Types" "super-user-spark-0.4.0.1-P7s2QbrTII5c6XXsq6MCt" False) (C1 (MetaCons "CheckDiagnoseError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DiagnoseError)) :+: C1 (MetaCons "CheckError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe 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

Defined in SuperUserSpark.Check.Types

Methods

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

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

Show Instruction

Defined in SuperUserSpark.Check.Types

Methods

showsPrec :: Int -> Instruction -> ShowS

show :: Instruction -> String

showList :: [Instruction] -> ShowS

Generic Instruction

Defined in SuperUserSpark.Check.Types

Associated Types

type Rep Instruction :: * -> *

Methods

from :: Instruction -> Rep Instruction x

to :: Rep Instruction x -> Instruction

Validity Instruction

Defined in SuperUserSpark.Check.Types

Methods

validate :: Instruction -> Validation

type Rep Instruction

Defined in SuperUserSpark.Check.Types

type Rep Instruction = D1 (MetaData "Instruction" "SuperUserSpark.Check.Types" "super-user-spark-0.4.0.1-P7s2QbrTII5c6XXsq6MCt" False) ((C1 (MetaCons "CopyFile" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs File)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs File))) :+: C1 (MetaCons "CopyDir" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs Dir)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs Dir)))) :+: (C1 (MetaCons "LinkFile" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs File)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs File))) :+: C1 (MetaCons "LinkDir" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs Dir)) :*: S1 (MetaSel (Nothing :: Maybe 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

Defined in SuperUserSpark.Check.Types

Methods

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

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

Show CleanupInstruction

Defined in SuperUserSpark.Check.Types

Methods

showsPrec :: Int -> CleanupInstruction -> ShowS

show :: CleanupInstruction -> String

showList :: [CleanupInstruction] -> ShowS

Generic CleanupInstruction

Defined in SuperUserSpark.Check.Types

Associated Types

type Rep CleanupInstruction :: * -> *

Methods

from :: CleanupInstruction -> Rep CleanupInstruction x

to :: Rep CleanupInstruction x -> CleanupInstruction

Validity CleanupInstruction

Defined in SuperUserSpark.Check.Types

Methods

validate :: CleanupInstruction -> Validation

type Rep CleanupInstruction

Defined in SuperUserSpark.Check.Types

type Rep CleanupInstruction = D1 (MetaData "CleanupInstruction" "SuperUserSpark.Check.Types" "super-user-spark-0.4.0.1-P7s2QbrTII5c6XXsq6MCt" False) (C1 (MetaCons "CleanFile" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs File))) :+: (C1 (MetaCons "CleanDirectory" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs Dir))) :+: C1 (MetaCons "CleanLink" PrefixI False) (S1 (MetaSel (Nothing :: Maybe 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

Defined in SuperUserSpark.Check.Types

Methods

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

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

Show DeploymentCheckResult

Defined in SuperUserSpark.Check.Types

Methods

showsPrec :: Int -> DeploymentCheckResult -> ShowS

show :: DeploymentCheckResult -> String

showList :: [DeploymentCheckResult] -> ShowS

Generic DeploymentCheckResult

Defined in SuperUserSpark.Check.Types

Associated Types

type Rep DeploymentCheckResult :: * -> *

Methods

from :: DeploymentCheckResult -> Rep DeploymentCheckResult x

to :: Rep DeploymentCheckResult x -> DeploymentCheckResult

Validity DeploymentCheckResult

Defined in SuperUserSpark.Check.Types

Methods

validate :: DeploymentCheckResult -> Validation

type Rep DeploymentCheckResult

Defined in SuperUserSpark.Check.Types

type Rep DeploymentCheckResult = D1 (MetaData "DeploymentCheckResult" "SuperUserSpark.Check.Types" "super-user-spark-0.4.0.1-P7s2QbrTII5c6XXsq6MCt" False) ((C1 (MetaCons "DeploymentDone" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "ReadyToDeploy" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Instruction))) :+: (C1 (MetaCons "DirtySituation" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Instruction) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CleanupInstruction))) :+: C1 (MetaCons "ImpossibleDeployment" PrefixI False) (S1 (MetaSel (Nothing :: Maybe 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

Defined in SuperUserSpark.Check.Types

Methods

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

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

Show CheckResult

Defined in SuperUserSpark.Check.Types

Methods

showsPrec :: Int -> CheckResult -> ShowS

show :: CheckResult -> String

showList :: [CheckResult] -> ShowS

Generic CheckResult

Defined in SuperUserSpark.Check.Types

Associated Types

type Rep CheckResult :: * -> *

Methods

from :: CheckResult -> Rep CheckResult x

to :: Rep CheckResult x -> CheckResult

Validity CheckResult

Defined in SuperUserSpark.Check.Types

Methods

validate :: CheckResult -> Validation

type Rep CheckResult

Defined in SuperUserSpark.Check.Types

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