Resolving dependencies...
Downloading type-fun-0.1.0...
Configuring type-fun-0.1.0...
Building type-fun-0.1.0...
Preprocessing library type-fun-0.1.0...
[1 of 5] Compiling TypeFun.Data.Peano ( src/TypeFun/Data/Peano.hs, dist/build/TypeFun/Data/Peano.o )
[2 of 5] Compiling TypeFun.Data.Maybe ( src/TypeFun/Data/Maybe.hs, dist/build/TypeFun/Data/Maybe.o )
[3 of 5] Compiling TypeFun.Data.Eq  ( src/TypeFun/Data/Eq.hs, dist/build/TypeFun/Data/Eq.o )
[4 of 5] Compiling TypeFun.Data.List ( src/TypeFun/Data/List.hs, dist/build/TypeFun/Data/List.o )
[5 of 5] Compiling TypeFun.Constraint ( src/TypeFun/Constraint.hs, dist/build/TypeFun/Constraint.o )
In-place registering type-fun-0.1.0...
Running Haddock for type-fun-0.1.0...
Running hscolour for type-fun-0.1.0...
Preprocessing library type-fun-0.1.0...
Preprocessing library type-fun-0.1.0...
Haddock coverage:
   0% (  0 /  7) in 'TypeFun.Data.Peano'
  Missing documentation for:
    Module header
    N (src/TypeFun/Data/Peano.hs:14)
    ToNat (src/TypeFun/Data/Peano.hs:18)
    FromNat (src/TypeFun/Data/Peano.hs:22)
    :+: (src/TypeFun/Data/Peano.hs:26)
    :-: (src/TypeFun/Data/Peano.hs:30)
    :*: (src/TypeFun/Data/Peano.hs:34)
  17% (  1 /  6) in 'TypeFun.Data.Maybe'
  Missing documentation for:
    Module header
    MaybeCase (src/TypeFun/Data/Maybe.hs:11)
    NothingToConstr (src/TypeFun/Data/Maybe.hs:17)
    JustToConstr (src/TypeFun/Data/Maybe.hs:21)
    FromJust (src/TypeFun/Data/Maybe.hs:31)
   0% (  0 /  2) in 'TypeFun.Data.Eq'
  Missing documentation for:
    Module header
    Equal (src/TypeFun/Data/Eq.hs:5)
  50% ( 20 / 40) in 'TypeFun.Data.List'
  Missing documentation for:
    Length (src/TypeFun/Data/List.hs:81)
    Drop (src/TypeFun/Data/List.hs:85)
    Take (src/TypeFun/Data/List.hs:90)
    :++: (src/TypeFun/Data/List.hs:107)
    IndexOf (src/TypeFun/Data/List.hs:118)
    IndexOfMay (src/TypeFun/Data/List.hs:120)
    IndexOfMay' (src/TypeFun/Data/List.hs:122)
    IndicesOfMay (src/TypeFun/Data/List.hs:127)
    IndicesOf (src/TypeFun/Data/List.hs:131)
    Index (src/TypeFun/Data/List.hs:135)
    IndexMay (src/TypeFun/Data/List.hs:137)
    IndicesMay (src/TypeFun/Data/List.hs:142)
    Indices (src/TypeFun/Data/List.hs:146)
    NotSubList (src/TypeFun/Data/List.hs:177)
    IsPrefixOf (src/TypeFun/Data/List.hs:181)
    IsNotPrefixOf (src/TypeFun/Data/List.hs:186)
    UnionList (src/TypeFun/Data/List.hs:202)
    UniqElements' (src/TypeFun/Data/List.hs:230)
    appendId (src/TypeFun/Data/List.hs:111)
    subListId (src/TypeFun/Data/List.hs:171)
  50% (  1 /  2) in 'TypeFun.Constraint'
  Missing documentation for:
    Module header
Warning: TypeFun.Data.List: could not find link destinations for:
    ElementNotFoundInList ElementIsInList ListIsNotPrefixOf ListIsPrefixOf ElementIsNotUniqInList
Documentation created: dist/doc/html/type-fun/index.html,
dist/doc/html/type-fun/type-fun.txt
Creating package registration file:
/tmp/pkgConf-type-fun-0.12145174067468703135.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/type-fun-0.1.0-DGe6eWNUUb84o5olU2zQDo
Registering type-fun-0.1.0...
Installed type-fun-0.1.0