SuperUserSpark.Compiler.Types

Documentation

data CompileAssignment

Constructors

CompileAssignment

Fields

• compileCardReference :: StrongCardFileReference
• compileOutput :: Maybe (Path Abs File)
• compileSettings :: CompileSettings

Instances

Eq CompileAssignment

Defined in SuperUserSpark.Compiler.Types

Methods

(==) :: CompileAssignment -> CompileAssignment -> Bool

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

Show CompileAssignment

Defined in SuperUserSpark.Compiler.Types

Methods

showsPrec :: Int -> CompileAssignment -> ShowS

show :: CompileAssignment -> String

showList :: [CompileAssignment] -> ShowS

Generic CompileAssignment

Defined in SuperUserSpark.Compiler.Types

Associated Types

type Rep CompileAssignment :: * -> *

Methods

from :: CompileAssignment -> Rep CompileAssignment x

to :: Rep CompileAssignment x -> CompileAssignment

Validity CompileAssignment

Defined in SuperUserSpark.Compiler.Types

Methods

validate :: CompileAssignment -> Validation

type Rep CompileAssignment

Defined in SuperUserSpark.Compiler.Types

type Rep CompileAssignment = D1 (MetaData "CompileAssignment" "SuperUserSpark.Compiler.Types" "super-user-spark-0.4.0.1-P7s2QbrTII5c6XXsq6MCt" False) (C1 (MetaCons "CompileAssignment" PrefixI True) (S1 (MetaSel (Just "compileCardReference") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 StrongCardFileReference) :*: (S1 (MetaSel (Just "compileOutput") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Path Abs File))) :*: S1 (MetaSel (Just "compileSettings") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CompileSettings))))

data StrongCardFileReference

Constructors

StrongCardFileReference (Path Abs File) (Maybe CardNameReference)

Instances

Eq StrongCardFileReference

Defined in SuperUserSpark.Compiler.Types

Methods

(==) :: StrongCardFileReference -> StrongCardFileReference -> Bool

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

Show StrongCardFileReference

Defined in SuperUserSpark.Compiler.Types

Methods

showsPrec :: Int -> StrongCardFileReference -> ShowS

show :: StrongCardFileReference -> String

showList :: [StrongCardFileReference] -> ShowS

Generic StrongCardFileReference

Defined in SuperUserSpark.Compiler.Types

Associated Types

type Rep StrongCardFileReference :: * -> *

Methods

from :: StrongCardFileReference -> Rep StrongCardFileReference x

to :: Rep StrongCardFileReference x -> StrongCardFileReference

Validity StrongCardFileReference

Defined in SuperUserSpark.Compiler.Types

Methods

validate :: StrongCardFileReference -> Validation

type Rep StrongCardFileReference

Defined in SuperUserSpark.Compiler.Types

type Rep StrongCardFileReference = D1 (MetaData "StrongCardFileReference" "SuperUserSpark.Compiler.Types" "super-user-spark-0.4.0.1-P7s2QbrTII5c6XXsq6MCt" False) (C1 (MetaCons "StrongCardFileReference" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs File)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe CardNameReference))))

data StrongCardReference

Constructors

StrongCardFile StrongCardFileReference

StrongCardName CardNameReference

Instances

Eq StrongCardReference

Defined in SuperUserSpark.Compiler.Types

Methods

(==) :: StrongCardReference -> StrongCardReference -> Bool

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

Show StrongCardReference

Defined in SuperUserSpark.Compiler.Types

Methods

showsPrec :: Int -> StrongCardReference -> ShowS

show :: StrongCardReference -> String

showList :: [StrongCardReference] -> ShowS

Generic StrongCardReference

Defined in SuperUserSpark.Compiler.Types

Associated Types

type Rep StrongCardReference :: * -> *

Methods

from :: StrongCardReference -> Rep StrongCardReference x

to :: Rep StrongCardReference x -> StrongCardReference

Validity StrongCardReference

Defined in SuperUserSpark.Compiler.Types

Methods

validate :: StrongCardReference -> Validation

type Rep StrongCardReference

Defined in SuperUserSpark.Compiler.Types

