Safe Haskell	None
Language	Haskell2010

SuperUserSpark.Compiler.Types

Documentation

data CompileAssignment Source #

Constructors

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

Instances

Eq CompileAssignment Source #
Methods (==) :: CompileAssignment -> CompileAssignment -> Bool # (/=) :: CompileAssignment -> CompileAssignment -> Bool #
Show CompileAssignment Source #
Methods showsPrec :: Int -> CompileAssignment -> ShowS # show :: CompileAssignment -> String # showList :: [CompileAssignment] -> ShowS #
Generic CompileAssignment Source #
Associated Types type Rep CompileAssignment :: * -> * # Methods from :: CompileAssignment -> Rep CompileAssignment x # to :: Rep CompileAssignment x -> CompileAssignment #
Validity CompileAssignment Source #
Methods isValid :: CompileAssignment -> Bool #
type Rep CompileAssignment Source #
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 Source #

Constructors

StrongCardFileReference (Path Abs File) (Maybe CardNameReference)

Instances

Eq StrongCardFileReference Source #
Methods (==) :: StrongCardFileReference -> StrongCardFileReference -> Bool # (/=) :: StrongCardFileReference -> StrongCardFileReference -> Bool #
Show StrongCardFileReference Source #
Methods showsPrec :: Int -> StrongCardFileReference -> ShowS # show :: StrongCardFileReference -> String # showList :: [StrongCardFileReference] -> ShowS #
Generic StrongCardFileReference Source #
Associated Types type Rep StrongCardFileReference :: * -> * # Methods from :: StrongCardFileReference -> Rep StrongCardFileReference x # to :: Rep StrongCardFileReference x -> StrongCardFileReference #
Validity StrongCardFileReference Source #
Methods isValid :: StrongCardFileReference -> Bool #
type Rep StrongCardFileReference Source #
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 Source #

Constructors

StrongCardFile StrongCardFileReference
StrongCardName CardNameReference

Instances

Eq StrongCardReference Source #
Methods (==) :: StrongCardReference -> StrongCardReference -> Bool # (/=) :: StrongCardReference -> StrongCardReference -> Bool #
Show StrongCardReference Source #
Methods showsPrec :: Int -> StrongCardReference -> ShowS # show :: StrongCardReference -> String # showList :: [StrongCardReference] -> ShowS #
Generic StrongCardReference Source #
Associated Types type Rep StrongCardReference :: * -> * # Methods from :: StrongCardReference -> Rep StrongCardReference x # to :: Rep StrongCardReference x -> StrongCardReference #
Validity StrongCardReference Source #
Methods isValid :: StrongCardReference -> Bool #
type Rep StrongCardReference Source #
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 Source #

Constructors

CompileSettings
Fields compileDefaultKind :: DeploymentKind compileKindOverride :: Maybe DeploymentKind

Instances

Eq CompileSettings Source #
Methods (==) :: CompileSettings -> CompileSettings -> Bool # (/=) :: CompileSettings -> CompileSettings -> Bool #
Show CompileSettings Source #
Methods showsPrec :: Int -> CompileSettings -> ShowS # show :: CompileSettings -> String # showList :: [CompileSettings] -> ShowS #
Generic CompileSettings Source #
Associated Types type Rep CompileSettings :: * -> * # Methods from :: CompileSettings -> Rep CompileSettings x # to :: Rep CompileSettings x -> CompileSettings #
Validity CompileSettings Source #
Methods isValid :: CompileSettings -> Bool #
type Rep CompileSettings Source #
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 Source #

type RawDeployment = Deployment FilePath Source #

data Deployment a Source #

Constructors

Deployment
Fields deploymentDirections :: DeploymentDirections a deploymentKind :: DeploymentKind

Instances

Functor Deployment Source #
Methods fmap :: (a -> b) -> Deployment a -> Deployment b # (<$) :: a -> Deployment b -> Deployment a #
Eq a => Eq (Deployment a) Source #
Methods (==) :: Deployment a -> Deployment a -> Bool # (/=) :: Deployment a -> Deployment a -> Bool #
Show a => Show (Deployment a) Source #
Methods showsPrec :: Int -> Deployment a -> ShowS # show :: Deployment a -> String # showList :: [Deployment a] -> ShowS #
Generic (Deployment a) Source #
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) Source #
Methods toJSON :: Deployment a -> Value # toEncoding :: Deployment a -> Encoding # toJSONList :: [Deployment a] -> Value # toEncodingList :: [Deployment a] -> Encoding #
FromJSON a => FromJSON (Deployment a) Source #
Methods parseJSON :: Value -> Parser (Deployment a) # parseJSONList :: Value -> Parser [Deployment a] #
Validity a => Validity (Deployment a) Source #
Methods isValid :: Deployment a -> Bool #
type Rep (Deployment a) Source #
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 Source #

