Resolving dependencies...
Downloading  sop-satisfier-0.3.4.5
Downloaded   sop-satisfier-0.3.4.5
Configuring sop-satisfier-0.3.4.5...
Preprocessing library for sop-satisfier-0.3.4.5..
Building library for sop-satisfier-0.3.4.5..
[1 of 7] Compiling SoPSat.Internal.SoP ( src/SoPSat/Internal/SoP.hs, dist/build/SoPSat/Internal/SoP.o, dist/build/SoPSat/Internal/SoP.dyn_o )
[2 of 7] Compiling SoPSat.SoP       ( src/SoPSat/SoP.hs, dist/build/SoPSat/SoP.o, dist/build/SoPSat/SoP.dyn_o )
[3 of 7] Compiling SoPSat.Internal.Unify ( src/SoPSat/Internal/Unify.hs, dist/build/SoPSat/Internal/Unify.o, dist/build/SoPSat/Internal/Unify.dyn_o )
[4 of 7] Compiling SoPSat.Internal.Range ( src/SoPSat/Internal/Range.hs, dist/build/SoPSat/Internal/Range.o, dist/build/SoPSat/Internal/Range.dyn_o )
[5 of 7] Compiling SoPSat.Internal.SolverMonad ( src/SoPSat/Internal/SolverMonad.hs, dist/build/SoPSat/Internal/SolverMonad.o, dist/build/SoPSat/Internal/SolverMonad.dyn_o )
[6 of 7] Compiling SoPSat.Internal.NewtonsMethod ( src/SoPSat/Internal/NewtonsMethod.hs, dist/build/SoPSat/Internal/NewtonsMethod.o, dist/build/SoPSat/Internal/NewtonsMethod.dyn_o )
[7 of 7] Compiling SoPSat.Satisfier ( src/SoPSat/Satisfier.hs, dist/build/SoPSat/Satisfier.o, dist/build/SoPSat/Satisfier.dyn_o )
Preprocessing library for sop-satisfier-0.3.4.5..
Running Haddock on library for sop-satisfier-0.3.4.5..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 7] Compiling SoPSat.Internal.SoP ( src/SoPSat/Internal/SoP.hs, nothing )
[2 of 7] Compiling SoPSat.SoP       ( src/SoPSat/SoP.hs, nothing )
[3 of 7] Compiling SoPSat.Internal.Unify ( src/SoPSat/Internal/Unify.hs, nothing )
[4 of 7] Compiling SoPSat.Internal.Range ( src/SoPSat/Internal/Range.hs, nothing )
[5 of 7] Compiling SoPSat.Internal.SolverMonad ( src/SoPSat/Internal/SolverMonad.hs, nothing )
[6 of 7] Compiling SoPSat.Internal.NewtonsMethod ( src/SoPSat/Internal/NewtonsMethod.hs, nothing )
[7 of 7] Compiling SoPSat.Satisfier ( src/SoPSat/Satisfier.hs, nothing )
Haddock coverage:
  23% (  4 / 17) in 'SoPSat.Internal.SoP'
  Missing documentation for:
    Module header
    mergeWith (src/SoPSat/Internal/SoP.hs:69)
    reduceExp (src/SoPSat/Internal/SoP.hs:75)
    mergeS (src/SoPSat/Internal/SoP.hs:92)
    mergeP (src/SoPSat/Internal/SoP.hs:135)
    normaliseExp (src/SoPSat/Internal/SoP.hs:150)
    zeroP (src/SoPSat/Internal/SoP.hs:171)
    mkNonEmpty (src/SoPSat/Internal/SoP.hs:175)
    simplifySoP (src/SoPSat/Internal/SoP.hs:179)
    mergeSoPAdd (src/SoPSat/Internal/SoP.hs:198)
    mergeSoPMul (src/SoPSat/Internal/SoP.hs:201)
    mergeSoPSub (src/SoPSat/Internal/SoP.hs:206)
    mergeSoPDiv (src/SoPSat/Internal/SoP.hs:209)
Warning: 'f' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'c' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  96% ( 25 / 26) in 'SoPSat.SoP'
  Missing documentation for:
    Module header
   0% (  0 / 15) in 'SoPSat.Internal.Unify'
  Missing documentation for:
    Module header
    Unifier (src/SoPSat/Internal/Unify.hs:24)
    substsSoP (src/SoPSat/Internal/Unify.hs:32)
    substSoP (src/SoPSat/Internal/Unify.hs:36)
    substProduct (src/SoPSat/Internal/Unify.hs:39)
    substSymbol (src/SoPSat/Internal/Unify.hs:42)
    substsSubst (src/SoPSat/Internal/Unify.hs:49)
    unifiers (src/SoPSat/Internal/Unify.hs:54)
    unifiers' (src/SoPSat/Internal/Unify.hs:169)
    splitSoP (src/SoPSat/Internal/Unify.hs:176)
    collectBases (src/SoPSat/Internal/Unify.hs:191)
    safeDiv (src/SoPSat/Internal/Unify.hs:197)
    integerLogBase (src/SoPSat/Internal/Unify.hs:204)
    integerLogBase' (src/SoPSat/Internal/Unify.hs:214)
    integerRt (src/SoPSat/Internal/Unify.hs:224)
   0% (  0 /  7) in 'SoPSat.Internal.Range'
  Missing documentation for:
    Module header
    Range (src/SoPSat/Internal/Range.hs:22)
    Bound (src/SoPSat/Internal/Range.hs:13)
    boundSoP (src/SoPSat/Internal/Range.hs:19)
    rangeAdd (src/SoPSat/Internal/Range.hs:46)
    rangeMul (src/SoPSat/Internal/Range.hs:54)
    rangeExp (src/SoPSat/Internal/Range.hs:91)
  20% (  3 / 15) in 'SoPSat.Internal.SolverMonad'
  Missing documentation for:
    Module header
    State (src/SoPSat/Internal/SolverMonad.hs:27)
    SolverState (src/SoPSat/Internal/SolverMonad.hs:38)
    maybeFail (src/SoPSat/Internal/SolverMonad.hs:41)
    getRanges (src/SoPSat/Internal/SolverMonad.hs:45)
    getRange (src/SoPSat/Internal/SolverMonad.hs:48)
    getRangeSymbol (src/SoPSat/Internal/SolverMonad.hs:51)
    getRangeProduct (src/SoPSat/Internal/SolverMonad.hs:59)
    getRangeSoP (src/SoPSat/Internal/SolverMonad.hs:67)
    putRange (src/SoPSat/Internal/SolverMonad.hs:75)
    getUnifiers (src/SoPSat/Internal/SolverMonad.hs:85)
    putUnifiers (src/SoPSat/Internal/SolverMonad.hs:88)
  87% (  7 /  8) in 'SoPSat.Internal.NewtonsMethod'
  Missing documentation for:
    Module header
  87% ( 14 / 16) in 'SoPSat.Satisfier'
  Missing documentation for:
    Module header
    SolverState (src/SoPSat/Internal/SolverMonad.hs:38)
Documentation created: dist/doc/html/sop-satisfier/,
dist/doc/html/sop-satisfier/sop-satisfier.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/sop-satisfier-0.3.4.5-7fjxVcmzd5LJcvXkBVlzFa
Completed    sop-satisfier-0.3.4.5