on master help sign in
24 files changed+1492−448
since splitsnapshots
unifiedsplit
.gitignore+2 .travis.yml+40−7 CHANGELOG.md+79 CONTRIBUTING.md+14 LICENSE+1−1 Makefile+24−4 README.md+35−10 docker.cabal+44−13 examples/Example.hs+56−23 scripts/hackage-docs.sh+22 src/Docker/Client.hs+14−7 src/Docker/Client/Api.hs+130−49 src/Docker/Client/Http.hs+87−30 src/Docker/Client/Internal.hs+60−25 src/Docker/Client/Types.hs+466−192 src/Docker/Client/Utils.hs+131 stack-7.10.yaml+32 stack-8.0.2.yaml+4 stack-8.0.yaml+5 stack-8.6.4.yaml+4 stack-8.8.2.yaml+5 stack.yaml+1−32 tests/Dockerfile+1−1 tests/tests.hs+235−54
.gitignore+2
@@ -3,3 +3,5 @@
33/dist/
44*~
55.stack-work/
6+dist-newstyle
7+/cabal.project.local
.travis.yml+40−7
@@ -1,6 +1,12 @@
11sudo: required
22dist: trusty
33
4+# Only build master and release tags
5+branches:
6+ only:
7+ - master
8+ - /^v\d+\.\d+(\.\d+)?(-\S*)?$/
9+
410# Choose a lightweight base image; we provide our own build tools.
511language:
612 c
@@ -16,7 +22,30 @@ services:
1622 - docker
1723
1824env:
19− - STACK_ARGS=""
25+ global:
26+ - RUN_INTEGRATION_TESTS=1
27+ - STACK_ARGS=""
28+
29+ matrix:
30+ - DOCKER_VERSION="1.12.3-0~trusty" GHCVER=7.10
31+ - DOCKER_VERSION="1.13.1-0~ubuntu-trusty" GHCVER=7.10
32+ - DOCKER_VERSION="17.05.0~ce-0~ubuntu-trusty" GHCVER=7.10
33+
34+ - DOCKER_VERSION="1.12.3-0~trusty" GHCVER=8.0
35+ - DOCKER_VERSION="1.13.1-0~ubuntu-trusty" GHCVER=8.0
36+ - DOCKER_VERSION="17.05.0~ce-0~ubuntu-trusty" GHCVER=8.0
37+
38+ - DOCKER_VERSION="1.12.3-0~trusty" GHCVER=8.0.2
39+ - DOCKER_VERSION="1.13.1-0~ubuntu-trusty" GHCVER=8.0.2
40+ - DOCKER_VERSION="17.05.0~ce-0~ubuntu-trusty" GHCVER=8.0.2
41+
42+ - DOCKER_VERSION="1.12.3-0~trusty" GHCVER=8.6.4
43+ - DOCKER_VERSION="1.13.1-0~ubuntu-trusty" GHCVER=8.6.4
44+ - DOCKER_VERSION="17.05.0~ce-0~ubuntu-trusty" GHCVER=8.6.4
45+
46+ - DOCKER_VERSION="1.12.3-0~trusty" GHCVER=8.8.2
47+ - DOCKER_VERSION="1.13.1-0~ubuntu-trusty" GHCVER=8.8.2
48+ - DOCKER_VERSION="17.05.0~ce-0~ubuntu-trusty" GHCVER=8.8.2
2049
2150addons:
2251 apt:
@@ -24,20 +53,24 @@ addons:
2453 - libgmp-dev
2554
2655before_install:
27− # Upgrade docker to 1.12
56+ # Upgrade docker to 1.12.3.0
2857 - sudo sh -c 'echo "deb https://apt.dockerproject.org/repo ubuntu-trusty main" > /etc/apt/sources.list.d/docker.list'
2958 - sudo apt-key adv --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys 58118E89F3A912897C070ADBF76221572C52609D
3059 - sudo apt-get update
31− - sudo apt-get -qqy -o Dpkg::Options::="--force-confdef" -o Dpkg::Options::="--force-confold" install docker-engine=1.12.0-0~trusty
60+ - sudo apt-get -qqy -o Dpkg::Options::="--force-confdef" -o Dpkg::Options::="--force-confold" install docker-engine=$DOCKER_VERSION
61+
62+install:
3263 - mkdir -p "$HOME"/.local/bin
3364 - export PATH=$HOME/.local/bin:$PATH
34−
65+ - export STACK_YAML=stack-$GHCVER.yaml
3566 # install Stack
3667 - travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C $HOME/.local/bin '*/stack'
37− - export PATH=$(stack --stack-yaml stack.yaml path --local-install-root):$PATH
38− - stack setup
39−
68+ - export PATH=$(stack path --local-install-root):$PATH
69+ - stack --version
4070
4171script:
72+ - stack setup
73+ - stack update
74+ - stack build
4275 - stack test
4376
CHANGELOG.md+79
@@ -1,5 +1,84 @@
11# CHANGELOG
22
3+## 0.6.0.3 (2020-02-17)
4+
5+- Support for ghc 8.8.2.
6+- Bump dependency version.
7+- Use MonadFail for later versions.
8+
9+## 0.6.0.1 (2019-05-23)
10+
11+- Support ghc 8.6.4.
12+- Bump containers version.
13+
14+## 0.6.0.0 (2018-06-28)
15+
16+- Rename DeleteOpts to ContainerDeleteOpts.
17+- Implement image deletion.
18+- Bump aeson version.
19+- Implement network aliases.
20+- Implement creating/deleting networks.
21+
22+## 0.5.1.1 (2018-03-09)
23+
24+- Bump aeson version.
25+
26+## 0.5.1.0 (2018-02-23)
27+
28+- Support http-conduit-2.3.0.
29+- Bump http-types versions.
30+
31+## 0.5.0.1 (2018-01-26)
32+
33+- Bumps upper bound for http-types (properly this time).
34+
35+## 0.5.0.0 (2018-01-24)
36+
37+- Added (some) contribution and general docs
38+- Fix case when stopping non-existent container
39+- Added more integration tests
40+- Fixed error while parsing list container endpoint output
41+- Changed State/Status data type (related to the above fix)
42+- Added tests against different docker version to travis CIA
43+- Fixed EnvVar JSON encoding
44+- Fixed NetworkMode parsing
45+- Allow http-types 0.11
46+
47+## 0.4.1.1 (2017-10-16)
48+
49+- Small change to add env var for skipping integration tests.
50+ This is mostly to avoid running those on stackage.
51+
52+## 0.4.1.0 (2017-10-04)
53+
54+- Relaxed aeson, tls and time upper bounds
55+
56+
57+## 0.4.0.2 (2017-09-19)
58+
59+- Support LTS 9.4
60+
61+## 0.4.0.1 (2017-06-29)
62+
63+- fixes omKillDisable parsing from json
64+- adds Entrypoint data type and tests edge cases
65+- more tests
66+- small comsmetic changes
67+
68+## 0.4.0.0 (2017-03-20)
69+
70+- Adds streaming support via conduits (changes API a bit hence the major version release)
71+- Added support for streaming log output
72+- Added support for pulling images from the hub (and streaming the output)
73+
74+## 0.3.0.1 (2016-09-07)
75+
76+- Small cosmetic changes and marking OVERLAPPING instance
77+
78+## 0.3.0.0 (2016-09-06)
79+
80+Major rewrite
81+
382## 0.2.0.4 (2016-02-11)
483
584- Adds function for getting all containers and images
CONTRIBUTING.mdnew file+14
@@ -0,0 +1,14 @@
1+# Contributing
2+
3+If you wish to contribute please see [any issue on GitHub tagged with "help
4+wanted"](https://github.com/denibertovic/docker-hs/issues?q=is%3Aopen+is%3Aissue+label%3A%22help+wanted%22).
5+Before starting to work, consider commenting on the issue you want to resolve or
6+open a new issue to discuss design decisions and implementation details. This is
7+so that no development cycles go to waste on implementing a feature that might
8+not get merged either because of implementation details or other reasons.
9+
10+Make sure to submit your PR's against the `master` branch.
11+
12+## Project Setup
13+
14+See the `README.md` file on how to setup the project on your development machine.
LICENSE+1−1
@@ -1,4 +1,4 @@
1−Copyright (c) 2016, Deni Bertovic
1+Copyright (c) 2014, Deni Bertovic
22
33All rights reserved.
44
Makefile+24−4
@@ -1,22 +1,42 @@
1−.PHONY: build repl test release
1+.PHONY: build repl test release help
22
3−PROJECT_NAME ?= $(shell grep "^name" docker-hs.cabal | cut -d " " -f17)
4−VERSION ?= $(shell grep "^version:" docker-hs.cabal | cut -d " " -f14)
3+.DEFAULT_GOAL = help
4+
5+PROJECT_NAME ?= $(shell grep "^name" docker.cabal | cut -d " " -f17)
6+VERSION ?= $(shell grep "^version:" docker.cabal | cut -d " " -f14)
57RESOLVER ?= $(shell grep "^resolver:" stack.yaml | cut -d " " -f2)
68GHC_VERSION ?= $(shell stack ghc -- --version | cut -d " " -f8)
79ARCH=$(shell uname -m)
810
11+## Run build
912build:
1013 @stack build
1114
15+## Run repl
1216repl:
1317 @stack repl
1418
19+## Run tests. Example RUN_INTEGRATION_TESTS=1 make test
1520test:
16− @stack test
21+ @RUN_INTEGRATION_TESTS=1 stack test
1722
23+## Cut new release
1824release:
1925 @stack build --haddock
2026 @stack sdist
2127 @echo "\n\nDone. Now run: \n\nstack upload <path_to_tarball>\n"
28+ @echo "\nAnd: \n\ngit tag ${VERSION} && git push --tags\n"
29+
30+## Show help screen.
31+help:
32+ @echo "Please use \`make <target>' where <target> is one of\n\n"
33+ @awk '/^[a-zA-Z\-\_0-9]+:/ { \
34+ helpMessage = match(lastLine, /^## (.*)/); \
35+ if (helpMessage) { \
36+ helpCommand = substr($$1, 0, index($$1, ":")-1); \
37+ helpMessage = substr(lastLine, RSTART + 3, RLENGTH); \
38+ printf "%-30s %s\n", helpCommand, helpMessage; \
39+ } \
40+ } \
41+ { lastLine = $$0 }' $(MAKEFILE_LIST)
2242
README.md+35−10
@@ -1,23 +1,48 @@
11# An API client for docker written in Haskell
22
3−Travis CI : [![Build Status](https://travis-ci.org/denibertovic/docker-hs.svg?branch=master)](https://travis-ci.org/denibertovic/docker-hs)
3+| Master |
4+| -------|
5+| [![master](https://travis-ci.org/denibertovic/docker-hs.svg?branch=master)](https://travis-ci.org/denibertovic/docker-hs) |
6+
47
58## Current state
69
7−**Not production ready yet!**
10+Supported Docker Engine Api version: `v1.24` and onwards.
811
9−The library is going through a **total rewrite**.
12+Anything upward of that should work since Docker versions their API.
13+Older docker version and engine api versions are not supported at the moment.
1014
11−See [Issue #12](https://github.com/denibertovic/docker-hs/issues/12) for things
12−that need to happen before a new release.
15+## Documentation
1316
17+The API-documentation is available at
18+[Hackage](https://hackage.haskell.org/package/docker). There are also some
19+usage-examples in the main library source file,
20+[`Client.hs`](https://hackage.haskell.org/package/docker/docs/Docker-Client.html).
1421
1522## Contributing
1623
17−If you wish to contribute please see the Issue mentioned above or any issue tagged with "help wanted".
18−Make sure to submit your PR's against the `dev` branch.
24+Please see [CONTRIBUTING.md](CONTRIBUTING.md).
25+
26+### Project Setup
27+
28+For working on the library, you need the Haskell Tool Stack installed (see [the
29+Haskell Tool Stack
30+website](https://docs.haskellstack.org/en/stable/install_and_upgrade/)). You
31+also need `make` to use the `Makefile` included in the project. Run `make help`
32+to see the available commands (for building, running the tests and releasing).
33+
34+### Tests
35+
36+Tests are located in the `tests` directory and can be run with `make test`. This
37+only runs the unit tests.
38+
39+To run integration tests, you need Docker installed and listening on Port `2375`
40+of `localhost` (docker only listens to a Unix socket by default, see the [Docker
41+documentation](https://docs.docker.com/engine/reference/commandline/dockerd/#daemon-socket-option)
42+for details). Set the environment variable `RUN_INTEGRATION_TESTS`, i.e.
43+`RUN_INTEGRATION_TESTS=1 make test`.
1944
20−Please consider filling an Issue first and discuss design decisions and implementation details before
21−writing any code. This is so that no development cycles go to waste on implementing a feature that
22−might not get merged either because of implementation details or other reasons.
45+## IRC
2346
47+If you have any questions or suggestions you can find the maintainers in `#docker-haskell`
48+on freenode.
docker.cabal+44−13
@@ -1,7 +1,7 @@
11name: docker
2−version: 0.3.0.0
2+version: 0.6.0.3
33synopsis: An API client for docker written in Haskell
4−description: See README.md
4+description: See API documentation below.
55homepage: https://github.com/denibertovic/docker-hs
66license: BSD3
77license-file: LICENSE
@@ -14,28 +14,57 @@ extra-source-files: README.md
1414cabal-version: >=1.10
1515stability: experimental
1616
17+-- Flag small-http-conduit
18+-- Description: Resolve whether http-conduit < 2.3.0.
19+-- Manual: False
20+-- Default: True
21+
1722library
18− default-extensions: DeriveGeneric, OverloadedStrings, ScopedTypeVariables, ExplicitForAll, MultiParamTypeClasses, FlexibleContexts, GeneralizedNewtypeDeriving, RankNTypes, DeriveFunctor, FlexibleInstances
23+ default-extensions: DeriveGeneric, OverloadedStrings, ScopedTypeVariables, ExplicitForAll, MultiParamTypeClasses, FlexibleContexts, GeneralizedNewtypeDeriving, RankNTypes, DeriveFunctor, FlexibleInstances, CPP
1924 hs-source-dirs: src
20− exposed-modules: Docker.Client, Docker.Client.Api, Docker.Client.Types, Docker.Client.Internal, Docker.Client.Http
25+ exposed-modules: Docker.Client, Docker.Client.Api, Docker.Client.Types, Docker.Client.Internal, Docker.Client.Http, Docker.Client.Utils
2126 -- other-modules: Docker.Internal
2227 build-depends: base >= 4.7 && < 5
23− , aeson >= 0.9.0 && < 1.1.0
28+ , aeson >= 0.9.0 && < 2.0.0
2429 , blaze-builder >= 0.4.0 && < 0.5.0
2530 , bytestring >= 0.10.0 && < 0.11.0
26− , containers >= 0.5.0 && < 0.6.0
31+ , containers >= 0.5.0 && < 0.7.0
2732 , data-default-class >= 0.0.1 && < 0.2.0
28− , http-client >= 0.4.0 && < 0.6.0
29− , http-types >= 0.9 && < 0.10.0
33+ , http-client >= 0.4.0 && < 0.7.0
34+ , http-types >= 0.9 && < 0.13
35+ , vector
36+ , conduit
37+ , conduit-combinators
38+ , conduit-extra
39+ , exceptions
40+ , monad-control
41+ , resourcet
42+ , transformers
43+ , transformers-base
44+ , tar
45+ , zlib
46+ , uuid
47+ , temporary
48+ , directory >= 1.2.5.0
49+ , filemanip
50+ , filepath
3051 , mtl >= 2.0.0 && < 3.0.0
3152 , network >= 2.6.0
3253 , text >= 1.0.0 && < 2.0.0
33− , time >= 1.5.0 && < 1.7.0
34− , tls >= 1.3.7 && < 1.4.0
54+ , time >= 1.5.0 && < 2.0.0
55+ , scientific >= 0.3.0 && < 0.4.0
56+ , tls >= 1.3.7 && < 1.6.0
3557 , unordered-containers >= 0.2.0 && < 0.3.0
36− , x509 >= 1.6.0 && < 1.7.0
37− , x509-store >= 1.6.0 && < 1.7.0
38− , x509-system >= 1.6.0 && < 1.7.0
58+ , x509 >= 1.6.0 && < 1.8.0
59+ , x509-store >= 1.6.0 && < 1.8.0
60+ , x509-system >= 1.6.0 && < 1.8.0
61+ , http-conduit
62+ , unliftio-core >= 0.1.0.0 && < 0.2.0
63+ -- if flag(small-http-conduit)
64+ -- build-depends: http-conduit < 2.3.0
65+ -- else
66+ -- build-depends: http-conduit >= 2.3.0
67+ -- , unliftio-core
3968 default-language: Haskell2010
4069 ghc-options: -Wall -fno-warn-name-shadowing
4170
@@ -44,6 +73,7 @@ test-suite docker-hs-tests
4473 , bytestring
4574 , connection
4675 , docker
76+ , directory
4777 , aeson
4878 , containers
4979 , unordered-containers
@@ -59,6 +89,7 @@ test-suite docker-hs-tests
5989 , transformers
6090 , QuickCheck
6191 , process
92+ , vector
6293 type: exitcode-stdio-1.0
6394 main-is: tests.hs
6495 hs-source-dirs: tests
examples/Example.hs+56−23
@@ -1,31 +1,64 @@
11import Docker.Client
22
33runNginxContainer :: IO ContainerID
4−runNginxContainer = runDockerT (defaultClientOpts, defaultHttpHandler) $ do
5− let pb = PortBinding 80 TCP [HostPort "0.0.0.0" 8000]
6− let myCreateOpts = addPortBinding (defaultCreateOpts "nginx:latest") pb
7− cid <- createContainer myCreateOpts
8− case cid of
9− Left err -> error $ show err
10− Right i -> do
11− _ <- startContainer defaultStartOpts i
12− return i
4+runNginxContainer = do
5+ h <- defaultHttpHandler
6+ runDockerT (defaultClientOpts, h) $
7+ do let pb = PortBinding 80 TCP [HostPort "0.0.0.0" 8000]
8+ let myCreateOpts = addPortBinding pb $ defaultCreateOpts "nginx:latest"
9+ cid <- createContainer myCreateOpts (Just "myNginxContainer")
10+ case cid of
11+ Left err -> error $ show err
12+ Right i -> do
13+ _ <- startContainer defaultStartOpts i
14+ return i
1315
1416stopNginxContainer :: ContainerID -> IO ()
15−stopNginxContainer cid = runDockerT (defaultClientOpts, defaultHttpHandler) $ do
16− r <- stopContainer DefaultTimeout cid
17− case r of
18− Left err -> error "I failed to stop the container"
19− Right _ -> return ()
17+stopNginxContainer cid = do
18+ h <- defaultHttpHandler
19+ runDockerT (defaultClientOpts, h) $
20+ do r <- stopContainer DefaultTimeout cid
21+ case r of
22+ Left _ -> error "I failed to stop the container"
23+ Right _ -> return ()
2024
2125runPostgresContainer :: IO ContainerID
22−runPostgresContainer = runDockerT (defaultClientOpts, defaultHttpHandler) $ do
23− let pb = PortBinding 5432 TCP [HostPort "0.0.0.0" 5432]
24− let myCreateOpts = addBinds [Bind "/tmp" "/tmp" Nothing] $ addPortBinding (defaultCreateOpts "postgres:9.5") pb
25− cid <- createContainer myCreateOpts
26− case cid of
27− Left err -> error $ show err
28− Right i -> do
29− _ <- startContainer defaultStartOpts i
30− return i
26+runPostgresContainer = do
27+ h <- defaultHttpHandler
28+ runDockerT (defaultClientOpts, h) $
29+ do let pb = PortBinding 5432 TCP [HostPort "0.0.0.0" 5432]
30+ let b = Bind "/tmp" "/tmp" Nothing
31+ let myCreateOpts = addBind b $ addPortBinding pb $ defaultCreateOpts "postgres:9.5"
32+ cid <- createContainer myCreateOpts Nothing
33+ case cid of
34+ Left err -> error $ show err
35+ Right i -> do
36+ _ <- startContainer defaultStartOpts i
37+ return i
38+
39+-- | Example of how we can start a database container while hosting it's
40+-- data in a data volume living inside another container.
41+runPostgresWithDataContainer :: IO ContainerID
42+runPostgresWithDataContainer = do
43+ h <- defaultHttpHandler
44+ runDockerT (defaultClientOpts, h) $
45+ -- We use a dummy command like /bin/true because we don't want to start
46+ -- the postgres database in the data container we just want it to
47+ -- create a container filesystem for us.
48+ do let dataOpts = setCmd "/bin/true" $ defaultCreateOpts "postgres:9.5"
49+ cid <- createContainer dataOpts (Just "myDataContainer")
50+ _ <-
51+ case cid of
52+ Left err -> error $ show err
53+ Right i -> startContainer defaultStartOpts i
54+ let pb = PortBinding 5432 TCP [HostPort "0.0.0.0" 5432]
55+ -- Default permission is read-write if we don't specify anything
56+ let vf = VolumeFrom "myDataContainer" Nothing
57+ let myCreateOpts = addVolumeFrom vf $ addPortBinding pb $ defaultCreateOpts "postgres:9.5"
58+ ccid <- createContainer myCreateOpts (Just "pgContainer")
59+ case ccid of
60+ Left err -> error $ show err
61+ Right i -> do
62+ _ <- startContainer defaultStartOpts i
63+ return i
3164
scripts/hackage-docs.shnew file+22
@@ -0,0 +1,22 @@
1+#!/bin/bash
2+
3+# Run this script in the top-level of your package directory
4+# (where the .cabal file is) to compile documentation and
5+# upload it to hackage.
6+
7+# Requirements:
8+# cabal-install-1.24 (for --for-hackage)
9+# haddock 2.17 (for the hyperlinked source)
10+
11+set -e
12+
13+VERSION=`grep "^version:" docker.cabal | cut -d " " -f14`
14+BUILDDIR=dist-newstyle/build/docker-$VERSION
15+DOCSDIRNAME=docker-$VERSION-docs
16+
17+cabal act-as-setup -- haddock --builddir=$BUILDDIR --for-hackage --hyperlink-sources
18+cd $BUILDDIR/doc/html && tar --format=ustar -zcvf $DOCSDIRNAME.tar.gz $DOCSDIRNAME
19+
20+echo NOW RUN: \n\n
21+echo cabal upload -d $BUILDDIR/doc/html/$DOCSDIRNAME.tar.gz
22+
src/Docker/Client.hs+14−7
@@ -3,7 +3,7 @@
33
44{-|
55Module : Docker.Client
6−Copyright : (c) Deni Bertovic, 2016
6+Copyright : (c) Deni Bertovic, 2014
77License : BSD3
88Maintainer : deni@denibertovic.com
99Stability : experimental
@@ -20,9 +20,11 @@ the host.
2020import Docker.Client
2121
2222runNginxContainer :: IO ContainerID
23−runNginxContainer = runDockerT (defaultClientOpts, defaultHttpHandler) $ do
23+runNginxContainer = do
24+ h <- defaultHttpHandler
25+ runDockerT (defaultClientOpts, h) $ do
2426 let pb = PortBinding 80 TCP [HostPort "0.0.0.0" 8000]
25− let myCreateOpts = addPortBinding (defaultCreateOpts "nginx:latest") pb
27+ let myCreateOpts = addPortBinding pb $ defaultCreateOpts "nginx:latest"
2628 cid <- createContainer myCreateOpts
2729 case cid of
2830 Left err -> error $ show err
@@ -42,7 +44,9 @@ Let's stop the container now:
4244
4345@
4446stopNginxContainer :: ContainerID -> IO ()
45−stopNginxContainer cid = runDockerT (defaultClientOpts, defaultHttpHandler) $ do
47+stopNginxContainer cid = do
48+ h <- defaultHttpHandler
49+ runDockerT (defaultClientOpts, h) $ do
4650 r <- stopContainer DefaultTimeout cid
4751 case r of
4852 Left err -> error "I failed to stop the container"
@@ -57,9 +61,11 @@ persist on the host file system.
5761
5862@
5963runPostgresContainer :: IO ContainerID
60−runPostgresContainer = runDockerT (defaultClientOpts, defaultHttpHandler) $ do
64+runPostgresContainer = do
65+ h <- defaultHttpHandler
66+ runDockerT (defaultClientOpts, h) $ do
6167 let pb = PortBinding 5432 TCP [HostPort "0.0.0.0" 5432]
62− let myCreateOpts = addBinds [Bind "\/tmp" "\/tmp" Nothing] $ addPortBinding (defaultCreateOpts "postgres:9.5") pb
68+ let myCreateOpts = addBinds [Bind "\/tmp" "\/tmp" Nothing] $ addPortBinding pb $ defaultCreateOpts "postgres:9.5"
6369 cid <- createContainer myCreateOpts
6470 case cid of
6571 Left err -> error $ show err
@@ -70,7 +76,8 @@ runPostgresContainer = runDockerT (defaultClientOpts, defaultHttpHandler) $ do
7076
7177= Get Docker API Version
7278
73−>>> runDockerT (defaultClientOpts, defaultHttpHandler) $ getDockerVersion
79+>>> h <- defaultHttpHandler
80+>>> runDockerT (defaultClientOpts, h) $ getDockerVersion
7481Right (DockerVersion {version = "1.12.0", apiVersion = "1.24", gitCommit = "8eab29e", goVersion = "go1.6.3", os = "linux", arch = "amd64", kernelVersion = "4.6.0-1-amd64", buildTime = "2016-07-28T21:46:40.664812891+00:00"})
7582
7683= Setup SSL Authentication
src/Docker/Client/Api.hs+130−49
@@ -7,6 +7,7 @@ module Docker.Client.Api (
77 , createContainer
88 , startContainer
99 , stopContainer
10+ , waitContainer
1011 , killContainer
1112 , restartContainer
1213 , pauseContainer
@@ -14,110 +15,143 @@ module Docker.Client.Api (
1415 , deleteContainer
1516 , inspectContainer
1617 , getContainerLogs
18+ , getContainerLogsStream
1719 -- * Images
1820 , listImages
21+ , deleteImage
22+ , buildImageFromDockerfile
23+ , pullImage
24+ -- * Network
25+ , createNetwork
26+ , removeNetwork
1927 -- * Other
2028 , getDockerVersion
2129 ) where
2230
23−import Control.Monad.Except (ExceptT (..), runExceptT, throwError)
24−import Control.Monad.Reader (ask, lift)
25−import Data.Aeson (FromJSON, eitherDecode')
26−import qualified Data.ByteString.Lazy as BSL
27−import qualified Data.Text as Text
28−import Network.HTTP.Client (responseBody, responseStatus)
29−import Network.HTTP.Types (StdMethod (..))
31+import Control.Monad.Catch (MonadMask (..))
32+import Control.Monad.IO.Class
33+import Control.Monad.Reader (ask, lift)
34+import Data.Aeson (FromJSON, eitherDecode')
35+import qualified Data.ByteString as BS
36+import qualified Data.ByteString.Lazy as BSL
37+import Data.Conduit (Sink)
38+import qualified Data.Conduit.Binary as Conduit
39+import qualified Data.Text as T
40+import qualified Data.Text as Text
41+import Network.HTTP.Client (responseStatus)
42+import Network.HTTP.Types (StdMethod (..))
43+import System.Exit (ExitCode (..))
3044
3145import Docker.Client.Http
3246import Docker.Client.Types
47+import Docker.Client.Utils
3348
34−requestUnit :: (Monad m) => HttpVerb -> Endpoint -> DockerT m (Either DockerError ())
35−requestUnit verb endpoint = const (Right ()) <$> requestHelper verb endpoint
49+requestUnit :: (MonadIO m, MonadMask m) => HttpVerb -> Endpoint -> DockerT m (Either DockerError ())
50+requestUnit verb endpoint = fmap (const ()) <$> requestHelper verb endpoint
3651
37−requestHelper :: (Monad m) => HttpVerb -> Endpoint -> DockerT m (Either DockerError Response)
38−requestHelper verb endpoint = runExceptT $ do
39− (opts, httpHandler) <- lift ask
52+requestHelper :: (MonadIO m, MonadMask m) => HttpVerb -> Endpoint -> DockerT m (Either DockerError BSL.ByteString)
53+requestHelper verb endpoint = requestHelper' verb endpoint Conduit.sinkLbs
54+
55+requestHelper' :: (MonadIO m, MonadMask m) => HttpVerb -> Endpoint -> Sink BS.ByteString m a -> DockerT m (Either DockerError a)
56+requestHelper' verb endpoint sink = do
57+ (opts, HttpHandler httpHandler) <- ask
4058 case mkHttpRequest verb endpoint opts of
4159 Nothing ->
42− throwError $ DockerInvalidRequest endpoint
60+ return $ Left $ DockerInvalidRequest endpoint
4361 Just request -> do
44− response <- ExceptT $ lift $ httpHandler request
45−
46− -- Check status code.
47− let status = responseStatus response
48− maybe (return ()) throwError $
49− statusCodeToError endpoint status
50−
51− return response
52−
53−parseResponse :: (FromJSON a, Monad m) => Either DockerError Response -> DockerT m (Either DockerError a)
62+ -- JP: Do we need runResourceT?
63+ -- lift $ NHS.httpSink request $ \response ->
64+ lift $ httpHandler request $ \response ->
65+ -- Check status code.
66+ let status = responseStatus response in
67+ case statusCodeToError endpoint status of
68+ Just err ->
69+ return $ Left err
70+ Nothing ->
71+ fmap Right sink
72+
73+parseResponse :: (FromJSON a, Monad m) => Either DockerError BSL.ByteString -> DockerT m (Either DockerError a)
5474parseResponse (Left err) =
5575 return $ Left err
5676parseResponse (Right response) =
5777 -- Parse request body.
58− case eitherDecode' $ responseBody response of
78+ case eitherDecode' response of
5979 Left err ->
6080 return $ Left $ DockerClientDecodeError $ Text.pack err
6181 Right r ->
6282 return $ Right r
6383
6484-- | Gets the version of the docker engine remote API.
65−getDockerVersion :: forall m. Monad m => DockerT m (Either DockerError DockerVersion)
85+getDockerVersion :: forall m. (MonadIO m, MonadMask m) => DockerT m (Either DockerError DockerVersion)
6686getDockerVersion = requestHelper GET VersionEndpoint >>= parseResponse
6787
6888-- | Lists all running docker containers. Pass in @'defaultListOpts' {all
6989-- = True}@ to get a list of stopped containers as well.
70−listContainers :: forall m. Monad m => ListOpts -> DockerT m (Either DockerError [Container])
90+listContainers :: forall m. (MonadIO m, MonadMask m) => ListOpts -> DockerT m (Either DockerError [Container])
7191listContainers opts = requestHelper GET (ListContainersEndpoint opts) >>= parseResponse
7292
7393-- | Lists all docker images.
74−listImages :: forall m. Monad m => ListOpts -> DockerT m (Either DockerError [Image])
94+listImages :: forall m. (MonadIO m, MonadMask m) => ListOpts -> DockerT m (Either DockerError [Image])
7595listImages opts = requestHelper GET (ListImagesEndpoint opts) >>= parseResponse
7696
97+-- | Deletes an image with the given 'ImageID'.
98+-- See "ImageDeleteOpts" for options and use 'defaultImageDeleteOpts' for sane
99+-- defaults.
100+deleteImage :: forall m. (MonadIO m, MonadMask m) => ImageDeleteOpts -> ImageID -> DockerT m (Either DockerError ())
101+deleteImage dopts iid = requestUnit DELETE $ DeleteImageEndpoint dopts iid
102+
77103-- | Creates a docker container but does __not__ start it. See
78104-- 'CreateOpts' for a list of options and you can use 'defaultCreateOpts'
79105-- for some sane defaults.
80−createContainer :: forall m. Monad m => CreateOpts -> DockerT m (Either DockerError ContainerID)
81−createContainer opts = requestHelper POST (CreateContainerEndpoint opts) >>= parseResponse
106+createContainer :: forall m. (MonadIO m, MonadMask m) => CreateOpts -> Maybe ContainerName -> DockerT m (Either DockerError ContainerID)
107+createContainer opts cn = requestHelper POST (CreateContainerEndpoint opts cn) >>= parseResponse
82108
83109-- | Start a container from a given 'ContainerID' that we get from
84110-- 'createContainer'. See 'StartOpts' for a list of configuration options
85111-- for starting a container. Use 'defaultStartOpts' for sane defaults.
86−startContainer :: forall m. Monad m => StartOpts -> ContainerID -> DockerT m (Either DockerError ())
112+startContainer :: forall m. (MonadIO m, MonadMask m) => StartOpts -> ContainerID -> DockerT m (Either DockerError ())
87113startContainer sopts cid = requestUnit POST $ StartContainerEndpoint sopts cid
88114
89115-- | Attempts to stop a container with the given 'ContainerID' gracefully
90116-- (SIGTERM).
91117-- The docker daemon will wait for the given 'Timeout' and then send
92118-- a SIGKILL killing the container.
93−stopContainer :: forall m. Monad m => Timeout -> ContainerID -> DockerT m (Either DockerError ())
119+stopContainer :: forall m. (MonadIO m, MonadMask m) => Timeout -> ContainerID -> DockerT m (Either DockerError ())
94120stopContainer t cid = requestUnit POST $ StopContainerEndpoint t cid
95121
122+-- | Blocks until a container with the given 'ContainerID' stops,
123+-- then returns the exit code
124+waitContainer :: forall m. (MonadIO m, MonadMask m) => ContainerID -> DockerT m (Either DockerError ExitCode)
125+waitContainer cid = fmap (fmap statusCodeToExitCode) (requestHelper POST (WaitContainerEndpoint cid) >>= parseResponse)
126+ where
127+ statusCodeToExitCode (StatusCode 0) = ExitSuccess
128+ statusCodeToExitCode (StatusCode x) = ExitFailure x
129+
96130-- | Sends a 'Signal' to the container with the given 'ContainerID'. Same
97131-- as 'stopContainer' but you choose the signal directly.
98−killContainer :: forall m. Monad m => Signal -> ContainerID -> DockerT m (Either DockerError ())
132+killContainer :: forall m. (MonadIO m, MonadMask m) => Signal -> ContainerID -> DockerT m (Either DockerError ())
99133killContainer s cid = requestUnit POST $ KillContainerEndpoint s cid
100134
101135-- | Restarts a container with the given 'ContainerID'.
102−restartContainer :: forall m. Monad m => Timeout -> ContainerID -> DockerT m (Either DockerError ())
136+restartContainer :: forall m. (MonadIO m, MonadMask m) => Timeout -> ContainerID -> DockerT m (Either DockerError ())
103137restartContainer t cid = requestUnit POST $ RestartContainerEndpoint t cid
104138
105139-- | Pauses a container with the given 'ContainerID'.
106−pauseContainer :: forall m. Monad m => ContainerID -> DockerT m (Either DockerError ())
140+pauseContainer :: forall m. (MonadIO m, MonadMask m) => ContainerID -> DockerT m (Either DockerError ())
107141pauseContainer cid = requestUnit POST $ PauseContainerEndpoint cid
108142
109143-- | Unpauses a container with the given 'ContainerID'.
110−unpauseContainer :: forall m. Monad m => ContainerID -> DockerT m (Either DockerError ())
144+unpauseContainer :: forall m. (MonadIO m, MonadMask m) => ContainerID -> DockerT m (Either DockerError ())
111145unpauseContainer cid = requestUnit GET $ UnpauseContainerEndpoint cid
112146
113147-- | Deletes a container with the given 'ContainerID'.
114−-- See "DeleteOpts" for options and use 'defaultDeleteOpts' for sane
148+-- See "ContainerDeleteOpts" for options and use 'defaultContainerDeleteOpts' for sane
115149-- defaults.
116−deleteContainer :: forall m. Monad m => DeleteOpts -> ContainerID -> DockerT m (Either DockerError ())
150+deleteContainer :: forall m. (MonadIO m, MonadMask m) => ContainerDeleteOpts -> ContainerID -> DockerT m (Either DockerError ())
117151deleteContainer dopts cid = requestUnit DELETE $ DeleteContainerEndpoint dopts cid
118152
119153-- | Gets 'ContainerDetails' for a given 'ContainerID'.
120−inspectContainer :: forall m . Monad m => ContainerID -> DockerT m (Either DockerError ContainerDetails)
154+inspectContainer :: forall m . (MonadIO m, MonadMask m) => ContainerID -> DockerT m (Either DockerError ContainerDetails)
121155inspectContainer cid = requestHelper GET (InspectContainerEndpoint cid) >>= parseResponse
122156
123157-- | Get's container's logs for a given 'ContainerID'.
@@ -127,20 +161,67 @@ inspectContainer cid = requestHelper GET (InspectContainerEndpoint cid) >>= pars
127161-- See 'LogOpts' for options that you can pass and
128162-- 'defaultLogOpts' for sane defaults.
129163--
130−-- __NOTE__: Currently streaming logs is
131−-- not supported and this function will fetch the entire log that the
164+-- __NOTE__: his function will fetch the entire log that the
132165-- container produced in the json-file on disk. Depending on the logging
133166-- setup of the process in your container this can be a significant amount
134167-- which might block your application...so use with caution.
135168--
136−-- The recommended method is to use one of the other 'LogDriverType's available (like
169+-- If you want to stream the logs from the container continuosly then use
170+-- 'getContainerLogsStream'
171+--
172+-- __NOTE__: It's recommended to use one of the other 'LogDriverType's available (like
137173-- syslog) for creating your containers.
138−getContainerLogs :: forall m. Monad m => LogOpts -> ContainerID -> DockerT m (Either DockerError BSL.ByteString)
139−getContainerLogs logopts cid = fmap responseBody <$> requestHelper GET (ContainerLogsEndpoint logopts False cid)
140−
141−-- TODO: Use http-conduit to output to a sink.
142−-- getContainerLogsStream :: forall m. Monad m => Sink BSL.ByteString m b -> LogOpts -> ContainerID -> DockerT m (Either DockerError b)
143−-- getContainerLogsStream sink logopts cid = runResourceT $ do
144−-- response <- http request manager
145−-- responseBody response C.$$+- sink
174+getContainerLogs :: forall m. (MonadIO m, MonadMask m) => LogOpts -> ContainerID -> DockerT m (Either DockerError BSL.ByteString)
175+getContainerLogs logopts cid = requestHelper GET (ContainerLogsEndpoint logopts False cid)
176+
177+{-| Continuously gets the container's logs as a stream. Uses conduit.
178+
179+__Example__:
180+
181+@
182+>>> import Docker.Client
183+>>> import Data.Maybe
184+>>> import Conduit
185+>>> h <- defaultHttpHanlder
186+>>> let cid = fromJust $ toContainerID "fee86e1d522b"
187+>>> runDockerT (defaultClientOpts, h) $ getContainerLogsStream defaultLogOpts cid stdoutC
188+@
189+
190+-}
191+getContainerLogsStream :: forall m b . (MonadIO m, MonadMask m) => LogOpts -> ContainerID -> Sink BS.ByteString m b -> DockerT m (Either DockerError b)
192+getContainerLogsStream logopts cid = requestHelper' GET (ContainerLogsEndpoint logopts True cid)
193+-- JP: Should the second (follow) argument be True? XXX
194+
195+-- | Build an Image from a Dockerfile
196+--
197+-- TODO: Add X-Registry-Config
198+--
199+-- TODO: Add support for remote URLs to a Dockerfile
200+--
201+-- TODO: Clean up temp tar.gz file after the image is built
202+buildImageFromDockerfile :: forall m. (MonadIO m, MonadMask m) => BuildOpts -> FilePath -> DockerT m (Either DockerError ())
203+buildImageFromDockerfile opts base = do
204+ ctx <- makeBuildContext $ BuildContextRootDir base
205+ case ctx of
206+ Left e -> return $ Left e
207+ Right c -> requestUnit POST (BuildImageEndpoint opts c)
208+
209+-- | Pulls an image from Docker Hub (by default).
210+--
211+-- TODO: Add support for X-Registry-Auth and pulling from private docker
212+-- registries.
213+--
214+-- TODO: Implement importImage function that uses he same
215+-- CreateImageEndpoint but rather than pulling from docker hub it imports
216+-- the image from a tarball or a URL.
217+pullImage :: forall m b . (MonadIO m, MonadMask m) => T.Text -> Tag -> Sink BS.ByteString m b -> DockerT m (Either DockerError b)
218+pullImage name tag = requestHelper' POST (CreateImageEndpoint name tag Nothing)
219+
220+-- | Creates network
221+createNetwork :: forall m. (MonadIO m, MonadMask m) => CreateNetworkOpts -> DockerT m (Either DockerError NetworkID)
222+createNetwork opts = requestHelper POST (CreateNetworkEndpoint opts) >>= parseResponse
223+
224+-- | Removes a network
225+removeNetwork :: forall m. (MonadIO m, MonadMask m) => NetworkID -> DockerT m (Either DockerError ())
226+removeNetwork nid = requestUnit DELETE $ RemoveNetworkEndpoint nid
146227
src/Docker/Client/Http.hs+87−30
@@ -3,21 +3,28 @@
33
44module Docker.Client.Http where
55
6−import Control.Monad.Reader (ReaderT, runReaderT)
6+-- import Control.Monad.Base (MonadBase(..), liftBaseDefault)
7+import Control.Monad.Catch (MonadMask (..))
8+#if MIN_VERSION_http_conduit(2,3,0)
9+import Control.Monad.IO.Unlift (MonadUnliftIO)
10+#endif
11+import Control.Monad.Reader (ReaderT (..), runReaderT)
712import qualified Data.ByteString.Char8 as BSC
813import qualified Data.ByteString.Lazy as BL
14+import Data.Conduit (Sink)
915import Data.Default.Class (def)
1016import Data.Monoid ((<>))
1117import Data.Text.Encoding (encodeUtf8)
1218import Data.X509 (CertificateChain (..))
1319import Data.X509.CertificateStore (makeCertificateStore)
1420import Data.X509.File (readKeyFile, readSignedObject)
15−import Network.HTTP.Client (defaultManagerSettings, httpLbs,
21+import Network.HTTP.Client (defaultManagerSettings,
1622 managerRawConnection, method,
17− newManager, parseUrl,
23+ newManager, parseRequest,
1824 requestBody, requestHeaders)
1925import qualified Network.HTTP.Client as HTTP
2026import Network.HTTP.Client.Internal (makeConnection)
27+import qualified Network.HTTP.Simple as NHS
2128import Network.HTTP.Types (StdMethod, status101, status200,
2229 status201, status204)
2330import Network.TLS (ClientHooks (..),
@@ -27,7 +34,7 @@ import Network.TLS (ClientHooks (..),
2734import Network.TLS.Extra (ciphersuite_strong)
2835import System.X509 (getSystemCertificateStore)
2936
30−import Control.Exception (try)
37+import Control.Monad.Catch (try)
3138import Control.Monad.Except
3239import Control.Monad.Reader.Class
3340import Data.Text as T
@@ -38,20 +45,22 @@ import qualified Network.Socket.ByteString as SBS
3845
3946
4047import Docker.Client.Internal (getEndpoint,
48+ getEndpointContentType,
4149 getEndpointRequestBody)
4250import Docker.Client.Types (DockerClientOpts, Endpoint (..),
43− baseUrl)
51+ apiVer, baseUrl)
4452
4553type Request = HTTP.Request
4654type Response = HTTP.Response BL.ByteString
4755type HttpVerb = StdMethod
48−type HttpHandler m = Request -> m (Either DockerError Response)
56+newtype HttpHandler m = HttpHandler (forall a . Request -> (HTTP.Response () -> Sink BSC.ByteString m (Either DockerError a)) -> m (Either DockerError a))
4957
50−data DockerError = DockerConnectionError
58+data DockerError = DockerConnectionError NHS.HttpException
5159 | DockerInvalidRequest Endpoint
60+ | DockerClientError Text
5261 | DockerClientDecodeError Text -- ^ Could not parse the response from the Docker endpoint.
5362 | DockerInvalidStatusCode HTTP.Status -- ^ Invalid exit code received from Docker endpoint.
54− | GenericDockerError Text deriving (Eq, Show, Typeable)
63+ | GenericDockerError Text deriving (Show, Typeable)
5564
5665newtype DockerT m a = DockerT {
5766 unDockerT :: Monad m => ReaderT (DockerClientOpts, HttpHandler m) m a
@@ -75,6 +84,9 @@ instance MonadTrans DockerT where
7584instance MonadIO m => MonadIO (DockerT m) where
7685 liftIO = lift . liftIO
7786
87+-- instance MonadBase IO m => MonadBase IO (DockerT m) where
88+-- liftBase = liftBaseDefault
89+
7890runDockerT :: Monad m => (DockerClientOpts, HttpHandler m) -> DockerT m a -> m a
7991runDockerT (opts, h) r = runReaderT (unDockerT r) (opts, h)
8092
@@ -84,28 +96,41 @@ runDockerT (opts, h) r = runReaderT (unDockerT r) (opts, h)
8496-- benefit from testing that on all of our Endpoints
8597mkHttpRequest :: HttpVerb -> Endpoint -> DockerClientOpts -> Maybe Request
8698mkHttpRequest verb e opts = request
87− where fullE = T.unpack (baseUrl opts) ++ T.unpack (getEndpoint e)
88− initialR = parseUrl fullE
99+ where fullE = T.unpack (baseUrl opts) ++ T.unpack (getEndpoint (apiVer opts) e)
100+ initialR = parseRequest fullE
89101 request' = case initialR of
90102 Just ir ->
91103 return $ ir {method = (encodeUtf8 . T.pack $ show verb),
92− requestHeaders = [("Content-Type", "application/json; charset=utf-8")]}
104+ requestHeaders = [("Content-Type", (getEndpointContentType e))]}
93105 Nothing -> Nothing
94− request = (\r -> maybe r (\body -> r {requestBody = HTTP.RequestBodyLBS body,
106+ request = (\r -> maybe r (\body -> r {requestBody = body, -- This will either be a HTTP.RequestBodyLBS or HTTP.RequestBodySourceChunked for the build endpoint
95107 requestHeaders = [("Content-Type", "application/json; charset=utf-8")]}) $ getEndpointRequestBody e) <$> request'
96108 -- Note: Do we need to set length header?
97109
98−defaultHttpHandler :: MonadIO m => HttpHandler m
99−defaultHttpHandler request = do
110+defaultHttpHandler :: (
111+#if MIN_VERSION_http_conduit(2,3,0)
112+ MonadUnliftIO m,
113+#endif
114+ MonadIO m, MonadMask m) => m (HttpHandler m)
115+defaultHttpHandler = do
100116 manager <- liftIO $ newManager defaultManagerSettings
101− httpHandler manager request
102−
103−httpHandler :: MonadIO m => HTTP.Manager -> HttpHandler m
104−httpHandler manager request = liftIO $ do
105− try (httpLbs request manager) >>= \res -> case res of
106− Right res -> return $ Right res
107− Left HTTP.FailedConnectionException{} -> return $ Left DockerConnectionError
108− Left HTTP.FailedConnectionException2{} -> return $ Left DockerConnectionError
117+ return $ httpHandler manager
118+
119+httpHandler :: (
120+#if MIN_VERSION_http_conduit(2,3,0)
121+ MonadUnliftIO m,
122+#endif
123+ MonadIO m, MonadMask m) => HTTP.Manager -> HttpHandler m
124+httpHandler manager = HttpHandler $ \request' sink -> do -- runResourceT ..
125+ let request = NHS.setRequestManager manager request'
126+ try (NHS.httpSink request sink) >>= \res -> case res of
127+ Right res -> return res
128+#if MIN_VERSION_http_client(0,5,0)
129+ Left e@(HTTP.HttpExceptionRequest _ HTTP.ConnectionFailure{}) -> return $ Left $ DockerConnectionError e
130+#else
131+ Left e@HTTP.FailedConnectionException{} -> return $ Left $ DockerConnectionError e
132+ Left e@HTTP.FailedConnectionException2{} -> return $ Left $ DockerConnectionError e
133+#endif
109134 Left e -> return $ Left $ GenericDockerError (T.pack $ show e)
110135
111136-- | Connect to a unix domain socket (the default docker socket is
@@ -113,13 +138,17 @@ httpHandler manager request = liftIO $ do
113138--
114139-- Docker seems to ignore the hostname in requests sent over unix domain
115140-- sockets (and the port obviously doesn't matter either)
116−unixHttpHandler :: MonadIO m => FilePath -- ^ The socket to connect to
117− -> HttpHandler m
118−unixHttpHandler fp request = do
141+unixHttpHandler :: (
142+#if MIN_VERSION_http_conduit(2,3,0)
143+ MonadUnliftIO m,
144+#endif
145+ MonadIO m, MonadMask m) => FilePath -- ^ The socket to connect to
146+ -> m (HttpHandler m)
147+unixHttpHandler fp = do
119148 let mSettings = defaultManagerSettings
120149 { managerRawConnection = return $ openUnixSocket fp}
121150 manager <- liftIO $ newManager mSettings
122− httpHandler manager request
151+ return $ httpHandler manager
123152
124153 where
125154 openUnixSocket filePath _ _ _ = do
@@ -127,7 +156,7 @@ unixHttpHandler fp request = do
127156 S.connect s (S.SockAddrUnix filePath)
128157 makeConnection (SBS.recv s 8096)
129158 (SBS.sendAll s)
130− (S.sClose s)
159+ (S.close s)
131160
132161-- TODO:
133162-- Move this to http-client-tls or network?
@@ -179,7 +208,7 @@ statusCodeToError (ListImagesEndpoint _) st =
179208 Nothing
180209 else
181210 Just $ DockerInvalidStatusCode st
182−statusCodeToError (CreateContainerEndpoint _) st =
211+statusCodeToError (CreateContainerEndpoint _ _) st =
183212 if st == status201 then
184213 Nothing
185214 else
@@ -194,6 +223,11 @@ statusCodeToError (StopContainerEndpoint _ _) st =
194223 Nothing
195224 else
196225 Just $ DockerInvalidStatusCode st
226+statusCodeToError (WaitContainerEndpoint _) st =
227+ if st == status200 then
228+ Nothing
229+ else
230+ Just $ DockerInvalidStatusCode st
197231statusCodeToError (KillContainerEndpoint _ _) st =
198232 if st == status204 then
199233 Nothing
@@ -229,5 +263,28 @@ statusCodeToError (InspectContainerEndpoint _) st =
229263 Nothing
230264 else
231265 Just $ DockerInvalidStatusCode st
232−
233−
266+statusCodeToError (BuildImageEndpoint _ _) st =
267+ if st == status200 then
268+ Nothing
269+ else
270+ Just $ DockerInvalidStatusCode st
271+statusCodeToError (CreateImageEndpoint _ _ _) st =
272+ if st == status200 then
273+ Nothing
274+ else
275+ Just $ DockerInvalidStatusCode st
276+statusCodeToError (DeleteImageEndpoint _ _) st =
277+ if st == status200 then
278+ Nothing
279+ else
280+ Just $ DockerInvalidStatusCode st
281+statusCodeToError (CreateNetworkEndpoint _) st =
282+ if st == status201 then
283+ Nothing
284+ else
285+ Just $ DockerInvalidStatusCode st
286+statusCodeToError (RemoveNetworkEndpoint _) st =
287+ if st == status204 then
288+ Nothing
289+ else
290+ Just $ DockerInvalidStatusCode st
src/Docker/Client/Internal.hs+60−25
@@ -1,14 +1,17 @@
11module Docker.Client.Internal where
22
3−
43import Blaze.ByteString.Builder (toByteString)
54import qualified Data.Aeson as JSON
65import Data.ByteString (ByteString)
7−import qualified Data.ByteString.Lazy as BSL
8−import Data.Text as T
6+import qualified Data.ByteString.Char8 as BSC
7+import qualified Data.Conduit.Binary as CB
8+import qualified Data.Text as T
99import Data.Text.Encoding (decodeUtf8, encodeUtf8)
10+import qualified Network.HTTP.Client as HTTP
11+import Network.HTTP.Conduit (requestBodySourceChunked)
1012import Network.HTTP.Types (Query, encodePath,
1113 encodePathSegments)
14+import Prelude hiding (all)
1215
1316import Docker.Client.Types
1417
@@ -22,48 +25,68 @@ encodeURLWithQuery ps q = decodeUtf8 $ toByteString $ encodePath ps q
2225encodeQ :: String -> ByteString
2326encodeQ = encodeUtf8 . T.pack
2427
25−getEndpoint :: Endpoint -> T.Text
26−getEndpoint VersionEndpoint = encodeURL ["version"]
27−getEndpoint (ListContainersEndpoint _) = encodeURL ["containers", "json"] -- Make use of lsOpts here
28−getEndpoint (ListImagesEndpoint _) = encodeURL ["images", "json"] -- Make use of lsOpts here
29−getEndpoint (CreateContainerEndpoint _) = encodeURL ["containers", "create"]
30−getEndpoint (StartContainerEndpoint startOpts cid) = encodeURLWithQuery ["containers", fromContainerID cid, "start"] query
28+getEndpoint :: ApiVersion -> Endpoint -> T.Text
29+getEndpoint v VersionEndpoint = encodeURL [v, "version"]
30+getEndpoint v (ListContainersEndpoint (ListOpts all)) = encodeURLWithQuery [v, "containers", "json"] [("all", Just (encodeQ $ show all))]
31+getEndpoint v (ListImagesEndpoint _) = encodeURL [v, "images", "json"] -- Make use of lsOpts here
32+getEndpoint v (CreateContainerEndpoint _ cn) = case cn of
33+ Just cn -> encodeURLWithQuery [v, "containers", "create"] [("name", Just (encodeQ $ T.unpack cn))]
34+ Nothing -> encodeURL [v, "containers", "create"]
35+getEndpoint v (StartContainerEndpoint startOpts cid) = encodeURLWithQuery [v, "containers", fromContainerID cid, "start"] query
3136 where query = case (detachKeys startOpts) of
3237 WithCtrl c -> [("detachKeys", Just (encodeQ $ ctrl ++ [c]))]
3338 WithoutCtrl c -> [("detachKeys", Just (encodeQ [c]))]
3439 DefaultDetachKey -> []
3540 ctrl = ['c', 't', 'r', 'l', '-']
36−getEndpoint (StopContainerEndpoint t cid) = encodeURLWithQuery ["containers", fromContainerID cid, "stop"] query
41+getEndpoint v (StopContainerEndpoint t cid) = encodeURLWithQuery [v, "containers", fromContainerID cid, "stop"] query
3742 where query = case t of
38− Timeout x -> [("t", Just (encodeQ $ show x))]
43+ Timeout x -> [("t", Just (encodeQ $ show x))]
3944 DefaultTimeout -> []
40−getEndpoint (KillContainerEndpoint s cid) = encodeURLWithQuery ["containers", fromContainerID cid, "kill"] query
45+getEndpoint v (WaitContainerEndpoint cid) = encodeURL [v, "containers", fromContainerID cid, "wait"]
46+getEndpoint v (KillContainerEndpoint s cid) = encodeURLWithQuery [v, "containers", fromContainerID cid, "kill"] query
4147 where query = case s of
4248 SIG x -> [("signal", Just (encodeQ $ show x))]
43− _ -> [("signal", Just (encodeQ $ show s))]
44−getEndpoint (RestartContainerEndpoint t cid) = encodeURLWithQuery ["containers", fromContainerID cid, "restart"] query
49+ _ -> [("signal", Just (encodeQ $ show s))]
50+getEndpoint v (RestartContainerEndpoint t cid) = encodeURLWithQuery [v, "containers", fromContainerID cid, "restart"] query
4551 where query = case t of
46− Timeout x -> [("t", Just (encodeQ $ show x))]
52+ Timeout x -> [("t", Just (encodeQ $ show x))]
4753 DefaultTimeout -> []
48−getEndpoint (PauseContainerEndpoint cid) = encodeURL ["containers", fromContainerID cid, "pause"]
49−getEndpoint (UnpauseContainerEndpoint cid) = encodeURL ["containers", fromContainerID cid, "unpause"]
54+getEndpoint v (PauseContainerEndpoint cid) = encodeURL [v, "containers", fromContainerID cid, "pause"]
55+getEndpoint v (UnpauseContainerEndpoint cid) = encodeURL [v, "containers", fromContainerID cid, "unpause"]
5056-- Make use of since/timestamps/tail logopts here instead of ignoreing them
51−getEndpoint (ContainerLogsEndpoint (LogOpts stdout stderr _ _ _) follow cid) =
52− encodeURLWithQuery ["containers", fromContainerID cid, "logs"] query
57+getEndpoint v (ContainerLogsEndpoint (LogOpts stdout stderr _ _ _) follow cid) =
58+ encodeURLWithQuery [v, "containers", fromContainerID cid, "logs"] query
5359 where query = [("stdout", Just (encodeQ $ show stdout)), ("stderr", Just (encodeQ $ show stderr)), ("follow", Just (encodeQ $ show follow))]
54−getEndpoint (DeleteContainerEndpoint (DeleteOpts removeVolumes force) cid) =
55− encodeURLWithQuery ["containers", fromContainerID cid] query
60+getEndpoint v (DeleteContainerEndpoint (ContainerDeleteOpts removeVolumes force) cid) =
61+ encodeURLWithQuery [v, "containers", fromContainerID cid] query
5662 where query = [("v", Just (encodeQ $ show removeVolumes)), ("force", Just (encodeQ $ show force))]
57−getEndpoint (InspectContainerEndpoint cid) =
58− encodeURLWithQuery ["containers", fromContainerID cid, "json"] []
63+getEndpoint v (InspectContainerEndpoint cid) =
64+ encodeURLWithQuery [v, "containers", fromContainerID cid, "json"] []
65+getEndpoint v (BuildImageEndpoint o _) = encodeURLWithQuery [v, "build"] query
66+ where query = [("t", Just t), ("dockerfile", Just dockerfile), ("q", Just q), ("nocache", Just nocache), ("rm", Just rm), ("forcerm", Just forcerm), ("pull", Just pull)]
67+ t = encodeQ $ T.unpack $ buildImageName o
68+ dockerfile = encodeQ $ T.unpack $ buildDockerfileName o
69+ q = encodeQ $ show $ buildQuiet o
70+ nocache = encodeQ $ show $ buildNoCache o
71+ rm = encodeQ $ show $ buildRemoveItermediate o
72+ forcerm = encodeQ $ show $ buildForceRemoveIntermediate o
73+ pull = encodeQ $ show $ buildPullParent o
74+getEndpoint v (CreateImageEndpoint name tag _) = encodeURLWithQuery [v, "images", "create"] query
75+ where query = [("fromImage", Just n), ("tag", Just t)]
76+ n = encodeQ $ T.unpack name
77+ t = encodeQ $ T.unpack tag
78+getEndpoint v (DeleteImageEndpoint _ cid) = encodeURL [v, "images", fromImageID cid]
79+getEndpoint v (CreateNetworkEndpoint _) = encodeURL [v, "networks", "create"]
80+getEndpoint v (RemoveNetworkEndpoint nid) = encodeURL [v, "networks", fromNetworkID nid]
5981
60−getEndpointRequestBody :: Endpoint -> Maybe BSL.ByteString
82+getEndpointRequestBody :: Endpoint -> Maybe HTTP.RequestBody
6183getEndpointRequestBody VersionEndpoint = Nothing
6284getEndpointRequestBody (ListContainersEndpoint _) = Nothing
6385getEndpointRequestBody (ListImagesEndpoint _) = Nothing
64−getEndpointRequestBody (CreateContainerEndpoint opts) = Just $ JSON.encode opts
86+getEndpointRequestBody (CreateContainerEndpoint opts _) = Just $ HTTP.RequestBodyLBS (JSON.encode opts)
6587getEndpointRequestBody (StartContainerEndpoint _ _) = Nothing
6688getEndpointRequestBody (StopContainerEndpoint _ _) = Nothing
89+getEndpointRequestBody (WaitContainerEndpoint _) = Nothing
6790getEndpointRequestBody (KillContainerEndpoint _ _) = Nothing
6891getEndpointRequestBody (RestartContainerEndpoint _ _) = Nothing
6992getEndpointRequestBody (PauseContainerEndpoint _) = Nothing
@@ -71,3 +94,15 @@ getEndpointRequestBody (UnpauseContainerEndpoint _) = Nothing
7194getEndpointRequestBody (ContainerLogsEndpoint _ _ _) = Nothing
7295getEndpointRequestBody (DeleteContainerEndpoint _ _) = Nothing
7396getEndpointRequestBody (InspectContainerEndpoint _) = Nothing
97+
98+getEndpointRequestBody (BuildImageEndpoint _ fp) = Just $ requestBodySourceChunked $ CB.sourceFile fp
99+getEndpointRequestBody (CreateImageEndpoint _ _ _) = Nothing
100+getEndpointRequestBody (DeleteImageEndpoint _ _) = Nothing
101+
102+getEndpointRequestBody (CreateNetworkEndpoint opts) = Just $ HTTP.RequestBodyLBS (JSON.encode opts)
103+getEndpointRequestBody (RemoveNetworkEndpoint _) = Nothing
104+
105+getEndpointContentType :: Endpoint -> BSC.ByteString
106+getEndpointContentType (BuildImageEndpoint _ _) = BSC.pack "application/tar"
107+getEndpointContentType _ = BSC.pack "application/json; charset=utf-8"
108+
src/Docker/Client/Types.hs+466−192
@@ -11,7 +11,11 @@ module Docker.Client.Types (
1111 , ImageID
1212 , fromImageID
1313 , toImageID
14+ , NetworkID
15+ , fromNetworkID
16+ , toNetworkID
1417 , Timeout(..)
18+ , StatusCode(..)
1519 , Signal(..)
1620 , ContainerDetails(..)
1721 , DockerClientOpts(..)
@@ -22,42 +26,48 @@ module Docker.Client.Types (
2226 , ContainerPortInfo(..)
2327 , Container(..)
2428 , ContainerState(..)
25− , Status(..)
29+ , State(..)
2630 , Digest
27− , Labels(..)
31+ , Label(..)
2832 , Tag
2933 , Image(..)
34+ , Entrypoint(..)
3035 , dropImagePrefix
3136 , CreateOpts(..)
37+ , BuildOpts(..)
38+ , defaultBuildOpts
3239 , defaultCreateOpts
3340 , DetachKeys(..)
3441 , StartOpts(..)
3542 , defaultStartOpts
36− , DeleteOpts(..)
37− , defaultDeleteOpts
43+ , ContainerDeleteOpts(..)
44+ , defaultContainerDeleteOpts
45+ , ImageDeleteOpts(..)
46+ , defaultImageDeleteOpts
3847 , Timestamp
3948 , TailLogOpt(..)
4049 , LogOpts(..)
4150 , defaultLogOpts
51+ , CreateNetworkOpts(..)
52+ , defaultCreateNetworkOpts
4253 , VolumePermission(..)
4354 , Bind(..)
44− , Volumes(..)
55+ , Volume(..)
4556 , Device(..)
4657 , ContainerName
4758 , VolumeFrom(..)
4859 , Link(..)
4960 , LogDriverType(..)
50− , LogDriverOptions(..)
61+ , LogDriverOption(..)
5162 , LogDriverConfig(..)
5263 , NetworkMode(..)
5364 , PortType(..)
5465-- , NetworkInterface(..)
55− , Networks(..)
66+ , Network(..)
5667 , NetworkSettings(..)
5768 , NetworkOptions(..)
5869 , Mount(..)
5970 , PortBinding(..)
60− , PortBindings(..)
6171 , HostPort(..)
6272 , RetryCount
6373 , RestartPolicy(..)
@@ -65,6 +75,8 @@ module Docker.Client.Types (
6575 , UTSMode(..)
6676 , HostConfig(..)
6777 , defaultHostConfig
78+ , NetworkingConfig(..)
79+ , EndpointConfig(..)
6880 , Ulimit(..)
6981 , ContainerResources(..)
7082 , defaultContainerResources
@@ -74,11 +86,18 @@ module Docker.Client.Types (
7486 , EnvVar(..)
7587 , ContainerConfig(..)
7688 , defaultContainerConfig
77− , ExposedPorts(..)
89+ , ExposedPort(..)
7890 , DeviceWeight(..)
7991 , DeviceRate(..)
8092 , addPortBinding
81− , addBinds
93+ , addExposedPort
94+ , addBind
95+ , setCmd
96+ , addLink
97+ , addVolume
98+ , addVolumeFrom
99+ , MemoryConstraint(..)
100+ , MemoryConstraintSize(..)
82101 ) where
83102
84103import Data.Aeson (FromJSON, ToJSON, genericParseJSON,
@@ -88,11 +107,12 @@ import qualified Data.Aeson as JSON
88107import Data.Aeson.Types (defaultOptions, fieldLabelModifier)
89108import Data.Char (isAlphaNum, toUpper)
90109import qualified Data.HashMap.Strict as HM
91−import qualified Data.Map as M
92110import Data.Monoid ((<>))
111+import Data.Scientific (floatingOrInteger)
93112import Data.Text (Text)
94113import qualified Data.Text as T
95114import Data.Time.Clock (UTCTime)
115+import qualified Data.Vector as V
96116import GHC.Generics (Generic)
97117import Prelude hiding (all, tail)
98118import Text.Read (readMaybe)
@@ -102,17 +122,23 @@ data Endpoint =
102122 VersionEndpoint
103123 | ListContainersEndpoint ListOpts
104124 | ListImagesEndpoint ListOpts
105− | CreateContainerEndpoint CreateOpts
125+ | CreateContainerEndpoint CreateOpts (Maybe ContainerName)
106126 | StartContainerEndpoint StartOpts ContainerID
107127 | StopContainerEndpoint Timeout ContainerID
128+ | WaitContainerEndpoint ContainerID
108129 | KillContainerEndpoint Signal ContainerID
109130 | RestartContainerEndpoint Timeout ContainerID
110131 | PauseContainerEndpoint ContainerID
111132 | UnpauseContainerEndpoint ContainerID
112133 | ContainerLogsEndpoint LogOpts Bool ContainerID -- ^ Second argument (Bool) is whether to follow which is currently hardcoded to False.
113134 -- See note in 'Docker.Client.Api.getContainerLogs' for explanation why.
114− | DeleteContainerEndpoint DeleteOpts ContainerID
135+ | DeleteContainerEndpoint ContainerDeleteOpts ContainerID
115136 | InspectContainerEndpoint ContainerID
137+ | BuildImageEndpoint BuildOpts FilePath
138+ | CreateImageEndpoint T.Text Tag (Maybe T.Text) -- ^ Either pull an image from docker hub or imports an image from a tarball (or URL)
139+ | DeleteImageEndpoint ImageDeleteOpts ImageID
140+ | CreateNetworkEndpoint CreateNetworkOpts
141+ | RemoveNetworkEndpoint NetworkID
116142 deriving (Eq, Show)
117143
118144-- | We should newtype this
@@ -159,6 +185,20 @@ toImageID t =
159185-- | Timeout used for stopping a container. DefaultTimeout is 10 seconds.
160186data Timeout = Timeout Integer | DefaultTimeout deriving (Eq, Show)
161187
188+data StatusCode = StatusCode Int
189+
190+instance ToJSON StatusCode where
191+ toJSON (StatusCode c) = object ["StatusCode" .= c]
192+
193+instance FromJSON StatusCode where
194+ parseJSON (JSON.Object o) = do
195+ c <- o .: "StatusCode"
196+ if c >= 0 && c <= 255 then
197+ return (StatusCode c)
198+ else
199+ fail "Unknown exit code"
200+ parseJSON _ = fail "Unknown exit code"
201+
162202-- TODO: Add more Signals or use an existing lib
163203-- | Signal used for sending to the process running in the container.
164204-- The default signal is SIGTERM.
@@ -173,16 +213,16 @@ data Signal = SIGHUP
173213
174214instance FromJSON Signal where
175215 parseJSON (JSON.String "SIGTERM") = return SIGTERM
176− parseJSON (JSON.String "SIGHUP") = return SIGHUP -- Note: Guessing on the string values for these.
177− parseJSON (JSON.String "SIGINT") = return SIGINT
216+ parseJSON (JSON.String "SIGHUP") = return SIGHUP -- Note: Guessing on the string values for these.
217+ parseJSON (JSON.String "SIGINT") = return SIGINT
178218 parseJSON (JSON.String "SIGQUIT") = return SIGQUIT
179219 parseJSON (JSON.String "SIGSTOP") = return SIGSTOP
180220 parseJSON (JSON.String "SIGUSR1") = return SIGUSR1
181− parseJSON _ = fail "Unknown Signal"
221+ parseJSON _ = fail "Unknown Signal"
182222
183223instance ToJSON Signal where
184− toJSON SIGHUP = "SIGHUP"
185− toJSON SIGINT = "SIGINT"
224+ toJSON SIGHUP = "SIGHUP"
225+ toJSON SIGINT = "SIGINT"
186226 toJSON SIGQUIT = "SIGQUIT"
187227 toJSON SIGSTOP = "SIGSTOP"
188228 toJSON SIGTERM = "SIGTERM"
@@ -210,7 +250,7 @@ data ContainerDetails = ContainerDetails {
210250 , processLabel :: Text
211251 , resolveConfPath :: FilePath
212252 , restartCount :: Int
213− , state :: ContainerState
253+ , containerDetailsState :: ContainerState
214254 , mounts :: [Mount]
215255 }
216256 deriving (Eq, Show, Generic)
@@ -218,11 +258,11 @@ data ContainerDetails = ContainerDetails {
218258-- | Data type used for parsing the mount information from a container
219259-- list.
220260data Mount = Mount {
221− mountName :: Text
261+ mountName :: Maybe Text -- this is optional
222262 , mountSource :: FilePath
223263 , mountDestination :: FilePath
224− , mountDriver :: Text
225− , mountMode :: Maybe VolumePermission -- apparently this can be null
264+ , mountDriver :: Maybe Text
265+ -- , mountMode :: Maybe VolumePermission -- apparently this can be null
226266 , mountRW :: Bool
227267 , mountPropogation :: Text
228268 }
@@ -230,14 +270,14 @@ data Mount = Mount {
230270
231271instance FromJSON Mount where
232272 parseJSON (JSON.Object o) = do
233− name <- o .: "Name"
273+ name <- o .:? "Name"
234274 src <- o .: "Source"
235275 dest <- o .: "Destination"
236− driver <- o .: "Driver"
237− mode <- o .: "Mode"
276+ driver <- o .:? "Driver"
277+ -- mode <- o .: "Mode"
238278 rw <- o .: "RW"
239279 prop <- o .: "Propagation"
240− return $ Mount name src dest driver mode rw prop
280+ return $ Mount name src dest driver rw prop
241281 parseJSON _ = fail "Mount is not an object"
242282
243283-- | Data type used for parsing the container state from a list of
@@ -253,7 +293,7 @@ data ContainerState = ContainerState {
253293 , restarting :: Bool
254294 , running :: Bool
255295 , startedAt :: UTCTime
256− , status :: Status
296+ , state :: State
257297 }
258298 deriving (Eq, Show, Generic)
259299
@@ -416,20 +456,17 @@ instance FromJSON NetworkOptions where
416456 parseJSON _ = fail "NetworkOptions is not an object"
417457
418458-- TODO: Not sure what this is used for anymore.
419−newtype Networks = Networks (M.Map NetworkMode NetworkOptions) -- Note: Is it ever possible that there will be duplicates of network modes?
459+data Network = Network NetworkMode NetworkOptions
420460 deriving (Eq, Show)
421461
422−instance FromJSON Networks where
423− parseJSON (JSON.Object o) = do
424− Networks <$> HM.foldlWithKey' f (return M.empty) o
425−
462+instance {-# OVERLAPPING #-} FromJSON [Network] where
463+ parseJSON (JSON.Object o) = HM.foldlWithKey' f (return []) o
426464 where
427465 f accM k' v' = do
428466 acc <- accM
429467 k <- parseJSON $ JSON.String k'
430468 v <- parseJSON v'
431− return $ M.insert k v acc
432−
469+ return $ (Network k v):acc
433470 parseJSON _ = fail "Networks is not an object"
434471
435472-- | Data type reprsenting the various network settings a container can have.
@@ -439,7 +476,7 @@ data NetworkSettings = NetworkSettings {
439476 , networkSettingsHairpinMode :: Bool
440477 , networkSettingsLinkLocalIPv6Address :: Text
441478 , networkSettingsLinkLocalIPv6PrefixLen :: Int
442− , networkSettingsPorts :: PortBindings
479+ , networkSettingsPorts :: [PortBinding]
443480 , networkSettingsSandboxKey :: Text
444481 , networkSettingsSecondaryIPAddresses :: Maybe [Text] -- TODO: 1.24 spec is unclear
445482 , networkSettingsSecondaryIPv6Addresses :: Maybe [Text] -- TODO: 1.24 spec is unclear
@@ -451,7 +488,7 @@ data NetworkSettings = NetworkSettings {
451488 , networkSettingsIpPrefixLen :: Int
452489 , networkSettingsIpv6Gateway :: Text
453490 , networkSettingsMacAddress :: Text
454− , networkSettingsNetworks :: Networks
491+ , networkSettingsNetworks :: [Network]
455492 }
456493 deriving (Eq, Show)
457494
@@ -486,21 +523,23 @@ data Container = Container
486523 , containerImageId :: ImageID
487524 , containerCommand :: Text
488525 , containerCreatedAt :: Int
489− , containerStatus :: Status
526+ , containerState :: State
527+ , containerStatus :: Maybe Text
490528 , containerPorts :: [ContainerPortInfo]
491− , containerLabels :: Labels
492− , containerNetworks :: Networks
529+ , containerLabels :: [Label]
530+ , containerNetworks :: [Network]
493531 , containerMounts :: [Mount]
494532 } deriving (Show, Eq)
495533
496534instance FromJSON Container where
497− parseJSON (JSON.Object v) =
498− Container <$> (v .: "Id")
535+ parseJSON o@(JSON.Object v) =
536+ Container <$> parseJSON o
499537 <*> (v .: "Names")
500538 <*> (v .: "Image")
501− <*> (v .: "ImageID")
502− <*> (v .: "Command")
539+ <*> (v .: "ImageID") -- Doesn't exist anymore
540+ <*> (v .: "Command") -- Doesn't exist anymore
503541 <*> (v .: "Created")
542+ <*> (v .: "State")
504543 <*> (v .: "Status")
505544 <*> (v .: "Ports")
506545 <*> (v .: "Labels")
@@ -510,34 +549,45 @@ instance FromJSON Container where
510549 parseNetworks (JSON.Object v) =
511550 (v .: "Networks") >>= parseJSON
512551 parseNetworks _ = fail "Container NetworkSettings: Not a JSON object."
513−
514552 parseJSON _ = fail "Container: Not a JSON object."
515553
516−-- | Represents the status of the container life cycle.
517−data Status = Created | Restarting | Running | Paused | Exited | Dead
554+-- | Represents the state of the container life cycle.
555+data State = Created | Restarting | Running | Paused | Exited | Dead
518556 deriving (Eq, Show, Generic)
519557
520−instance FromJSON Status where
521− parseJSON (JSON.String "running") = return Running
522− parseJSON (JSON.String "created") = return Created -- Note: Guessing on the string values of these.
558+instance FromJSON State where
559+ parseJSON (JSON.String "running") = return Running
560+ parseJSON (JSON.String "created") = return Created -- Note: Guessing on the string values of these.
523561 parseJSON (JSON.String "restarting") = return Restarting
524− parseJSON (JSON.String "paused") = return Paused
525− parseJSON (JSON.String "exited") = return Exited
526− parseJSON (JSON.String "dead") = return Dead
527− parseJSON _ = fail "Unknown Status"
562+ parseJSON (JSON.String "paused") = return Paused
563+ parseJSON (JSON.String "exited") = return Exited
564+ parseJSON (JSON.String "dead") = return Dead
565+ parseJSON s = fail $ "Unknown Status: " ++ show s
528566
529567-- | Alias for representing a RepoDigest. We could newtype this and add
530568-- some validation.
531569type Digest = Text
532570
533571-- | Container and Image Labels.
534−newtype Labels = Labels (M.Map Name Value) deriving (Eq, Show)
572+data Label = Label Name Value deriving (Eq, Show)
535573
536−instance FromJSON Labels where
537− parseJSON val = Labels <$> parseJSON val
538574
539−instance ToJSON Labels where
540− toJSON (Labels kvs) = object [k .= v | (k,v) <- (M.toList kvs)]
575+-- If there are multiple lables with the same Name in the list
576+-- then the last one wins.
577+instance {-# OVERLAPPING #-} ToJSON [Label] where
578+ toJSON [] = emptyJsonObject
579+ toJSON (l:ls) = toJsonKeyVal (l:ls) key val
580+ where key (Label k _) = T.unpack k
581+ val (Label _ v) = v
582+
583+instance {-# OVERLAPPING #-} FromJSON [Label] where
584+ parseJSON (JSON.Object o) = HM.foldlWithKey' f (return []) o
585+ where f accM k v = do
586+ acc <- accM
587+ value <- parseJSON v
588+ return $ (Label k value):acc
589+ parseJSON JSON.Null = return []
590+ parseJSON _ = fail "Failed to parse Labels. Not an object."
541591
542592-- | Alias for Tags.
543593type Tag = Text
@@ -548,10 +598,10 @@ data Image = DockerImage {
548598 , imageCreated :: Integer
549599 , imageParentId :: Maybe ImageID
550600 , imageRepoTags :: [Tag]
551− , imageRepoDigests :: Maybe [Digest]
601+ , imageRepoDigests :: [Digest]
552602 , imageSize :: Integer
553603 , imageVirtualSize :: Integer
554− , imageLabels :: Maybe Labels
604+ , imageLabels :: [Label]
555605 } deriving (Show, Eq, Generic)
556606
557607-- | Helper function used for dropping the "image" prefix when serializing
@@ -559,23 +609,60 @@ data Image = DockerImage {
559609dropImagePrefix :: [a] -> [a]
560610dropImagePrefix = drop 5
561611
612+
562613instance FromJSON Image where
563− parseJSON = genericParseJSON defaultOptions {
564− fieldLabelModifier = dropImagePrefix}
614+ parseJSON (JSON.Object o) = do
615+ imageId <- o .: "Id"
616+ imageCreated <- o .: "Created"
617+ imageParentId <- o .:? "ParentId"
618+ imageRepoTags <- o .:? "RepoTags" .!= []
619+ imageRepoDigests <- o .:? "RepoDigests" .!= []
620+ imageSize <- o .: "Size"
621+ imageVirtualSize <- o .: "VirtualSize"
622+ imageLabels <- o .:? "Labels" .!= []
623+ return $ DockerImage imageId imageCreated imageParentId imageRepoTags imageRepoDigests imageSize imageVirtualSize imageLabels
624+ parseJSON _ = fail "Failed to parse DockerImage."
625+
626+-- | Alias for Aliases.
627+type Alias = Text
628+
629+-- | EndpointsConfig is container configuration for a specific network
630+newtype EndpointConfig = EndpointConfig [Alias] deriving (Eq, Show)
631+
632+instance ToJSON EndpointConfig where
633+ toJSON (EndpointConfig aliases) = JSON.object
634+ [ "Aliases" .= aliases
635+ ]
636+
637+-- | Alias for endpoint name
638+type EndpointName = Text
639+
640+-- | Data type for the NetworkingConfig section of the container settings
641+newtype NetworkingConfig = NetworkingConfig
642+ { endpointsConfig :: HM.HashMap EndpointName EndpointConfig
643+ } deriving (Eq, Show)
644+
645+instance ToJSON NetworkingConfig where
646+ toJSON (NetworkingConfig endpointsConfig) = JSON.object
647+ [ "EndpointsConfig" .= endpointsConfig
648+ ]
565649
566650-- | Options used for creating a Container.
567651data CreateOpts = CreateOpts {
568− containerConfig :: ContainerConfig
569− , hostConfig :: HostConfig
652+ containerConfig :: ContainerConfig
653+ , hostConfig :: HostConfig
654+ , networkingConfig :: NetworkingConfig
570655 } deriving (Eq, Show)
571656
572657instance ToJSON CreateOpts where
573− toJSON (CreateOpts cc hc) = do
658+ toJSON (CreateOpts cc hc nc) = do
574659 let ccJSON = toJSON cc
575660 let hcJSON = toJSON hc
576661 case ccJSON of
577662 JSON.Object (o :: HM.HashMap T.Text JSON.Value) -> do
578− JSON.Object $ HM.insert "HostConfig" hcJSON o
663+ let o1 = HM.insert "HostConfig" hcJSON o
664+ let o2 = HM.insert "NetworkingConfig" (toJSON nc) o1
665+ JSON.Object o2
579666 _ -> error "ContainerConfig is not an object." -- This should never happen.
580667
581668-- | Container configuration used for creating a container with sensible
@@ -589,18 +676,18 @@ defaultContainerConfig imageName = ContainerConfig {
589676 , attachStdout=False
590677 , image=imageName
591678 , attachStderr=False
592− , exposedPorts=Nothing -- ExposedPorts M.empty
679+ , exposedPorts=[]
593680 , tty=False
594681 , openStdin=False
595682 , stdinOnce=False
596683 , env=[]
597684 , cmd=[]
598− , volumes=Nothing
685+ , volumes=[]
599686 , workingDir=Nothing
600− , entrypoint=Nothing
687+ , entrypoint=Entrypoint []
601688 , networkDisabled=Nothing
602689 , macAddress=Nothing
603− , labels=Nothing
690+ , labels=[]
604691 , stopSignal=SIGTERM
605692 }
606693
@@ -609,9 +696,9 @@ defaultHostConfig :: HostConfig
609696defaultHostConfig = HostConfig {
610697 binds=[]
611698 , containerIDFile=Nothing
612− , logConfig=LogDriverConfig JsonFile Nothing
613− , networkMode=Bridge
614− , portBindings=PortBindings []
699+ , logConfig=LogDriverConfig JsonFile []
700+ , networkMode=NetworkBridge
701+ , portBindings=[]
615702 , restartPolicy=RestartOff
616703 , volumeDriver=Nothing
617704 , volumesFrom=[]
@@ -650,14 +737,18 @@ defaultContainerResources = ContainerResources {
650737 , memory=Nothing
651738 , memoryReservation=Nothing
652739 , memorySwap=Nothing
653− , oomKillDisable=False
740+ , oomKillDisable=Just False
654741 , ulimits=[]
655742 }
656743
657744-- | Default create options when creating a container. You only need to
658745-- specify an image name and the rest is all sensible defaults.
659746defaultCreateOpts :: T.Text -> CreateOpts
660−defaultCreateOpts imageName = CreateOpts { containerConfig = defaultContainerConfig imageName, hostConfig = defaultHostConfig }
747+defaultCreateOpts imageName = CreateOpts
748+ { containerConfig = defaultContainerConfig imageName
749+ , hostConfig = defaultHostConfig
750+ , networkingConfig = NetworkingConfig HM.empty
751+ }
661752
662753-- | Override the key sequence for detaching a container.
663754-- Format is a single character [a-Z] or ctrl-<value> where <value> is one of: a-z, @, ^, [, , or _.
@@ -671,16 +762,45 @@ defaultStartOpts :: StartOpts
671762defaultStartOpts = StartOpts { detachKeys = DefaultDetachKey }
672763
673764-- | Options for deleting a container.
674−data DeleteOpts = DeleteOpts {
765+data ContainerDeleteOpts = ContainerDeleteOpts {
675766 deleteVolumes :: Bool -- ^ Automatically cleanup volumes that the container created as well.
676767 , force :: Bool -- ^ If the container is still running force deletion anyway.
677768 } deriving (Eq, Show)
678769
770+-- TODO: Add support for container build constraints
771+-- | Options for when building images from a Dockerfile
772+data BuildOpts = BuildOpts {
773+ buildImageName :: Text -- ^ Image name in the form of name:tag; ie. myimage:latest.:w
774+ , buildDockerfileName :: Text -- ^ Name of dockerfile (default: Dockerfile)
775+ , buildQuiet :: Bool
776+ , buildNoCache :: Bool -- ^ Do not use cache when building the image.
777+ , buildRemoveItermediate :: Bool -- ^ Remove intermediate containers after a successful build (default true).
778+ , buildForceRemoveIntermediate :: Bool -- ^ Always remove intermediate containers.
779+ , buildPullParent :: Bool -- ^ Always attempt to pull a newer version of the *parent* image (ie. FROM debian:jessie).
780+ } deriving (Eq, Show)
781+
782+defaultBuildOpts :: Text -> BuildOpts
783+defaultBuildOpts nameTag = BuildOpts { buildImageName = nameTag
784+ , buildDockerfileName = "Dockerfile"
785+ , buildQuiet = False
786+ , buildNoCache = False
787+ , buildRemoveItermediate = True
788+ , buildForceRemoveIntermediate = False
789+ , buildPullParent = False
790+ }
791+
679792-- | Default options for deleting a container. Most of the time we DON'T
680793-- want to delete the container's volumes or force delete it if it's
681794-- running.
682−defaultDeleteOpts :: DeleteOpts
683−defaultDeleteOpts = DeleteOpts { deleteVolumes = False, force = False }
795+defaultContainerDeleteOpts :: ContainerDeleteOpts
796+defaultContainerDeleteOpts = ContainerDeleteOpts { deleteVolumes = False, force = False }
797+
798+-- | Image delete opts
799+data ImageDeleteOpts = ImageDeleteOpts deriving (Eq, Show)
800+
801+-- | Sane image deletion defaults
802+defaultImageDeleteOpts :: ImageDeleteOpts
803+defaultImageDeleteOpts = ImageDeleteOpts
684804
685805-- | Timestamp alias.
686806type Timestamp = Integer
@@ -708,18 +828,50 @@ defaultLogOpts = LogOpts { stdout = True
708828 , tail = All
709829 }
710830
831+-- | Options for creating a network
832+data CreateNetworkOpts = CreateNetworkOpts
833+ { createNetworkName :: Text -- ^ The network's name
834+ , createNetworkCheckDuplicate :: Bool -- ^ Check for networks with duplicate names.
835+ , createNetworkDriver :: Text -- ^ Name of the network driver plugin to use.
836+ , createNetworkInternal :: Bool -- ^ Restrict external access to the network.
837+ , createNetworkEnableIPv6 :: Bool -- ^ Enable IPv6 on the network.
838+ } deriving (Eq, Show)
839+
840+-- | Sensible defalut for create network options
841+defaultCreateNetworkOpts :: Text -> CreateNetworkOpts
842+defaultCreateNetworkOpts name =
843+ CreateNetworkOpts
844+ { createNetworkName = name
845+ , createNetworkCheckDuplicate = False
846+ , createNetworkDriver = "bridge"
847+ , createNetworkInternal = True
848+ , createNetworkEnableIPv6 = False
849+ }
850+
851+instance ToJSON CreateNetworkOpts where
852+ toJSON opts =
853+ object
854+ [ "Name" .= createNetworkName opts
855+ , "CheckDuplicate" .= createNetworkCheckDuplicate opts
856+ , "Driver" .= createNetworkDriver opts
857+ , "Internal" .= createNetworkInternal opts
858+ , "EnableIPv6" .= createNetworkEnableIPv6 opts
859+ ]
860+
711861-- TOOD: Add support for SELinux Volume labels (eg. "ro,z" or "ro/Z")
712862-- | Set permissions on volumes that you mount in the container.
713863data VolumePermission = ReadWrite | ReadOnly deriving (Eq, Show, Generic)
714864
715865instance ToJSON VolumePermission where
716866 toJSON ReadWrite = "rw"
717− toJSON ReadOnly = "ro"
867+ toJSON ReadOnly = "ro"
718868
719869instance FromJSON VolumePermission where
720870 parseJSON "rw" = return ReadWrite
721871 parseJSON "ro" = return ReadOnly
722− parseJSON _ = fail "Failed to parse VolumePermission"
872+ parseJSON "RW" = return ReadWrite
873+ parseJSON "RO" = return ReadOnly
874+ parseJSON _ = fail "Failed to parse VolumePermission"
723875
724876-- | Used for marking a directory in the container as "exposed" hence
725877-- taking it outside of the COW filesystem and making it mountable
@@ -732,16 +884,18 @@ instance FromJSON VolumePermission where
732884-- docker run --name app -v \/opt\/data -it myapp:latest
733885-- docker run --name app2 --volumes-from app \/bin\/bash -c "ls -l \/opt\/data"
734886-- @
735−newtype Volumes = Volumes [FilePath] deriving (Eq, Show)
887+newtype Volume = Volume FilePath deriving (Eq, Show)
888+
889+instance {-# OVERLAPPING #-} ToJSON [Volume] where
890+ toJSON [] = emptyJsonObject
891+ toJSON (v:vs) = toJsonKey (v:vs) getKey
892+ where getKey (Volume v) = v
736893
737−instance FromJSON Volumes where
738− parseJSON (JSON.Object o) = return $ Volumes $ map T.unpack $ HM.keys o
739− parseJSON _ = fail "Volumes is not an object"
894+instance {-# OVERLAPPING #-} FromJSON [Volume] where
895+ parseJSON (JSON.Object o) = return $ map (Volume . T.unpack) $ HM.keys o
896+ parseJSON (JSON.Null) = return []
897+ parseJSON _ = fail "Volume is not an object"
740898
741−instance ToJSON Volumes where
742− toJSON (Volumes []) = JSON.Object HM.empty
743− toJSON (Volumes (v:vs)) = JSON.Object $ foldl f HM.empty (v:vs)
744− where f acc k = HM.insert (T.pack k) (JSON.Object HM.empty) acc
745899
746900data Bind = Bind { hostSrc :: Text
747901 , containerDest :: Text
@@ -750,10 +904,10 @@ data Bind = Bind { hostSrc :: Text
750904
751905instance FromJSON Bind where
752906 parseJSON (JSON.String t) = case T.split (== ':') t of
753− [src, dest] -> return $ Bind src dest Nothing
907+ [src, dest] -> return $ Bind src dest Nothing
754908 [src, dest, "rw"] -> return $ Bind src dest $ Just ReadWrite
755909 [src, dest, "ro"] -> return $ Bind src dest $ Just ReadOnly
756− _ -> fail "Could not parse Bind"
910+ _ -> fail "Could not parse Bind"
757911 parseJSON _ = fail "Bind is not a string"
758912
759913data Device = Device {
@@ -776,15 +930,15 @@ data VolumeFrom = VolumeFrom ContainerName (Maybe VolumePermission) deriving (Eq
776930
777931instance FromJSON VolumeFrom where
778932 parseJSON (JSON.String t) = case T.split (== ':') t of
779− [vol] -> return $ VolumeFrom vol Nothing
933+ [vol] -> return $ VolumeFrom vol Nothing
780934 [vol, "rw"] -> return $ VolumeFrom vol $ Just ReadWrite
781935 [vol, "ro"] -> return $ VolumeFrom vol $ Just ReadOnly
782− _ -> fail "Could not parse VolumeFrom"
936+ _ -> fail "Could not parse VolumeFrom"
783937 parseJSON _ = fail "VolumeFrom is not a string"
784938
785939instance ToJSON VolumeFrom where
786940 toJSON (VolumeFrom n p) = case p of
787− Nothing -> toJSON $ n <> ":" <> "rw"
941+ Nothing -> toJSON $ n <> ":" <> "rw"
788942 Just per -> toJSON $ n <> ":" <> (T.pack $ show per)
789943
790944instance ToJSON Bind where
@@ -796,63 +950,63 @@ data Link = Link Text (Maybe Text) deriving (Eq, Show)
796950
797951instance FromJSON Link where
798952 parseJSON (JSON.String t) = case T.split (== ':') t of
799− [f] -> return $ Link f Nothing
953+ [f] -> return $ Link f Nothing
800954 [f,s] -> return $ Link f $ Just s
801− _ -> fail "Could not parse Link"
955+ _ -> fail "Could not parse Link"
802956 parseJSON _ = fail "Link is not a string"
803957
804958instance ToJSON Link where
805959 toJSON (Link n1 n2) = toJSON $ case n2 of
806960 Nothing -> T.concat[n1, ":", n1] -- use same name in container
807− Just n -> T.concat[n1, ":", n] -- used specified name in container
961+ Just n -> T.concat[n1, ":", n] -- used specified name in container
808962
809963-- { "Type": "<driver_name>", "Config": {"key1": "val1"} }
810964data LogDriverType = JsonFile | Syslog | Journald | Gelf | Fluentd | AwsLogs | Splunk | Etwlogs | LoggingDisabled deriving (Eq, Show)
811965
812966instance FromJSON LogDriverType where
813967 parseJSON (JSON.String "json-file") = return JsonFile
814− parseJSON (JSON.String "syslog") = return Syslog
815− parseJSON (JSON.String "journald") = return Journald
816− parseJSON (JSON.String "gelf") = return Gelf
817− parseJSON (JSON.String "fluentd") = return Fluentd
818− parseJSON (JSON.String "awslogs") = return AwsLogs
819− parseJSON (JSON.String "splunk") = return Splunk
820− parseJSON (JSON.String "etwlogs") = return Etwlogs
821− parseJSON (JSON.String "none") = return LoggingDisabled
822− parseJSON _ = fail "Unknown LogDriverType"
968+ parseJSON (JSON.String "syslog") = return Syslog
969+ parseJSON (JSON.String "journald") = return Journald
970+ parseJSON (JSON.String "gelf") = return Gelf
971+ parseJSON (JSON.String "fluentd") = return Fluentd
972+ parseJSON (JSON.String "awslogs") = return AwsLogs
973+ parseJSON (JSON.String "splunk") = return Splunk
974+ parseJSON (JSON.String "etwlogs") = return Etwlogs
975+ parseJSON (JSON.String "none") = return LoggingDisabled
976+ parseJSON _ = fail "Unknown LogDriverType"
823977
824978instance ToJSON LogDriverType where
825− toJSON JsonFile = JSON.String "json-file"
826− toJSON Syslog = JSON.String "syslog"
827− toJSON Journald = JSON.String "journald"
828− toJSON Gelf = JSON.String "gelf"
829− toJSON Fluentd = JSON.String "fluentd"
830− toJSON AwsLogs = JSON.String "awslogs"
831− toJSON Splunk = JSON.String "splunk"
832− toJSON Etwlogs = JSON.String "etwlogs"
979+ toJSON JsonFile = JSON.String "json-file"
980+ toJSON Syslog = JSON.String "syslog"
981+ toJSON Journald = JSON.String "journald"
982+ toJSON Gelf = JSON.String "gelf"
983+ toJSON Fluentd = JSON.String "fluentd"
984+ toJSON AwsLogs = JSON.String "awslogs"
985+ toJSON Splunk = JSON.String "splunk"
986+ toJSON Etwlogs = JSON.String "etwlogs"
833987 toJSON LoggingDisabled = JSON.String "none"
834988
835−newtype LogDriverOptions = LogDriverOptions (M.Map Text Text) deriving (Eq, Show)
989+data LogDriverOption = LogDriverOption Name Value deriving (Eq, Show)
836990
837−instance FromJSON LogDriverOptions where
838− parseJSON (JSON.Object o) = do
839− LogDriverOptions <$> HM.foldlWithKey' f (return M.empty) o
991+instance {-# OVERLAPPING #-} ToJSON [LogDriverOption] where
992+ toJSON [] = emptyJsonObject
993+ toJSON (o:os) = toJsonKeyVal (o:os) key val
994+ where key (LogDriverOption n _) = T.unpack n
995+ val (LogDriverOption _ v) = v
840996
841− where
842− f accM k (JSON.String v) = do
997+instance {-# OVERLAPPING #-} FromJSON [LogDriverOption] where
998+ parseJSON (JSON.Object o) = HM.foldlWithKey' f (return []) o
999+ where f accM k v = do
8431000 acc <- accM
844− return $ M.insert k v acc
845− f _ _ _ = fail "Value of LogDriverOptions is not a string"
846−
847− parseJSON JSON.Null = return $ LogDriverOptions M.empty
848− parseJSON _ = fail "LogDriverOptions is not an object"
1001+ value <- parseJSON v
1002+ return $ (LogDriverOption k value):acc
1003+ parseJSON JSON.Null = return []
1004+ parseJSON _ = fail "Failed to parse LogDriverOptions"
8491005
850−instance ToJSON LogDriverOptions where
851− toJSON (LogDriverOptions mp) = toJSON mp
852−
853−data LogDriverConfig = LogDriverConfig LogDriverType (Maybe LogDriverOptions) deriving (Eq, Show)
1006+data LogDriverConfig = LogDriverConfig LogDriverType [LogDriverOption] deriving (Eq, Show)
8541007
8551008instance ToJSON LogDriverConfig where
1009+ toJSON (LogDriverConfig driverType []) = object ["Type" .= driverType]
8561010 toJSON (LogDriverConfig driverType driverOptions) = object ["Type" .= driverType, "Config" .= driverOptions]
8571011
8581012instance FromJSON LogDriverConfig where
@@ -863,19 +1017,41 @@ instance FromJSON LogDriverConfig where
8631017 parseJSON _ = fail "LogDriverConfig is not an object"
8641018
8651019-- TODO: Add container:<name|id> mode
866−data NetworkMode = Bridge | Host | NetworkDisabled
1020+data NetworkMode = NetworkBridge | NetworkHost | NetworkDisabled | NetworkNamed Text
8671021 deriving (Eq, Show, Ord)
8681022
8691023instance FromJSON NetworkMode where
870− parseJSON (JSON.String "bridge") = return Bridge
871− parseJSON (JSON.String "host") = return Host -- Note: Guessing on these.
872− parseJSON (JSON.String "none") = return NetworkDisabled
873− parseJSON _ = fail "Unknown NetworkMode"
1024+ parseJSON (JSON.String "bridge") = return NetworkBridge
1025+ parseJSON (JSON.String "host") = return NetworkHost -- Note: Guessing on these.
1026+ parseJSON (JSON.String "none") = return NetworkDisabled
1027+ parseJSON (JSON.String n) = return $ NetworkNamed n
1028+ parseJSON _ = fail "Unknown NetworkMode"
8741029
8751030instance ToJSON NetworkMode where
876− toJSON Bridge = JSON.String "bridge"
877− toJSON Host = JSON.String "host"
1031+ toJSON NetworkBridge = JSON.String "bridge"
1032+ toJSON NetworkHost = JSON.String "host"
8781033 toJSON NetworkDisabled = JSON.String "none"
1034+ toJSON (NetworkNamed n) = JSON.String n
1035+
1036+newtype NetworkID = NetworkID Text
1037+ deriving (Eq, Show)
1038+
1039+-- | Used for extracting the id of the container from the newtype
1040+fromNetworkID :: NetworkID -> Text
1041+fromNetworkID (NetworkID t) = t
1042+
1043+-- | Used for parsing a Text value into a NetworkID.
1044+toNetworkID :: Text -> Maybe NetworkID
1045+toNetworkID t = Just $ NetworkID t
1046+
1047+instance FromJSON NetworkID where
1048+ parseJSON (JSON.Object o) = do
1049+ nid <- o .: "Id"
1050+ return $ NetworkID nid
1051+ parseJSON _ = fail "NetworkID is not an object."
1052+
1053+instance ToJSON NetworkID where
1054+ toJSON (NetworkID nid) = object ["Id" .= nid]
8791055
8801056data PortType = TCP | UDP deriving (Eq, Generic, Read, Ord)
8811057
@@ -891,7 +1067,7 @@ instance FromJSON PortType where
8911067 parseJSON val = case val of
8921068 "tcp" -> return TCP
8931069 "udp" -> return UDP
894− _ -> fail "PortType: Invalid port type."
1070+ _ -> fail "PortType: Invalid port type."
8951071
8961072-- newtype NetworkInterface = NetworkInterface Text deriving (Eq, Show)
8971073--
@@ -908,13 +1084,6 @@ instance FromJSON PortType where
9081084-- interface like `127.0.0.1`.
9091085-- __NOTE__: We should disallow duplicate port bindings as the ToJSON
9101086-- instance will only send the last one.
911−newtype PortBindings = PortBindings [PortBinding]
912− deriving (Eq, Show)
913−
914−instance Monoid PortBindings where
915− mempty = PortBindings []
916− mappend (PortBindings p1) (PortBindings p2) = PortBindings (p1 ++ p2)
917−
9181087-- { <port>/<protocol>: [{ "HostPort": "<port>" }] }
9191088data PortBinding = PortBinding {
9201089 containerPort :: Port
@@ -926,28 +1095,61 @@ portAndType2Text :: Port -> PortType -> Text
9261095portAndType2Text p t = (T.pack $ show p) <> "/" <> (T.pack $ show t)
9271096
9281097
929−addBinds :: [Bind] -> CreateOpts -> CreateOpts
930−addBinds bs c = c{hostConfig=hc{binds=bs}}
1098+-- | A helper function to more easily add a bind mount to existing
1099+-- "CreateOpts" records.
1100+addBind :: Bind -> CreateOpts -> CreateOpts
1101+addBind b c = c{hostConfig=hc{binds=obs <> [b]}}
1102+ where hc = hostConfig c
1103+ obs = binds $ hostConfig c
1104+
1105+-- | Helper function for adding a Command to and existing
1106+-- CreateOpts record.
1107+setCmd :: Text -> CreateOpts -> CreateOpts
1108+setCmd ccmd c = c{containerConfig=cc{cmd=[ccmd]}}
1109+ where cc = containerConfig c
1110+
1111+-- | Helper function for adding a "Link" to and existing
1112+-- CreateOpts record.
1113+addLink :: Link -> CreateOpts -> CreateOpts
1114+addLink l c = c{hostConfig=hc{links=ols <> [l]}}
9311115 where hc = hostConfig c
1116+ ols = links $ hostConfig c
1117+
1118+-- | Helper function for adding a "Volume" to and existing
1119+-- CreateOpts record.
1120+addVolume :: Volume -> CreateOpts -> CreateOpts
1121+addVolume v c = c{containerConfig=cc{volumes=oldvs <> [v]}}
1122+ where cc = containerConfig c
1123+ oldvs = volumes cc
1124+
1125+-- | Helper function for adding a "VolumeFrom" to and existing
1126+-- CreateOpts record.
1127+addVolumeFrom :: VolumeFrom -> CreateOpts -> CreateOpts
1128+addVolumeFrom vf c = c{hostConfig=hc{volumesFrom=oldvfs <> [vf]}}
1129+ where hc = hostConfig c
1130+ oldvfs = volumesFrom hc
9321131
9331132-- | A convenience function that adds PortBindings to and exiting
9341133-- "CreateOpts" record. Useful with 'defaultCreateOpts'
9351134-- Example:
9361135--
9371136-- >>> let pb = PortBinding 80 TCP [HostPort "0.0.0.0" 8000]
938−-- >>> addPortBinding (defaultCreateOpts "nginx:latest") pb
939−addPortBinding :: CreateOpts -> PortBinding -> CreateOpts
940−addPortBinding c pb = c{hostConfig=hc{portBindings=pbs <> PortBindings [pb]}}
1137+-- >>> addPortBinding pb $ defaultCreateOpts "nginx:latest"
1138+addPortBinding :: PortBinding -> CreateOpts -> CreateOpts
1139+addPortBinding pb c = c{hostConfig=hc{portBindings=pbs <> [pb]}}
9411140 where hc = hostConfig c
9421141 pbs = portBindings $ hostConfig c
9431142
944−instance ToJSON PortBinding where
945− toJSON (PortBinding {..}) = object [portAndType2Text containerPort portType .= hostPorts]
1143+-- | Helper function for adding a "ExposedPort" to and existing
1144+-- CreateOpts record.
1145+addExposedPort :: ExposedPort -> CreateOpts -> CreateOpts
1146+addExposedPort ep c = c{containerConfig=cc{exposedPorts=oldeps <> [ep]}}
1147+ where cc = containerConfig c
1148+ oldeps = exposedPorts cc
9461149
947−instance FromJSON PortBindings where
948− parseJSON (JSON.Object o) = do
949− PortBindings <$> HM.foldlWithKey' f (return []) o
9501150
1151+instance {-# OVERLAPPING #-} FromJSON [PortBinding] where
1152+ parseJSON (JSON.Object o) = HM.foldlWithKey' f (return []) o
9511153 where
9521154 f accM k v = case T.split (== '/') k of
9531155 [port', portType'] -> do
@@ -956,16 +1158,15 @@ instance FromJSON PortBindings where
9561158 acc <- accM
9571159 hps <- parseJSON v
9581160 return $ (PortBinding port portType hps):acc
959− _ ->
960− fail "Could not parse PortBindings"
1161+ _ -> fail "Could not parse PortBindings"
1162+ parseJSON (JSON.Null) = return []
9611163 parseJSON _ = fail "PortBindings is not an object"
9621164
963−instance ToJSON PortBindings where
964− toJSON (PortBindings []) = JSON.Object HM.empty
965− toJSON (PortBindings (p:ps)) = JSON.Object $ foldl f HM.empty (p:ps)
966− where mKey p = portAndType2Text (containerPort p) (portType p)
967− mVal p = toJSON $ hostPorts p
968− f acc p = HM.insert (mKey p) (mVal p) acc
1165+instance {-# OVERLAPPING #-} ToJSON [PortBinding] where
1166+ toJSON [] = emptyJsonObject
1167+ toJSON (p:ps) = toJsonKeyVal (p:ps) key val
1168+ where key p = T.unpack $ portAndType2Text (containerPort p) (portType p)
1169+ val p = hostPorts p
9691170
9701171data HostPort = HostPort {
9711172 hostIp :: Text
@@ -996,7 +1197,7 @@ instance FromJSON RestartPolicy where
9961197 "on-failure" -> do
9971198 retry <- o .: "MaximumRetryCount"
9981199 return $ RestartOnFailure retry
999− "off" -> return RestartOff
1200+ "no" -> return RestartOff
10001201 _ -> fail "Could not parse RestartPolicy"
10011202 parseJSON _ = fail "RestartPolicy is not an object"
10021203
@@ -1004,7 +1205,7 @@ instance ToJSON RestartPolicy where
10041205 toJSON RestartAlways = object ["Name" .= JSON.String "always"]
10051206 toJSON RestartUnlessStopped = object ["Name" .= JSON.String "unless-stopped"]
10061207 toJSON (RestartOnFailure c) = object ["Name" .= JSON.String "on-failure", "MaximumRetryCount" .= c]
1007− toJSON RestartOff = object ["Name" .= JSON.String "off"]
1208+ toJSON RestartOff = object ["Name" .= JSON.String "no"]
10081209
10091210data Isolation = Default | Process | Hyperv deriving (Eq, Show)
10101211
@@ -1018,7 +1219,7 @@ data HostConfig = HostConfig
10181219 , containerIDFile :: Maybe FilePath -- 1.24: Only in responses, not create
10191220 , logConfig :: LogDriverConfig
10201221 , networkMode :: NetworkMode
1021− , portBindings :: PortBindings
1222+ , portBindings :: [PortBinding]
10221223 , restartPolicy :: RestartPolicy
10231224 , volumeDriver :: Maybe Text
10241225 , volumesFrom :: [VolumeFrom]
@@ -1177,6 +1378,22 @@ instance ToJSON DeviceRate where
11771378 , "Rate" .= r
11781379 ]
11791380
1381+data MemoryConstraintSize = B | MB | GB deriving (Eq, Show)
1382+
1383+data MemoryConstraint = MemoryConstraint Integer MemoryConstraintSize deriving (Eq, Show)
1384+
1385+instance ToJSON MemoryConstraint where
1386+ toJSON (MemoryConstraint x B) = toJSON x
1387+ toJSON (MemoryConstraint x MB) = toJSON $ x * 1024 * 1024
1388+ toJSON (MemoryConstraint x GB) = toJSON $ x * 1024 * 1024 * 1024
1389+
1390+instance FromJSON MemoryConstraint where
1391+ parseJSON (JSON.Number x) = case (floatingOrInteger x) of
1392+ Left (_ :: Double) -> fail "Failed to parse MemoryConstraint"
1393+ Right i -> return $ MemoryConstraint i B
1394+ -- The docker daemon will always return the number as bytes (integer), regardless of how we set them (using MB or GB)
1395+ parseJSON _ = fail "Failed to parse MemoryConstraint"
1396+
11801397data ContainerResources = ContainerResources {
11811398 cpuShares :: Maybe Integer
11821399 -- , cgroupParent :: Text -- 1.24: Missing from inspecting container details... Going to omit for now.
@@ -1192,12 +1409,12 @@ data ContainerResources = ContainerResources {
11921409 , cpusetMems :: Maybe Text
11931410 , devices :: [Device]
11941411 -- , diskQuota :: Integer -- Don't see this ins 1.24.
1195− , kernelMemory :: Maybe Integer
1196− , memory :: Maybe Integer
1197− , memoryReservation :: Maybe Integer
1198− , memorySwap :: Maybe Integer
1412+ , kernelMemory :: Maybe MemoryConstraint
1413+ , memory :: Maybe MemoryConstraint
1414+ , memoryReservation :: Maybe MemoryConstraint
1415+ , memorySwap :: Maybe MemoryConstraint
11991416 -- , memorySwappiness :: Integer -- 1.24: Missing from inspecting container details... Going to omit for now.
1200− , oomKillDisable :: Bool
1417+ , oomKillDisable :: Maybe Bool
12011418 -- , pidsLimit :: Integer -- 1.24: Missing from inspecting container details... Going to omit for now.
12021419 , ulimits :: [Ulimit]
12031420 -- TODO: Missing from 1.24
@@ -1235,45 +1452,59 @@ instance FromJSON EnvVar where
12351452 parseJSON _ = fail "EnvVar is not a string"
12361453
12371454instance ToJSON EnvVar where
1238− toJSON (EnvVar n v) = object [n .= v]
1455+ toJSON (EnvVar n v) = JSON.String $ n <> T.pack "=" <> v
12391456
1240−-- | ExposedPorts represent a enumeraton of all the ports (and their type)
1457+-- | ExposedPort represents a port (and it's type)
12411458-- that a container should expose to other containers or the host system.
1242−-- `NOTE`: This does not automatically expose the ports onto the host
1243−-- system but rather it just tags them. It's best to be used with
1459+-- `NOTE`: This does not automatically expose the port onto the host
1460+-- system but rather it just tags it. It's best to be used with
12441461-- the PublishAllPorts flag. It is also useful for
12451462-- the daemon to know which Environment variables to
12461463-- inject into a container linking to our container.
12471464-- Example linking a Postgres container named db would inject the following
12481465-- environment variables automatically if we set the corresponding
12491466--
1250−-- ExposedPorts:
1467+-- ExposedPort:
12511468--
12521469-- @
12531470-- DB_PORT_5432_TCP_PORT="5432"
12541471-- DB_PORT_5432_TCP_PROTO="tcp"
12551472-- DB_PORT_5432_TCP="tcp://172.17.0.1:5432"
12561473-- @
1257−newtype ExposedPorts = ExposedPorts (M.Map Port PortType) deriving (Eq, Show)
1258−-- JP: Should this be ExposedPorts [(Port, PortType)]?
1259−
1260−instance FromJSON ExposedPorts where
1261− parseJSON (JSON.Object o) = do
1262− ExposedPorts <$> HM.foldlWithKey' f (return M.empty) o
1474+data ExposedPort = ExposedPort Port PortType deriving (Eq, Show)
12631475
1476+instance {-# OVERLAPPING #-} FromJSON [ExposedPort] where
1477+ parseJSON (JSON.Object o) = HM.foldlWithKey' f (return []) o
12641478 where
12651479 f accM k _ = case T.split (== '/') k of
12661480 [port', portType'] -> do
12671481 port <- parseIntegerText port'
12681482 portType <- parseJSON $ JSON.String portType'
12691483 acc <- accM
1270− return $ M.insert port portType acc
1271− _ ->
1272− fail "Could not parse ExposedPorts"
1273− parseJSON _ = fail "ExposedPorts is not an object."
1484+ return $ (ExposedPort port portType):acc
1485+ _ -> fail "Could not parse ExposedPorts"
1486+ parseJSON (JSON.Null) = return []
1487+ parseJSON _ = fail "ExposedPorts is not an object"
1488+
1489+instance {-# OVERLAPPING #-} ToJSON [ExposedPort] where
1490+ toJSON [] = emptyJsonObject
1491+ toJSON (p:ps) = toJsonKey (p:ps) key
1492+ where key (ExposedPort p t) = show p <> slash <> show t
1493+ slash = T.unpack "/"
12741494
1275−instance ToJSON ExposedPorts where
1276− toJSON (ExposedPorts kvs) = object [((T.pack $ show p) <> "/" <> (T.pack $ show t)) .= JSON.Object HM.empty | (p,t) <- (M.toList kvs)]
1495+data Entrypoint = Entrypoint [T.Text] deriving (Eq, Show, Generic)
1496+
1497+instance ToJSON Entrypoint where
1498+ toJSON (Entrypoint (e:es)) = toJSON (e:es)
1499+ toJSON (Entrypoint []) = JSON.Null
1500+
1501+instance FromJSON Entrypoint where
1502+ parseJSON (JSON.String e) = return $ Entrypoint [e]
1503+ parseJSON (JSON.Array ar) = do
1504+ arr <- mapM parseJSON (V.toList ar)
1505+ return $ Entrypoint arr
1506+ parseJSON JSON.Null = return $ Entrypoint []
1507+ parseJSON _ = fail "Failed to parse Entrypoint"
12771508
12781509
12791510data ContainerConfig = ContainerConfig {
@@ -1283,7 +1514,7 @@ data ContainerConfig = ContainerConfig {
12831514 , attachStdin :: Bool
12841515 , attachStdout :: Bool
12851516 , attachStderr :: Bool
1286− , exposedPorts :: Maybe ExposedPorts -- Note: Should we expand the JSON instance and take away the Maybe?
1517+ , exposedPorts :: [ExposedPort]
12871518 -- , publishService :: Text -- Don't see this in 1.24
12881519 , tty :: Bool
12891520 , openStdin :: Bool
@@ -1292,27 +1523,70 @@ data ContainerConfig = ContainerConfig {
12921523 , cmd :: [Text]
12931524 -- , argsEscaped :: Bool -- Don't see this in 1.24
12941525 , image :: Text
1295− , volumes :: Maybe Volumes
1526+ , volumes :: [Volume]
12961527 , workingDir :: Maybe FilePath
1297− , entrypoint :: Maybe Text -- Can be null?
1528+ , entrypoint :: Entrypoint
12981529 , networkDisabled :: Maybe Bool -- Note: Should we expand the JSON instance and take away the Maybe? Null is False?
12991530 , macAddress :: Maybe Text
13001531 -- , onBuild :: Maybe Text -- For 1.24, only see this in the inspect response.
1301− , labels :: Maybe Labels
1532+ , labels :: [Label]
13021533 , stopSignal :: Signal
13031534 } deriving (Eq, Show, Generic)
13041535
1536+
13051537instance ToJSON ContainerConfig where
13061538 toJSON = genericToJSON defaultOptions {
13071539 fieldLabelModifier = (\(x:xs) -> toUpper x : xs)}
13081540
13091541instance FromJSON ContainerConfig where
1310− parseJSON = genericParseJSON defaultOptions {
1311− fieldLabelModifier = (\(x:xs) -> toUpper x : xs)}
1542+ parseJSON (JSON.Object o) = do
1543+ hostname <- o .:? "Hostname"
1544+ domainname <- o .:? "Domainname"
1545+ user <- o .:? "User"
1546+ attachStdin <- o .: "AttachStdin"
1547+ attachStdout <- o .: "AttachStdout"
1548+ attachStderr <- o .: "AttachStderr"
1549+ exposedPorts <- o .:? "ExposedPorts" .!= []
1550+ tty <- o .: "Tty"
1551+ openStdin <- o .: "OpenStdin"
1552+ stdinOnce <- o .: "StdinOnce"
1553+ env <- o .: "Env"
1554+ cmd <- o .: "Cmd"
1555+ image <- o .: "Image"
1556+ volumes <- o .: "Volumes"
1557+ workingDir <- o .:? "WorkingDir"
1558+ entrypoint <- o .: "Entrypoint"
1559+ networkDisabled <- o .:? "networkDisabled"
1560+ macAddress <- o .:? "MacAddress"
1561+ labels <- o .:? "Labels" .!= []
1562+ stopSignal <- o .: "StopSignal"
1563+ return $ ContainerConfig hostname domainname user attachStdin attachStdout attachStderr exposedPorts tty openStdin stdinOnce env cmd image volumes workingDir entrypoint networkDisabled
1564+ macAddress labels stopSignal
1565+ parseJSON _ = fail "NetworkSettings is not an object."
13121566
1567+#if MIN_VERSION_base(4,13,0)
1568+parseIntegerText :: (MonadFail m) => Text -> m Integer
1569+#else
13131570parseIntegerText :: (Monad m) => Text -> m Integer
1571+#endif
13141572parseIntegerText t = case readMaybe $ T.unpack t of
13151573 Nothing ->
13161574 fail "Could not parse Integer"
13171575 Just i ->
13181576 return i
1577+
1578+-- | Helper function for converting a data type [a] to a json dictionary
1579+-- like so {"something": {}, "something2": {}}
1580+toJsonKey :: Foldable t => t a -> (a -> String) -> JSON.Value
1581+toJsonKey vs getKey = JSON.Object $ foldl f HM.empty vs
1582+ where f acc x = HM.insert (T.pack $ getKey x) (JSON.Object HM.empty) acc
1583+
1584+-- | Helper function for converting a data type [a] to a json dictionary
1585+-- like so {"something": "val1", "something2": "val2"}
1586+toJsonKeyVal :: (Foldable t, JSON.ToJSON r) => t a -> (a -> String) -> (a -> r) -> JSON.Value
1587+toJsonKeyVal vs getKey getVal = JSON.Object $ foldl f HM.empty vs
1588+ where f acc x = HM.insert (T.pack $ getKey x) (toJSON $ getVal x) acc
1589+
1590+-- | Helper function that return an empty dictionary "{}"
1591+emptyJsonObject :: JSON.Value
1592+emptyJsonObject = JSON.Object HM.empty
src/Docker/Client/Utils.hsnew file+131
@@ -0,0 +1,131 @@
1+{-# LANGUAGE ExplicitForAll #-}
2+{-# LANGUAGE OverloadedStrings #-}
3+{-# LANGUAGE ScopedTypeVariables #-}
4+
5+
6+module Docker.Client.Utils where
7+
8+import qualified Codec.Archive.Tar as Tar
9+import qualified Codec.Compression.GZip as GZip
10+import Control.Monad (filterM, liftM, unless)
11+import Control.Monad.IO.Class
12+import qualified Data.ByteString.Lazy as BS
13+import Data.Monoid ((<>))
14+import qualified Data.Text as T
15+import qualified Data.Text.IO as TIO
16+import qualified Data.UUID as UUID
17+import qualified Data.UUID.V4 as UUID
18+import System.Directory (doesDirectoryExist, doesFileExist,
19+ getTemporaryDirectory)
20+import System.FilePath (isAbsolute, makeRelative, (</>))
21+import System.FilePath.Find (FilterPredicate,
22+ RecursionPredicate, always,
23+ fileName, find, (==?))
24+import System.FilePath.GlobPattern ((~~))
25+import System.IO.Error (tryIOError)
26+-- import System.IO.Temp (withSystemTempDirectory)
27+--
28+import Docker.Client.Http
29+
30+type File = FilePath
31+data DirTree = DirTree [File] [DirTree]
32+
33+
34+newtype ExclusionPattern = ExclusionPattern T.Text deriving (Eq, Show)
35+newtype InclusionPattern = InclusionPattern T.Text deriving (Eq, Show)
36+
37+data DockerIgnore = DockerIgnore { exclusionPatterns :: [ExclusionPattern]
38+ , inclusionPatterns :: [InclusionPattern]
39+ } deriving (Eq, Show)
40+
41+newtype BuildContextRootDir = BuildContextRootDir FilePath deriving (Eq, Show)
42+
43+makeBuildContext :: forall m. MonadIO m => BuildContextRootDir -> m (Either DockerError FilePath)
44+makeBuildContext base = liftIO $ tryIOError (makeBuildContext' base) >>= \res -> case res of
45+ Left e -> return $ Left $ DockerClientError (T.pack $ show e)
46+ Right c -> return $ Right c
47+
48+makeBuildContext' :: forall m. MonadIO m => BuildContextRootDir -> m FilePath
49+makeBuildContext' (BuildContextRootDir base) = do
50+ uuid <- liftIO UUID.nextRandom
51+ fs <- liftIO $ getBuildContext $ BuildContextRootDir base
52+ let relFs = map (makeRelative base) fs
53+ tmpDir <- liftIO getTemporaryDirectory
54+ let tmpF = tmpDir </> "docker.context-" <> UUID.toString uuid <> ".tar.gz"
55+ liftIO $ BS.writeFile tmpF . GZip.compress . Tar.write =<< Tar.pack base relFs
56+ return tmpF
57+
58+parseDockerIgnoreFile :: T.Text -> DockerIgnore
59+parseDockerIgnoreFile c = DockerIgnore{ exclusionPatterns=parseExclusions
60+ , inclusionPatterns=parseInclusions}
61+ where lines = filter (not . T.isPrefixOf "#") (T.lines c) -- Ignore comments
62+ parseExclusions = map ExclusionPattern $ filter (\l -> not (T.isPrefixOf "!" l) && (l /= "")) lines
63+ parseInclusions = map (InclusionPattern . T.drop 1) $ filter (\l -> T.isPrefixOf "!" l && (l /= "")) lines
64+
65+getBuildContext :: BuildContextRootDir -> IO [FilePath]
66+getBuildContext (BuildContextRootDir base) = do
67+ -- The base dir needs to be a path to a directory and not a path to
68+ -- a file
69+ exists <- doesDirectoryExist base
70+ let abs = isAbsolute base
71+ unless (exists && abs) $ fail "Path to context needs to be a directory that: exists, is readable, and is an absolute path."
72+ di <- find always (fileName ==? ".dockerignore") base
73+ dockerignore <- case di of
74+ [] -> return $ DockerIgnore [] []
75+ -- This should not return more than one result though
76+ (x:_) -> do
77+ c <- TIO.readFile x
78+ return $ parseDockerIgnoreFile c
79+ -- This will traverse the directory recursively
80+ fs <- find (shouldRecurse dockerignore) (shouldInclude dockerignore) base
81+ -- fs is a list of directories *and* files in those directories. So
82+ -- an example result would look like ["/tmp/project/files",
83+ -- "/tmp/project/files/file1.txt"] and we want just the individual
84+ -- files otherwise tar duplicates them when making the archive.
85+ fs' <- filterM doesFileExist fs
86+ -- For some reason base is in there as well and we don't need that
87+ return $ filter (not . (==) base) fs'
88+
89+shouldInclude :: DockerIgnore -> FilterPredicate
90+shouldInclude d = check `liftM` fileName
91+ where check f = dockerIgnoreDecision (exclusionCheck f (exclusionPatterns d), inclusionCheck f (inclusionPatterns d))
92+
93+shouldRecurse :: DockerIgnore -> RecursionPredicate
94+shouldRecurse d = check `liftM` fileName
95+ where check f = dockerIgnoreDecision (exclusionCheck f (exclusionPatterns d), inclusionCheck f (inclusionPatterns d))
96+
97+-- TODO: We don't handle precedence rules. For instance a dockerignore file
98+-- like this:
99+--
100+-- *.md
101+-- !README*.md
102+-- README-secret.md
103+--
104+-- Should result in no markdown files being included in the context except README files other
105+-- than README-secret.md. FIXME: OUR implementation would in fact include
106+-- README-secret.md as well!!!
107+--
108+-- Whereas this:
109+--
110+-- *.md
111+-- README-secret.md
112+-- !README*.md
113+--
114+-- Should result in all of the README files being included. The middle line has no effect
115+-- because !README*.md matches README-secret.md and comes last. Our
116+-- implementation will result in the same thing.
117+dockerIgnoreDecision :: (Bool, Bool) -> Bool
118+dockerIgnoreDecision p = case p of
119+ -- If it's in any of the exclusion patterns but also
120+ -- in any of the inclusion patterns then laeave it
121+ (True, True) -> True
122+ (True, False) -> False
123+ (False, True) -> True
124+ (False, False) -> True
125+
126+exclusionCheck :: FilePath -> [ExclusionPattern] -> Bool
127+exclusionCheck f ps = any id (map (\(ExclusionPattern p) -> f ~~ T.unpack p) ps)
128+
129+inclusionCheck :: FilePath -> [InclusionPattern] -> Bool
130+inclusionCheck f ps = any id (map (\(InclusionPattern p) -> f ~~ T.unpack p) ps)
131+
stack-7.10.yamlnew file+32
@@ -0,0 +1,32 @@
1+# For more information, see: https://github.com/commercialhaskell/stack/blob/release/doc/yaml_configuration.md
2+
3+# Specifies the GHC version and set of packages available (e.g., lts-3.5, nightly-2015-09-21, ghc-7.10.2)
4+resolver: lts-6.30
5+
6+# Local packages, usually specified by relative directory name
7+packages:
8+- '.'
9+
10+# Override default flag values for local packages and extra-deps
11+flags: {}
12+
13+# Extra package databases containing global packages
14+extra-deps:
15+- directory-1.2.7.0
16+- unliftio-core-0.1.1.0
17+- process-1.6.5.1
18+
19+# Control whether we use the GHC we find on the path
20+# system-ghc: true
21+
22+# Require a specific version of stack, using version ranges
23+# require-stack-version: -any # Default
24+# require-stack-version: >= 0.1.4.0
25+
26+# Override the architecture used by stack, especially useful on Windows
27+# arch: i386
28+# arch: x86_64
29+
30+# Extra directories used by stack for building
31+# extra-include-dirs: [/path/to/dir]
32+# extra-lib-dirs: [/path/to/dir]
stack-8.0.2.yamlnew file+4
@@ -0,0 +1,4 @@
1+resolver: lts-9.4
2+packages:
3+- '.'
4+extra-deps: []
stack-8.0.yamlnew file+5
@@ -0,0 +1,5 @@
1+resolver: lts-7.12
2+packages:
3+- '.'
4+extra-deps:
5+- unliftio-core-0.1.1.0
stack-8.6.4.yamlnew file+4
@@ -0,0 +1,4 @@
1+resolver: lts-13.19
2+packages:
3+- '.'
4+extra-deps: []
stack-8.8.2.yamlnew file+5
@@ -0,0 +1,5 @@
1+resolver: lts-15.0
2+packages:
3+- '.'
4+extra-deps: []
5+
stack.yamlmode 100644 → 120000+1−32
@@ -1,32 +0,0 @@
1−# For more information, see: https://github.com/commercialhaskell/stack/blob/release/doc/yaml_configuration.md
2−
3−# Specifies the GHC version and set of packages available (e.g., lts-3.5, nightly-2015-09-21, ghc-7.10.2)
4−resolver: lts-5.18
5−
6−# Local packages, usually specified by relative directory name
7−packages:
8−- '.'
9−
10−# Packages to be pulled from upstream that are not in the resolver (e.g., acme-missiles-0.3)
11−extra-deps: []
12−
13−# Override default flag values for local packages and extra-deps
14−flags: {}
15−
16−# Extra package databases containing global packages
17−extra-package-dbs: []
18−
19−# Control whether we use the GHC we find on the path
20−# system-ghc: true
21−
22−# Require a specific version of stack, using version ranges
23−# require-stack-version: -any # Default
24−# require-stack-version: >= 0.1.4.0
25−
26−# Override the architecture used by stack, especially useful on Windows
27−# arch: i386
28−# arch: x86_64
29−
30−# Extra directories used by stack for building
31−# extra-include-dirs: [/path/to/dir]
32−# extra-lib-dirs: [/path/to/dir]
@@ -0,0 +1 @@
1+stack-8.6.4.yaml
tests/Dockerfile+1−1
@@ -1,4 +1,4 @@
11FROM debian:jessie
22
3−CMD ["/bin/bash", "-c", "echo 123"]
3+CMD ["/bin/bash", "-c", "echo $TEST"]
44
tests/tests.hs+235−54
@@ -2,6 +2,8 @@
22
33module Main where
44
5+import Data.Either (rights)
6+import Prelude hiding (all)
57import qualified Test.QuickCheck.Monadic as QCM
68import Test.Tasty
79import Test.Tasty.HUnit
@@ -9,105 +11,284 @@ import Test.Tasty.QuickCheck (testProperty)
911
1012import Control.Concurrent (threadDelay)
1113import Control.Lens ((^.), (^?))
14+import Control.Monad (forM_)
1215import Control.Monad.IO.Class
1316import Control.Monad.Trans.Class (lift)
1417import qualified Data.Aeson as JSON
15−import Data.Aeson.Lens (key, _Object, _String, _Value)
18+import Data.Aeson ((.=))
19+import Data.Aeson.Lens (key, _Array, _Null, _Object,
20+ _String, _Value)
1621import qualified Data.ByteString as B
1722import qualified Data.ByteString.Char8 as C
1823import qualified Data.ByteString.Lazy as BL
1924import qualified Data.HashMap.Strict as HM
2025import Data.Int (Int)
2126import qualified Data.Map as M
22−import Data.Maybe (fromJust, isJust)
27+import Data.Maybe (fromJust, isJust, isNothing, listToMaybe)
2328import Data.Monoid
2429import Data.Text (Text, unpack)
30+import qualified Data.Vector as V
2531import Network.Connection (TLSSettings (..))
2632import Network.HTTP.Client (newManager)
2733import Network.HTTP.Client.TLS
2834import Network.HTTP.Types.Status
35+import System.Directory (getCurrentDirectory)
36+import System.Environment (lookupEnv)
2937import System.Process (system)
3038
3139import Docker.Client
3240
3341-- opts = defaultClientOpts
34−
35−testImageName = "docker-hs-test"
42+testImageName = "docker-hs/test"
43+imageToDeleteFullName = "hello-world:latest"
3644
3745toStrict1 = B.concat . BL.toChunks
3846
39−runDocker f = do
40− -- let opts = defaultClientOpts {baseUrl = "https://127.0.0.1:2376/"}
41− -- params' <- clientParamsWithClientAuthentication "127.0.0.1" 2376 "~/.docker/test-client-key.pem" "~/.docker/test-client-cert.pem" >>= fromRight
42− -- params <- clientParamsSetCA params' "~/.docker/test-ca.pem"
43− -- let settings = mkManagerSettings (TLSSettings params) Nothing
44− -- mgr <- newManager settings
45− runDockerT (defaultClientOpts, defaultHttpHandler) f
47+runDocker f
48+ -- let opts = defaultClientOpts {baseUrl = "https://127.0.0.1:2376/"}
49+ -- params' <- clientParamsWithClientAuthentication "127.0.0.1" 2376 "~/.docker/test-client-key.pem" "~/.docker/test-client-cert.pem" >>= fromRight
50+ -- params <- clientParamsSetCA params' "~/.docker/test-ca.pem"
51+ -- let settings = mkManagerSettings (TLSSettings params) Nothing
52+ -- mgr <- newManager settings
53+ = do
54+ h <- defaultHttpHandler
55+ runDockerT (defaultClientOpts, h) f
4656
4757testDockerVersion :: IO ()
48−testDockerVersion = runDocker $ do
49− v <- getDockerVersion
50− lift $ assert $ isRight v
58+testDockerVersion =
59+ runDocker $
60+ do v <- getDockerVersion
61+ lift $ assert $ isRight v
62+
63+testStopNonexisting :: IO ()
64+testStopNonexisting = runDocker $ do
65+ res <- stopContainer DefaultTimeout $ fromJust $ toContainerID "thisshouldnotexist"
66+ lift $ assert $ isLeft res
5167
5268testFindImage :: IO ()
53−testFindImage = runDocker $ do
54− images <- listImages defaultListOpts >>= fromRight
55− let x = filter ((== [testImageName<>":latest"]) . imageRepoTags) images
56− lift $ assert $ length x == 1
69+testFindImage =
70+ runDocker $
71+ do images <- listImages defaultListOpts >>= fromRight
72+ let xs = filter (elem imageFullName . imageRepoTags) images
73+ lift $ assert $ length xs == 1
74+ where
75+ imageFullName = testImageName <> ":latest"
76+
77+testDeleteImage :: IO ()
78+testDeleteImage = runDocker $ do
79+ img <- fmap fromJust findTestImage
80+ result <- deleteImage defaultImageDeleteOpts (imageId img)
81+ lift $ assert $ isRight result
82+ maybeTestImageAfter <- findTestImage
83+ lift $ assert $ isNothing maybeTestImageAfter
84+ where
85+ findTestImage =
86+ do
87+ images <- listImages defaultListOpts >>= fromRight
88+ return $ listToMaybe
89+ $ filter (elem imageToDeleteFullName . imageRepoTags) images
90+
91+testListContainers :: IO ()
92+testListContainers =
93+ runDocker $
94+ do containerId <- createContainer (defaultCreateOpts (testImageName <> ":latest")) Nothing
95+ c <- fromRight containerId
96+ res <- listContainers $ ListOpts { all=True }
97+ deleteContainer (ContainerDeleteOpts True True) c
98+ lift $ assert $ isRight res
99+
100+testBuildFromDockerfile :: IO ()
101+testBuildFromDockerfile = do
102+ cur <- getCurrentDirectory
103+ let ctxDir = cur ++ "/tests"
104+ runDocker $ do
105+ r <- buildImageFromDockerfile (defaultBuildOpts "docker-hs/dockerfile-test") ctxDir
106+ lift $ assert $ isRight r
107+
57108
58109testRunAndReadLog :: IO ()
59−testRunAndReadLog = runDocker $ do
60− containerId <- createContainer (defaultCreateOpts (testImageName <> ":latest"))
61− c <- fromRight containerId
62− status1 <- startContainer defaultStartOpts c
63− _ <- inspectContainer c >>= fromRight
64− lift $ threadDelay 300000 -- give 300ms for the application to finish
65− lift $ assert $ status1 == Right ()
66− status2 <- killContainer SIGTERM c
67− logs <- getContainerLogs defaultLogOpts c >>= fromRight
68− lift $ assert $ status2 == Right ()
69− lift $ assert $ (C.pack "123") `C.isInfixOf` (toStrict1 logs)
70− status3 <- deleteContainer (DeleteOpts True True) c
71− lift $ assert $ status3 == Right ()
110+testRunAndReadLog = testRunAndReadLogHelper $ NetworkingConfig HM.empty
111+
112+testRunAndReadLogWithNetworking :: IO ()
113+testRunAndReadLogWithNetworking = testRunAndReadLogHelper $ NetworkingConfig $ HM.fromList [("test-network", EndpointConfig ["cellar-door"])]
114+
115+testRunAndReadLogHelper :: NetworkingConfig -> IO ()
116+testRunAndReadLogHelper networkingConfig =
117+ runDocker $
118+ do let containerConfig = (defaultContainerConfig (testImageName <> ":latest")) {env = [EnvVar "TEST" "123"]}
119+ createdNetworks <- rights <$> mapM createNetworkWithName networkNames
120+ containerId <- createContainer (CreateOpts containerConfig defaultHostConfig networkingConfig) Nothing
121+ c <- fromRight containerId
122+ status1 <- startContainer defaultStartOpts c
123+ _ <- inspectContainer c >>= fromRight
124+ lift $ threadDelay 300000 -- give 300ms for the application to finish
125+ lift $ assertBool ("starting the container, unexpected status: " ++ show status1) $ isRightUnit status1
126+ logs <- getContainerLogs defaultLogOpts c >>= fromRight
127+ lift $ assert $ (C.pack "123") `C.isInfixOf` (toStrict1 logs)
128+ status3 <- deleteContainer (ContainerDeleteOpts True True) c
129+ lift $ assertBool ("deleting container, unexpected status: " ++ show status3) $ isRightUnit status3
130+ mapM_ removeNetwork createdNetworks
131+ where
132+ isRightUnit (Right ()) = True
133+ isRightUnit _ = False
134+ networkNames = HM.keys $ endpointsConfig networkingConfig
135+ createNetworkWithName name = createNetwork $
136+ (defaultCreateNetworkOpts name) { createNetworkCheckDuplicate = True }
72137
138+testCreateRemoveNetwork :: IO ()
139+testCreateRemoveNetwork = do
140+ runDocker $ do
141+ createStatus <- createNetwork $ defaultCreateNetworkOpts "test-network"
142+ lift $ assertBool ("creating a network, unexpected status: " ++ show createStatus) $ isRight createStatus
143+ nid <- fromRight createStatus
144+ removeStatus <- removeNetwork nid
145+ lift $ assertBool ("removing a network, unexpected status: " ++ show removeStatus) $ isRight removeStatus
146+
147+testLogDriverOptionsJson :: TestTree
148+testLogDriverOptionsJson = testGroup "Testing LogDriverOptions JSON" [test1, test2, test3]
149+ where
150+ test1 = testCase "Driver option 1" $ assert $ JSON.toJSON sample ^. key key1 . _String == val1
151+ test2 = testCase "Driver option 2" $ assert $ JSON.toJSON sample ^. key key2 . _String == val2
152+ test3 =
153+ testCase "Test override" $ assert $ JSON.toJSON sample2 ^. key key1 . _String == "override"
154+ sample = [LogDriverOption key1 val1, LogDriverOption key2 val2]
155+ sample2 = [LogDriverOption key1 val1, LogDriverOption key1 "override"]
156+ key1 = "some-key"
157+ val1 = "some-val"
158+ key2 = "some-key2"
159+ val2 = "some-key2"
73160
74161testExposedPortsJson :: TestTree
75−testExposedPortsJson = testGroup "Testing ExposedPorts JSON" [ testTCP, testUDP ]
76− where
77− testTCP = testCase "tcp port" $ assert $ JSON.toJSON sampleEP ^. key "80/tcp" . _Object == HM.empty
78− testUDP = testCase "udp port" $ assert $ JSON.toJSON sampleEP ^. key "1337/tcp" . _Object == HM.empty
79− sampleEP = ExposedPorts $ M.fromList [(80, TCP), (1337, UDP)]
162+testExposedPortsJson = testGroup "Testing ExposedPorts JSON" [testTCP, testUDP]
163+ where
164+ testTCP = testCase "tcp port" $ assert $ JSON.toJSON sampleEP ^. key "80/tcp" . _Object == HM.empty
165+ testUDP =
166+ testCase "udp port" $ assert $ JSON.toJSON sampleEP ^. key "1337/tcp" . _Object == HM.empty
167+ sampleEP = [ExposedPort 80 TCP, ExposedPort 1337 UDP]
168+
169+testLabelsJson :: TestTree
170+testLabelsJson = testGroup "Testing Labels JSON" [testLS1, testLS2, testOverride]
171+ where
172+ testLS1 = testCase "test label key1" $ assert $ JSON.toJSON sampleLS ^. key key1 . _String == val1
173+ testLS2 = testCase "test label key2" $ assert $ JSON.toJSON sampleLS ^. key key2 . _String == val2
174+ testOverride =
175+ testCase "test label override" $ assert $ JSON.toJSON [Label key1 val1, Label key1 "override"] ^.
176+ key key1 .
177+ _String ==
178+ "override"
179+ sampleLS = [Label key1 val1, Label key2 val2]
180+ key1 = "com.example.some-label"
181+ val1 = "some-value"
182+ key2 = "something"
183+ val2 = "value"
80184
81185testVolumesJson :: TestTree
82−testVolumesJson = testGroup "Testing Volumes JSON" [ testSample1, testSample2 ]
83− where
84− testSample1 = testCase "Test exposing volume: /tmp" $ assert $ JSON.toJSON sampleVolumes ^. key "/tmp" . _Object == HM.empty
85− testSample2 = testCase "Test exposing volume: /opt" $ assert $ JSON.toJSON sampleVolumes ^. key "/opt" . _Object == HM.empty
86− sampleVolumes = Volumes ["/tmp", "/opt"]
186+testVolumesJson = testGroup "Testing Volumes JSON" [testSample1, testSample2]
187+ where
188+ testSample1 =
189+ testCase "Test exposing volume: /tmp" $ assert $ JSON.toJSON sampleVolumes ^. key "/tmp" . _Object ==
190+ HM.empty
191+ testSample2 =
192+ testCase "Test exposing volume: /opt" $ assert $ JSON.toJSON sampleVolumes ^. key "/opt" . _Object ==
193+ HM.empty
194+ sampleVolumes = [Volume "/tmp", Volume "/opt"]
195+
196+testEntrypointJson :: TestTree
197+testEntrypointJson = testGroup "Testing ContainerConfig JSON" [testSample1, testSample2, testSample3, testSample4, testSample5]
198+ where
199+ testSample1 =
200+ testCase "Test toJSON with empty entrypoint (null)" $ assert $ JSON.toJSON (Entrypoint []) ^. _Null == ()
201+ testSample2 =
202+ testCase "Test toJSON with entrypoint as Array" $ assert $
203+ JSON.toJSON (Entrypoint sampleEntrypointArr) ==
204+ JSON.toJSON sampleEntrypointArr
205+ testSample3 =
206+ testCase "Test decoding entrypoint as string" $ assert $ (JSON.decode "\"cmd\"") ==
207+ Just (Entrypoint ["cmd"])
208+ testSample4 =
209+ testCase "Test decoding as null" $ assert $ (JSON.decode "null" :: Maybe Entrypoint) ==
210+ Just (Entrypoint [])
211+ testSample5 =
212+ testCase "Test decoding as array" $ assert $ (JSON.decode (JSON.encode sampleEntrypointArr) :: Maybe Entrypoint) ==
213+ Just (Entrypoint sampleEntrypointArr)
214+ sampleEntrypointArr = ["cmd", "--some-flag", "--some-flag2"]
215+
216+testEnvVarJson :: TestTree
217+testEnvVarJson = testGroup "Testing EnvVar JSON" [testSampleEncode, testSampleDecode]
218+ where
219+ testSampleEncode =
220+ testCase "Test toJSON" $ assert $ JSON.toJSON (EnvVar "cellar" "door") == JSON.String "cellar=door"
221+ testSampleDecode =
222+ testCase "Test fromJSON" $ assert $ (JSON.decode "\"cellar=door\"" :: Maybe EnvVar) ==
223+ Just (EnvVar "cellar" "door")
224+
225+testNetworkingConfigJson :: TestTree
226+testNetworkingConfigJson = testGroup "Testing NetworkingConfig JSON" [testSampleEncode]
227+ where
228+ testSampleEncode =
229+ let networkingConfig = NetworkingConfig $ HM.fromList [("custom-network", EndpointConfig ["cellar", "door"])]
230+ in testCase "Test toJSON" $ assert $ JSON.toJSON networkingConfig ==
231+ JSON.object
232+ [ "EndpointsConfig" .= JSON.object
233+ [ "custom-network" .= JSON.object
234+ [ "Aliases" .= (["cellar", "door"] :: [Text])
235+ ]
236+ ]
237+ ]
87238
88239integrationTests :: TestTree
89−integrationTests = testGroup "Integration Tests" [
90− testCase "Get docker version" testDockerVersion,
91− testCase "Find image by name" testFindImage,
92− testCase "Run a dummy container and read its log" testRunAndReadLog]
240+integrationTests =
241+ testGroup
242+ "Integration Tests"
243+ [ testCase "Get docker version" testDockerVersion
244+ , testCase "Build image from Dockerfile" testBuildFromDockerfile
245+ , testCase "Find image by name" testFindImage
246+ , testCase "Delete image" testDeleteImage
247+ , testCase "List containers" testListContainers
248+ , testCase "Run a dummy container and read its log" testRunAndReadLog
249+ , testCase "Run a dummy container with networking and read its log" testRunAndReadLogWithNetworking
250+ , testCase "Try to stop a container that doesn't exist" testStopNonexisting
251+ , testCase "Create and remove a network" testCreateRemoveNetwork
252+ ]
93253
94254jsonTests :: TestTree
95−jsonTests = testGroup "JSON Tests" [testExposedPortsJson, testVolumesJson]
255+jsonTests =
256+ testGroup
257+ "JSON Tests"
258+ [ testExposedPortsJson
259+ , testVolumesJson
260+ , testLabelsJson
261+ , testLogDriverOptionsJson
262+ , testEntrypointJson
263+ , testEnvVarJson
264+ , testNetworkingConfigJson
265+ ]
96266
97267setup :: IO ()
98−setup = system ("docker build -t "++unpack testImageName++" tests") >> return ()
268+setup =
269+ mapM_ system
270+ [ "docker pull " ++ unpack imageToDeleteFullName
271+ , "docker build -t " ++ unpack testImageName ++ " tests"
272+ ]
273+
274+isLeft = not . isRight
99275
100−isRight (Left _) = False
276+isRight (Left _) = False
101277isRight (Right _) = True
102278
103−fromRight :: (MonadIO m, Show l) => Either l r -> m r
279+fromRight
280+ :: (MonadIO m, Show l)
281+ => Either l r -> m r
104282fromRight (Left l) = do
105− liftIO $ assertFailure $ "Left: " ++ show l
106− undefined
283+ liftIO $ assertFailure $ "Left: " ++ show l
284+ undefined
107285fromRight (Right r) = return r
108286
109287main :: IO ()
110288main = do
111− setup
112− defaultMain $ testGroup "Tests" [jsonTests, integrationTests]
113−
289+ stackage <- lookupEnv "RUN_INTEGRATION_TESTS"
290+ case stackage of
291+ Nothing -> defaultMain $ testGroup "Tests" [jsonTests]
292+ Just _ -> do
293+ setup
294+ defaultMain $ testGroup "Tests" [jsonTests, integrationTests]