SuperUserSpark.Language.Types

Cards

type CardName = String

type Source = FilePath

type Destination = FilePath

data Card

Constructors

Card

Fields

• cardName :: CardName
• cardContent :: Declaration

Instances

Eq Card

Defined in SuperUserSpark.Language.Types

Methods

(==) :: Card -> Card -> Bool

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

Show Card

Defined in SuperUserSpark.Language.Types

Methods

showsPrec :: Int -> Card -> ShowS

show :: Card -> String

showList :: [Card] -> ShowS

Generic Card

Defined in SuperUserSpark.Language.Types

Associated Types

type Rep Card :: * -> *

Methods

from :: Card -> Rep Card x

to :: Rep Card x -> Card

Validity Card

Defined in SuperUserSpark.Language.Types

Methods

validate :: Card -> Validation

type Rep Card

Defined in SuperUserSpark.Language.Types

type Rep Card = D1 (MetaData "Card" "SuperUserSpark.Language.Types" "super-user-spark-0.4.0.1-P7s2QbrTII5c6XXsq6MCt" False) (C1 (MetaCons "Card" PrefixI True) (S1 (MetaSel (Just "cardName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CardName) :*: S1 (MetaSel (Just "cardContent") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Declaration)))

Declarations

data Declaration

A declaration in a card

Constructors

SparkOff CardReference

Spark off another card

Deploy Source Destination (Maybe DeploymentKind)

Deploy from source to destination

IntoDir Directory

Deploy into a directory

OutofDir Directory

Deploy outof a directory

DeployKindOverride DeploymentKind

Override the deployment kind

Alternatives [Directory]

Provide a list of alternative sources

Block [Declaration]

A scoped block of declarations

Instances

Eq Declaration

Defined in SuperUserSpark.Language.Types

Methods

(==) :: Declaration -> Declaration -> Bool

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

Show Declaration

Defined in SuperUserSpark.Language.Types

Methods

showsPrec :: Int -> Declaration -> ShowS

show :: Declaration -> String

showList :: [Declaration] -> ShowS

Generic Declaration

Defined in SuperUserSpark.Language.Types

Associated Types

type Rep Declaration :: * -> *

Methods

from :: Declaration -> Rep Declaration x

to :: Rep Declaration x -> Declaration

Validity Declaration

Defined in SuperUserSpark.Language.Types

Methods

validate :: Declaration -> Validation

type Rep Declaration

Defined in SuperUserSpark.Language.Types

type Rep Declaration = D1 (MetaData "Declaration" "SuperUserSpark.Language.Types" "super-user-spark-0.4.0.1-P7s2QbrTII5c6XXsq6MCt" False) ((C1 (MetaCons "SparkOff" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CardReference)) :+: (C1 (MetaCons "Deploy" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Source) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Destination) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe DeploymentKind)))) :+: C1 (MetaCons "IntoDir" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Directory)))) :+: ((C1 (MetaCons "OutofDir" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Directory)) :+: C1 (MetaCons "DeployKindOverride" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DeploymentKind))) :+: (C1 (MetaCons "Alternatives" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Directory])) :+: C1 (MetaCons "Block" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Declaration])))))

Card references

newtype CardNameReference

Reference a card by name (inside a file)

Constructors

CardNameReference CardName

Instances

Eq CardNameReference

Defined in SuperUserSpark.Language.Types

Methods

(==) :: CardNameReference -> CardNameReference -> Bool

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

Show CardNameReference

Defined in SuperUserSpark.Language.Types

Methods

showsPrec :: Int -> CardNameReference -> ShowS

show :: CardNameReference -> String

showList :: [CardNameReference] -> ShowS

Generic CardNameReference

Defined in SuperUserSpark.Language.Types

Associated Types

type Rep CardNameReference :: * -> *

Methods

from :: CardNameReference -> Rep CardNameReference x

to :: Rep CardNameReference x -> CardNameReference

Validity CardNameReference

Defined in SuperUserSpark.Language.Types

Methods

validate :: CardNameReference -> Validation

type Rep CardNameReference

Defined in SuperUserSpark.Language.Types