Constructors

Directions
Fields directionSources :: [a] directionDestination :: a

Instances

Functor DeploymentDirections Source #
Methods fmap :: (a -> b) -> DeploymentDirections a -> DeploymentDirections b # (<$) :: a -> DeploymentDirections b -> DeploymentDirections a #
Eq a => Eq (DeploymentDirections a) Source #
Methods (==) :: DeploymentDirections a -> DeploymentDirections a -> Bool # (/=) :: DeploymentDirections a -> DeploymentDirections a -> Bool #
Show a => Show (DeploymentDirections a) Source #
Methods showsPrec :: Int -> DeploymentDirections a -> ShowS # show :: DeploymentDirections a -> String # showList :: [DeploymentDirections a] -> ShowS #
Generic (DeploymentDirections a) Source #
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) Source #
Methods toJSON :: DeploymentDirections a -> Value # toEncoding :: DeploymentDirections a -> Encoding # toJSONList :: [DeploymentDirections a] -> Value # toEncodingList :: [DeploymentDirections a] -> Encoding #
FromJSON a => FromJSON (DeploymentDirections a) Source #
Methods parseJSON :: Value -> Parser (DeploymentDirections a) # parseJSONList :: Value -> Parser [DeploymentDirections a] #
Validity a => Validity (DeploymentDirections a) Source #
Methods isValid :: DeploymentDirections a -> Bool #
type Rep (DeploymentDirections a) Source #
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] Source #

data PrefixPart Source #

Constructors

Literal String
Alts [String]

Instances

Eq PrefixPart Source #
Methods (==) :: PrefixPart -> PrefixPart -> Bool # (/=) :: PrefixPart -> PrefixPart -> Bool #
Show PrefixPart Source #
Methods showsPrec :: Int -> PrefixPart -> ShowS # show :: PrefixPart -> String # showList :: [PrefixPart] -> ShowS #
Generic PrefixPart Source #
Associated Types type Rep PrefixPart :: * -> * # Methods from :: PrefixPart -> Rep PrefixPart x # to :: Rep PrefixPart x -> PrefixPart #
Validity PrefixPart Source #
Methods isValid :: PrefixPart -> Bool #
type Rep PrefixPart Source #
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 Source #

Constructors

CompilerState
Fields stateDeploymentKindLocalOverride :: Maybe DeploymentKind stateInto :: Directory stateOutof_prefix :: CompilerPrefix

Instances

Eq CompilerState Source #
Methods (==) :: CompilerState -> CompilerState -> Bool # (/=) :: CompilerState -> CompilerState -> Bool #
Show CompilerState Source #
Methods showsPrec :: Int -> CompilerState -> ShowS # show :: CompilerState -> String # showList :: [CompilerState] -> ShowS #
Generic CompilerState Source #
Associated Types type Rep CompilerState :: * -> * # Methods from :: CompilerState -> Rep CompilerState x # to :: Rep CompilerState x -> CompilerState #
Validity CompilerState Source #
Methods isValid :: CompilerState -> Bool #
type Rep CompilerState Source #
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) Source #

type PureCompiler = ExceptT CompileError (ReaderT CompileSettings Identity) Source #

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

data CompileError Source #

Constructors

CompileParseError ParseError
PreCompileErrors [PreCompileError]
DuringCompilationError String

Instances

Eq CompileError Source #
Methods (==) :: CompileError -> CompileError -> Bool # (/=) :: CompileError -> CompileError -> Bool #
Show CompileError Source #
Methods showsPrec :: Int -> CompileError -> ShowS # show :: CompileError -> String # showList :: [CompileError] -> ShowS #
Generic CompileError Source #
Associated Types type Rep CompileError :: * -> * # Methods from :: CompileError -> Rep CompileError x # to :: Rep CompileError x -> CompileError #
Validity CompileError Source #
Methods isValid :: CompileError -> Bool #
type Rep CompileError Source #
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)))))