SuperUserSpark.Compiler.Types

Documentation

data CompileAssignment

Constructors

CompileAssignment

Fields

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

Instances

Eq CompileAssignment

Methods

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

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

Show CompileAssignment

Methods

showsPrec :: Int -> CompileAssignment -> ShowS

show :: CompileAssignment -> String

showList :: [CompileAssignment] -> ShowS

Generic CompileAssignment

Associated Types

type Rep CompileAssignment :: * -> *

Methods

from :: CompileAssignment -> Rep CompileAssignment x

to :: Rep CompileAssignment x -> CompileAssignment

Validity CompileAssignment

Methods

isValid :: CompileAssignment -> Bool

type Rep CompileAssignment

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

data StrongCardFileReference

Constructors

StrongCardFileReference (Path Abs File) (Maybe CardNameReference)

Instances

Eq StrongCardFileReference

Methods

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

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

Show StrongCardFileReference

Methods

showsPrec :: Int -> StrongCardFileReference -> ShowS

show :: StrongCardFileReference -> String

showList :: [StrongCardFileReference] -> ShowS

Generic StrongCardFileReference

Associated Types

type Rep StrongCardFileReference :: * -> *

Methods

from :: StrongCardFileReference -> Rep StrongCardFileReference x

to :: Rep StrongCardFileReference x -> StrongCardFileReference

Validity StrongCardFileReference

Methods

isValid :: StrongCardFileReference -> Bool

type Rep StrongCardFileReference

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

data StrongCardReference

Constructors

StrongCardFile StrongCardFileReference

StrongCardName CardNameReference

Instances

Eq StrongCardReference

Methods

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

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

Show StrongCardReference

Methods

showsPrec :: Int -> StrongCardReference -> ShowS

show :: StrongCardReference -> String

showList :: [StrongCardReference] -> ShowS

Generic StrongCardReference

Associated Types

type Rep StrongCardReference :: * -> *

Methods

from :: StrongCardReference -> Rep StrongCardReference x

to :: Rep StrongCardReference x -> StrongCardReference

Validity StrongCardReference

Methods

isValid :: StrongCardReference -> Bool

type Rep StrongCardReference

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

data CompileSettings

Constructors

CompileSettings

Fields

• compileDefaultKind :: DeploymentKind
• compileKindOverride :: Maybe DeploymentKind

Instances

Eq CompileSettings

Methods

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

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

Show CompileSettings

Methods

showsPrec :: Int -> CompileSettings -> ShowS

show :: CompileSettings -> String

showList :: [CompileSettings] -> ShowS

Generic CompileSettings

Associated Types

type Rep CompileSettings :: * -> *

Methods

from :: CompileSettings -> Rep CompileSettings x

to :: Rep CompileSettings x -> CompileSettings

Validity CompileSettings

Methods

isValid :: CompileSettings -> Bool

type Rep CompileSettings

type Rep CompileSettings = D1 (MetaData "CompileSettings" "SuperUserSpark.Compiler.Types" "super-user-spark-0.4.0.0-GcVJVgX5Jzv7UpEiCSNmHm" False) (C1 (MetaCons "CompileSettings" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "compileDefaultKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DeploymentKind)) (S1 (MetaSel (Just Symbol "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

Methods

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

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

Eq a => Eq (Deployment a)

Methods

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

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

Show a => Show (Deployment a)

Methods

showsPrec :: Int -> Deployment a -> ShowS

show :: Deployment a -> String

showList :: [Deployment a] -> ShowS

Generic (Deployment a)

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)

Methods

toJSON :: Deployment a -> Value

toEncoding :: Deployment a -> Encoding

toJSONList :: [Deployment a] -> Value

toEncodingList :: [Deployment a] -> Encoding

FromJSON a => FromJSON (Deployment a)

Methods

parseJSON :: Value -> Parser (Deployment a)

parseJSONList :: Value -> Parser [Deployment a]

Validity a => Validity (Deployment a)

Methods

isValid :: Deployment a -> Bool

type Rep (Deployment a)

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

data DeploymentDirections a

Constructors

Directions

Fields

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

Instances

Functor DeploymentDirections

Methods

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

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

Eq a => Eq (DeploymentDirections a)

Methods

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

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

Show a => Show (DeploymentDirections a)

Methods

showsPrec :: Int -> DeploymentDirections a -> ShowS

show :: DeploymentDirections a -> String

showList :: [DeploymentDirections a] -> ShowS

Generic (DeploymentDirections a)

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)

Methods

toJSON :: DeploymentDirections a -> Value

toEncoding :: DeploymentDirections a -> Encoding

toJSONList :: [DeploymentDirections a] -> Value

toEncodingList :: [DeploymentDirections a] -> Encoding

FromJSON a => FromJSON (DeploymentDirections a)

Methods

parseJSON :: Value -> Parser (DeploymentDirections a)

parseJSONList :: Value -> Parser [DeploymentDirections a]

Validity a => Validity (DeploymentDirections a)

Methods

isValid :: DeploymentDirections a -> Bool

type Rep (DeploymentDirections a)

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

type CompilerPrefix = [PrefixPart]

data PrefixPart

Constructors

Literal String

Alts [String]

Instances

Eq PrefixPart

Methods

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

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

Show PrefixPart

Methods

showsPrec :: Int -> PrefixPart -> ShowS

show :: PrefixPart -> String

showList :: [PrefixPart] -> ShowS

Generic PrefixPart

Associated Types

type Rep PrefixPart :: * -> *

Methods

from :: PrefixPart -> Rep PrefixPart x

to :: Rep PrefixPart x -> PrefixPart

Validity PrefixPart

Methods

isValid :: PrefixPart -> Bool

type Rep PrefixPart

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

data CompilerState

Constructors

CompilerState

Fields

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

Instances

Eq CompilerState

Methods

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

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

Show CompilerState

Methods

showsPrec :: Int -> CompilerState -> ShowS

show :: CompilerState -> String

showList :: [CompilerState] -> ShowS

Generic CompilerState

Associated Types

type Rep CompilerState :: * -> *

Methods

from :: CompilerState -> Rep CompilerState x

to :: Rep CompilerState x -> CompilerState

Validity CompilerState

Methods

isValid :: CompilerState -> Bool

type Rep CompilerState

type Rep CompilerState = D1 (MetaData "CompilerState" "SuperUserSpark.Compiler.Types" "super-user-spark-0.4.0.0-GcVJVgX5Jzv7UpEiCSNmHm" False) (C1 (MetaCons "CompilerState" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "stateDeploymentKindLocalOverride") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe DeploymentKind))) ((:*:) (S1 (MetaSel (Just Symbol "stateInto") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Directory)) (S1 (MetaSel (Just Symbol "stateOutof_prefix") 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

Methods

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

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

Show CompileError

Methods

showsPrec :: Int -> CompileError -> ShowS

show :: CompileError -> String

showList :: [CompileError] -> ShowS

Generic CompileError

Associated Types

type Rep CompileError :: * -> *

Methods

from :: CompileError -> Rep CompileError x

to :: Rep CompileError x -> CompileError

Validity CompileError

Methods

isValid :: CompileError -> Bool

type Rep CompileError

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