type Rep CardNameReference = D1 (MetaData "CardNameReference" "SuperUserSpark.Language.Types" "super-user-spark-0.4.0.1-P7s2QbrTII5c6XXsq6MCt" True) (C1 (MetaCons "CardNameReference" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CardName)))

data CardFileReference

Reference a card by the file it is in and therein potentially by a name reference

Constructors

CardFileReference FilePath (Maybe CardNameReference)

Instances

Eq CardFileReference

Defined in SuperUserSpark.Language.Types

Methods

(==) :: CardFileReference -> CardFileReference -> Bool

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

Read CardFileReference

Defined in SuperUserSpark.Language.Types

Methods

readsPrec :: Int -> ReadS CardFileReference

readList :: ReadS [CardFileReference]

readPrec :: ReadPrec CardFileReference

readListPrec :: ReadPrec [CardFileReference]

Show CardFileReference

Defined in SuperUserSpark.Language.Types

Methods

showsPrec :: Int -> CardFileReference -> ShowS

show :: CardFileReference -> String

showList :: [CardFileReference] -> ShowS

Generic CardFileReference

Defined in SuperUserSpark.Language.Types

Associated Types

type Rep CardFileReference :: * -> *

Methods

from :: CardFileReference -> Rep CardFileReference x

to :: Rep CardFileReference x -> CardFileReference

Validity CardFileReference

Defined in SuperUserSpark.Language.Types

Methods

validate :: CardFileReference -> Validation

type Rep CardFileReference

Defined in SuperUserSpark.Language.Types

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

data CardReference

Union card reference

Constructors

CardFile CardFileReference

CardName CardNameReference

Instances

Eq CardReference

Defined in SuperUserSpark.Language.Types

Methods

(==) :: CardReference -> CardReference -> Bool

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

Show CardReference

Defined in SuperUserSpark.Language.Types

Methods

showsPrec :: Int -> CardReference -> ShowS

show :: CardReference -> String

showList :: [CardReference] -> ShowS

Generic CardReference

Defined in SuperUserSpark.Language.Types

Associated Types

type Rep CardReference :: * -> *

Methods

from :: CardReference -> Rep CardReference x

to :: Rep CardReference x -> CardReference

Validity CardReference

Defined in SuperUserSpark.Language.Types

Methods

validate :: CardReference -> Validation

type Rep CardReference

Defined in SuperUserSpark.Language.Types

type Rep CardReference = D1 (MetaData "CardReference" "SuperUserSpark.Language.Types" "super-user-spark-0.4.0.1-P7s2QbrTII5c6XXsq6MCt" False) (C1 (MetaCons "CardFile" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CardFileReference)) :+: C1 (MetaCons "CardName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CardNameReference)))

Card files

data SparkFile

Constructors

SparkFile

Fields

• sparkFilePath :: Path Abs File
• sparkFileCards :: [Card]

Instances

Eq SparkFile

Defined in SuperUserSpark.Language.Types

Methods

(==) :: SparkFile -> SparkFile -> Bool

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

Show SparkFile

Defined in SuperUserSpark.Language.Types

Methods

showsPrec :: Int -> SparkFile -> ShowS

show :: SparkFile -> String

showList :: [SparkFile] -> ShowS

Generic SparkFile

Defined in SuperUserSpark.Language.Types

Associated Types

type Rep SparkFile :: * -> *

Methods

from :: SparkFile -> Rep SparkFile x

to :: Rep SparkFile x -> SparkFile

Validity SparkFile

Defined in SuperUserSpark.Language.Types

Methods

validate :: SparkFile -> Validation

type Rep SparkFile

Defined in SuperUserSpark.Language.Types

type Rep SparkFile = D1 (MetaData "SparkFile" "SuperUserSpark.Language.Types" "super-user-spark-0.4.0.1-P7s2QbrTII5c6XXsq6MCt" False) (C1 (MetaCons "SparkFile" PrefixI True) (S1 (MetaSel (Just "sparkFilePath") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Path Abs File)) :*: S1 (MetaSel (Just "sparkFileCards") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Card])))