type Rep StrongCardReference = D1 (MetaData "StrongCardReference" "SuperUserSpark.Compiler.Types" "super-user-spark-0.4.0.1-P7s2QbrTII5c6XXsq6MCt" False) (C1 (MetaCons "StrongCardFile" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 StrongCardFileReference)) :+: C1 (MetaCons "StrongCardName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CardNameReference)))

data CompileSettings

Constructors

CompileSettings

Fields

• compileDefaultKind :: DeploymentKind
• compileKindOverride :: Maybe DeploymentKind

Instances

Eq CompileSettings

Defined in SuperUserSpark.Compiler.Types

Methods

(==) :: CompileSettings -> CompileSettings -> Bool

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

Show CompileSettings

Defined in SuperUserSpark.Compiler.Types

Methods

showsPrec :: Int -> CompileSettings -> ShowS

show :: CompileSettings -> String

showList :: [CompileSettings] -> ShowS

Generic CompileSettings

Defined in SuperUserSpark.Compiler.Types

Associated Types

type Rep CompileSettings :: * -> *

Methods

from :: CompileSettings -> Rep CompileSettings x

to :: Rep CompileSettings x -> CompileSettings

Validity CompileSettings

Defined in SuperUserSpark.Compiler.Types

Methods

validate :: CompileSettings -> Validation

type Rep CompileSettings

Defined in SuperUserSpark.Compiler.Types

type Rep CompileSettings = D1 (MetaData "CompileSettings" "SuperUserSpark.Compiler.Types" "super-user-spark-0.4.0.1-P7s2QbrTII5c6XXsq6MCt" False) (C1 (MetaCons "CompileSettings" PrefixI True) (S1 (MetaSel (Just "compileDefaultKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DeploymentKind) :*: S1 (MetaSel (Just "compileKindOverride") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe DeploymentKind))))

defaultCompileSettings :: CompileSettings

type RawDeployment = Deployment FilePath

data Deployment a

Constructors

Deployment

Fields

• deploymentDirections :: DeploymentDirections a
• deploymentKind :: DeploymentKind

Instances

Functor Deployment

Defined in SuperUserSpark.Compiler.Types

Methods

fmap :: (a -> b) -> Deployment a -> Deployment b

(<$) :: a -> Deployment b -> Deployment a

Eq a => Eq (Deployment a)

Defined in SuperUserSpark.Compiler.Types

Methods

(==) :: Deployment a -> Deployment a -> Bool

(/=) :: Deployment a -> Deployment a -> Bool

Show a => Show (Deployment a)

Defined in SuperUserSpark.Compiler.Types

Methods

showsPrec :: Int -> Deployment a -> ShowS

show :: Deployment a -> String

showList :: [Deployment a] -> ShowS

Generic (Deployment a)

Defined in SuperUserSpark.Compiler.Types

Associated Types

type Rep (Deployment a) :: * -> *

Methods

from :: Deployment a -> Rep (Deployment a) x

to :: Rep (Deployment a) x -> Deployment a

ToJSON a => ToJSON (Deployment a)

Defined in SuperUserSpark.Compiler.Types

Methods

toJSON :: Deployment a -> Value

toEncoding :: Deployment a -> Encoding

toJSONList :: [Deployment a] -> Value

toEncodingList :: [Deployment a] -> Encoding

FromJSON a => FromJSON (Deployment a)

Defined in SuperUserSpark.Compiler.Types

Methods

parseJSON :: Value -> Parser (Deployment a)

parseJSONList :: Value -> Parser [Deployment a]

Validity a => Validity (Deployment a)

Defined in SuperUserSpark.Compiler.Types

Methods

validate :: Deployment a -> Validation

type Rep (Deployment a)

Defined in SuperUserSpark.Compiler.Types

type Rep (Deployment a) = D1 (MetaData "Deployment" "SuperUserSpark.Compiler.Types" "super-user-spark-0.4.0.1-P7s2QbrTII5c6XXsq6MCt" False) (C1 (MetaCons "Deployment" PrefixI True) (S1 (MetaSel (Just "deploymentDirections") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (DeploymentDirections a)) :*: S1 (MetaSel (Just "deploymentKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DeploymentKind)))

data DeploymentDirections a

Constructors

Directions

Fields

• directionSources :: [a]
• directionDestination :: a

Instances

Functor DeploymentDirections

Defined in SuperUserSpark.Compiler.Types

Methods

fmap :: (a -> b) -> DeploymentDirections a -> DeploymentDirections b

(<$) :: a -> DeploymentDirections b -> DeploymentDirections a

Eq a => Eq (DeploymentDirections a)

Defined in SuperUserSpark.Compiler.Types

Methods

(==) :: DeploymentDirections a -> DeploymentDirections a -> Bool

(/=) :: DeploymentDirections a -> DeploymentDirections a -> Bool

Show a => Show (DeploymentDirections a)

Defined in SuperUserSpark.Compiler.Types

Methods

showsPrec :: Int -> DeploymentDirections a -> ShowS

show :: DeploymentDirections a -> String

showList :: [DeploymentDirections a] -> ShowS

Generic (DeploymentDirections a)

Defined in SuperUserSpark.Compiler.Types

Associated Types

type Rep (DeploymentDirections a) :: * -> *

Methods

from :: DeploymentDirections a -> Rep (DeploymentDirections a) x

to :: Rep (DeploymentDirections a) x -> DeploymentDirections a

ToJSON a => ToJSON (DeploymentDirections a)

Defined in SuperUserSpark.Compiler.Types

Methods

toJSON :: DeploymentDirections a -> Value

toEncoding :: DeploymentDirections a -> Encoding

toJSONList :: [DeploymentDirections a] -> Value

toEncodingList :: [DeploymentDirections a] -> Encoding

FromJSON a => FromJSON (DeploymentDirections a)

Defined in SuperUserSpark.Compiler.Types

Methods

parseJSON :: Value -> Parser (DeploymentDirections a)

parseJSONList :: Value -> Parser [DeploymentDirections a]

Validity a => Validity (DeploymentDirections a)

Defined in SuperUserSpark.Compiler.Types

Methods

validate :: DeploymentDirections a -> Validation

type Rep (DeploymentDirections a)

Defined in SuperUserSpark.Compiler.Types

type Rep (DeploymentDirections a) = D1 (MetaData "DeploymentDirections" "SuperUserSpark.Compiler.Types" "super-user-spark-0.4.0.1-P7s2QbrTII5c6XXsq6MCt" False) (C1 (MetaCons "Directions" PrefixI True) (S1 (MetaSel (Just "directionSources") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [a]) :*: S1 (MetaSel (Just "directionDestination") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

type CompilerPrefix = [PrefixPart]

data PrefixPart

Constructors

Literal String

Alts [String]

Instances

Eq PrefixPart

Defined in SuperUserSpark.Compiler.Types

Methods

(==) :: PrefixPart -> PrefixPart -> Bool

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

Show PrefixPart

Defined in SuperUserSpark.Compiler.Types

Methods

showsPrec :: Int -> PrefixPart -> ShowS

show :: PrefixPart -> String

showList :: [PrefixPart] -> ShowS

Generic PrefixPart

Defined in SuperUserSpark.Compiler.Types

Associated Types

type Rep PrefixPart :: * -> *

Methods

from :: PrefixPart -> Rep PrefixPart x

to :: Rep PrefixPart x -> PrefixPart

Validity PrefixPart

Defined in SuperUserSpark.Compiler.Types

Methods

validate :: PrefixPart -> Validation

type Rep PrefixPart

Defined in SuperUserSpark.Compiler.Types

type Rep PrefixPart = D1 (MetaData "PrefixPart" "SuperUserSpark.Compiler.Types" "super-user-spark-0.4.0.1-P7s2QbrTII5c6XXsq6MCt" False) (C1 (MetaCons "Literal" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "Alts" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [String])))

data CompilerState

Constructors

CompilerState

Fields

• stateDeploymentKindLocalOverride :: Maybe DeploymentKind
• stateInto :: Directory
• stateOutofPrefix :: CompilerPrefix

Instances

Eq CompilerState

Defined in SuperUserSpark.Compiler.Types

Methods

(==) :: CompilerState -> CompilerState -> Bool

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

Show CompilerState

Defined in SuperUserSpark.Compiler.Types

Methods

showsPrec :: Int -> CompilerState -> ShowS

show :: CompilerState -> String

showList :: [CompilerState] -> ShowS

Generic CompilerState

Defined in SuperUserSpark.Compiler.Types

Associated Types

type Rep CompilerState :: * -> *

Methods

from :: CompilerState -> Rep CompilerState x

to :: Rep CompilerState x -> CompilerState

Validity CompilerState

Defined in SuperUserSpark.Compiler.Types

Methods

validate :: CompilerState -> Validation

type Rep CompilerState

Defined in SuperUserSpark.Compiler.Types

type Rep CompilerState = D1 (MetaData "CompilerState" "SuperUserSpark.Compiler.Types" "super-user-spark-0.4.0.1-P7s2QbrTII5c6XXsq6MCt" False) (C1 (MetaCons "CompilerState" PrefixI True) (S1 (MetaSel (Just "stateDeploymentKindLocalOverride") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe DeploymentKind)) :*: (S1 (MetaSel (Just "stateInto") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Directory) :*: S1 (MetaSel (Just "stateOutofPrefix") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CompilerPrefix))))

type ImpureCompiler = ExceptT CompileError (ReaderT CompileSettings IO)

type PureCompiler = ExceptT CompileError (ReaderT CompileSettings Identity)

type InternalCompiler = StateT CompilerState (WriterT ([RawDeployment], [CardReference]) PureCompiler)

data CompileError

Constructors

CompileParseError ParseError

PreCompileErrors [PreCompileError]

DuringCompilationError String

Instances

Eq CompileError

Defined in SuperUserSpark.Compiler.Types

Methods

(==) :: CompileError -> CompileError -> Bool

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

Show CompileError

Defined in SuperUserSpark.Compiler.Types

Methods

showsPrec :: Int -> CompileError -> ShowS

show :: CompileError -> String

showList :: [CompileError] -> ShowS

Generic CompileError

Defined in SuperUserSpark.Compiler.Types

Associated Types

type Rep CompileError :: * -> *

Methods

from :: CompileError -> Rep CompileError x

to :: Rep CompileError x -> CompileError

Validity CompileError

Defined in SuperUserSpark.Compiler.Types

Methods

validate :: CompileError -> Validation

type Rep CompileError

Defined in SuperUserSpark.Compiler.Types

type Rep CompileError = D1 (MetaData "CompileError" "SuperUserSpark.Compiler.Types" "super-user-spark-0.4.0.1-P7s2QbrTII5c6XXsq6MCt" False) (C1 (MetaCons "CompileParseError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ParseError)) :+: (C1 (MetaCons "PreCompileErrors" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [PreCompileError])) :+: C1 (MetaCons "DuringCompilationError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))