-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | Dockerfile linter, parser, pretty-printer and embedded DSL -- -- Forked from hadolint. -- -- All functions for parsing, printing and writting Dockerfiles are -- exported through Language.Dockerfile. For more fine-grained -- operations look for specific modules that implement a certain -- functionality. -- -- There are two flags in this package, which enable building two -- executables: -- -- -- -- See the GitHub project for the source-code and examples. @package language-dockerfile @version 0.3.4.0 module Language.Dockerfile.Bash shellcheck :: String -> [Comment] module Language.Dockerfile.Normalize -- | Remove new line escapes and join escaped lines together on one line to -- simplify parsing later on. Escapes are replaced with line breaks to -- not alter the line numbers. normalizeEscapedLines :: String -> String module Language.Dockerfile.Lexer lexer :: TokenParser () reserved :: String -> Parser () reservedOp :: String -> Parser () natural :: Parser Integer commaSep :: ParsecT String () Identity a -> ParsecT String () Identity [a] stringLiteral :: ParsecT String () Identity String brackets :: ParsecT String () Identity a -> ParsecT String () Identity a identifier :: ParsecT String () Identity String lexeme :: ParsecT String () Identity a -> ParsecT String () Identity a module Language.Dockerfile.Syntax type Image = String type Tag = String data Ports Ports :: [Integer] -> Ports PortStr :: String -> Ports type Directory = String data BaseImage UntaggedImage :: Image -> BaseImage TaggedImage :: Image -> Tag -> BaseImage DigestedImage :: Image -> ByteString -> BaseImage -- | Type of the Dockerfile AST type Dockerfile = [InstructionPos] type Source = String type Destination = String type Arguments = [String] type Pairs = [(String, String)] -- | All commands available in Dockerfiles data Instruction From :: BaseImage -> Instruction Add :: Source -> Destination -> Instruction User :: String -> Instruction Label :: Pairs -> Instruction Stopsignal :: String -> Instruction Copy :: Source -> Destination -> Instruction Run :: Arguments -> Instruction Cmd :: Arguments -> Instruction Workdir :: Directory -> Instruction Expose :: Ports -> Instruction Volume :: String -> Instruction Entrypoint :: Arguments -> Instruction Maintainer :: String -> Instruction Env :: Pairs -> Instruction Arg :: String -> Instruction Comment :: String -> Instruction OnBuild :: Instruction -> Instruction EOL :: Instruction type Filename = String type Linenumber = Int -- | Instruction with additional location information required for -- creating good check messages data InstructionPos InstructionPos :: Instruction -> Filename -> Linenumber -> InstructionPos instruction :: InstructionPos -> Instruction sourcename :: InstructionPos -> Filename instance GHC.Show.Show Language.Dockerfile.Syntax.InstructionPos instance GHC.Classes.Ord Language.Dockerfile.Syntax.InstructionPos instance GHC.Classes.Eq Language.Dockerfile.Syntax.InstructionPos instance GHC.Show.Show Language.Dockerfile.Syntax.Instruction instance GHC.Classes.Ord Language.Dockerfile.Syntax.Instruction instance GHC.Classes.Eq Language.Dockerfile.Syntax.Instruction instance GHC.Show.Show Language.Dockerfile.Syntax.BaseImage instance GHC.Classes.Ord Language.Dockerfile.Syntax.BaseImage instance GHC.Classes.Eq Language.Dockerfile.Syntax.BaseImage instance GHC.Classes.Ord Language.Dockerfile.Syntax.Ports instance GHC.Classes.Eq Language.Dockerfile.Syntax.Ports instance GHC.Show.Show Language.Dockerfile.Syntax.Ports instance Data.String.IsString Language.Dockerfile.Syntax.Ports module Language.Dockerfile.Rules data Metadata Metadata :: String -> Severity -> String -> Metadata [code] :: Metadata -> String [severity] :: Metadata -> Severity [message] :: Metadata -> String data Check Check :: Metadata -> Filename -> Linenumber -> Bool -> Check [metadata] :: Check -> Metadata [filename] :: Check -> Filename [linenumber] :: Check -> Linenumber [success] :: Check -> Bool link :: Metadata -> String type Rule = Dockerfile -> [Check] mapInstructions :: Metadata -> (Instruction -> Bool) -> Rule instructionRule :: String -> Severity -> String -> (Instruction -> Bool) -> Rule dockerfileRule :: String -> Severity -> String -> ([Instruction] -> Bool) -> Rule analyze :: [Rule] -> Dockerfile -> [Check] rules :: [Rule] commentMetadata :: Comment -> Metadata shellcheckBash :: Dockerfile -> [Check] bashCommands :: [String] -> [[String]] absoluteWorkdir :: Rule hasMaintainer :: Rule usingProgram :: String -> [String] -> Bool multipleCmds :: Rule multipleEntrypoints :: Rule wgetOrCurl :: Rule invalidCmd :: Rule noRootUser :: Rule noCd :: Rule noSudo :: Rule noUpgrade :: Rule noUntagged :: Rule noLatestTag :: Rule aptGetVersionPinned :: Rule aptGetPackages :: [String] -> [String] aptGetCleanup :: Rule useAdd :: Rule invalidPort :: Rule maintainerAddress :: Rule pipVersionPinned :: Rule isAptGetInstall :: [[Char]] -> Bool aptGetYes :: Rule aptGetNoRecommends :: Rule isArchive :: String -> Bool isUrl :: String -> Bool copyInsteadAdd :: Rule instance GHC.Classes.Eq Language.Dockerfile.Rules.Check instance GHC.Classes.Eq Language.Dockerfile.Rules.Metadata instance GHC.Classes.Ord Language.Dockerfile.Rules.Check module Language.Dockerfile.FormatCheck formatCheck :: Check -> String module Language.Dockerfile.Syntax.Lift instance Language.Haskell.TH.Syntax.Lift Language.Dockerfile.Syntax.InstructionPos instance Language.Haskell.TH.Syntax.Lift Language.Dockerfile.Syntax.Instruction instance Language.Haskell.TH.Syntax.Lift Language.Dockerfile.Syntax.BaseImage instance Language.Haskell.TH.Syntax.Lift Language.Dockerfile.Syntax.Ports module Language.Dockerfile.Parser comment :: Parser Instruction taggedImage :: Parser BaseImage digestedImage :: Parser BaseImage untaggedImage :: Parser BaseImage baseImage :: Parser BaseImage from :: Parser Instruction cmd :: Parser Instruction copy :: Parser Instruction stopsignal :: Parser Instruction quotedValue :: Parser String rawValue :: Parser String singleValue :: Parser String pair :: Parser (String, String) pairs :: Parser Pairs remainingPairs :: Parser Pairs label :: Parser Instruction arg :: Parser Instruction env :: Parser Instruction user :: Parser Instruction add :: Parser Instruction expose :: Parser Instruction run :: Parser Instruction untilEol :: Parser String untilOccurrence :: String -> Parser String workdir :: Parser Instruction volume :: Parser Instruction maintainer :: Parser Instruction argumentsExec :: Parser Arguments argumentsShell :: Parser Arguments arguments :: Parser Arguments entrypoint :: Parser Instruction onbuild :: Parser Instruction eolInstruction :: Parser Instruction parseInstruction :: Parser Instruction contents :: Parser a -> Parser a eol :: Parser () dockerfile :: Parser Dockerfile parseString :: String -> Either ParseError Dockerfile parseFile :: String -> IO (Either ParseError Dockerfile) module Language.Dockerfile.PrettyPrint -- | Pretty print a Dockerfile to a String prettyPrint :: Dockerfile -> String -- | Pretty print a InstructionPos to a String prettyPrintInstructionPos :: InstructionPos -> String prettyPrintBaseImage :: BaseImage -> Doc prettyPrintPairs :: Pairs -> Doc prettyPrintPair :: (String, String) -> Doc prettyPrintArguments :: Arguments -> Doc prettyPrintInstruction :: Instruction -> Doc module Language.Dockerfile.EDSL.Types data EBaseImage EUntaggedImage :: String -> EBaseImage ETaggedImage :: String -> String -> EBaseImage EDigestedImage :: String -> ByteString -> EBaseImage data EInstruction next From :: EBaseImage -> next -> EInstruction next Add :: Source -> Destination -> next -> EInstruction next User :: String -> next -> EInstruction next Label :: Pairs -> next -> EInstruction next StopSignal :: String -> next -> EInstruction next Copy :: Source -> Destination -> next -> EInstruction next RunArgs :: Arguments -> next -> EInstruction next CmdArgs :: Arguments -> next -> EInstruction next Workdir :: Directory -> next -> EInstruction next Expose :: Ports -> next -> EInstruction next Volume :: String -> next -> EInstruction next EntrypointArgs :: Arguments -> next -> EInstruction next Maintainer :: String -> next -> EInstruction next Env :: Pairs -> next -> EInstruction next Arg :: String -> next -> EInstruction next Comment :: String -> next -> EInstruction next OnBuildRaw :: Instruction -> next -> EInstruction next Embed :: [InstructionPos] -> next -> EInstruction next instance GHC.Base.Functor Language.Dockerfile.EDSL.Types.EInstruction instance GHC.Classes.Ord Language.Dockerfile.EDSL.Types.EBaseImage instance GHC.Classes.Eq Language.Dockerfile.EDSL.Types.EBaseImage instance GHC.Show.Show Language.Dockerfile.EDSL.Types.EBaseImage instance Data.String.IsString Language.Dockerfile.EDSL.Types.EBaseImage module Language.Dockerfile.EDSL -- | The type of Identity based EDSL blocks type EDockerfileM = Free EInstruction -- | The type of free monad EDSL blocks type EDockerfileTM = FreeT EInstruction type EInstructionM = Free EInstruction type EInstructionTM = FreeT EInstruction embed :: forall m_aAnm. MonadFree EInstruction m_aAnm => [InstructionPos] -> m_aAnm () onBuildRaw :: forall m_aAnj. MonadFree EInstruction m_aAnj => Instruction -> m_aAnj () comment :: forall m_aAng. MonadFree EInstruction m_aAng => String -> m_aAng () arg :: forall m_aAnd. MonadFree EInstruction m_aAnd => String -> m_aAnd () env :: forall m_aAna. MonadFree EInstruction m_aAna => Pairs -> m_aAna () maintainer :: forall m_aAn7. MonadFree EInstruction m_aAn7 => String -> m_aAn7 () entrypointArgs :: forall m_aAn4. MonadFree EInstruction m_aAn4 => Arguments -> m_aAn4 () volume :: forall m_aAn1. MonadFree EInstruction m_aAn1 => String -> m_aAn1 () expose :: forall m_aAmY. MonadFree EInstruction m_aAmY => Ports -> m_aAmY () workdir :: forall m_aAmV. MonadFree EInstruction m_aAmV => Directory -> m_aAmV () cmdArgs :: forall m_aAmS. MonadFree EInstruction m_aAmS => Arguments -> m_aAmS () runArgs :: forall m_aAmP. MonadFree EInstruction m_aAmP => Arguments -> m_aAmP () copy :: forall m_aAmL. MonadFree EInstruction m_aAmL => Source -> Destination -> m_aAmL () stopSignal :: forall m_aAmI. MonadFree EInstruction m_aAmI => String -> m_aAmI () label :: forall m_aAmF. MonadFree EInstruction m_aAmF => Pairs -> m_aAmF () user :: forall m_aAmC. MonadFree EInstruction m_aAmC => String -> m_aAmC () add :: forall m_aAmy. MonadFree EInstruction m_aAmy => Source -> Destination -> m_aAmy () from :: forall m_aAlR. MonadFree EInstruction m_aAlR => EBaseImage -> m_aAlR () runDockerWriter :: (MonadWriter [Instruction] m) => EDockerfileM a -> m a runDockerWriterIO :: (Monad m, MonadTrans t, Monad (t m), MonadWriter [Instruction] (t m), MonadIO (t m)) => EDockerfileTM m a -> t m a runDef :: MonadWriter [t] m => (t1 -> t) -> t1 -> m b -> m b runDef2 :: MonadWriter [t] m => (t1 -> t2 -> t) -> t1 -> t2 -> m b -> m b runD :: MonadWriter [Instruction] m => EInstruction (m b) -> m b instructionPos :: Instruction -> InstructionPos -- | Runs the Dockerfile EDSL and returns a Dockerfile you can -- pretty print or manipulate toDockerfile :: EDockerfileM a -> Dockerfile -- | runs the Dockerfile EDSL and returns a String using -- PrettyPrint -- -- 
--   import           Language.Dockerfile
--   
--   main :: IO ()
--   main = writeFile "something.dockerfile" $ toDockerfileStr $ do
--       from (tagged "fpco/stack-build" "lts-6.9")
--       add "." "applanguage-dockerfile"
--       workdir "applanguage-dockerfile"
--       run (words "stack build --test --only-dependencies")
--       cmd (words "stack test")
--
toDockerfileStr :: EDockerfileM a -> String untagged :: String -> EBaseImage tagged :: String -> String -> EBaseImage digested :: String -> ByteString -> EBaseImage ports :: [Integer] -> Ports port :: Integer -> Ports run :: MonadFree EInstruction m => String -> m () entrypoint :: MonadFree EInstruction m => String -> m () cmd :: MonadFree EInstruction m => String -> m () -- | ONBUILD Dockerfile instruction -- -- Each nested instruction gets emitted as a separate ONBUILD -- block -- -- 
--   toDockerfile $ do
--       from "node"
--       run "apt-get update"
--       onBuild $ do
--           run "echo more-stuff"
--           run "echo here"
--
onBuild :: MonadFree EInstruction m => EDockerfileM a -> m () -- | A version of toDockerfile which allows IO actions toDockerfileIO :: MonadIO m => EDockerfileTM m t -> m Dockerfile -- | A version of toDockerfileStr which allows IO actions toDockerfileStrIO :: MonadIO m => EDockerfileTM m t -> m String -- | Just runs the EDSL's writer monad runDockerfileIO :: MonadIO m => EDockerfileTM m t -> m (t, Dockerfile) -- | Runs the EDSL's writer monad and pretty-prints the result runDockerfileStrIO :: MonadIO m => EDockerfileTM m t -> m (t, String) module Language.Dockerfile.EDSL.Quasi -- | Quasiquoter for embedding dockerfiles on the EDSL -- -- 
--   putStr $ toDockerfile $ do
--       from "node"
--       run "apt-get update"
--       [edockerfile|
--       RUN apt-get update
--       CMD node something.js
--       |]
--
edockerfile :: QuasiQuoter edockerfileE :: String -> ExpQ dockerfile :: QuasiQuoter dockerfileE :: String -> ExpQ filterEOL :: [InstructionPos] -> [InstructionPos] module Language.Dockerfile -- | Type of the Dockerfile AST type Dockerfile = [InstructionPos] parseString :: String -> Either ParseError Dockerfile parseFile :: String -> IO (Either ParseError Dockerfile) -- | Pretty print a Dockerfile to a String prettyPrint :: Dockerfile -> String -- | Pretty print a InstructionPos to a String prettyPrintInstructionPos :: InstructionPos -> String -- | runs the Dockerfile EDSL and returns a String using -- PrettyPrint -- -- 
--   import           Language.Dockerfile
--   
--   main :: IO ()
--   main = writeFile "something.dockerfile" $ toDockerfileStr $ do
--       from (tagged "fpco/stack-build" "lts-6.9")
--       add "." "applanguage-dockerfile"
--       workdir "applanguage-dockerfile"
--       run (words "stack build --test --only-dependencies")
--       cmd (words "stack test")
--
toDockerfileStr :: EDockerfileM a -> String -- | Runs the Dockerfile EDSL and returns a Dockerfile you can -- pretty print or manipulate toDockerfile :: EDockerfileM a -> Dockerfile -- | A version of toDockerfileStr which allows IO actions toDockerfileStrIO :: MonadIO m => EDockerfileTM m t -> m String -- | A version of toDockerfile which allows IO actions toDockerfileIO :: MonadIO m => EDockerfileTM m t -> m Dockerfile -- | Just runs the EDSL's writer monad runDockerfileIO :: MonadIO m => EDockerfileTM m t -> m (t, Dockerfile) -- | Runs the EDSL's writer monad and pretty-prints the result runDockerfileStrIO :: MonadIO m => EDockerfileTM m t -> m (t, String) -- | Lift a computation from the IO monad. liftIO :: MonadIO m => forall a. IO a -> m a from :: forall m_aAlR. MonadFree EInstruction m_aAlR => EBaseImage -> m_aAlR () tagged :: String -> String -> EBaseImage untagged :: String -> EBaseImage digested :: String -> ByteString -> EBaseImage add :: forall m_aAmy. MonadFree EInstruction m_aAmy => Source -> Destination -> m_aAmy () user :: forall m_aAmC. MonadFree EInstruction m_aAmC => String -> m_aAmC () label :: forall m_aAmF. MonadFree EInstruction m_aAmF => Pairs -> m_aAmF () stopSignal :: forall m_aAmI. MonadFree EInstruction m_aAmI => String -> m_aAmI () copy :: forall m_aAmL. MonadFree EInstruction m_aAmL => Source -> Destination -> m_aAmL () run :: MonadFree EInstruction m => String -> m () runArgs :: forall m_aAmP. MonadFree EInstruction m_aAmP => Arguments -> m_aAmP () cmd :: MonadFree EInstruction m => String -> m () cmdArgs :: forall m_aAmS. MonadFree EInstruction m_aAmS => Arguments -> m_aAmS () workdir :: forall m_aAmV. MonadFree EInstruction m_aAmV => Directory -> m_aAmV () expose :: forall m_aAmY. MonadFree EInstruction m_aAmY => Ports -> m_aAmY () ports :: [Integer] -> Ports port :: Integer -> Ports volume :: forall m_aAn1. MonadFree EInstruction m_aAn1 => String -> m_aAn1 () entrypoint :: MonadFree EInstruction m => String -> m () entrypointArgs :: forall m_aAn4. MonadFree EInstruction m_aAn4 => Arguments -> m_aAn4 () maintainer :: forall m_aAn7. MonadFree EInstruction m_aAn7 => String -> m_aAn7 () env :: forall m_aAna. MonadFree EInstruction m_aAna => Pairs -> m_aAna () arg :: forall m_aAnd. MonadFree EInstruction m_aAnd => String -> m_aAnd () comment :: forall m_aAng. MonadFree EInstruction m_aAng => String -> m_aAng () -- | ONBUILD Dockerfile instruction -- -- Each nested instruction gets emitted as a separate ONBUILD -- block -- -- 
--   toDockerfile $ do
--       from "node"
--       run "apt-get update"
--       onBuild $ do
--           run "echo more-stuff"
--           run "echo here"
--
onBuild :: MonadFree EInstruction m => EDockerfileM a -> m () onBuildRaw :: forall m_aAnj. MonadFree EInstruction m_aAnj => Instruction -> m_aAnj () embed :: forall m_aAnm. MonadFree EInstruction m_aAnm => [InstructionPos] -> m_aAnm () -- | Quasiquoter for embedding dockerfiles on the EDSL -- -- 
--   putStr $ toDockerfile $ do
--       from "node"
--       run "apt-get update"
--       [edockerfile|
--       RUN apt-get update
--       CMD node something.js
--       |]
--
edockerfile :: QuasiQuoter -- | The type of Identity based EDSL blocks type EDockerfileM = Free EInstruction -- | The type of free monad EDSL blocks type EDockerfileTM = FreeT EInstruction data EBaseImage EUntaggedImage :: String -> EBaseImage ETaggedImage :: String -> String -> EBaseImage EDigestedImage :: String -> ByteString -> EBaseImage dockerfile :: QuasiQuoter -- | All commands available in Dockerfiles data Instruction From :: BaseImage -> Instruction Add :: Source -> Destination -> Instruction User :: String -> Instruction Label :: Pairs -> Instruction Stopsignal :: String -> Instruction Copy :: Source -> Destination -> Instruction Run :: Arguments -> Instruction Cmd :: Arguments -> Instruction Workdir :: Directory -> Instruction Expose :: Ports -> Instruction Volume :: String -> Instruction Entrypoint :: Arguments -> Instruction Maintainer :: String -> Instruction Env :: Pairs -> Instruction Arg :: String -> Instruction Comment :: String -> Instruction OnBuild :: Instruction -> Instruction EOL :: Instruction -- | Instruction with additional location information required for -- creating good check messages data InstructionPos InstructionPos :: Instruction -> Filename -> Linenumber -> InstructionPos data BaseImage UntaggedImage :: Image -> BaseImage TaggedImage :: Image -> Tag -> BaseImage DigestedImage :: Image -> ByteString -> BaseImage type Image = String type Tag = String data Ports type Directory = String type Source = String type Destination = String type Arguments = [String] type Pairs = [(String, String)] type Filename = String type Linenumber = Int -- | The abstract data type ParseError represents parse errors. It -- provides the source position (SourcePos) of the error and a -- list of error messages (Message). A ParseError can be -- returned by the function parse. ParseError is an -- instance of the Show and Eq classes. data ParseError :: * instruction :: InstructionPos -> Instruction instructionPos :: Instruction -> InstructionPos sourcename :: InstructionPos -> Filename