Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- type Directory = Text
- newtype Tag = Tag {}
- type Dockerfile = [InstructionPos Text]
- data Instruction args
- = From !BaseImage
- | Add !AddArgs !AddFlags
- | User !Text
- | Label !Pairs
- | Stopsignal !Text
- | Copy !CopyArgs !CopyFlags
- | Run !(RunArgs args)
- | Cmd !(Arguments args)
- | Shell !(Arguments args)
- | Workdir !Directory
- | Expose !Ports
- | Volume !Text
- | Entrypoint !(Arguments args)
- | Maintainer !Text
- | Env !Pairs
- | Arg !Text !(Maybe Text)
- | Healthcheck !(Check args)
- | Pragma !PragmaDirective
- | Comment !Text
- | OnBuild !(Instruction args)
- data InstructionPos args = InstructionPos {
- instruction :: !(Instruction args)
- sourcename :: !Filename
- lineNumber :: !Linenumber
- data BaseImage = BaseImage {}
- newtype SourcePath = SourcePath {
- unSourcePath :: Text
- newtype TargetPath = TargetPath {
- unTargetPath :: Text
- data Chown
- data CopySource
- = CopySource !Text
- | NoSource
- data CopyArgs = CopyArgs {}
- data AddArgs = AddArgs {}
- data Check args
- data CheckArgs args = CheckArgs {}
- data Image = Image {
- registryName :: !(Maybe Registry)
- imageName :: !Text
- newtype Registry = Registry {
- unRegistry :: Text
- newtype ImageAlias = ImageAlias {
- unImageAlias :: Text
- newtype Digest = Digest {}
- newtype Ports = Ports {}
- data Arguments args
- = ArgumentsText args
- | ArgumentsList args
- type Pairs = [(Text, Text)]
- type Filename = Text
- type Platform = Text
- type Linenumber = Int
- data PortSpec
- data Checksum
- = Checksum !Text
- | NoChecksum
- data Chmod
- data Link
- newtype Duration = Duration {}
- newtype Retries = Retries {}
- data CopyFlags = CopyFlags {
- chownFlag :: !Chown
- chmodFlag :: !Chmod
- linkFlag :: !Link
- sourceFlag :: !CopySource
- data AddFlags = AddFlags {}
- data RunMount
- data BindOpts = BindOpts {
- bTarget :: !TargetPath
- bSource :: !(Maybe SourcePath)
- bFromImage :: !(Maybe Text)
- bReadOnly :: !(Maybe Bool)
- data CacheOpts = CacheOpts {}
- newtype TmpOpts = TmpOpts {}
- data SecretOpts = SecretOpts {}
- data CacheSharing
- data RunSecurity
- data RunNetwork
- data RunFlags = RunFlags {
- mount :: !(Set RunMount)
- security :: !(Maybe RunSecurity)
- network :: !(Maybe RunNetwork)
- data RunArgs args = RunArgs (Arguments args) RunFlags
- newtype EscapeChar = EscapeChar {}
- newtype SyntaxImage = SyntaxImage {}
- data PragmaDirective
- defaultEsc :: Char
- data Port
- data PortRange = PortRange !Port !Port
- data Protocol
Documentation
type Dockerfile = [InstructionPos Text] Source #
Type of the Dockerfile AST
data Instruction args Source #
All commands available in Dockerfiles
From !BaseImage | |
Add !AddArgs !AddFlags | |
User !Text | |
Label !Pairs | |
Stopsignal !Text | |
Copy !CopyArgs !CopyFlags | |
Run !(RunArgs args) | |
Cmd !(Arguments args) | |
Shell !(Arguments args) | |
Workdir !Directory | |
Expose !Ports | |
Volume !Text | |
Entrypoint !(Arguments args) | |
Maintainer !Text | |
Env !Pairs | |
Arg !Text !(Maybe Text) | |
Healthcheck !(Check args) | |
Pragma !PragmaDirective | |
Comment !Text | |
OnBuild !(Instruction args) |
Instances
data InstructionPos args Source #
Instruction
with additional location information required for creating
good check messages
InstructionPos | |
|
Instances
newtype SourcePath Source #
Instances
IsString SourcePath Source # | |
Defined in Language.Docker.Syntax fromString :: String -> SourcePath # | |
Show SourcePath Source # | |
Defined in Language.Docker.Syntax showsPrec :: Int -> SourcePath -> ShowS # show :: SourcePath -> String # showList :: [SourcePath] -> ShowS # | |
Eq SourcePath Source # | |
Defined in Language.Docker.Syntax (==) :: SourcePath -> SourcePath -> Bool # (/=) :: SourcePath -> SourcePath -> Bool # | |
Ord SourcePath Source # | |
Defined in Language.Docker.Syntax compare :: SourcePath -> SourcePath -> Ordering # (<) :: SourcePath -> SourcePath -> Bool # (<=) :: SourcePath -> SourcePath -> Bool # (>) :: SourcePath -> SourcePath -> Bool # (>=) :: SourcePath -> SourcePath -> Bool # max :: SourcePath -> SourcePath -> SourcePath # min :: SourcePath -> SourcePath -> SourcePath # |
newtype TargetPath Source #
Instances
IsString TargetPath Source # | |
Defined in Language.Docker.Syntax fromString :: String -> TargetPath # | |
Show TargetPath Source # | |
Defined in Language.Docker.Syntax showsPrec :: Int -> TargetPath -> ShowS # show :: TargetPath -> String # showList :: [TargetPath] -> ShowS # | |
Eq TargetPath Source # | |
Defined in Language.Docker.Syntax (==) :: TargetPath -> TargetPath -> Bool # (/=) :: TargetPath -> TargetPath -> Bool # | |
Ord TargetPath Source # | |
Defined in Language.Docker.Syntax compare :: TargetPath -> TargetPath -> Ordering # (<) :: TargetPath -> TargetPath -> Bool # (<=) :: TargetPath -> TargetPath -> Bool # (>) :: TargetPath -> TargetPath -> Bool # (>=) :: TargetPath -> TargetPath -> Bool # max :: TargetPath -> TargetPath -> TargetPath # min :: TargetPath -> TargetPath -> TargetPath # |
data CopySource Source #
Instances
IsString CopySource Source # | |
Defined in Language.Docker.Syntax fromString :: String -> CopySource # | |
Show CopySource Source # | |
Defined in Language.Docker.Syntax showsPrec :: Int -> CopySource -> ShowS # show :: CopySource -> String # showList :: [CopySource] -> ShowS # | |
Eq CopySource Source # | |
Defined in Language.Docker.Syntax (==) :: CopySource -> CopySource -> Bool # (/=) :: CopySource -> CopySource -> Bool # | |
Ord CopySource Source # | |
Defined in Language.Docker.Syntax compare :: CopySource -> CopySource -> Ordering # (<) :: CopySource -> CopySource -> Bool # (<=) :: CopySource -> CopySource -> Bool # (>) :: CopySource -> CopySource -> Bool # (>=) :: CopySource -> CopySource -> Bool # max :: CopySource -> CopySource -> CopySource # min :: CopySource -> CopySource -> CopySource # |
Instances
Functor Check Source # | |
Show args => Show (Check args) Source # | |
Eq args => Eq (Check args) Source # | |
Ord args => Ord (Check args) Source # | |
Instances
Functor CheckArgs Source # | |
Show args => Show (CheckArgs args) Source # | |
Eq args => Eq (CheckArgs args) Source # | |
Ord args => Ord (CheckArgs args) Source # | |
Defined in Language.Docker.Syntax compare :: CheckArgs args -> CheckArgs args -> Ordering # (<) :: CheckArgs args -> CheckArgs args -> Bool # (<=) :: CheckArgs args -> CheckArgs args -> Bool # (>) :: CheckArgs args -> CheckArgs args -> Bool # (>=) :: CheckArgs args -> CheckArgs args -> Bool # |
newtype ImageAlias Source #
Instances
IsString ImageAlias Source # | |
Defined in Language.Docker.Syntax fromString :: String -> ImageAlias # | |
Show ImageAlias Source # | |
Defined in Language.Docker.Syntax showsPrec :: Int -> ImageAlias -> ShowS # show :: ImageAlias -> String # showList :: [ImageAlias] -> ShowS # | |
Eq ImageAlias Source # | |
Defined in Language.Docker.Syntax (==) :: ImageAlias -> ImageAlias -> Bool # (/=) :: ImageAlias -> ImageAlias -> Bool # | |
Ord ImageAlias Source # | |
Defined in Language.Docker.Syntax compare :: ImageAlias -> ImageAlias -> Ordering # (<) :: ImageAlias -> ImageAlias -> Bool # (<=) :: ImageAlias -> ImageAlias -> Bool # (>) :: ImageAlias -> ImageAlias -> Bool # (>=) :: ImageAlias -> ImageAlias -> Bool # max :: ImageAlias -> ImageAlias -> ImageAlias # min :: ImageAlias -> ImageAlias -> ImageAlias # |
ArgumentsText args | |
ArgumentsList args |
Instances
Functor Arguments Source # | |
IsString (Arguments Text) Source # | |
Defined in Language.Docker.Syntax fromString :: String -> Arguments Text # | |
IsList (Arguments Text) Source # | |
Show args => Show (Arguments args) Source # | |
Eq args => Eq (Arguments args) Source # | |
Ord args => Ord (Arguments args) Source # | |
Defined in Language.Docker.Syntax compare :: Arguments args -> Arguments args -> Ordering # (<) :: Arguments args -> Arguments args -> Bool # (<=) :: Arguments args -> Arguments args -> Bool # (>) :: Arguments args -> Arguments args -> Bool # (>=) :: Arguments args -> Arguments args -> Bool # | |
type Item (Arguments Text) Source # | |
Defined in Language.Docker.Syntax |
type Linenumber = Int Source #
CopyFlags | |
|
BindMount !BindOpts | |
CacheMount !CacheOpts | |
TmpfsMount !TmpOpts | |
SecretMount !SecretOpts | |
SshMount !SecretOpts |
BindOpts | |
|
data SecretOpts Source #
Instances
Show SecretOpts Source # | |
Defined in Language.Docker.Syntax showsPrec :: Int -> SecretOpts -> ShowS # show :: SecretOpts -> String # showList :: [SecretOpts] -> ShowS # | |
Default SecretOpts Source # | |
Defined in Language.Docker.Syntax def :: SecretOpts # | |
Eq SecretOpts Source # | |
Defined in Language.Docker.Syntax (==) :: SecretOpts -> SecretOpts -> Bool # (/=) :: SecretOpts -> SecretOpts -> Bool # | |
Ord SecretOpts Source # | |
Defined in Language.Docker.Syntax compare :: SecretOpts -> SecretOpts -> Ordering # (<) :: SecretOpts -> SecretOpts -> Bool # (<=) :: SecretOpts -> SecretOpts -> Bool # (>) :: SecretOpts -> SecretOpts -> Bool # (>=) :: SecretOpts -> SecretOpts -> Bool # max :: SecretOpts -> SecretOpts -> SecretOpts # min :: SecretOpts -> SecretOpts -> SecretOpts # |
data CacheSharing Source #
Instances
Show CacheSharing Source # | |
Defined in Language.Docker.Syntax showsPrec :: Int -> CacheSharing -> ShowS # show :: CacheSharing -> String # showList :: [CacheSharing] -> ShowS # | |
Eq CacheSharing Source # | |
Defined in Language.Docker.Syntax (==) :: CacheSharing -> CacheSharing -> Bool # (/=) :: CacheSharing -> CacheSharing -> Bool # | |
Ord CacheSharing Source # | |
Defined in Language.Docker.Syntax compare :: CacheSharing -> CacheSharing -> Ordering # (<) :: CacheSharing -> CacheSharing -> Bool # (<=) :: CacheSharing -> CacheSharing -> Bool # (>) :: CacheSharing -> CacheSharing -> Bool # (>=) :: CacheSharing -> CacheSharing -> Bool # max :: CacheSharing -> CacheSharing -> CacheSharing # min :: CacheSharing -> CacheSharing -> CacheSharing # |
data RunSecurity Source #
Instances
Show RunSecurity Source # | |
Defined in Language.Docker.Syntax showsPrec :: Int -> RunSecurity -> ShowS # show :: RunSecurity -> String # showList :: [RunSecurity] -> ShowS # | |
Eq RunSecurity Source # | |
Defined in Language.Docker.Syntax (==) :: RunSecurity -> RunSecurity -> Bool # (/=) :: RunSecurity -> RunSecurity -> Bool # | |
Ord RunSecurity Source # | |
Defined in Language.Docker.Syntax compare :: RunSecurity -> RunSecurity -> Ordering # (<) :: RunSecurity -> RunSecurity -> Bool # (<=) :: RunSecurity -> RunSecurity -> Bool # (>) :: RunSecurity -> RunSecurity -> Bool # (>=) :: RunSecurity -> RunSecurity -> Bool # max :: RunSecurity -> RunSecurity -> RunSecurity # min :: RunSecurity -> RunSecurity -> RunSecurity # |
data RunNetwork Source #
Instances
Show RunNetwork Source # | |
Defined in Language.Docker.Syntax showsPrec :: Int -> RunNetwork -> ShowS # show :: RunNetwork -> String # showList :: [RunNetwork] -> ShowS # | |
Eq RunNetwork Source # | |
Defined in Language.Docker.Syntax (==) :: RunNetwork -> RunNetwork -> Bool # (/=) :: RunNetwork -> RunNetwork -> Bool # | |
Ord RunNetwork Source # | |
Defined in Language.Docker.Syntax compare :: RunNetwork -> RunNetwork -> Ordering # (<) :: RunNetwork -> RunNetwork -> Bool # (<=) :: RunNetwork -> RunNetwork -> Bool # (>) :: RunNetwork -> RunNetwork -> Bool # (>=) :: RunNetwork -> RunNetwork -> Bool # max :: RunNetwork -> RunNetwork -> RunNetwork # min :: RunNetwork -> RunNetwork -> RunNetwork # |
RunFlags | |
|
Instances
Functor RunArgs Source # | |
IsString (RunArgs Text) Source # | |
Defined in Language.Docker.Syntax fromString :: String -> RunArgs Text # | |
Show args => Show (RunArgs args) Source # | |
Eq args => Eq (RunArgs args) Source # | |
Ord args => Ord (RunArgs args) Source # | |
Defined in Language.Docker.Syntax |
newtype EscapeChar Source #
Instances
Show EscapeChar Source # | |
Defined in Language.Docker.Syntax showsPrec :: Int -> EscapeChar -> ShowS # show :: EscapeChar -> String # showList :: [EscapeChar] -> ShowS # | |
IsChar EscapeChar Source # | |
Defined in Language.Docker.Syntax toChar :: EscapeChar -> Char # fromChar :: Char -> EscapeChar # | |
Eq EscapeChar Source # | |
Defined in Language.Docker.Syntax (==) :: EscapeChar -> EscapeChar -> Bool # (/=) :: EscapeChar -> EscapeChar -> Bool # | |
Ord EscapeChar Source # | |
Defined in Language.Docker.Syntax compare :: EscapeChar -> EscapeChar -> Ordering # (<) :: EscapeChar -> EscapeChar -> Bool # (<=) :: EscapeChar -> EscapeChar -> Bool # (>) :: EscapeChar -> EscapeChar -> Bool # (>=) :: EscapeChar -> EscapeChar -> Bool # max :: EscapeChar -> EscapeChar -> EscapeChar # min :: EscapeChar -> EscapeChar -> EscapeChar # |
newtype SyntaxImage Source #
Instances
Show SyntaxImage Source # | |
Defined in Language.Docker.Syntax showsPrec :: Int -> SyntaxImage -> ShowS # show :: SyntaxImage -> String # showList :: [SyntaxImage] -> ShowS # | |
Eq SyntaxImage Source # | |
Defined in Language.Docker.Syntax (==) :: SyntaxImage -> SyntaxImage -> Bool # (/=) :: SyntaxImage -> SyntaxImage -> Bool # | |
Ord SyntaxImage Source # | |
Defined in Language.Docker.Syntax compare :: SyntaxImage -> SyntaxImage -> Ordering # (<) :: SyntaxImage -> SyntaxImage -> Bool # (<=) :: SyntaxImage -> SyntaxImage -> Bool # (>) :: SyntaxImage -> SyntaxImage -> Bool # (>=) :: SyntaxImage -> SyntaxImage -> Bool # max :: SyntaxImage -> SyntaxImage -> SyntaxImage # min :: SyntaxImage -> SyntaxImage -> SyntaxImage # |
data PragmaDirective Source #
Instances
Show PragmaDirective Source # | |
Defined in Language.Docker.Syntax showsPrec :: Int -> PragmaDirective -> ShowS # show :: PragmaDirective -> String # showList :: [PragmaDirective] -> ShowS # | |
Eq PragmaDirective Source # | |
Defined in Language.Docker.Syntax (==) :: PragmaDirective -> PragmaDirective -> Bool # (/=) :: PragmaDirective -> PragmaDirective -> Bool # | |
Ord PragmaDirective Source # | |
Defined in Language.Docker.Syntax compare :: PragmaDirective -> PragmaDirective -> Ordering # (<) :: PragmaDirective -> PragmaDirective -> Bool # (<=) :: PragmaDirective -> PragmaDirective -> Bool # (>) :: PragmaDirective -> PragmaDirective -> Bool # (>=) :: PragmaDirective -> PragmaDirective -> Bool # max :: PragmaDirective -> PragmaDirective -> PragmaDirective # min :: PragmaDirective -> PragmaDirective -> PragmaDirective # |
defaultEsc :: Char Source #
A port can either be a number (plus a protocol, tcp by default) or a variable.
A port range starts and ends with either a number or a variable and can have a protocol associated (tcp by default). The protocol of the start and end port shall be ignored.