Resolving dependencies... Configuring type-fun-0.0.1... Building type-fun-0.0.1... Preprocessing library type-fun-0.0.1... [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.0.1... Running Haddock for type-fun-0.0.1... Running hscolour for type-fun-0.0.1... Preprocessing library type-fun-0.0.1... Preprocessing library type-fun-0.0.1... 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% ( 18 / 36) in 'TypeFun.Data.List' Missing documentation for: Length (src/TypeFun/Data/List.hs:76) Drop (src/TypeFun/Data/List.hs:80) Take (src/TypeFun/Data/List.hs:85) :++: (src/TypeFun/Data/List.hs:102) IndexOf (src/TypeFun/Data/List.hs:106) IndexOfMay (src/TypeFun/Data/List.hs:108) IndexOfMay' (src/TypeFun/Data/List.hs:110) IndicesOfMay (src/TypeFun/Data/List.hs:115) IndicesOf (src/TypeFun/Data/List.hs:119) Index (src/TypeFun/Data/List.hs:123) IndexMay (src/TypeFun/Data/List.hs:125) IndicesMay (src/TypeFun/Data/List.hs:130) Indices (src/TypeFun/Data/List.hs:134) NotSubList (src/TypeFun/Data/List.hs:159) IsPrefixOf (src/TypeFun/Data/List.hs:163) IsNotPrefixOf (src/TypeFun/Data/List.hs:168) UnionList (src/TypeFun/Data/List.hs:184) UniqElements' (src/TypeFun/Data/List.hs:206) 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.0278722862233665123.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/type-fun-0.0.1-0zANovnMDFD2enRFaQrPeE Registering type-fun-0.0.1... Installed type-fun-0.0.1