Resolving dependencies...
Downloading type-level-sets-0.8.0.0...
cabal: Entering directory '/tmp/cabal-tmp-2931/type-level-sets-0.8.0.0'
Configuring type-level-sets-0.8.0.0...
Building type-level-sets-0.8.0.0...
Preprocessing library type-level-sets-0.8.0.0...
[1 of 2] Compiling Data.Type.Set    ( src/Data/Type/Set.hs, dist/build/Data/Type/Set.o )
[2 of 2] Compiling Data.Type.Map    ( src/Data/Type/Map.hs, dist/build/Data/Type/Map.o )
Running Haddock for type-level-sets-0.8.0.0...
Running hscolour for type-level-sets-0.8.0.0...
Preprocessing library type-level-sets-0.8.0.0...
Preprocessing library type-level-sets-0.8.0.0...
Haddock coverage:
  55% ( 12 / 22) in 'Data.Type.Set'
  Missing documentation for:
    Module header
    Set (src/Data/Type/Set.hs:18)
    Unionable (src/Data/Type/Set.hs:65)
    union (src/Data/Type/Set.hs:62)
    quicksort (src/Data/Type/Set.hs:163)
    append (src/Data/Type/Set.hs:72)
    Filter (src/Data/Type/Set.hs:147)
    Flag (src/Data/Type/Set.hs:145)
    Delete (src/Data/Type/Set.hs:158)
    Proxy (src/Data/Type/Set.hs:15)
  68% ( 15 / 22) in 'Data.Type.Map'
  Missing documentation for:
    Module header
    Unionable (src/Data/Type/Map.hs:111)
    Combinable (src/Data/Type/Map.hs:148)
    Nubable (src/Data/Type/Map.hs:151)
    nub (src/Data/Type/Map.hs:152)
    split (src/Data/Type/Map.hs:183)
    submap (src/Data/Type/Map.hs:202)
Warning: Data.Type.Set: could not find link destinations for:
    Show' FilterV ~ DeleteFromList
Warning: Data.Type.Map: could not find link destinations for:
    Show' Nub ~ Sortable
Documentation created: dist/doc/html/type-level-sets/index.html,
dist/doc/html/type-level-sets/type-level-sets.txt
Creating package registration file:
/tmp/pkgConf-type-level-sets-0.8.01315634022635723058.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160701/type-level-sets-0.8.0.0-GSwT8z9u1h4FakAr792tLo
Registering type-level-sets-0.8.0.0...
cabal: Leaving directory '/tmp/cabal-tmp-2931/type-level-sets-0.8.0.0'
Installed type-level-sets-0.8.0.0