Hackage :: [Package]

Build #1 for numtype-dk-0.5.0.1

[all reports]

Package numtype-dk-0.5.0.1
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2016-05-16 13:28:59.925446 UTC
Compiler ghc-7.10.3
OS linux
Arch x86_64
Dependencies base-4.8.2.0
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Downloading numtype-dk-0.5.0.1...
Configuring numtype-dk-0.5.0.1...
Building numtype-dk-0.5.0.1...
Preprocessing library numtype-dk-0.5.0.1...
[1 of 2] Compiling Numeric.NumType.DK.Naturals ( Numeric/NumType/DK/Naturals.hs, dist/build/Numeric/NumType/DK/Naturals.o )
[2 of 2] Compiling Numeric.NumType.DK.Integers ( Numeric/NumType/DK/Integers.hs, dist/build/Numeric/NumType/DK/Integers.o )
In-place registering numtype-dk-0.5.0.1...
Running Haddock for numtype-dk-0.5.0.1...
Running hscolour for numtype-dk-0.5.0.1...
Preprocessing library numtype-dk-0.5.0.1...
Preprocessing library numtype-dk-0.5.0.1...
Haddock coverage:
  44% (  4 /  9) in 'Numeric.NumType.DK.Naturals'
  Missing documentation for:
    Module header
    Nat (Numeric/NumType/DK/Naturals.hs:17)
    KnownNat (Numeric/NumType/DK/Naturals.hs:45)
     (Numeric/NumType/DK/Naturals.hs:47)
     (Numeric/NumType/DK/Naturals.hs:48)
  32% ( 15 / 47) in 'Numeric.NumType.DK.Integers'
  Missing documentation for:
    TypeInt (Numeric/NumType/DK/Integers.hs:85)
    Pred (Numeric/NumType/DK/Integers.hs:111)
    Succ (Numeric/NumType/DK/Integers.hs:135)
    pred (Numeric/NumType/DK/Integers.hs:372)
    succ (Numeric/NumType/DK/Integers.hs:373)
    negate (Numeric/NumType/DK/Integers.hs:374)
    abs (Numeric/NumType/DK/Integers.hs:375)
    signum (Numeric/NumType/DK/Integers.hs:376)
    + (Numeric/NumType/DK/Integers.hs:378)
    - (Numeric/NumType/DK/Integers.hs:379)
    * (Numeric/NumType/DK/Integers.hs:380)
    / (Numeric/NumType/DK/Integers.hs:381)
    ^ (Numeric/NumType/DK/Integers.hs:382)
    zero (Numeric/NumType/DK/Integers.hs:406)
    pos1 (Numeric/NumType/DK/Integers.hs:408)
    pos2 (Numeric/NumType/DK/Integers.hs:410)
    pos3 (Numeric/NumType/DK/Integers.hs:412)
    pos4 (Numeric/NumType/DK/Integers.hs:414)
    pos5 (Numeric/NumType/DK/Integers.hs:416)
    pos6 (Numeric/NumType/DK/Integers.hs:418)
    pos7 (Numeric/NumType/DK/Integers.hs:420)
    pos8 (Numeric/NumType/DK/Integers.hs:422)
    pos9 (Numeric/NumType/DK/Integers.hs:424)
    neg1 (Numeric/NumType/DK/Integers.hs:404)
    neg2 (Numeric/NumType/DK/Integers.hs:402)
    neg3 (Numeric/NumType/DK/Integers.hs:400)
    neg4 (Numeric/NumType/DK/Integers.hs:398)
    neg5 (Numeric/NumType/DK/Integers.hs:396)
    neg6 (Numeric/NumType/DK/Integers.hs:394)
    neg7 (Numeric/NumType/DK/Integers.hs:392)
    neg8 (Numeric/NumType/DK/Integers.hs:390)
    neg9 (Numeric/NumType/DK/Integers.hs:388)
Warning: Numeric.NumType.DK.Integers: could not find link destinations for:
    NatSucc Z NatPred
Documentation created: dist/doc/html/numtype-dk/index.html,
dist/doc/html/numtype-dk/numtype-dk.txt
Creating package registration file:
/tmp/pkgConf-numtype-dk-0.5.02145174067468703135.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/numtype-dk-0.5.0.1-LXQ5SJtAUlgITxQ8Z8tylw
Registering numtype-dk-0.5.0.1...
Installed numtype-dk-0.5.0.1

Test log

No test log was submitted for this report.