Build #3 for hsqml-datamodel-vinyl-0.3.0.1
| Package | hsqml-datamodel-vinyl-0.3.0.1 |
|---|
| Install | DependencyFailed hsqml-0.3.3.0 |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2015-09-29 09:09:41.105178 UTC |
|---|---|
| Compiler | ghc-7.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | vinyl-0.5.1, type-list-0.2.0.0, hsqml-datamodel-0.2.0.2, exceptions-0.8.0.2, base-4.8.1.0 |
| Flags | -devel |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring filepath-1.3.0.1...
Building filepath-1.3.0.1...
Preprocessing library filepath-1.3.0.1...
[1 of 3] Compiling System.FilePath.Windows ( System/FilePath/Windows.hs, dist/build/System/FilePath/Windows.o )
[2 of 3] Compiling System.FilePath.Posix ( System/FilePath/Posix.hs, dist/build/System/FilePath/Posix.o )
[3 of 3] Compiling System.FilePath ( System/FilePath.hs, dist/build/System/FilePath.o )
In-place registering filepath-1.3.0.1...
Running Haddock for filepath-1.3.0.1...
Running hscolour for filepath-1.3.0.1...
Preprocessing library filepath-1.3.0.1...
Preprocessing library filepath-1.3.0.1...
Haddock coverage:
100% ( 57 / 57) in 'System.FilePath.Windows'
100% ( 57 / 57) in 'System.FilePath.Posix'
100% ( 2 / 2) in 'System.FilePath'
Documentation created: dist/doc/html/filepath/index.html,
dist/doc/html/filepath/filepath.txt
Creating package registration file:
/tmp/pkgConf-filepath-1.3.0278722862233665123.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/filepath-1.3.0.1-A0ShU8E4xGyA19EI3CqHII
Registering filepath-1.3.0.1...
Installed filepath-1.3.0.1
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Preprocessing library mtl-2.2.1...
[ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o )
[11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
In-place registering mtl-2.2.1...
Running Haddock for mtl-2.2.1...
Running hscolour for mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Haddock coverage:
75% ( 3 / 4) in 'Control.Monad.Writer.Class'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
100% ( 5 / 5) in 'Control.Monad.State.Class'
100% ( 3 / 3) in 'Control.Monad.Reader.Class'
80% ( 4 / 5) in 'Control.Monad.RWS.Class'
Missing documentation for:
MonadRWS (Control/Monad/RWS/Class.hs:44)
100% ( 4 / 4) in 'Control.Monad.Identity'
100% ( 3 / 3) in 'Control.Monad.Error.Class'
50% ( 1 / 2) in 'Control.Monad.Cont.Class'
Missing documentation for:
MonadCont (Control/Monad/Cont/Class.hs:73)
100% ( 3 / 3) in 'Control.Monad.Trans'
93% ( 14 / 15) in 'Control.Monad.Error'
Missing documentation for:
runErrorT
100% ( 19 / 19) in 'Control.Monad.Except'
100% ( 5 / 5) in 'Control.Monad.List'
95% ( 21 / 22) in 'Control.Monad.RWS.Lazy'
Missing documentation for:
runRWST
100% ( 2 / 2) in 'Control.Monad.RWS'
96% ( 22 / 23) in 'Control.Monad.Reader'
Missing documentation for:
runReaderT
95% ( 21 / 22) in 'Control.Monad.RWS.Strict'
Missing documentation for:
runRWST
96% ( 24 / 25) in 'Control.Monad.State.Lazy'
Missing documentation for:
runStateT
100% ( 2 / 2) in 'Control.Monad.State'
96% ( 24 / 25) in 'Control.Monad.State.Strict'
Missing documentation for:
runStateT
89% ( 17 / 19) in 'Control.Monad.Writer.Lazy'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
runWriterT
100% ( 2 / 2) in 'Control.Monad.Writer'
94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
91% ( 20 / 22) in 'Control.Monad.Cont'
Missing documentation for:
MonadCont (Control/Monad/Cont/Class.hs:73)
runContT
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.21687926652660260756.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/mtl-2.2.1-KMpng31YRYc5JfMWFZ3FCU
Registering mtl-2.2.1...
Installed mtl-2.2.1
Configuring nats-1...
Building nats-1...
Preprocessing library nats-1...
In-place registering nats-1...
Running Haddock for nats-1...
Running hscolour for nats-1...
Preprocessing library nats-1...
Preprocessing library nats-1...
haddock: No input file(s).
Creating package registration file: /tmp/pkgConf-nats-15529102531671294892
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/nats-1-Fmk0Emc1i6fF1ZuCqfyZlm
Registering nats-1...
Installed nats-1
Configuring safe-0.3.9...
Building safe-0.3.9...
Preprocessing library safe-0.3.9...
[1 of 4] Compiling Safe.Util ( Safe/Util.hs, dist/build/Safe/Util.o )
[2 of 4] Compiling Safe.Exact ( Safe/Exact.hs, dist/build/Safe/Exact.o )
[3 of 4] Compiling Safe.Foldable ( Safe/Foldable.hs, dist/build/Safe/Foldable.o )
[4 of 4] Compiling Safe ( Safe.hs, dist/build/Safe.o )
In-place registering safe-0.3.9...
Running Haddock for safe-0.3.9...
Running hscolour for safe-0.3.9...
Preprocessing library safe-0.3.9...
Preprocessing library safe-0.3.9...
Haddock coverage:
14% ( 1 / 7) in 'Safe.Util'
Missing documentation for:
.^ (Safe/Util.hs:8)
.^^ (Safe/Util.hs:11)
liftMay (Safe/Util.hs:14)
fromNoteModule (Safe/Util.hs:17)
fromNoteEitherModule (Safe/Util.hs:21)
eitherToMaybe (Safe/Util.hs:25)
35% ( 8 / 23) in 'Safe.Exact'
Missing documentation for:
takeExactMay (Safe/Exact.hs:93)
takeExactNote (Safe/Exact.hs:90)
takeExactDef (Safe/Exact.hs:96)
dropExactMay (Safe/Exact.hs:102)
dropExactNote (Safe/Exact.hs:99)
dropExactDef (Safe/Exact.hs:105)
splitAtExactMay (Safe/Exact.hs:112)
splitAtExactNote (Safe/Exact.hs:108)
splitAtExactDef (Safe/Exact.hs:116)
zipExactMay (Safe/Exact.hs:140)
zipExactNote (Safe/Exact.hs:137)
zipExactDef (Safe/Exact.hs:143)
zipWithExactMay (Safe/Exact.hs:149)
zipWithExactNote (Safe/Exact.hs:146)
zipWithExactDef (Safe/Exact.hs:152)
18% ( 5 / 28) in 'Safe.Foldable'
Missing documentation for:
foldl1May (Safe/Foldable.hs:38)
foldl1Def (Safe/Foldable.hs:46)
foldl1Note (Safe/Foldable.hs:42)
foldr1May (Safe/Foldable.hs:38)
foldr1Def (Safe/Foldable.hs:46)
foldr1Note (Safe/Foldable.hs:42)
findJustDef (Safe/Foldable.hs:79)
findJustNote (Safe/Foldable.hs:82)
minimumMay (Safe/Foldable.hs:50)
minimumDef (Safe/Foldable.hs:54)
minimumNote (Safe/Foldable.hs:58)
maximumMay (Safe/Foldable.hs:50)
maximumDef (Safe/Foldable.hs:54)
maximumNote (Safe/Foldable.hs:58)
minimumByMay (Safe/Foldable.hs:62)
minimumByDef (Safe/Foldable.hs:66)
minimumByNote (Safe/Foldable.hs:70)
maximumByMay (Safe/Foldable.hs:62)
maximumByDef (Safe/Foldable.hs:66)
maximumByNote (Safe/Foldable.hs:70)
foldl1Safe (Safe/Foldable.hs:90)
foldr1Safe (Safe/Foldable.hs:94)
findJustSafe (Safe/Foldable.hs:99)
20% ( 14 / 71) in 'Safe'
Missing documentation for:
initMay (Safe.hs:114)
initDef (Safe.hs:117)
initNote (Safe.hs:120)
initSafe (Safe.hs:123)
headMay (Safe.hs:128)
headDef (Safe.hs:132)
headNote (Safe.hs:136)
lastMay (Safe.hs:128)
lastDef (Safe.hs:132)
lastNote (Safe.hs:136)
minimumMay (Safe.hs:140)
minimumDef (Safe.hs:144)
minimumNote (Safe.hs:148)
maximumMay (Safe.hs:140)
maximumDef (Safe.hs:144)
maximumNote (Safe.hs:148)
minimumByMay (Safe.hs:152)
minimumByDef (Safe.hs:156)
minimumByNote (Safe.hs:160)
maximumByMay (Safe.hs:152)
maximumByDef (Safe.hs:156)
maximumByNote (Safe.hs:160)
foldr1May (Safe.hs:165)
foldr1Def (Safe.hs:170)
foldr1Note (Safe.hs:175)
foldl1May (Safe.hs:165)
foldl1Def (Safe.hs:170)
foldl1Note (Safe.hs:175)
foldl1May' (Safe.hs:165)
foldl1Def' (Safe.hs:170)
foldl1Note' (Safe.hs:175)
scanl1May (Safe.hs:180)
scanl1Def (Safe.hs:184)
scanl1Note (Safe.hs:188)
scanr1May (Safe.hs:180)
scanr1Def (Safe.hs:184)
scanr1Note (Safe.hs:188)
fromJustNote (Safe.hs:197)
assertNote (Safe.hs:200)
atMay (Safe.hs:209)
atDef (Safe.hs:212)
atNote (Safe.hs:215)
readMay (Safe.hs:219)
readDef (Safe.hs:222)
readNote (Safe.hs:225)
lookupJustDef (Safe.hs:233)
lookupJustNote (Safe.hs:236)
findJustDef (Safe.hs:244)
findJustNote (Safe.hs:247)
elemIndexJustDef (Safe.hs:255)
elemIndexJustNote (Safe.hs:258)
findIndexJustDef (Safe.hs:266)
findIndexJustNote (Safe.hs:269)
toEnumMay (Safe.hs:274)
toEnumDef (Safe.hs:283)
toEnumNote (Safe.hs:286)
toEnumSafe (Safe.hs:289)
Documentation created: dist/doc/html/safe/index.html,
dist/doc/html/safe/safe.txt
Creating package registration file:
/tmp/pkgConf-safe-0.311860904281974806403.9
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/safe-0.3.9-BXSoeRP9IFG6t9s3abNgVi
Registering safe-0.3.9...
Installed safe-0.3.9
Configuring stm-2.4.4...
Building stm-2.4.4...
Preprocessing library stm-2.4.4...
[ 1 of 10] Compiling Control.Sequential.STM ( Control/Sequential/STM.hs, dist/build/Control/Sequential/STM.o )
[ 2 of 10] Compiling Control.Concurrent.STM.TBQueue ( Control/Concurrent/STM/TBQueue.hs, dist/build/Control/Concurrent/STM/TBQueue.o )
[ 3 of 10] Compiling Control.Concurrent.STM.TQueue ( Control/Concurrent/STM/TQueue.hs, dist/build/Control/Concurrent/STM/TQueue.o )
[ 4 of 10] Compiling Control.Concurrent.STM.TChan ( Control/Concurrent/STM/TChan.hs, dist/build/Control/Concurrent/STM/TChan.o )
[ 5 of 10] Compiling Control.Concurrent.STM.TMVar ( Control/Concurrent/STM/TMVar.hs, dist/build/Control/Concurrent/STM/TMVar.o )
[ 6 of 10] Compiling Control.Concurrent.STM.TVar ( Control/Concurrent/STM/TVar.hs, dist/build/Control/Concurrent/STM/TVar.o )
[ 7 of 10] Compiling Control.Concurrent.STM.TArray ( Control/Concurrent/STM/TArray.hs, dist/build/Control/Concurrent/STM/TArray.o )
[ 8 of 10] Compiling Control.Monad.STM ( Control/Monad/STM.hs, dist/build/Control/Monad/STM.o )
[ 9 of 10] Compiling Control.Concurrent.STM ( Control/Concurrent/STM.hs, dist/build/Control/Concurrent/STM.o )
[10 of 10] Compiling Control.Concurrent.STM.TSem ( Control/Concurrent/STM/TSem.hs, dist/build/Control/Concurrent/STM/TSem.o )
In-place registering stm-2.4.4...
Running Haddock for stm-2.4.4...
Running hscolour for stm-2.4.4...
Preprocessing library stm-2.4.4...
Preprocessing library stm-2.4.4...
Haddock coverage:
0% ( 0 / 11) in 'Control.Sequential.STM'
Missing documentation for:
Module header
STM (Control/Sequential/STM.hs:29)
atomically (Control/Sequential/STM.hs:47)
throwSTM (Control/Sequential/STM.hs:54)
catchSTM (Control/Sequential/STM.hs:57)
TVar (Control/Sequential/STM.hs:72)
newTVar (Control/Sequential/STM.hs:75)
newTVarIO (Control/Sequential/STM.hs:78)
readTVar (Control/Sequential/STM.hs:83)
readTVarIO (Control/Sequential/STM.hs:86)
writeTVar (Control/Sequential/STM.hs:89)
100% ( 13 / 13) in 'Control.Concurrent.STM.TBQueue'
100% ( 12 / 12) in 'Control.Concurrent.STM.TQueue'
100% ( 18 / 18) in 'Control.Concurrent.STM.TChan'
100% ( 16 / 16) in 'Control.Concurrent.STM.TMVar'
100% ( 13 / 13) in 'Control.Concurrent.STM.TVar'
100% ( 2 / 2) in 'Control.Concurrent.STM.TArray'
90% ( 9 / 10) in 'Control.Monad.STM'
Missing documentation for:
check (Control/Monad/STM.hs:81)
100% ( 8 / 8) in 'Control.Concurrent.STM'
40% ( 2 / 5) in 'Control.Concurrent.STM.TSem'
Missing documentation for:
newTSem (Control/Concurrent/STM/TSem.hs:42)
waitTSem (Control/Concurrent/STM/TSem.hs:45)
signalTSem (Control/Concurrent/STM/TSem.hs:51)
Documentation created: dist/doc/html/stm/index.html, dist/doc/html/stm/stm.txt
Creating package registration file: /tmp/pkgConf-stm-2.417880144121106059479.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/stm-2.4.4-C1kFMnPqFjvDhFjgMZGUpr
Registering stm-2.4.4...
Installed stm-2.4.4
Configuring syb-0.6...
Building syb-0.6...
Preprocessing library syb-0.6...
[ 1 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o )
[ 2 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o )
[ 3 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o )
[ 4 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o )
[ 5 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o )
[ 6 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o )
[ 7 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o )
[ 8 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o )
[ 9 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o )
[10 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o )
[11 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o )
[12 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o )
[13 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o )
[14 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o )
[15 of 16] Compiling Data.Generics ( src/Data/Generics.hs, dist/build/Data/Generics.o )
[16 of 16] Compiling Generics.SYB ( src/Generics/SYB.hs, dist/build/Generics/SYB.o )
In-place registering syb-0.6...
Running Haddock for syb-0.6...
Running hscolour for syb-0.6...
Preprocessing library syb-0.6...
Preprocessing library syb-0.6...
Haddock coverage:
100% ( 2 / 2) in 'Data.Generics.Basics'
100% ( 2 / 2) in 'Generics.SYB.Basics'
100% ( 1 / 1) in 'Data.Generics.Instances'
100% ( 1 / 1) in 'Generics.SYB.Instances'
96% ( 43 / 45) in 'Data.Generics.Aliases'
Missing documentation for:
GenericQ' (src/Data/Generics/Aliases.hs:268)
GenericM' (src/Data/Generics/Aliases.hs:269)
100% ( 19 / 19) in 'Data.Generics.Schemes'
100% ( 2 / 2) in 'Generics.SYB.Schemes'
100% ( 6 / 6) in 'Data.Generics.Text'
100% ( 2 / 2) in 'Generics.SYB.Text'
100% ( 17 / 17) in 'Data.Generics.Twins'
100% ( 2 / 2) in 'Generics.SYB.Twins'
100% ( 3 / 3) in 'Data.Generics.Builders'
100% ( 2 / 2) in 'Generics.SYB.Builders'
100% ( 2 / 2) in 'Generics.SYB.Aliases'
100% ( 8 / 8) in 'Data.Generics'
100% ( 2 / 2) in 'Generics.SYB'
Documentation created: dist/doc/html/syb/index.html, dist/doc/html/syb/syb.txt
Creating package registration file: /tmp/pkgConf-syb-015004747621464415775.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/syb-0.6-2wX6OHAY1mu1En8Oic6xKR
Registering syb-0.6...
Installed syb-0.6
Configuring tagged-0.7.3...
Building tagged-0.7.3...
Preprocessing library tagged-0.7.3...
[1 of 1] Compiling Data.Tagged ( src/Data/Tagged.hs, dist/build/Data/Tagged.o )
src/Data/Tagged.hs:9:14: Warning:
‘Data.Tagged’ is marked as Trustworthy but has been inferred as safe!
src/Data/Tagged.hs:39:1: Warning:
The import of ‘Applicative, <$>’
from module ‘Control.Applicative’ is redundant
src/Data/Tagged.hs:44:1: Warning:
The import of ‘Data.Traversable’ is redundant
except perhaps to import instances from ‘Data.Traversable’
To import instances alone, use: import Data.Traversable()
src/Data/Tagged.hs:50:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
In-place registering tagged-0.7.3...
Running Haddock for tagged-0.7.3...
Running hscolour for tagged-0.7.3...
Preprocessing library tagged-0.7.3...
Preprocessing library tagged-0.7.3...
src/Data/Tagged.hs:9:14: Warning:
‘Data.Tagged’ is marked as Trustworthy but has been inferred as safe!
src/Data/Tagged.hs:39:1: Warning:
The import of ‘Applicative, <$>’
from module ‘Control.Applicative’ is redundant
src/Data/Tagged.hs:44:1: Warning:
The import of ‘Data.Traversable’ is redundant
except perhaps to import instances from ‘Data.Traversable’
To import instances alone, use: import Data.Traversable()
src/Data/Tagged.hs:50:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Haddock coverage:
92% ( 12 / 13) in 'Data.Tagged'
Missing documentation for:
witness (src/Data/Tagged.hs:274)
Documentation created: dist/doc/html/tagged/index.html,
dist/doc/html/tagged/tagged.txt
Creating package registration file:
/tmp/pkgConf-tagged-0.7846621269584522071.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/tagged-0.7.3-GP3LFHwHxuBJt1SFkvd9MU
Registering tagged-0.7.3...
Installed tagged-0.7.3
Configuring text-1.2.1.3...
Building text-1.2.1.3...
Preprocessing library text-1.2.1.3...
[ 1 of 44] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o )
Data/Text/Internal/Read.hs:21:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
[ 2 of 44] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o )
[ 3 of 44] Compiling Data.Text.Internal.Builder.RealFloat.Functions ( Data/Text/Internal/Builder/RealFloat/Functions.hs, dist/build/Data/Text/Internal/Builder/RealFloat/Functions.o )
[ 4 of 44] Compiling Data.Text.Internal.Builder.Int.Digits ( Data/Text/Internal/Builder/Int/Digits.hs, dist/build/Data/Text/Internal/Builder/Int/Digits.o )
[ 5 of 44] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o )
Data/Text/Encoding/Error.hs:3:14: Warning:
‘Data.Text.Encoding.Error’ is marked as Trustworthy but has been inferred as safe!
[ 6 of 44] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o )
[ 7 of 44] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o )
[ 8 of 44] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o )
[ 9 of 44] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o )
[10 of 44] Compiling Data.Text.Array ( Data/Text/Array.hs, dist/build/Data/Text/Array.o )
[11 of 44] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o )
[12 of 44] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o )
[13 of 44] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o )
[14 of 44] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o )
[15 of 44] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o )
[16 of 44] Compiling Data.Text.Internal.Fusion.Common ( Data/Text/Internal/Fusion/Common.hs, dist/build/Data/Text/Internal/Fusion/Common.o )
[17 of 44] Compiling Data.Text.Unsafe ( Data/Text/Unsafe.hs, dist/build/Data/Text/Unsafe.o )
[18 of 44] Compiling Data.Text.Internal.Private ( Data/Text/Internal/Private.hs, dist/build/Data/Text/Internal/Private.o )
[19 of 44] Compiling Data.Text.Internal.Fusion ( Data/Text/Internal/Fusion.hs, dist/build/Data/Text/Internal/Fusion.o )
[20 of 44] Compiling Data.Text.Show ( Data/Text/Show.hs, dist/build/Data/Text/Show.o )
[21 of 44] Compiling Data.Text.Internal.Encoding.Fusion.Common ( Data/Text/Internal/Encoding/Fusion/Common.hs, dist/build/Data/Text/Internal/Encoding/Fusion/Common.o )
[22 of 44] Compiling Data.Text.Internal.Encoding.Utf8 ( Data/Text/Internal/Encoding/Utf8.hs, dist/build/Data/Text/Internal/Encoding/Utf8.o )
[23 of 44] Compiling Data.Text.Internal.Encoding.Fusion ( Data/Text/Internal/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Encoding/Fusion.o )
[24 of 44] Compiling Data.Text.Encoding ( Data/Text/Encoding.hs, dist/build/Data/Text/Encoding.o )
[25 of 44] Compiling Data.Text.Internal.Lazy.Encoding.Fusion ( Data/Text/Internal/Lazy/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Encoding/Fusion.o )
[26 of 44] Compiling Data.Text.Internal.Search ( Data/Text/Internal/Search.hs, dist/build/Data/Text/Internal/Search.o )
[27 of 44] Compiling Data.Text.Foreign ( Data/Text/Foreign.hs, dist/build/Data/Text/Foreign.o )
[28 of 44] Compiling Data.Text ( Data/Text.hs, dist/build/Data/Text.o )
[29 of 44] Compiling Data.Text.Internal.IO ( Data/Text/Internal/IO.hs, dist/build/Data/Text/Internal/IO.o )
[30 of 44] Compiling Data.Text.IO ( Data/Text/IO.hs, dist/build/Data/Text/IO.o )
[31 of 44] Compiling Data.Text.Internal.Lazy ( Data/Text/Internal/Lazy.hs, dist/build/Data/Text/Internal/Lazy.o )
[32 of 44] Compiling Data.Text.Internal.Lazy.Fusion ( Data/Text/Internal/Lazy/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Fusion.o )
[33 of 44] Compiling Data.Text.Internal.Lazy.Search ( Data/Text/Internal/Lazy/Search.hs, dist/build/Data/Text/Internal/Lazy/Search.o )
[34 of 44] Compiling Data.Text.Lazy.Internal ( Data/Text/Lazy/Internal.hs, dist/build/Data/Text/Lazy/Internal.o )
[35 of 44] Compiling Data.Text.Lazy.Encoding ( Data/Text/Lazy/Encoding.hs, dist/build/Data/Text/Lazy/Encoding.o )
Data/Text/Lazy/Encoding.hs:65:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
[36 of 44] Compiling Data.Text.Lazy ( Data/Text/Lazy.hs, dist/build/Data/Text/Lazy.o )
[37 of 44] Compiling Data.Text.Internal.Builder ( Data/Text/Internal/Builder.hs, dist/build/Data/Text/Internal/Builder.o )
Data/Text/Internal/Builder.hs:61:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
[38 of 44] Compiling Data.Text.Lazy.Builder ( Data/Text/Lazy/Builder.hs, dist/build/Data/Text/Lazy/Builder.o )
[39 of 44] Compiling Data.Text.Internal.Builder.Functions ( Data/Text/Internal/Builder/Functions.hs, dist/build/Data/Text/Internal/Builder/Functions.o )
Data/Text/Internal/Builder/Functions.hs:24:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
[40 of 44] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o )
Data/Text/Lazy/Builder/Int.hs:24:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Text/Lazy/Builder/Int.hs:30:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/Text/Lazy/Builder/Int.hs:32:1: Warning:
The import of ‘GHC.Num’ is redundant
except perhaps to import instances from ‘GHC.Num’
To import instances alone, use: import GHC.Num()
[41 of 44] Compiling Data.Text.Lazy.IO ( Data/Text/Lazy/IO.hs, dist/build/Data/Text/Lazy/IO.o )
[42 of 44] Compiling Data.Text.Lazy.Read ( Data/Text/Lazy/Read.hs, dist/build/Data/Text/Lazy/Read.o )
Data/Text/Lazy/Read.hs:3:14: Warning:
‘Data.Text.Lazy.Read’ is marked as Trustworthy but has been inferred as safe!
Data/Text/Lazy/Read.hs:32:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
[43 of 44] Compiling Data.Text.Lazy.Builder.RealFloat ( Data/Text/Lazy/Builder/RealFloat.hs, dist/build/Data/Text/Lazy/Builder/RealFloat.o )
[44 of 44] Compiling Data.Text.Read ( Data/Text/Read.hs, dist/build/Data/Text/Read.o )
Data/Text/Read.hs:33:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
In-place registering text-1.2.1.3...
Running Haddock for text-1.2.1.3...
Running hscolour for text-1.2.1.3...
Preprocessing library text-1.2.1.3...
Preprocessing library text-1.2.1.3...
Data/Text/Internal/Read.hs:21:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
Data/Text/Encoding/Error.hs:3:14: Warning:
‘Data.Text.Encoding.Error’ is marked as Trustworthy but has been inferred as safe!
Data/Text/Lazy/Encoding.hs:65:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Text/Internal/Builder.hs:61:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Text/Internal/Builder/Functions.hs:24:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Text/Lazy/Builder/Int.hs:24:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Text/Lazy/Builder/Int.hs:30:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/Text/Lazy/Builder/Int.hs:32:1: Warning:
The import of ‘GHC.Num’ is redundant
except perhaps to import instances from ‘GHC.Num’
To import instances alone, use: import GHC.Num()
Data/Text/Lazy/Read.hs:3:14: Warning:
‘Data.Text.Lazy.Read’ is marked as Trustworthy but has been inferred as safe!
Data/Text/Lazy/Read.hs:32:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/Text/Read.hs:33:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Haddock coverage:
14% ( 1 / 7) in 'Data.Text.Internal.Read'
Missing documentation for:
IReader (Data/Text/Internal/Read.hs:26)
IParser (Data/Text/Internal/Read.hs:28)
T (Data/Text/Internal/Read.hs:48)
digitToInt (Data/Text/Internal/Read.hs:61)
hexDigitToInt (Data/Text/Internal/Read.hs:55)
perhaps (Data/Text/Internal/Read.hs:50)
50% ( 1 / 2) in 'Data.Text.Internal.Encoding.Utf32'
Missing documentation for:
validate (Data/Text/Internal/Encoding/Utf32.hs:24)
50% ( 1 / 2) in 'Data.Text.Internal.Builder.RealFloat.Functions'
Missing documentation for:
roundTo (Data/Text/Internal/Builder/RealFloat/Functions.hs:17)
0% ( 0 / 2) in 'Data.Text.Internal.Builder.Int.Digits'
Missing documentation for:
Module header
digits (Data/Text/Internal/Builder/Int/Digits.hs:21)
100% ( 12 / 12) in 'Data.Text.Encoding.Error'
100% ( 2 / 2) in 'Data.Text.Internal.Unsafe.Shift'
25% ( 1 / 4) in 'Data.Text.Internal.Encoding.Utf16'
Missing documentation for:
chr2 (Data/Text/Internal/Encoding/Utf16.hs:29)
validate1 (Data/Text/Internal/Encoding/Utf16.hs:38)
validate2 (Data/Text/Internal/Encoding/Utf16.hs:42)
100% ( 2 / 2) in 'Data.Text.Internal.Functions'
100% ( 3 / 3) in 'Data.Text.Internal.Unsafe'
100% ( 16 / 16) in 'Data.Text.Array'
33% ( 2 / 6) in 'Data.Text.Internal.Unsafe.Char'
Missing documentation for:
ord (Data/Text/Internal/Unsafe/Char.hs:39)
unsafeChr (Data/Text/Internal/Unsafe/Char.hs:43)
unsafeChr8 (Data/Text/Internal/Unsafe/Char.hs:47)
unsafeChr32 (Data/Text/Internal/Unsafe/Char.hs:51)
95% ( 19 / 20) in 'Data.Text.Internal'
Missing documentation for:
textP (Data/Text/Internal.hs:97)
38% ( 5 / 13) in 'Data.Text.Internal.Fusion.Size'
Missing documentation for:
Size (Data/Text/Internal/Fusion/Size.hs:40)
exactly (Data/Text/Internal/Fusion/Size.hs:44)
exactSize (Data/Text/Internal/Fusion/Size.hs:49)
maxSize (Data/Text/Internal/Fusion/Size.hs:57)
betweenSize (Data/Text/Internal/Fusion/Size.hs:65)
unknownSize (Data/Text/Internal/Fusion/Size.hs:74)
compareSize (Data/Text/Internal/Fusion/Size.hs:143)
isEmpty (Data/Text/Internal/Fusion/Size.hs:151)
88% ( 7 / 8) in 'Data.Text.Internal.Fusion.Types'
Missing documentation for:
Stream (Data/Text/Internal/Fusion/Types.hs:83)
0% ( 0 / 5) in 'Data.Text.Internal.Fusion.CaseMapping'
Missing documentation for:
Module header
upperMapping (Data/Text/Internal/Fusion/CaseMapping.hs:13)
lowerMapping (Data/Text/Internal/Fusion/CaseMapping.hs:220)
titleMapping (Data/Text/Internal/Fusion/CaseMapping.hs:225)
foldMapping (Data/Text/Internal/Fusion/CaseMapping.hs:324)
89% ( 63 / 71) in 'Data.Text.Internal.Fusion.Common'
Missing documentation for:
singleton (Data/Text/Internal/Fusion/Common.hs:119)
streamList (Data/Text/Internal/Fusion/Common.hs:125)
unstreamList (Data/Text/Internal/Fusion/Common.hs:131)
intercalate (Data/Text/Internal/Fusion/Common.hs:577)
justifyLeftI (Data/Text/Internal/Fusion/Common.hs:479)
scanl (Data/Text/Internal/Fusion/Common.hs:656)
replicateCharI (Data/Text/Internal/Fusion/Common.hs:671)
replicateI (Data/Text/Internal/Fusion/Common.hs:682)
93% ( 13 / 14) in 'Data.Text.Unsafe'
Missing documentation for:
Iter (Data/Text/Unsafe.hs:62)
33% ( 1 / 3) in 'Data.Text.Internal.Private'
Missing documentation for:
runText (Data/Text/Internal/Private.hs:33)
span_ (Data/Text/Internal/Private.hs:23)
91% ( 20 / 22) in 'Data.Text.Internal.Fusion'
Missing documentation for:
Stream (Data/Text/Internal/Fusion/Types.hs:83)
length (Data/Text/Internal/Fusion.hs:127)
100% ( 4 / 4) in 'Data.Text.Show'
33% ( 2 / 6) in 'Data.Text.Internal.Encoding.Fusion.Common'
Missing documentation for:
restreamUtf16LE (Data/Text/Internal/Encoding/Fusion/Common.hs:63)
restreamUtf16BE (Data/Text/Internal/Encoding/Fusion/Common.hs:39)
restreamUtf32LE (Data/Text/Internal/Encoding/Fusion/Common.hs:106)
restreamUtf32BE (Data/Text/Internal/Encoding/Fusion/Common.hs:87)
17% ( 2 / 12) in 'Data.Text.Internal.Encoding.Utf8'
Missing documentation for:
ord2 (Data/Text/Internal/Encoding/Utf8.hs:58)
ord3 (Data/Text/Internal/Encoding/Utf8.hs:69)
ord4 (Data/Text/Internal/Encoding/Utf8.hs:81)
chr2 (Data/Text/Internal/Encoding/Utf8.hs:94)
chr3 (Data/Text/Internal/Encoding/Utf8.hs:103)
chr4 (Data/Text/Internal/Encoding/Utf8.hs:114)
validate1 (Data/Text/Internal/Encoding/Utf8.hs:128)
validate2 (Data/Text/Internal/Encoding/Utf8.hs:132)
validate3 (Data/Text/Internal/Encoding/Utf8.hs:136)
validate4 (Data/Text/Internal/Encoding/Utf8.hs:153)
91% ( 10 / 11) in 'Data.Text.Internal.Encoding.Fusion'
Missing documentation for:
streamASCII (Data/Text/Internal/Encoding/Fusion.hs:57)
100% ( 33 / 33) in 'Data.Text.Encoding'
100% ( 10 / 10) in 'Data.Text.Internal.Lazy.Encoding.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Search'
100% ( 18 / 18) in 'Data.Text.Foreign'
100% (126 /126) in 'Data.Text'
100% ( 3 / 3) in 'Data.Text.Internal.IO'
100% ( 20 / 20) in 'Data.Text.IO'
93% ( 14 / 15) in 'Data.Text.Internal.Lazy'
Missing documentation for:
Text (Data/Text/Internal/Lazy.hs:47)
100% ( 8 / 8) in 'Data.Text.Internal.Lazy.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Lazy.Search'
100% ( 2 / 2) in 'Data.Text.Lazy.Internal'
89% ( 24 / 27) in 'Data.Text.Lazy.Encoding'
Missing documentation for:
encodeUtf8 (Data/Text/Lazy/Encoding.hs:148)
encodeUtf8Builder (Data/Text/Lazy/Encoding.hs:162)
encodeUtf8BuilderEscaped (Data/Text/Lazy/Encoding.hs:167)
99% (127 /128) in 'Data.Text.Lazy'
Missing documentation for:
Text (Data/Text/Internal/Lazy.hs:47)
94% ( 16 / 17) in 'Data.Text.Internal.Builder'
Missing documentation for:
append' (Data/Text/Internal/Builder.hs:288)
100% ( 12 / 12) in 'Data.Text.Lazy.Builder'
100% ( 3 / 3) in 'Data.Text.Internal.Builder.Functions'
0% ( 0 / 3) in 'Data.Text.Lazy.Builder.Int'
Missing documentation for:
Module header
decimal (Data/Text/Lazy/Builder/Int.hs:52)
hexadecimal (Data/Text/Lazy/Builder/Int.hs:162)
100% ( 19 / 19) in 'Data.Text.Lazy.IO'
100% ( 7 / 7) in 'Data.Text.Lazy.Read'
75% ( 3 / 4) in 'Data.Text.Lazy.Builder.RealFloat'
Missing documentation for:
formatRealFloat (Data/Text/Lazy/Builder/RealFloat.hs:46)
100% ( 7 / 7) in 'Data.Text.Read'
Warning: Data.Text.Internal.Fusion.Common: could not find link destinations for:
findIndicesI
Warning: Data.Text.Unsafe: could not find link destinations for:
bracket
Warning: Data.Text: could not find link destinations for:
replicateChar countChar
Warning: Data.Text.Internal.IO: could not find link destinations for:
Handle__
Warning: Data.Text.Lazy: could not find link destinations for:
replicateChar dropWords splitAtWord countChar
Warning: Data.Text.Internal.Builder: could not find link destinations for:
empty append
Warning: Data.Text.Lazy.Builder.RealFloat: could not find link destinations for:
floatToDigits
Documentation created: dist/doc/html/text/index.html,
dist/doc/html/text/text.txt
Creating package registration file:
/tmp/pkgConf-text-1.2.1470631541750167716.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/text-1.2.1.3-1l1AN4I48k37RaQ6fm6CEh
Registering text-1.2.1.3...
Installed text-1.2.1.3
Configuring th-lift-0.7.2...
Building th-lift-0.7.2...
Preprocessing library th-lift-0.7.2...
[1 of 1] Compiling Language.Haskell.TH.Lift ( src/Language/Haskell/TH/Lift.hs, dist/build/Language/Haskell/TH/Lift.o )
In-place registering th-lift-0.7.2...
Running Haddock for th-lift-0.7.2...
Running hscolour for th-lift-0.7.2...
Preprocessing library th-lift-0.7.2...
Preprocessing library th-lift-0.7.2...
Haddock coverage:
50% ( 3 / 6) in 'Language.Haskell.TH.Lift'
Missing documentation for:
Module header
deriveLiftMany' (src/Language/Haskell/TH/Lift.hs:51)
Lift
Documentation created: dist/doc/html/th-lift/index.html,
dist/doc/html/th-lift/th-lift.txt
Creating package registration file:
/tmp/pkgConf-th-lift-0.719162378921565306616.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/th-lift-0.7.2-GbE2jWs2LBYD2hKBn9VM4A
Registering th-lift-0.7.2...
Installed th-lift-0.7.2
Configuring transformers-compat-0.4.0.4...
Building transformers-compat-0.4.0.4...
Preprocessing library transformers-compat-0.4.0.4...
[1 of 1] Compiling Paths_transformers_compat ( dist/build/autogen/Paths_transformers_compat.hs, dist/build/Paths_transformers_compat.o )
In-place registering transformers-compat-0.4.0.4...
Running Haddock for transformers-compat-0.4.0.4...
Running hscolour for transformers-compat-0.4.0.4...
Preprocessing library transformers-compat-0.4.0.4...
Preprocessing library transformers-compat-0.4.0.4...
Haddock coverage:
0% ( 0 / 8) in 'Paths_transformers_compat'
Missing documentation for:
Module header
version (dist/build/autogen/Paths_transformers_compat.hs:15)
getBinDir (dist/build/autogen/Paths_transformers_compat.hs:25)
getLibDir (dist/build/autogen/Paths_transformers_compat.hs:25)
getDataDir (dist/build/autogen/Paths_transformers_compat.hs:25)
getLibexecDir (dist/build/autogen/Paths_transformers_compat.hs:25)
getDataFileName (dist/build/autogen/Paths_transformers_compat.hs:32)
getSysconfDir (dist/build/autogen/Paths_transformers_compat.hs:25)
Documentation created: dist/doc/html/transformers-compat/index.html,
dist/doc/html/transformers-compat/transformers-compat.txt
Creating package registration file:
/tmp/pkgConf-transformers-compat-0.4.0256363941313823293.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/transformers-compat-0.4.0.4-DCQioW2d4vYEa3T0AmFBPv
Registering transformers-compat-0.4.0.4...
Installed transformers-compat-0.4.0.4
Configuring vinyl-0.5.1...
Building vinyl-0.5.1...
Preprocessing library vinyl-0.5.1...
[1 of 7] Compiling Data.Vinyl.TypeLevel ( Data/Vinyl/TypeLevel.hs, dist/build/Data/Vinyl/TypeLevel.o )
[2 of 7] Compiling Data.Vinyl.Functor ( Data/Vinyl/Functor.hs, dist/build/Data/Vinyl/Functor.o )
Data/Vinyl/Functor.hs:11:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
Data/Vinyl/Functor.hs:12:1: Warning:
The import of ‘Data.Foldable’ is redundant
except perhaps to import instances from ‘Data.Foldable’
To import instances alone, use: import Data.Foldable()
Data/Vinyl/Functor.hs:13:1: Warning:
The import of ‘Data.Traversable’ is redundant
except perhaps to import instances from ‘Data.Traversable’
To import instances alone, use: import Data.Traversable()
[3 of 7] Compiling Data.Vinyl.Core ( Data/Vinyl/Core.hs, dist/build/Data/Vinyl/Core.o )
Data/Vinyl/Core.hs:21:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
[4 of 7] Compiling Data.Vinyl.Derived ( Data/Vinyl/Derived.hs, dist/build/Data/Vinyl/Derived.o )
[5 of 7] Compiling Data.Vinyl.Lens ( Data/Vinyl/Lens.hs, dist/build/Data/Vinyl/Lens.o )
[6 of 7] Compiling Data.Vinyl.Notation ( Data/Vinyl/Notation.hs, dist/build/Data/Vinyl/Notation.o )
[7 of 7] Compiling Data.Vinyl ( Data/Vinyl.hs, dist/build/Data/Vinyl.o )
In-place registering vinyl-0.5.1...
Running Haddock for vinyl-0.5.1...
Running hscolour for vinyl-0.5.1...
Preprocessing library vinyl-0.5.1...
Preprocessing library vinyl-0.5.1...
Data/Vinyl/Functor.hs:11:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
Data/Vinyl/Functor.hs:12:1: Warning:
The import of ‘Data.Foldable’ is redundant
except perhaps to import instances from ‘Data.Foldable’
To import instances alone, use: import Data.Foldable()
Data/Vinyl/Functor.hs:13:1: Warning:
The import of ‘Data.Traversable’ is redundant
except perhaps to import instances from ‘Data.Traversable’
To import instances alone, use: import Data.Traversable()
Data/Vinyl/Core.hs:21:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
Haddock coverage:
83% ( 5 / 6) in 'Data.Vinyl.TypeLevel'
Missing documentation for:
Module header
0% ( 0 / 20) in 'Data.Vinyl.Functor'
Missing documentation for:
Module header
Identity (Data/Vinyl/Functor.hs:16)
Thunk (Data/Vinyl/Functor.hs:24)
Lift (Data/Vinyl/Functor.hs:31)
Compose (Data/Vinyl/Functor.hs:34)
:. (Data/Vinyl/Functor.hs:38)
Const (Data/Vinyl/Functor.hs:40)
(Data/Vinyl/Functor.hs:48)
(Data/Vinyl/Functor.hs:51)
(Data/Vinyl/Functor.hs:54)
(Data/Vinyl/Functor.hs:57)
(Data/Vinyl/Functor.hs:61)
(Data/Vinyl/Functor.hs:65)
(Data/Vinyl/Functor.hs:69)
(Data/Vinyl/Functor.hs:72)
(Data/Vinyl/Functor.hs:76)
(Data/Vinyl/Functor.hs:80)
(Data/Vinyl/Functor.hs:83)
(Data/Vinyl/Functor.hs:86)
(Data/Vinyl/Functor.hs:90)
61% ( 14 / 23) in 'Data.Vinyl.Core'
Missing documentation for:
Module header
(Data/Vinyl/Core.hs:105)
(Data/Vinyl/Core.hs:108)
(Data/Vinyl/Core.hs:163)
(Data/Vinyl/Core.hs:167)
(Data/Vinyl/Core.hs:171)
(Data/Vinyl/Core.hs:173)
(Data/Vinyl/Core.hs:176)
(Data/Vinyl/Core.hs:182)
33% ( 5 / 15) in 'Data.Vinyl.Derived'
Missing documentation for:
Module header
ElField (Data/Vinyl/Derived.hs:18)
FieldRec (Data/Vinyl/Derived.hs:21)
HList (Data/Vinyl/Derived.hs:22)
LazyHList (Data/Vinyl/Derived.hs:23)
(Data/Vinyl/Derived.hs:28)
(Data/Vinyl/Derived.hs:53)
(Data/Vinyl/Derived.hs:54)
(Data/Vinyl/Derived.hs:55)
(Data/Vinyl/Derived.hs:58)
89% ( 8 / 9) in 'Data.Vinyl.Lens'
Missing documentation for:
Module header
91% ( 10 / 11) in 'Data.Vinyl.Notation'
Missing documentation for:
Module header
75% ( 3 / 4) in 'Data.Vinyl'
Missing documentation for:
Module header
Documentation created: dist/doc/html/vinyl/index.html,
dist/doc/html/vinyl/vinyl.txt
Creating package registration file:
/tmp/pkgConf-vinyl-0.52094613281330546620.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/vinyl-0.5.1-3bAIQ7OLcsYKJDQMSPlABD
Registering vinyl-0.5.1...
Installed vinyl-0.5.1
Configuring th-expand-syns-0.3.0.6...
Building th-expand-syns-0.3.0.6...
Preprocessing library th-expand-syns-0.3.0.6...
[1 of 1] Compiling Language.Haskell.TH.ExpandSyns ( Language/Haskell/TH/ExpandSyns.hs, dist/build/Language/Haskell/TH/ExpandSyns.o )
In-place registering th-expand-syns-0.3.0.6...
Running Haddock for th-expand-syns-0.3.0.6...
Running hscolour for th-expand-syns-0.3.0.6...
Preprocessing library th-expand-syns-0.3.0.6...
Preprocessing library th-expand-syns-0.3.0.6...
Haddock coverage:
88% ( 7 / 8) in 'Language.Haskell.TH.ExpandSyns'
Missing documentation for:
Module header
Documentation created: dist/doc/html/th-expand-syns/index.html,
dist/doc/html/th-expand-syns/th-expand-syns.txt
Creating package registration file:
/tmp/pkgConf-th-expand-syns-0.3.0988506952614340012.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/th-expand-syns-0.3.0.6-2KwkCxh24850VpZjHwVPTk
Registering th-expand-syns-0.3.0.6...
Installed th-expand-syns-0.3.0.6
[1 of 1] Compiling Main ( /tmp/cabal-tmp-1209/hsqml-0.3.3.0/dist/setup/setup.hs, /tmp/cabal-tmp-1209/hsqml-0.3.3.0/dist/setup/Main.o )
Linking /tmp/cabal-tmp-1209/hsqml-0.3.3.0/dist/setup/setup ...
Configuring hsqml-0.3.3.0...
setup: The pkg-config package 'Qt5Core' version >=5.0 && <6.0 is required but
it could not be found.
Failed to install hsqml-0.3.3.0
Configuring exceptions-0.8.0.2...
Building exceptions-0.8.0.2...
Preprocessing library exceptions-0.8.0.2...
[1 of 2] Compiling Control.Monad.Catch ( src/Control/Monad/Catch.hs, dist/build/Control/Monad/Catch.o )
[2 of 2] Compiling Control.Monad.Catch.Pure ( src/Control/Monad/Catch/Pure.hs, dist/build/Control/Monad/Catch/Pure.o )
In-place registering exceptions-0.8.0.2...
Running Haddock for exceptions-0.8.0.2...
Running hscolour for exceptions-0.8.0.2...
Preprocessing library exceptions-0.8.0.2...
Preprocessing library exceptions-0.8.0.2...
Haddock coverage:
100% ( 31 / 31) in 'Control.Monad.Catch'
80% ( 8 / 10) in 'Control.Monad.Catch.Pure'
Missing documentation for:
Catch (src/Control/Monad/Catch/Pure.hs:95)
runCatch (src/Control/Monad/Catch/Pure.hs:97)
Documentation created: dist/doc/html/exceptions/index.html,
dist/doc/html/exceptions/exceptions.txt
Creating package registration file:
/tmp/pkgConf-exceptions-0.8.01999038585574620392.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/exceptions-0.8.0.2-8GsEeHgaIks3pVGk6GaELJ
Registering exceptions-0.8.0.2...
Installed exceptions-0.8.0.2
Configuring th-reify-many-0.1.3...
Building th-reify-many-0.1.3...
Preprocessing library th-reify-many-0.1.3...
[1 of 2] Compiling Language.Haskell.TH.ReifyMany.Internal ( src/Language/Haskell/TH/ReifyMany/Internal.hs, dist/build/Language/Haskell/TH/ReifyMany/Internal.o )
[2 of 2] Compiling Language.Haskell.TH.ReifyMany ( src/Language/Haskell/TH/ReifyMany.hs, dist/build/Language/Haskell/TH/ReifyMany.o )
src/Language/Haskell/TH/ReifyMany.hs:100:9: Warning:
In the use of ‘report’
(imported from Language.Haskell.TH, but defined in Language.Haskell.TH.Syntax):
Deprecated: "Use reportError or reportWarning instead"
In-place registering th-reify-many-0.1.3...
Running Haddock for th-reify-many-0.1.3...
Running hscolour for th-reify-many-0.1.3...
Preprocessing library th-reify-many-0.1.3...
Preprocessing library th-reify-many-0.1.3...
src/Language/Haskell/TH/ReifyMany.hs:100:9: Warning:
In the use of ‘report’
(imported from Language.Haskell.TH, but defined in Language.Haskell.TH.Syntax):
Deprecated: "Use reportError or reportWarning instead"
Haddock coverage:
92% ( 11 / 12) in 'Language.Haskell.TH.ReifyMany.Internal'
Missing documentation for:
Module header
100% ( 4 / 4) in 'Language.Haskell.TH.ReifyMany'
Documentation created: dist/doc/html/th-reify-many/index.html,
dist/doc/html/th-reify-many/th-reify-many.txt
Creating package registration file:
/tmp/pkgConf-th-reify-many-0.116806870051090438014.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/th-reify-many-0.1.3-Aa1VzVT1Vp9I3gkP30mdha
Registering th-reify-many-0.1.3...
Installed th-reify-many-0.1.3
Configuring th-orphans-0.12.2...
Building th-orphans-0.12.2...
Preprocessing library th-orphans-0.12.2...
[1 of 1] Compiling Language.Haskell.TH.Instances ( src/Language/Haskell/TH/Instances.hs, dist/build/Language/Haskell/TH/Instances.o )
src/Language/Haskell/TH/Instances.hs:57:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
In-place registering th-orphans-0.12.2...
Running Haddock for th-orphans-0.12.2...
Running hscolour for th-orphans-0.12.2...
Preprocessing library th-orphans-0.12.2...
Preprocessing library th-orphans-0.12.2...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: nats-1
src/Language/Haskell/TH/Instances.hs:57:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Haddock coverage:
100% ( 1 / 1) in 'Language.Haskell.TH.Instances'
Documentation created: dist/doc/html/th-orphans/index.html,
dist/doc/html/th-orphans/th-orphans.txt
Creating package registration file:
/tmp/pkgConf-th-orphans-0.122667953671818150212.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/th-orphans-0.12.2-1oeh2oZWzBPB24ISkXgBBm
Registering th-orphans-0.12.2...
Installed th-orphans-0.12.2
Configuring th-desugar-1.5.4.1...
Building th-desugar-1.5.4.1...
Preprocessing library th-desugar-1.5.4.1...
[1 of 8] Compiling Language.Haskell.TH.Desugar.Util ( Language/Haskell/TH/Desugar/Util.hs, dist/build/Language/Haskell/TH/Desugar/Util.o )
[2 of 8] Compiling Language.Haskell.TH.Desugar.Reify ( Language/Haskell/TH/Desugar/Reify.hs, dist/build/Language/Haskell/TH/Desugar/Reify.o )
[3 of 8] Compiling Language.Haskell.TH.Desugar.Core ( Language/Haskell/TH/Desugar/Core.hs, dist/build/Language/Haskell/TH/Desugar/Core.o )
[4 of 8] Compiling Language.Haskell.TH.Desugar.Match ( Language/Haskell/TH/Desugar/Match.hs, dist/build/Language/Haskell/TH/Desugar/Match.o )
[5 of 8] Compiling Language.Haskell.TH.Desugar.Sweeten ( Language/Haskell/TH/Desugar/Sweeten.hs, dist/build/Language/Haskell/TH/Desugar/Sweeten.o )
[6 of 8] Compiling Language.Haskell.TH.Desugar.Expand ( Language/Haskell/TH/Desugar/Expand.hs, dist/build/Language/Haskell/TH/Desugar/Expand.o )
[7 of 8] Compiling Language.Haskell.TH.Desugar ( Language/Haskell/TH/Desugar.hs, dist/build/Language/Haskell/TH/Desugar.o )
[8 of 8] Compiling Language.Haskell.TH.Desugar.Lift ( Language/Haskell/TH/Desugar/Lift.hs, dist/build/Language/Haskell/TH/Desugar/Lift.o )
In-place registering th-desugar-1.5.4.1...
Running Haddock for th-desugar-1.5.4.1...
Running hscolour for th-desugar-1.5.4.1...
Preprocessing library th-desugar-1.5.4.1...
Preprocessing library th-desugar-1.5.4.1...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: nats-1
Haddock coverage:
66% ( 21 / 32) in 'Language.Haskell.TH.Desugar.Util'
Missing documentation for:
Module header
mapMaybeM (Language/Haskell/TH/Desugar/Util.hs:260)
expectJustM (Language/Haskell/TH/Desugar/Util.hs:269)
liftSndM (Language/Haskell/TH/Desugar/Util.hs:238)
liftThdOf3M (Language/Haskell/TH/Desugar/Util.hs:247)
liftSnd (Language/Haskell/TH/Desugar/Util.hs:235)
liftThdOf3 (Language/Haskell/TH/Desugar/Util.hs:244)
splitAtList (Language/Haskell/TH/Desugar/Util.hs:228)
freeNamesOfTypes (Language/Haskell/TH/Desugar/Util.hs:206)
thdOf3 (Language/Haskell/TH/Desugar/Util.hs:241)
firstMatch (Language/Haskell/TH/Desugar/Util.hs:273)
93% ( 13 / 14) in 'Language.Haskell.TH.Desugar.Reify'
Missing documentation for:
Module header
86% ( 63 / 73) in 'Language.Haskell.TH.Desugar.Core'
Missing documentation for:
Module header
DInstanceDec (Language/Haskell/TH/Desugar/Core.hs:192)
mk_tuple_stmt (Language/Haskell/TH/Desugar/Core.hs:464)
mk_tuple_pat (Language/Haskell/TH/Desugar/Core.hs:469)
fixBug8884ForFamilies (Language/Haskell/TH/Desugar/Core.hs:584)
fixBug8884ForInstances (Language/Haskell/TH/Desugar/Core.hs:608)
fixBug8884ForEqn (Language/Haskell/TH/Desugar/Core.hs:613)
reorderFields (Language/Haskell/TH/Desugar/Core.hs:903)
reorderFieldsPat (Language/Haskell/TH/Desugar/Core.hs:906)
reorderFields' (Language/Haskell/TH/Desugar/Core.hs:910)
67% ( 2 / 3) in 'Language.Haskell.TH.Desugar.Match'
Missing documentation for:
Module header
12% ( 2 / 17) in 'Language.Haskell.TH.Desugar.Sweeten'
Missing documentation for:
expToTH (Language/Haskell/TH/Desugar/Sweeten.hs:42)
matchToTH (Language/Haskell/TH/Desugar/Sweeten.hs:57)
patToTH (Language/Haskell/TH/Desugar/Sweeten.hs:60)
decsToTH (Language/Haskell/TH/Desugar/Sweeten.hs:68)
letDecToTH (Language/Haskell/TH/Desugar/Sweeten.hs:117)
typeToTH (Language/Haskell/TH/Desugar/Sweeten.hs:172)
kindToTH (Language/Haskell/TH/Desugar/Sweeten.hs:209)
conToTH (Language/Haskell/TH/Desugar/Sweeten.hs:123)
foreignToTH (Language/Haskell/TH/Desugar/Sweeten.hs:131)
pragmaToTH (Language/Haskell/TH/Desugar/Sweeten.hs:136)
ruleBndrToTH (Language/Haskell/TH/Desugar/Sweeten.hs:154)
clauseToTH (Language/Haskell/TH/Desugar/Sweeten.hs:169)
tvbToTH (Language/Haskell/TH/Desugar/Sweeten.hs:181)
cxtToTH (Language/Haskell/TH/Desugar/Sweeten.hs:185)
predToTH (Language/Haskell/TH/Desugar/Sweeten.hs:188)
100% ( 8 / 8) in 'Language.Haskell.TH.Desugar.Expand'
98% ( 99 /101) in 'Language.Haskell.TH.Desugar'
Missing documentation for:
DInstanceDec (Language/Haskell/TH/Desugar/Core.hs:192)
AnnTarget
100% ( 1 / 1) in 'Language.Haskell.TH.Desugar.Lift'
Warning: Language.Haskell.TH.Desugar: could not find link destinations for:
D1Role C1_0Role C1_1Role C1_2Role C1_3Role D1AnnTarget C1_0AnnTarget C1_1AnnTarget C1_2AnnTarget
Documentation created: dist/doc/html/th-desugar/index.html,
dist/doc/html/th-desugar/th-desugar.txt
Creating package registration file:
/tmp/pkgConf-th-desugar-1.5.43582798761682367563.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/th-desugar-1.5.4.1-BbYUqrMMt3Q3ziMLi95TC8
Registering th-desugar-1.5.4.1...
Installed th-desugar-1.5.4.1
Configuring singletons-1.1.2.1...
Building singletons-1.1.2.1...
Preprocessing library singletons-1.1.2.1...
[ 1 of 45] Compiling Data.Singletons.SuppressUnusedWarnings ( src/Data/Singletons/SuppressUnusedWarnings.hs, dist/build/Data/Singletons/SuppressUnusedWarnings.o )
[ 2 of 45] Compiling Data.Singletons.Void ( src/Data/Singletons/Void.hs, dist/build/Data/Singletons/Void.o )
[ 3 of 45] Compiling Data.Singletons.Util ( src/Data/Singletons/Util.hs, dist/build/Data/Singletons/Util.o )
[ 4 of 45] Compiling Data.Singletons.Syntax ( src/Data/Singletons/Syntax.hs, dist/build/Data/Singletons/Syntax.o )
[ 5 of 45] Compiling Data.Singletons.Types ( src/Data/Singletons/Types.hs, dist/build/Data/Singletons/Types.o )
[ 6 of 45] Compiling Data.Singletons ( src/Data/Singletons.hs, dist/build/Data/Singletons.o )
[ 7 of 45] Compiling Data.Singletons.Decide ( src/Data/Singletons/Decide.hs, dist/build/Data/Singletons/Decide.o )
[ 8 of 45] Compiling Data.Singletons.Names ( src/Data/Singletons/Names.hs, dist/build/Data/Singletons/Names.o )
[ 9 of 45] Compiling Data.Singletons.Promote.Monad ( src/Data/Singletons/Promote/Monad.hs, dist/build/Data/Singletons/Promote/Monad.o )
[10 of 45] Compiling Data.Singletons.Single.Monad ( src/Data/Singletons/Single/Monad.hs, dist/build/Data/Singletons/Single/Monad.o )
[11 of 45] Compiling Data.Singletons.Promote.Eq ( src/Data/Singletons/Promote/Eq.hs, dist/build/Data/Singletons/Promote/Eq.o )
[12 of 45] Compiling Data.Singletons.Promote.Ord ( src/Data/Singletons/Promote/Ord.hs, dist/build/Data/Singletons/Promote/Ord.o )
[13 of 45] Compiling Data.Singletons.Promote.Bounded ( src/Data/Singletons/Promote/Bounded.hs, dist/build/Data/Singletons/Promote/Bounded.o )
[14 of 45] Compiling Data.Singletons.Promote.Type ( src/Data/Singletons/Promote/Type.hs, dist/build/Data/Singletons/Promote/Type.o )
[15 of 45] Compiling Data.Singletons.Promote.Defun ( src/Data/Singletons/Promote/Defun.hs, dist/build/Data/Singletons/Promote/Defun.o )
[16 of 45] Compiling Data.Singletons.Promote ( src/Data/Singletons/Promote.hs, dist/build/Data/Singletons/Promote.o )
[17 of 45] Compiling Data.Promotion.Prelude.Bounded ( src/Data/Promotion/Prelude/Bounded.hs, dist/build/Data/Promotion/Prelude/Bounded.o )
[18 of 45] Compiling Data.Singletons.Single.Type ( src/Data/Singletons/Single/Type.hs, dist/build/Data/Singletons/Single/Type.o )
[19 of 45] Compiling Data.Singletons.Single.Eq ( src/Data/Singletons/Single/Eq.hs, dist/build/Data/Singletons/Single/Eq.o )
[20 of 45] Compiling Data.Singletons.Single.Data ( src/Data/Singletons/Single/Data.hs, dist/build/Data/Singletons/Single/Data.o )
[21 of 45] Compiling Data.Singletons.Single ( src/Data/Singletons/Single.hs, dist/build/Data/Singletons/Single.o )
[22 of 45] Compiling Data.Singletons.Prelude.Instances ( src/Data/Singletons/Prelude/Instances.hs, dist/build/Data/Singletons/Prelude/Instances.o )
[23 of 45] Compiling Data.Singletons.Prelude.Bool ( src/Data/Singletons/Prelude/Bool.hs, dist/build/Data/Singletons/Prelude/Bool.o )
[24 of 45] Compiling Data.Singletons.Prelude.Eq ( src/Data/Singletons/Prelude/Eq.hs, dist/build/Data/Singletons/Prelude/Eq.o )
[25 of 45] Compiling Data.Singletons.CustomStar ( src/Data/Singletons/CustomStar.hs, dist/build/Data/Singletons/CustomStar.o )
[26 of 45] Compiling Data.Promotion.Prelude.Eq ( src/Data/Promotion/Prelude/Eq.hs, dist/build/Data/Promotion/Prelude/Eq.o )
[27 of 45] Compiling Data.Promotion.Prelude.Bool ( src/Data/Promotion/Prelude/Bool.hs, dist/build/Data/Promotion/Prelude/Bool.o )
[28 of 45] Compiling Data.Singletons.TypeRepStar ( src/Data/Singletons/TypeRepStar.hs, dist/build/Data/Singletons/TypeRepStar.o )
[29 of 45] Compiling Data.Singletons.Prelude.Ord ( src/Data/Singletons/Prelude/Ord.hs, dist/build/Data/Singletons/Prelude/Ord.o )
[30 of 45] Compiling Data.Promotion.Prelude.Ord ( src/Data/Promotion/Prelude/Ord.hs, dist/build/Data/Promotion/Prelude/Ord.o )
[31 of 45] Compiling Data.Singletons.TypeLits ( src/Data/Singletons/TypeLits.hs, dist/build/Data/Singletons/TypeLits.o )
[32 of 45] Compiling Data.Singletons.TH ( src/Data/Singletons/TH.hs, dist/build/Data/Singletons/TH.o )
[33 of 45] Compiling Data.Singletons.Prelude.Base ( src/Data/Singletons/Prelude/Base.hs, dist/build/Data/Singletons/Prelude/Base.o )
[34 of 45] Compiling Data.Singletons.Prelude.Either ( src/Data/Singletons/Prelude/Either.hs, dist/build/Data/Singletons/Prelude/Either.o )
[35 of 45] Compiling Data.Promotion.Prelude.Either ( src/Data/Promotion/Prelude/Either.hs, dist/build/Data/Promotion/Prelude/Either.o )
[36 of 45] Compiling Data.Singletons.Prelude.Tuple ( src/Data/Singletons/Prelude/Tuple.hs, dist/build/Data/Singletons/Prelude/Tuple.o )
[37 of 45] Compiling Data.Promotion.Prelude.Tuple ( src/Data/Promotion/Prelude/Tuple.hs, dist/build/Data/Promotion/Prelude/Tuple.o )
[38 of 45] Compiling Data.Promotion.Prelude.Base ( src/Data/Promotion/Prelude/Base.hs, dist/build/Data/Promotion/Prelude/Base.o )
[39 of 45] Compiling Data.Singletons.Prelude.List ( src/Data/Singletons/Prelude/List.hs, dist/build/Data/Singletons/Prelude/List.o )
[40 of 45] Compiling Data.Singletons.Prelude.Maybe ( src/Data/Singletons/Prelude/Maybe.hs, dist/build/Data/Singletons/Prelude/Maybe.o )
[41 of 45] Compiling Data.Singletons.Prelude ( src/Data/Singletons/Prelude.hs, dist/build/Data/Singletons/Prelude.o )
[42 of 45] Compiling Data.Promotion.Prelude.List ( src/Data/Promotion/Prelude/List.hs, dist/build/Data/Promotion/Prelude/List.o )
[43 of 45] Compiling Data.Promotion.Prelude.Maybe ( src/Data/Promotion/Prelude/Maybe.hs, dist/build/Data/Promotion/Prelude/Maybe.o )
[44 of 45] Compiling Data.Promotion.Prelude ( src/Data/Promotion/Prelude.hs, dist/build/Data/Promotion/Prelude.o )
[45 of 45] Compiling Data.Promotion.TH ( src/Data/Promotion/TH.hs, dist/build/Data/Promotion/TH.o )
In-place registering singletons-1.1.2.1...
Running Haddock for singletons-1.1.2.1...
Running hscolour for singletons-1.1.2.1...
Preprocessing library singletons-1.1.2.1...
Preprocessing library singletons-1.1.2.1...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: nats-1
Haddock coverage:
50% ( 1 / 2) in 'Data.Singletons.SuppressUnusedWarnings'
Missing documentation for:
Module header
100% ( 5 / 5) in 'Data.Singletons.Void'
2% ( 1 / 57) in 'Data.Singletons.Util'
Missing documentation for:
Module header
basicTypes (src/Data/Singletons/Util.hs:35)
boundedBasicTypes (src/Data/Singletons/Util.hs:41)
qReportWarning (src/Data/Singletons/Util.hs:54)
qReportError (src/Data/Singletons/Util.hs:58)
checkForRep (src/Data/Singletons/Util.hs:73)
checkForRepInDecls (src/Data/Singletons/Util.hs:80)
tysOfConFields (src/Data/Singletons/Util.hs:84)
extractNameArgs (src/Data/Singletons/Util.hs:89)
extractNameTypes (src/Data/Singletons/Util.hs:93)
isUpcase (src/Data/Singletons/Util.hs:97)
upcase (src/Data/Singletons/Util.hs:101)
toUpcaseStr (src/Data/Singletons/Util.hs:105)
noPrefix (src/Data/Singletons/Util.hs:127)
locase (src/Data/Singletons/Util.hs:131)
prefixUCName (src/Data/Singletons/Util.hs:141)
prefixLCName (src/Data/Singletons/Util.hs:148)
suffixName (src/Data/Singletons/Util.hs:156)
uniquePrefixes (src/Data/Singletons/Util.hs:165)
extractTvbKind (src/Data/Singletons/Util.hs:190)
extractTvbName (src/Data/Singletons/Util.hs:195)
inferKind (src/Data/Singletons/Util.hs:200)
unravel (src/Data/Singletons/Util.hs:212)
ravel (src/Data/Singletons/Util.hs:222)
countArgs (src/Data/Singletons/Util.hs:228)
addStar (src/Data/Singletons/Util.hs:231)
addStar_maybe (src/Data/Singletons/Util.hs:234)
foldType (src/Data/Singletons/Util.hs:238)
foldExp (src/Data/Singletons/Util.hs:242)
isVarK (src/Data/Singletons/Util.hs:246)
isFunTy (src/Data/Singletons/Util.hs:251)
orIfEmpty (src/Data/Singletons/Util.hs:257)
emptyMatches (src/Data/Singletons/Util.hs:262)
multiCase (src/Data/Singletons/Util.hs:267)
wrapDesugar (src/Data/Singletons/Util.hs:273)
QWithAux (src/Data/Singletons/Util.hs:279)
(src/Data/Singletons/Util.hs:284)
(src/Data/Singletons/Util.hs:308)
comp1 (src/Data/Singletons/Util.hs:312)
comp2 (src/Data/Singletons/Util.hs:315)
evalWithoutAux (src/Data/Singletons/Util.hs:319)
evalForAux (src/Data/Singletons/Util.hs:323)
evalForPair (src/Data/Singletons/Util.hs:328)
addBinding (src/Data/Singletons/Util.hs:332)
addElement (src/Data/Singletons/Util.hs:336)
concatMapM (src/Data/Singletons/Util.hs:341)
listify (src/Data/Singletons/Util.hs:348)
fstOf3 (src/Data/Singletons/Util.hs:351)
liftFst (src/Data/Singletons/Util.hs:354)
liftSnd (src/Data/Singletons/Util.hs:357)
snocView (src/Data/Singletons/Util.hs:360)
partitionWith (src/Data/Singletons/Util.hs:365)
partitionWithM (src/Data/Singletons/Util.hs:373)
partitionLetDecs (src/Data/Singletons/Util.hs:382)
mapAndUnzip3M (src/Data/Singletons/Util.hs:386)
isHsLetter (src/Data/Singletons/Util.hs:394)
0% ( 0 / 29) in 'Data.Singletons.Syntax'
Missing documentation for:
Module header
VarPromotions (src/Data/Singletons/Syntax.hs:26)
DataDecl (src/Data/Singletons/Syntax.hs:29)
ClassDecl (src/Data/Singletons/Syntax.hs:30)
InstDecl (src/Data/Singletons/Syntax.hs:31)
PartitionedDecs (src/Data/Singletons/Syntax.hs:33)
(src/Data/Singletons/Syntax.hs:40)
partitionDecs (src/Data/Singletons/Syntax.hs:46)
partitionDec (src/Data/Singletons/Syntax.hs:49)
partitionClassDec (src/Data/Singletons/Syntax.hs:70)
partitionInstanceDec (src/Data/Singletons/Syntax.hs:82)
ADExp (src/Data/Singletons/Syntax.hs:100)
ADMatch (src/Data/Singletons/Syntax.hs:113)
ADClause (src/Data/Singletons/Syntax.hs:114)
AnnotationFlag (src/Data/Singletons/Syntax.hs:117)
Annotated (src/Data/Singletons/Syntax.hs:120)
Unannotated (src/Data/Singletons/Syntax.hs:121)
IfAnn (src/Data/Singletons/Syntax.hs:123)
ALetDecRHS (src/Data/Singletons/Syntax.hs:127)
ULetDecRHS (src/Data/Singletons/Syntax.hs:133)
LetDecEnv (src/Data/Singletons/Syntax.hs:135)
ALetDecEnv (src/Data/Singletons/Syntax.hs:141)
ULetDecEnv (src/Data/Singletons/Syntax.hs:142)
(src/Data/Singletons/Syntax.hs:144)
valueBinding (src/Data/Singletons/Syntax.hs:149)
typeBinding (src/Data/Singletons/Syntax.hs:152)
infixDecl (src/Data/Singletons/Syntax.hs:155)
emptyLetDecEnv (src/Data/Singletons/Syntax.hs:158)
buildLetDecEnv (src/Data/Singletons/Syntax.hs:161)
100% ( 7 / 7) in 'Data.Singletons.Types'
57% ( 32 / 56) in 'Data.Singletons'
Missing documentation for:
TyCon3 (src/Data/Singletons.hs:168)
TyCon4 (src/Data/Singletons.hs:169)
TyCon5 (src/Data/Singletons.hs:170)
TyCon6 (src/Data/Singletons.hs:171)
TyCon7 (src/Data/Singletons.hs:172)
singFun2 (src/Data/Singletons.hs:217)
singFun3 (src/Data/Singletons.hs:221)
singFun4 (src/Data/Singletons.hs:225)
singFun5 (src/Data/Singletons.hs:229)
singFun6 (src/Data/Singletons.hs:233)
singFun7 (src/Data/Singletons.hs:237)
unSingFun2 (src/Data/Singletons.hs:245)
unSingFun3 (src/Data/Singletons.hs:248)
unSingFun4 (src/Data/Singletons.hs:251)
unSingFun5 (src/Data/Singletons.hs:254)
unSingFun6 (src/Data/Singletons.hs:257)
unSingFun7 (src/Data/Singletons.hs:260)
SingFunction1 (src/Data/Singletons.hs:202)
SingFunction2 (src/Data/Singletons.hs:216)
SingFunction3 (src/Data/Singletons.hs:220)
SingFunction4 (src/Data/Singletons.hs:224)
SingFunction5 (src/Data/Singletons.hs:228)
SingFunction6 (src/Data/Singletons.hs:232)
SingFunction7 (src/Data/Singletons.hs:236)
100% ( 8 / 8) in 'Data.Singletons.Decide'
0% ( 0 / 81) in 'Data.Singletons.Names'
Missing documentation for:
Module header
anyTypeName (src/Data/Singletons/Names.hs:24)
boolName (src/Data/Singletons/Names.hs:24)
andName (src/Data/Singletons/Names.hs:24)
tyEqName (src/Data/Singletons/Names.hs:24)
tyCompareName (src/Data/Singletons/Names.hs:24)
tyminBoundName (src/Data/Singletons/Names.hs:24)
tymaxBoundName (src/Data/Singletons/Names.hs:24)
repName (src/Data/Singletons/Names.hs:24)
nilName (src/Data/Singletons/Names.hs:24)
consName (src/Data/Singletons/Names.hs:24)
listName (src/Data/Singletons/Names.hs:24)
tyFunName (src/Data/Singletons/Names.hs:24)
applyName (src/Data/Singletons/Names.hs:24)
symbolName (src/Data/Singletons/Names.hs:24)
undefinedName (src/Data/Singletons/Names.hs:24)
typeRepName (src/Data/Singletons/Names.hs:24)
stringName (src/Data/Singletons/Names.hs:24)
eqName (src/Data/Singletons/Names.hs:24)
ordName (src/Data/Singletons/Names.hs:24)
boundedName (src/Data/Singletons/Names.hs:24)
orderingName (src/Data/Singletons/Names.hs:24)
ordLTSymName (src/Data/Singletons/Names.hs:24)
ordEQSymName (src/Data/Singletons/Names.hs:24)
ordGTSymName (src/Data/Singletons/Names.hs:24)
singFamilyName (src/Data/Singletons/Names.hs:24)
singIName (src/Data/Singletons/Names.hs:24)
singMethName (src/Data/Singletons/Names.hs:24)
demoteRepName (src/Data/Singletons/Names.hs:24)
singKindClassName (src/Data/Singletons/Names.hs:24)
sEqClassName (src/Data/Singletons/Names.hs:24)
sEqMethName (src/Data/Singletons/Names.hs:24)
sconsName (src/Data/Singletons/Names.hs:24)
snilName (src/Data/Singletons/Names.hs:24)
sIfName (src/Data/Singletons/Names.hs:24)
kProxyDataName (src/Data/Singletons/Names.hs:24)
kProxyTypeName (src/Data/Singletons/Names.hs:24)
proxyTypeName (src/Data/Singletons/Names.hs:24)
proxyDataName (src/Data/Singletons/Names.hs:24)
someSingTypeName (src/Data/Singletons/Names.hs:24)
someSingDataName (src/Data/Singletons/Names.hs:24)
sListName (src/Data/Singletons/Names.hs:24)
sDecideClassName (src/Data/Singletons/Names.hs:24)
sDecideMethName (src/Data/Singletons/Names.hs:24)
provedName (src/Data/Singletons/Names.hs:24)
disprovedName (src/Data/Singletons/Names.hs:24)
reflName (src/Data/Singletons/Names.hs:24)
toSingName (src/Data/Singletons/Names.hs:24)
fromSingName (src/Data/Singletons/Names.hs:24)
equalityName (src/Data/Singletons/Names.hs:24)
applySingName (src/Data/Singletons/Names.hs:24)
suppressClassName (src/Data/Singletons/Names.hs:24)
suppressMethodName (src/Data/Singletons/Names.hs:24)
tyThenCmpName (src/Data/Singletons/Names.hs:24)
kindOfName (src/Data/Singletons/Names.hs:24)
mkTupleName (src/Data/Singletons/Names.hs:93)
promoteValNameLhs (src/Data/Singletons/Names.hs:98)
promoteValNameLhsPrefix (src/Data/Singletons/Names.hs:102)
promoteValRhs (src/Data/Singletons/Names.hs:107)
promoteTySym (src/Data/Singletons/Names.hs:119)
promoteClassName (src/Data/Singletons/Names.hs:140)
classTvsName (src/Data/Singletons/Names.hs:145)
mkTyName (src/Data/Singletons/Names.hs:148)
falseTySym (src/Data/Singletons/Names.hs:154)
trueTySym (src/Data/Singletons/Names.hs:157)
boolKi (src/Data/Singletons/Names.hs:160)
andTySym (src/Data/Singletons/Names.hs:163)
inferKindTV (src/Data/Singletons/Names.hs:169)
inferMaybeKindTV (src/Data/Singletons/Names.hs:178)
unknownResult (src/Data/Singletons/Names.hs:191)
singDataConName (src/Data/Singletons/Names.hs:200)
singTyConName (src/Data/Singletons/Names.hs:208)
singClassName (src/Data/Singletons/Names.hs:215)
singValName (src/Data/Singletons/Names.hs:218)
kindParam (src/Data/Singletons/Names.hs:225)
proxyFor (src/Data/Singletons/Names.hs:228)
singFamily (src/Data/Singletons/Names.hs:231)
singKindConstraint (src/Data/Singletons/Names.hs:234)
demote (src/Data/Singletons/Names.hs:237)
apply (src/Data/Singletons/Names.hs:240)
foldApply (src/Data/Singletons/Names.hs:245)
0% ( 0 / 13) in 'Data.Singletons.Promote.Monad'
Missing documentation for:
Module header
PrM (src/Data/Singletons/Promote/Monad.hs:50)
promoteM (src/Data/Singletons/Promote/Monad.hs:130)
promoteM_ (src/Data/Singletons/Promote/Monad.hs:137)
promoteMDecs (src/Data/Singletons/Promote/Monad.hs:143)
VarPromotions (src/Data/Singletons/Syntax.hs:26)
allLocals (src/Data/Singletons/Promote/Monad.hs:88)
emitDecs (src/Data/Singletons/Promote/Monad.hs:99)
emitDecsM (src/Data/Singletons/Promote/Monad.hs:102)
lambdaBind (src/Data/Singletons/Promote/Monad.hs:109)
LetBind (src/Data/Singletons/Promote/Monad.hs:117)
letBind (src/Data/Singletons/Promote/Monad.hs:118)
lookupVarE (src/Data/Singletons/Promote/Monad.hs:123)
0% ( 0 / 13) in 'Data.Singletons.Single.Monad'
Missing documentation for:
Module header
SgM (src/Data/Singletons/Single/Monad.hs:49)
bindLets (src/Data/Singletons/Single/Monad.hs:84)
bindTyVars (src/Data/Singletons/Single/Monad.hs:161)
bindTyVarsClause (src/Data/Singletons/Single/Monad.hs:136)
lookupVarE (src/Data/Singletons/Single/Monad.hs:168)
lookupConE (src/Data/Singletons/Single/Monad.hs:171)
wrapSingFun (src/Data/Singletons/Single/Monad.hs:189)
wrapUnSingFun (src/Data/Singletons/Single/Monad.hs:204)
singM (src/Data/Singletons/Single/Monad.hs:219)
singDecsM (src/Data/Singletons/Single/Monad.hs:226)
emitDecs (src/Data/Singletons/Promote/Monad.hs:99)
emitDecsM (src/Data/Singletons/Promote/Monad.hs:102)
0% ( 0 / 2) in 'Data.Singletons.Promote.Eq'
Missing documentation for:
Module header
mkEqTypeInstance (src/Data/Singletons/Promote/Eq.hs:32)
33% ( 1 / 3) in 'Data.Singletons.Promote.Ord'
Missing documentation for:
mkOrdTypeInstance (src/Data/Singletons/Promote/Ord.hs:23)
mkOrdTySynEqn (src/Data/Singletons/Promote/Ord.hs:34)
50% ( 1 / 2) in 'Data.Singletons.Promote.Bounded'
Missing documentation for:
mkBoundedTypeInstance (src/Data/Singletons/Promote/Bounded.hs:23)
0% ( 0 / 2) in 'Data.Singletons.Promote.Type'
Missing documentation for:
Module header
promoteType (src/Data/Singletons/Promote/Type.hs:18)
0% ( 0 / 10) in 'Data.Singletons.Promote.Defun'
Missing documentation for:
Module header
defunInfo (src/Data/Singletons/Promote/Defun.hs:21)
buildDefunSyms (src/Data/Singletons/Promote/Defun.hs:31)
buildDefunSymsDataD (src/Data/Singletons/Promote/Defun.hs:49)
defunctionalize (src/Data/Singletons/Promote/Defun.hs:97)
buildTyFun (src/Data/Singletons/Promote/Defun.hs:167)
buildTyFun_maybe (src/Data/Singletons/Promote/Defun.hs:170)
tyFunArity (src/Data/Singletons/Promote/Defun.hs:177)
isTyFun (src/Data/Singletons/Promote/Defun.hs:184)
ravelTyFun (src/Data/Singletons/Promote/Defun.hs:191)
37% ( 10 / 27) in 'Data.Singletons.Promote'
Missing documentation for:
Module header
promoteInfo (src/Data/Singletons/Promote.hs:126)
promoteDecs (src/Data/Singletons/Promote.hs:172)
promoteDataDecs (src/Data/Singletons/Promote.hs:187)
promoteLetDecs (src/Data/Singletons/Promote.hs:201)
promoteDataDec (src/Data/Singletons/Promote.hs:227)
promoteClassDec (src/Data/Singletons/Promote.hs:267)
promoteInstanceDec (src/Data/Singletons/Promote.hs:315)
promoteMethod (src/Data/Singletons/Promote.hs:354)
promoteLetDecEnv (src/Data/Singletons/Promote.hs:417)
promoteInfixDecl (src/Data/Singletons/Promote.hs:444)
promoteLetDecRHS (src/Data/Singletons/Promote.hs:453)
promoteClause (src/Data/Singletons/Promote.hs:535)
promoteMatch (src/Data/Singletons/Promote.hs:545)
promotePat (src/Data/Singletons/Promote.hs:556)
promoteExp (src/Data/Singletons/Promote.hs:581)
promoteLit (src/Data/Singletons/Promote.hs:635)
40% ( 2 / 5) in 'Data.Promotion.Prelude.Bounded'
Missing documentation for:
PBounded (src/Data/Promotion/Prelude/Bounded.hs:29)
MaxBoundSym0 (src/Data/Promotion/Prelude/Bounded.hs:29)
MinBoundSym0 (src/Data/Promotion/Prelude/Bounded.hs:29)
0% ( 0 / 5) in 'Data.Singletons.Single.Type'
Missing documentation for:
Module header
TopLevelFlag (src/Data/Singletons/Single/Type.hs:19)
singType (src/Data/Singletons/Single/Type.hs:21)
singPred (src/Data/Singletons/Single/Type.hs:51)
singPredRec (src/Data/Singletons/Single/Type.hs:54)
0% ( 0 / 7) in 'Data.Singletons.Single.Eq'
Missing documentation for:
Module header
EqualityClassDesc (src/Data/Singletons/Single/Eq.hs:19)
sEqClassDesc (src/Data/Singletons/Single/Eq.hs:20)
sDecideClassDesc (src/Data/Singletons/Single/Eq.hs:20)
mkEqualityInstance (src/Data/Singletons/Single/Eq.hs:25)
mkEqMethClause (src/Data/Singletons/Single/Eq.hs:50)
mkDecideMethClause (src/Data/Singletons/Single/Eq.hs:76)
0% ( 0 / 3) in 'Data.Singletons.Single.Data'
Missing documentation for:
Module header
singDataD (src/Data/Singletons/Single/Data.hs:26)
singCtor (src/Data/Singletons/Single/Data.hs:107)
39% ( 9 / 23) in 'Data.Singletons.Single'
Missing documentation for:
Module header
singEqualityInstance (src/Data/Singletons/Single.hs:133)
singInfo (src/Data/Singletons/Single.hs:147)
singTopLevelDecs (src/Data/Singletons/Single.hs:159)
buildDataLets (src/Data/Singletons/Single.hs:181)
buildMethLets (src/Data/Singletons/Single.hs:198)
singLetDecEnv (src/Data/Singletons/Single.hs:202)
singClause (src/Data/Singletons/Single.hs:274)
PatternContext (src/Data/Singletons/Single.hs:298)
checkIfBrainWillExplode (src/Data/Singletons/Single.hs:303)
singPat (src/Data/Singletons/Single.hs:310)
singExp (src/Data/Singletons/Single.hs:338)
singMatch (src/Data/Singletons/Single.hs:357)
singLit (src/Data/Singletons/Single.hs:365)
0% ( 0 /181) in 'Data.Singletons.Prelude.Instances'
Missing documentation for:
Module header
NothingSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
JustSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
JustSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
SMaybe (src/Data/Singletons/Prelude/Instances.hs:27)
NilSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
:$$$ (src/Data/Singletons/Prelude/Instances.hs:27)
:$$ (src/Data/Singletons/Prelude/Instances.hs:27)
:$ (src/Data/Singletons/Prelude/Instances.hs:27)
SList (src/Data/Singletons/Prelude/Instances.hs:27)
LeftSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
LeftSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
RightSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
RightSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
SEither (src/Data/Singletons/Prelude/Instances.hs:27)
FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
SBool (src/Data/Singletons/Prelude/Instances.hs:27)
LTSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
EQSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
GTSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
SOrdering (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
STuple0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
STuple2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
STuple3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
STuple4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
STuple5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
STuple6 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
STuple7 (src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:27)
(src/Data/Singletons/Prelude/Instances.hs:28)
(src/Data/Singletons/Prelude/Instances.hs:28)
(src/Data/Singletons/Prelude/Instances.hs:28)
(src/Data/Singletons/Prelude/Instances.hs:28)
(src/Data/Singletons/Prelude/Instances.hs:28)
(src/Data/Singletons/Prelude/Instances.hs:28)
(src/Data/Singletons/Prelude/Instances.hs:28)
(src/Data/Singletons/Prelude/Instances.hs:28)
(src/Data/Singletons/Prelude/Instances.hs:28)
(src/Data/Singletons/Prelude/Instances.hs:28)
(src/Data/Singletons/Prelude/Instances.hs:28)
(src/Data/Singletons/Prelude/Instances.hs:28)
29% ( 11 / 38) in 'Data.Singletons.Prelude.Bool'
Missing documentation for:
SBool (src/Data/Singletons/Prelude/Instances.hs:27)
Not (src/Data/Singletons/Prelude/Bool.hs:72)
sNot (src/Data/Singletons/Prelude/Bool.hs:72)
:&& (src/Data/Singletons/Prelude/Bool.hs:72)
:|| (src/Data/Singletons/Prelude/Bool.hs:72)
%:&& (src/Data/Singletons/Prelude/Bool.hs:72)
%:|| (src/Data/Singletons/Prelude/Bool.hs:72)
bool_ (src/Data/Singletons/Prelude/Bool.hs:66)
Bool_ (src/Data/Singletons/Prelude/Bool.hs:66)
sBool_ (src/Data/Singletons/Prelude/Bool.hs:66)
Otherwise (src/Data/Singletons/Prelude/Bool.hs:72)
sOtherwise (src/Data/Singletons/Prelude/Bool.hs:72)
TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
NotSym0 (src/Data/Singletons/Prelude/Bool.hs:72)
NotSym1 (src/Data/Singletons/Prelude/Bool.hs:72)
:&&$ (src/Data/Singletons/Prelude/Bool.hs:72)
:&&$$ (src/Data/Singletons/Prelude/Bool.hs:72)
:&&$$$ (src/Data/Singletons/Prelude/Bool.hs:72)
:||$ (src/Data/Singletons/Prelude/Bool.hs:72)
:||$$ (src/Data/Singletons/Prelude/Bool.hs:72)
:||$$$ (src/Data/Singletons/Prelude/Bool.hs:72)
Bool_Sym0 (src/Data/Singletons/Prelude/Bool.hs:66)
Bool_Sym1 (src/Data/Singletons/Prelude/Bool.hs:66)
Bool_Sym2 (src/Data/Singletons/Prelude/Bool.hs:66)
Bool_Sym3 (src/Data/Singletons/Prelude/Bool.hs:66)
OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:72)
33% ( 3 / 9) in 'Data.Singletons.Prelude.Eq'
Missing documentation for:
:==$ (src/Data/Singletons/Prelude/Eq.hs:47)
:==$$ (src/Data/Singletons/Prelude/Eq.hs:47)
:==$$$ (src/Data/Singletons/Prelude/Eq.hs:47)
:/=$ (src/Data/Singletons/Prelude/Eq.hs:47)
:/=$$ (src/Data/Singletons/Prelude/Eq.hs:47)
:/=$$$ (src/Data/Singletons/Prelude/Eq.hs:47)
100% ( 4 / 4) in 'Data.Singletons.CustomStar'
25% ( 2 / 8) in 'Data.Promotion.Prelude.Eq'
Missing documentation for:
:==$ (src/Data/Singletons/Prelude/Eq.hs:47)
:==$$ (src/Data/Singletons/Prelude/Eq.hs:47)
:==$$$ (src/Data/Singletons/Prelude/Eq.hs:47)
:/=$ (src/Data/Singletons/Prelude/Eq.hs:47)
:/=$$ (src/Data/Singletons/Prelude/Eq.hs:47)
:/=$$$ (src/Data/Singletons/Prelude/Eq.hs:47)
19% ( 5 / 26) in 'Data.Promotion.Prelude.Bool'
Missing documentation for:
Bool_ (src/Data/Singletons/Prelude/Bool.hs:66)
bool_ (src/Data/Singletons/Prelude/Bool.hs:66)
Not (src/Data/Singletons/Prelude/Bool.hs:72)
:&& (src/Data/Singletons/Prelude/Bool.hs:72)
:|| (src/Data/Singletons/Prelude/Bool.hs:72)
Otherwise (src/Data/Singletons/Prelude/Bool.hs:72)
TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
NotSym0 (src/Data/Singletons/Prelude/Bool.hs:72)
NotSym1 (src/Data/Singletons/Prelude/Bool.hs:72)
:&&$ (src/Data/Singletons/Prelude/Bool.hs:72)
:&&$$ (src/Data/Singletons/Prelude/Bool.hs:72)
:&&$$$ (src/Data/Singletons/Prelude/Bool.hs:72)
:||$ (src/Data/Singletons/Prelude/Bool.hs:72)
:||$$ (src/Data/Singletons/Prelude/Bool.hs:72)
:||$$$ (src/Data/Singletons/Prelude/Bool.hs:72)
Bool_Sym0 (src/Data/Singletons/Prelude/Bool.hs:66)
Bool_Sym1 (src/Data/Singletons/Prelude/Bool.hs:66)
Bool_Sym2 (src/Data/Singletons/Prelude/Bool.hs:66)
Bool_Sym3 (src/Data/Singletons/Prelude/Bool.hs:66)
OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:72)
100% ( 3 / 3) in 'Data.Singletons.TypeRepStar'
11% ( 4 / 36) in 'Data.Singletons.Prelude.Ord'
Missing documentation for:
POrd (src/Data/Singletons/Prelude/Ord.hs:48)
SOrd (src/Data/Singletons/Prelude/Ord.hs:78)
thenCmp (src/Data/Singletons/Prelude/Ord.hs:124)
ThenCmp (src/Data/Singletons/Prelude/Ord.hs:124)
sThenCmp (src/Data/Singletons/Prelude/Ord.hs:124)
ThenCmpSym0 (src/Data/Singletons/Prelude/Ord.hs:124)
ThenCmpSym1 (src/Data/Singletons/Prelude/Ord.hs:124)
ThenCmpSym2 (src/Data/Singletons/Prelude/Ord.hs:124)
LTSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
EQSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
GTSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
CompareSym0 (src/Data/Singletons/Prelude/Ord.hs:48)
CompareSym1 (src/Data/Singletons/Prelude/Ord.hs:48)
CompareSym2 (src/Data/Singletons/Prelude/Ord.hs:48)
:<$ (src/Data/Singletons/Prelude/Ord.hs:48)
:<$$ (src/Data/Singletons/Prelude/Ord.hs:48)
:<$$$ (src/Data/Singletons/Prelude/Ord.hs:48)
:<=$ (src/Data/Singletons/Prelude/Ord.hs:48)
:<=$$ (src/Data/Singletons/Prelude/Ord.hs:48)
:<=$$$ (src/Data/Singletons/Prelude/Ord.hs:48)
:>$ (src/Data/Singletons/Prelude/Ord.hs:48)
:>$$ (src/Data/Singletons/Prelude/Ord.hs:48)
:>$$$ (src/Data/Singletons/Prelude/Ord.hs:48)
:>=$ (src/Data/Singletons/Prelude/Ord.hs:48)
:>=$$ (src/Data/Singletons/Prelude/Ord.hs:48)
:>=$$$ (src/Data/Singletons/Prelude/Ord.hs:48)
MaxSym0 (src/Data/Singletons/Prelude/Ord.hs:48)
MaxSym1 (src/Data/Singletons/Prelude/Ord.hs:48)
MaxSym2 (src/Data/Singletons/Prelude/Ord.hs:48)
MinSym0 (src/Data/Singletons/Prelude/Ord.hs:48)
MinSym1 (src/Data/Singletons/Prelude/Ord.hs:48)
MinSym2 (src/Data/Singletons/Prelude/Ord.hs:48)
4% ( 1 / 26) in 'Data.Promotion.Prelude.Ord'
Missing documentation for:
POrd (src/Data/Singletons/Prelude/Ord.hs:48)
LTSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
EQSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
GTSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
CompareSym0 (src/Data/Singletons/Prelude/Ord.hs:48)
CompareSym1 (src/Data/Singletons/Prelude/Ord.hs:48)
CompareSym2 (src/Data/Singletons/Prelude/Ord.hs:48)
:<$ (src/Data/Singletons/Prelude/Ord.hs:48)
:<$$ (src/Data/Singletons/Prelude/Ord.hs:48)
:<$$$ (src/Data/Singletons/Prelude/Ord.hs:48)
:<=$ (src/Data/Singletons/Prelude/Ord.hs:48)
:<=$$ (src/Data/Singletons/Prelude/Ord.hs:48)
:<=$$$ (src/Data/Singletons/Prelude/Ord.hs:48)
:>$ (src/Data/Singletons/Prelude/Ord.hs:48)
:>$$ (src/Data/Singletons/Prelude/Ord.hs:48)
:>$$$ (src/Data/Singletons/Prelude/Ord.hs:48)
:>=$ (src/Data/Singletons/Prelude/Ord.hs:48)
:>=$$ (src/Data/Singletons/Prelude/Ord.hs:48)
:>=$$$ (src/Data/Singletons/Prelude/Ord.hs:48)
MaxSym0 (src/Data/Singletons/Prelude/Ord.hs:48)
MaxSym1 (src/Data/Singletons/Prelude/Ord.hs:48)
MaxSym2 (src/Data/Singletons/Prelude/Ord.hs:48)
MinSym0 (src/Data/Singletons/Prelude/Ord.hs:48)
MinSym1 (src/Data/Singletons/Prelude/Ord.hs:48)
MinSym2 (src/Data/Singletons/Prelude/Ord.hs:48)
50% ( 13 / 26) in 'Data.Singletons.TypeLits'
Missing documentation for:
ErrorSym0 (src/Data/Singletons/TypeLits.hs:208)
:+ (src/Data/Singletons/TypeLits.hs:140)
:- (src/Data/Singletons/TypeLits.hs:141)
:* (src/Data/Singletons/TypeLits.hs:142)
:^ (src/Data/Singletons/TypeLits.hs:143)
:+$ (src/Data/Singletons/TypeLits.hs:145)
:+$$ (src/Data/Singletons/TypeLits.hs:145)
:-$ (src/Data/Singletons/TypeLits.hs:145)
:-$$ (src/Data/Singletons/TypeLits.hs:145)
:*$ (src/Data/Singletons/TypeLits.hs:145)
:*$$ (src/Data/Singletons/TypeLits.hs:145)
:^$ (src/Data/Singletons/TypeLits.hs:145)
:^$$ (src/Data/Singletons/TypeLits.hs:145)
52% ( 46 / 88) in 'Data.Singletons.TH'
Missing documentation for:
:&& (src/Data/Singletons/Prelude/Bool.hs:72)
POrd (src/Data/Singletons/Prelude/Ord.hs:48)
ErrorSym0 (src/Data/Singletons/TypeLits.hs:208)
TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
LTSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
EQSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
GTSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:27)
5% ( 3 / 60) in 'Data.Singletons.Prelude.Base'
Missing documentation for:
Foldr (src/Data/Singletons/Prelude/Base.hs:54)
sFoldr (src/Data/Singletons/Prelude/Base.hs:54)
Map (src/Data/Singletons/Prelude/Base.hs:54)
sMap (src/Data/Singletons/Prelude/Base.hs:54)
:++ (src/Data/Singletons/Prelude/Base.hs:54)
%:++ (src/Data/Singletons/Prelude/Base.hs:54)
Otherwise (src/Data/Singletons/Prelude/Bool.hs:72)
sOtherwise (src/Data/Singletons/Prelude/Bool.hs:72)
Id (src/Data/Singletons/Prelude/Base.hs:54)
sId (src/Data/Singletons/Prelude/Base.hs:54)
Const (src/Data/Singletons/Prelude/Base.hs:54)
sConst (src/Data/Singletons/Prelude/Base.hs:54)
:. (src/Data/Singletons/Prelude/Base.hs:54)
%:. (src/Data/Singletons/Prelude/Base.hs:54)
$ (src/Data/Singletons/Prelude/Base.hs:92)
$! (src/Data/Singletons/Prelude/Base.hs:107)
%$ (src/Data/Singletons/Prelude/Base.hs:103)
%$! (src/Data/Singletons/Prelude/Base.hs:118)
Flip (src/Data/Singletons/Prelude/Base.hs:54)
sFlip (src/Data/Singletons/Prelude/Base.hs:54)
AsTypeOf (src/Data/Singletons/Prelude/Base.hs:54)
sAsTypeOf (src/Data/Singletons/Prelude/Base.hs:54)
Seq (src/Data/Singletons/Prelude/Base.hs:54)
sSeq (src/Data/Singletons/Prelude/Base.hs:54)
FoldrSym0 (src/Data/Singletons/Prelude/Base.hs:54)
FoldrSym1 (src/Data/Singletons/Prelude/Base.hs:54)
FoldrSym2 (src/Data/Singletons/Prelude/Base.hs:54)
FoldrSym3 (src/Data/Singletons/Prelude/Base.hs:54)
MapSym0 (src/Data/Singletons/Prelude/Base.hs:54)
MapSym1 (src/Data/Singletons/Prelude/Base.hs:54)
MapSym2 (src/Data/Singletons/Prelude/Base.hs:54)
:++$ (src/Data/Singletons/Prelude/Base.hs:54)
:++$$ (src/Data/Singletons/Prelude/Base.hs:54)
OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:72)
IdSym0 (src/Data/Singletons/Prelude/Base.hs:54)
IdSym1 (src/Data/Singletons/Prelude/Base.hs:54)
ConstSym0 (src/Data/Singletons/Prelude/Base.hs:54)
ConstSym1 (src/Data/Singletons/Prelude/Base.hs:54)
ConstSym2 (src/Data/Singletons/Prelude/Base.hs:54)
:.$ (src/Data/Singletons/Prelude/Base.hs:54)
:.$$ (src/Data/Singletons/Prelude/Base.hs:54)
:.$$$ (src/Data/Singletons/Prelude/Base.hs:54)
$$ (src/Data/Singletons/Prelude/Base.hs:95)
$$$ (src/Data/Singletons/Prelude/Base.hs:98)
$$$$ (src/Data/Singletons/Prelude/Base.hs:101)
$!$ (src/Data/Singletons/Prelude/Base.hs:110)
$!$$ (src/Data/Singletons/Prelude/Base.hs:113)
$!$$$ (src/Data/Singletons/Prelude/Base.hs:116)
FlipSym0 (src/Data/Singletons/Prelude/Base.hs:54)
FlipSym1 (src/Data/Singletons/Prelude/Base.hs:54)
FlipSym2 (src/Data/Singletons/Prelude/Base.hs:54)
AsTypeOfSym0 (src/Data/Singletons/Prelude/Base.hs:54)
AsTypeOfSym1 (src/Data/Singletons/Prelude/Base.hs:54)
AsTypeOfSym2 (src/Data/Singletons/Prelude/Base.hs:54)
SeqSym0 (src/Data/Singletons/Prelude/Base.hs:54)
SeqSym1 (src/Data/Singletons/Prelude/Base.hs:54)
SeqSym2 (src/Data/Singletons/Prelude/Base.hs:54)
21% ( 8 / 38) in 'Data.Singletons.Prelude.Either'
Missing documentation for:
SEither (src/Data/Singletons/Prelude/Instances.hs:27)
either_ (src/Data/Singletons/Prelude/Either.hs:64)
Either_ (src/Data/Singletons/Prelude/Either.hs:64)
sEither_ (src/Data/Singletons/Prelude/Either.hs:64)
Lefts (src/Data/Singletons/Prelude/Either.hs:74)
sLefts (src/Data/Singletons/Prelude/Either.hs:74)
Rights (src/Data/Singletons/Prelude/Either.hs:74)
sRights (src/Data/Singletons/Prelude/Either.hs:74)
PartitionEithers (src/Data/Singletons/Prelude/Either.hs:74)
sPartitionEithers (src/Data/Singletons/Prelude/Either.hs:74)
IsLeft (src/Data/Singletons/Prelude/Either.hs:74)
sIsLeft (src/Data/Singletons/Prelude/Either.hs:74)
IsRight (src/Data/Singletons/Prelude/Either.hs:74)
sIsRight (src/Data/Singletons/Prelude/Either.hs:74)
LeftSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
LeftSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
RightSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
RightSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Either_Sym0 (src/Data/Singletons/Prelude/Either.hs:64)
Either_Sym1 (src/Data/Singletons/Prelude/Either.hs:64)
Either_Sym2 (src/Data/Singletons/Prelude/Either.hs:64)
Either_Sym3 (src/Data/Singletons/Prelude/Either.hs:64)
LeftsSym0 (src/Data/Singletons/Prelude/Either.hs:74)
LeftsSym1 (src/Data/Singletons/Prelude/Either.hs:74)
RightsSym0 (src/Data/Singletons/Prelude/Either.hs:74)
RightsSym1 (src/Data/Singletons/Prelude/Either.hs:74)
IsLeftSym0 (src/Data/Singletons/Prelude/Either.hs:74)
IsLeftSym1 (src/Data/Singletons/Prelude/Either.hs:74)
IsRightSym0 (src/Data/Singletons/Prelude/Either.hs:74)
IsRightSym1 (src/Data/Singletons/Prelude/Either.hs:74)
15% ( 4 / 27) in 'Data.Promotion.Prelude.Either'
Missing documentation for:
either_ (src/Data/Singletons/Prelude/Either.hs:64)
Either_ (src/Data/Singletons/Prelude/Either.hs:64)
Lefts (src/Data/Singletons/Prelude/Either.hs:74)
Rights (src/Data/Singletons/Prelude/Either.hs:74)
PartitionEithers (src/Data/Singletons/Prelude/Either.hs:74)
IsLeft (src/Data/Singletons/Prelude/Either.hs:74)
IsRight (src/Data/Singletons/Prelude/Either.hs:74)
LeftSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
LeftSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
RightSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
RightSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Either_Sym0 (src/Data/Singletons/Prelude/Either.hs:64)
Either_Sym1 (src/Data/Singletons/Prelude/Either.hs:64)
Either_Sym2 (src/Data/Singletons/Prelude/Either.hs:64)
Either_Sym3 (src/Data/Singletons/Prelude/Either.hs:64)
LeftsSym0 (src/Data/Singletons/Prelude/Either.hs:74)
LeftsSym1 (src/Data/Singletons/Prelude/Either.hs:74)
RightsSym0 (src/Data/Singletons/Prelude/Either.hs:74)
RightsSym1 (src/Data/Singletons/Prelude/Either.hs:74)
IsLeftSym0 (src/Data/Singletons/Prelude/Either.hs:74)
IsLeftSym1 (src/Data/Singletons/Prelude/Either.hs:74)
IsRightSym0 (src/Data/Singletons/Prelude/Either.hs:74)
IsRightSym1 (src/Data/Singletons/Prelude/Either.hs:74)
9% ( 6 / 70) in 'Data.Singletons.Prelude.Tuple'
Missing documentation for:
STuple0 (src/Data/Singletons/Prelude/Instances.hs:27)
STuple2 (src/Data/Singletons/Prelude/Instances.hs:27)
STuple3 (src/Data/Singletons/Prelude/Instances.hs:27)
STuple4 (src/Data/Singletons/Prelude/Instances.hs:27)
STuple5 (src/Data/Singletons/Prelude/Instances.hs:27)
STuple6 (src/Data/Singletons/Prelude/Instances.hs:27)
STuple7 (src/Data/Singletons/Prelude/Instances.hs:27)
Fst (src/Data/Singletons/Prelude/Tuple.hs:56)
sFst (src/Data/Singletons/Prelude/Tuple.hs:56)
Snd (src/Data/Singletons/Prelude/Tuple.hs:56)
sSnd (src/Data/Singletons/Prelude/Tuple.hs:56)
Curry (src/Data/Singletons/Prelude/Tuple.hs:56)
sCurry (src/Data/Singletons/Prelude/Tuple.hs:56)
Uncurry (src/Data/Singletons/Prelude/Tuple.hs:56)
sUncurry (src/Data/Singletons/Prelude/Tuple.hs:56)
Swap (src/Data/Singletons/Prelude/Tuple.hs:56)
sSwap (src/Data/Singletons/Prelude/Tuple.hs:56)
Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:27)
FstSym0 (src/Data/Singletons/Prelude/Tuple.hs:56)
FstSym1 (src/Data/Singletons/Prelude/Tuple.hs:56)
SndSym0 (src/Data/Singletons/Prelude/Tuple.hs:56)
SndSym1 (src/Data/Singletons/Prelude/Tuple.hs:56)
CurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:56)
CurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:56)
CurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:56)
CurrySym3 (src/Data/Singletons/Prelude/Tuple.hs:56)
UncurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:56)
UncurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:56)
UncurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:56)
SwapSym0 (src/Data/Singletons/Prelude/Tuple.hs:56)
SwapSym1 (src/Data/Singletons/Prelude/Tuple.hs:56)
5% ( 3 / 55) in 'Data.Promotion.Prelude.Tuple'
Missing documentation for:
Fst (src/Data/Singletons/Prelude/Tuple.hs:56)
Snd (src/Data/Singletons/Prelude/Tuple.hs:56)
Curry (src/Data/Singletons/Prelude/Tuple.hs:56)
Uncurry (src/Data/Singletons/Prelude/Tuple.hs:56)
Swap (src/Data/Singletons/Prelude/Tuple.hs:56)
Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:27)
FstSym0 (src/Data/Singletons/Prelude/Tuple.hs:56)
FstSym1 (src/Data/Singletons/Prelude/Tuple.hs:56)
SndSym0 (src/Data/Singletons/Prelude/Tuple.hs:56)
SndSym1 (src/Data/Singletons/Prelude/Tuple.hs:56)
CurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:56)
CurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:56)
CurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:56)
CurrySym3 (src/Data/Singletons/Prelude/Tuple.hs:56)
UncurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:56)
UncurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:56)
UncurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:56)
SwapSym0 (src/Data/Singletons/Prelude/Tuple.hs:56)
SwapSym1 (src/Data/Singletons/Prelude/Tuple.hs:56)
6% ( 3 / 53) in 'Data.Promotion.Prelude.Base'
Missing documentation for:
Foldr (src/Data/Singletons/Prelude/Base.hs:54)
Map (src/Data/Singletons/Prelude/Base.hs:54)
:++ (src/Data/Singletons/Prelude/Base.hs:54)
Otherwise (src/Data/Singletons/Prelude/Bool.hs:72)
Id (src/Data/Singletons/Prelude/Base.hs:54)
Const (src/Data/Singletons/Prelude/Base.hs:54)
:. (src/Data/Singletons/Prelude/Base.hs:54)
$ (src/Data/Singletons/Prelude/Base.hs:92)
$! (src/Data/Singletons/Prelude/Base.hs:107)
Flip (src/Data/Singletons/Prelude/Base.hs:54)
Until (src/Data/Promotion/Prelude/Base.hs:48)
AsTypeOf (src/Data/Singletons/Prelude/Base.hs:54)
Seq (src/Data/Singletons/Prelude/Base.hs:54)
FoldrSym0 (src/Data/Singletons/Prelude/Base.hs:54)
FoldrSym1 (src/Data/Singletons/Prelude/Base.hs:54)
FoldrSym2 (src/Data/Singletons/Prelude/Base.hs:54)
FoldrSym3 (src/Data/Singletons/Prelude/Base.hs:54)
MapSym0 (src/Data/Singletons/Prelude/Base.hs:54)
MapSym1 (src/Data/Singletons/Prelude/Base.hs:54)
MapSym2 (src/Data/Singletons/Prelude/Base.hs:54)
:++$ (src/Data/Singletons/Prelude/Base.hs:54)
:++$$ (src/Data/Singletons/Prelude/Base.hs:54)
OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:72)
IdSym0 (src/Data/Singletons/Prelude/Base.hs:54)
IdSym1 (src/Data/Singletons/Prelude/Base.hs:54)
ConstSym0 (src/Data/Singletons/Prelude/Base.hs:54)
ConstSym1 (src/Data/Singletons/Prelude/Base.hs:54)
ConstSym2 (src/Data/Singletons/Prelude/Base.hs:54)
:.$ (src/Data/Singletons/Prelude/Base.hs:54)
:.$$ (src/Data/Singletons/Prelude/Base.hs:54)
:.$$$ (src/Data/Singletons/Prelude/Base.hs:54)
$$ (src/Data/Singletons/Prelude/Base.hs:95)
$$$ (src/Data/Singletons/Prelude/Base.hs:98)
$$$$ (src/Data/Singletons/Prelude/Base.hs:101)
$!$ (src/Data/Singletons/Prelude/Base.hs:110)
$!$$ (src/Data/Singletons/Prelude/Base.hs:113)
$!$$$ (src/Data/Singletons/Prelude/Base.hs:116)
FlipSym0 (src/Data/Singletons/Prelude/Base.hs:54)
FlipSym1 (src/Data/Singletons/Prelude/Base.hs:54)
FlipSym2 (src/Data/Singletons/Prelude/Base.hs:54)
UntilSym0 (src/Data/Promotion/Prelude/Base.hs:48)
UntilSym1 (src/Data/Promotion/Prelude/Base.hs:48)
UntilSym2 (src/Data/Promotion/Prelude/Base.hs:48)
UntilSym3 (src/Data/Promotion/Prelude/Base.hs:48)
AsTypeOfSym0 (src/Data/Singletons/Prelude/Base.hs:54)
AsTypeOfSym1 (src/Data/Singletons/Prelude/Base.hs:54)
AsTypeOfSym2 (src/Data/Singletons/Prelude/Base.hs:54)
SeqSym0 (src/Data/Singletons/Prelude/Base.hs:54)
SeqSym1 (src/Data/Singletons/Prelude/Base.hs:54)
SeqSym2 (src/Data/Singletons/Prelude/Base.hs:54)
8% ( 25 /304) in 'Data.Singletons.Prelude.List'
Missing documentation for:
SList (src/Data/Singletons/Prelude/Instances.hs:27)
:++ (src/Data/Singletons/Prelude/Base.hs:54)
%:++ (src/Data/Singletons/Prelude/Base.hs:54)
Head (src/Data/Singletons/Prelude/List.hs:188)
sHead (src/Data/Singletons/Prelude/List.hs:188)
Last (src/Data/Singletons/Prelude/List.hs:188)
sLast (src/Data/Singletons/Prelude/List.hs:188)
Tail (src/Data/Singletons/Prelude/List.hs:188)
sTail (src/Data/Singletons/Prelude/List.hs:188)
Init (src/Data/Singletons/Prelude/List.hs:188)
sInit (src/Data/Singletons/Prelude/List.hs:188)
Null (src/Data/Singletons/Prelude/List.hs:188)
sNull (src/Data/Singletons/Prelude/List.hs:188)
Map (src/Data/Singletons/Prelude/Base.hs:54)
sMap (src/Data/Singletons/Prelude/Base.hs:54)
Reverse (src/Data/Singletons/Prelude/List.hs:188)
sReverse (src/Data/Singletons/Prelude/List.hs:188)
Intersperse (src/Data/Singletons/Prelude/List.hs:188)
sIntersperse (src/Data/Singletons/Prelude/List.hs:188)
Intercalate (src/Data/Singletons/Prelude/List.hs:188)
sIntercalate (src/Data/Singletons/Prelude/List.hs:188)
Subsequences (src/Data/Singletons/Prelude/List.hs:188)
sSubsequences (src/Data/Singletons/Prelude/List.hs:188)
Permutations (src/Data/Singletons/Prelude/List.hs:188)
sPermutations (src/Data/Singletons/Prelude/List.hs:188)
Foldl (src/Data/Singletons/Prelude/List.hs:188)
sFoldl (src/Data/Singletons/Prelude/List.hs:188)
Foldl' (src/Data/Singletons/Prelude/List.hs:188)
sFoldl' (src/Data/Singletons/Prelude/List.hs:188)
Foldl1 (src/Data/Singletons/Prelude/List.hs:188)
sFoldl1 (src/Data/Singletons/Prelude/List.hs:188)
Foldl1' (src/Data/Singletons/Prelude/List.hs:188)
sFoldl1' (src/Data/Singletons/Prelude/List.hs:188)
Foldr (src/Data/Singletons/Prelude/Base.hs:54)
sFoldr (src/Data/Singletons/Prelude/Base.hs:54)
Foldr1 (src/Data/Singletons/Prelude/List.hs:188)
sFoldr1 (src/Data/Singletons/Prelude/List.hs:188)
Concat (src/Data/Singletons/Prelude/List.hs:188)
sConcat (src/Data/Singletons/Prelude/List.hs:188)
ConcatMap (src/Data/Singletons/Prelude/List.hs:188)
sConcatMap (src/Data/Singletons/Prelude/List.hs:188)
And (src/Data/Singletons/Prelude/List.hs:188)
sAnd (src/Data/Singletons/Prelude/List.hs:188)
Or (src/Data/Singletons/Prelude/List.hs:188)
sOr (src/Data/Singletons/Prelude/List.hs:188)
Any_ (src/Data/Singletons/Prelude/List.hs:182)
sAny_ (src/Data/Singletons/Prelude/List.hs:182)
All (src/Data/Singletons/Prelude/List.hs:188)
sAll (src/Data/Singletons/Prelude/List.hs:188)
any_ (src/Data/Singletons/Prelude/List.hs:182)
Scanl (src/Data/Singletons/Prelude/List.hs:188)
sScanl (src/Data/Singletons/Prelude/List.hs:188)
Scanl1 (src/Data/Singletons/Prelude/List.hs:188)
sScanl1 (src/Data/Singletons/Prelude/List.hs:188)
Scanr (src/Data/Singletons/Prelude/List.hs:188)
sScanr (src/Data/Singletons/Prelude/List.hs:188)
Scanr1 (src/Data/Singletons/Prelude/List.hs:188)
sScanr1 (src/Data/Singletons/Prelude/List.hs:188)
MapAccumL (src/Data/Singletons/Prelude/List.hs:188)
sMapAccumL (src/Data/Singletons/Prelude/List.hs:188)
MapAccumR (src/Data/Singletons/Prelude/List.hs:188)
sMapAccumR (src/Data/Singletons/Prelude/List.hs:188)
Unfoldr (src/Data/Singletons/Prelude/List.hs:188)
sUnfoldr (src/Data/Singletons/Prelude/List.hs:188)
Inits (src/Data/Singletons/Prelude/List.hs:188)
sInits (src/Data/Singletons/Prelude/List.hs:188)
Tails (src/Data/Singletons/Prelude/List.hs:188)
sTails (src/Data/Singletons/Prelude/List.hs:188)
IsPrefixOf (src/Data/Singletons/Prelude/List.hs:188)
sIsPrefixOf (src/Data/Singletons/Prelude/List.hs:188)
IsSuffixOf (src/Data/Singletons/Prelude/List.hs:188)
sIsSuffixOf (src/Data/Singletons/Prelude/List.hs:188)
IsInfixOf (src/Data/Singletons/Prelude/List.hs:188)
sIsInfixOf (src/Data/Singletons/Prelude/List.hs:188)
Elem (src/Data/Singletons/Prelude/List.hs:188)
sElem (src/Data/Singletons/Prelude/List.hs:188)
NotElem (src/Data/Singletons/Prelude/List.hs:188)
sNotElem (src/Data/Singletons/Prelude/List.hs:188)
Zip (src/Data/Singletons/Prelude/List.hs:188)
sZip (src/Data/Singletons/Prelude/List.hs:188)
Zip3 (src/Data/Singletons/Prelude/List.hs:188)
sZip3 (src/Data/Singletons/Prelude/List.hs:188)
ZipWith (src/Data/Singletons/Prelude/List.hs:188)
sZipWith (src/Data/Singletons/Prelude/List.hs:188)
ZipWith3 (src/Data/Singletons/Prelude/List.hs:188)
sZipWith3 (src/Data/Singletons/Prelude/List.hs:188)
Unzip (src/Data/Singletons/Prelude/List.hs:188)
sUnzip (src/Data/Singletons/Prelude/List.hs:188)
Unzip3 (src/Data/Singletons/Prelude/List.hs:188)
sUnzip3 (src/Data/Singletons/Prelude/List.hs:188)
Unzip4 (src/Data/Singletons/Prelude/List.hs:188)
sUnzip4 (src/Data/Singletons/Prelude/List.hs:188)
Unzip5 (src/Data/Singletons/Prelude/List.hs:188)
sUnzip5 (src/Data/Singletons/Prelude/List.hs:188)
Unzip6 (src/Data/Singletons/Prelude/List.hs:188)
sUnzip6 (src/Data/Singletons/Prelude/List.hs:188)
Unzip7 (src/Data/Singletons/Prelude/List.hs:188)
sUnzip7 (src/Data/Singletons/Prelude/List.hs:188)
Delete (src/Data/Singletons/Prelude/List.hs:188)
sDelete (src/Data/Singletons/Prelude/List.hs:188)
:\\ (src/Data/Singletons/Prelude/List.hs:188)
%:\\ (src/Data/Singletons/Prelude/List.hs:188)
DeleteBy (src/Data/Singletons/Prelude/List.hs:188)
sDeleteBy (src/Data/Singletons/Prelude/List.hs:188)
DeleteFirstsBy (src/Data/Singletons/Prelude/List.hs:188)
sDeleteFirstsBy (src/Data/Singletons/Prelude/List.hs:188)
SortBy (src/Data/Singletons/Prelude/List.hs:188)
sSortBy (src/Data/Singletons/Prelude/List.hs:188)
InsertBy (src/Data/Singletons/Prelude/List.hs:188)
sInsertBy (src/Data/Singletons/Prelude/List.hs:188)
MaximumBy (src/Data/Singletons/Prelude/List.hs:188)
sMaximumBy (src/Data/Singletons/Prelude/List.hs:188)
MinimumBy (src/Data/Singletons/Prelude/List.hs:188)
sMinimumBy (src/Data/Singletons/Prelude/List.hs:188)
NilSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
:$ (src/Data/Singletons/Prelude/Instances.hs:27)
:$$ (src/Data/Singletons/Prelude/Instances.hs:27)
:$$$ (src/Data/Singletons/Prelude/Instances.hs:27)
:++$$ (src/Data/Singletons/Prelude/Base.hs:54)
:++$ (src/Data/Singletons/Prelude/Base.hs:54)
HeadSym0 (src/Data/Singletons/Prelude/List.hs:188)
HeadSym1 (src/Data/Singletons/Prelude/List.hs:188)
LastSym0 (src/Data/Singletons/Prelude/List.hs:188)
LastSym1 (src/Data/Singletons/Prelude/List.hs:188)
TailSym0 (src/Data/Singletons/Prelude/List.hs:188)
TailSym1 (src/Data/Singletons/Prelude/List.hs:188)
InitSym0 (src/Data/Singletons/Prelude/List.hs:188)
InitSym1 (src/Data/Singletons/Prelude/List.hs:188)
NullSym0 (src/Data/Singletons/Prelude/List.hs:188)
NullSym1 (src/Data/Singletons/Prelude/List.hs:188)
MapSym0 (src/Data/Singletons/Prelude/Base.hs:54)
MapSym1 (src/Data/Singletons/Prelude/Base.hs:54)
MapSym2 (src/Data/Singletons/Prelude/Base.hs:54)
ReverseSym0 (src/Data/Singletons/Prelude/List.hs:188)
ReverseSym1 (src/Data/Singletons/Prelude/List.hs:188)
IntersperseSym0 (src/Data/Singletons/Prelude/List.hs:188)
IntersperseSym1 (src/Data/Singletons/Prelude/List.hs:188)
IntersperseSym2 (src/Data/Singletons/Prelude/List.hs:188)
IntercalateSym0 (src/Data/Singletons/Prelude/List.hs:188)
IntercalateSym1 (src/Data/Singletons/Prelude/List.hs:188)
IntercalateSym2 (src/Data/Singletons/Prelude/List.hs:188)
SubsequencesSym0 (src/Data/Singletons/Prelude/List.hs:188)
SubsequencesSym1 (src/Data/Singletons/Prelude/List.hs:188)
PermutationsSym0 (src/Data/Singletons/Prelude/List.hs:188)
PermutationsSym1 (src/Data/Singletons/Prelude/List.hs:188)
FoldlSym0 (src/Data/Singletons/Prelude/List.hs:188)
FoldlSym1 (src/Data/Singletons/Prelude/List.hs:188)
FoldlSym2 (src/Data/Singletons/Prelude/List.hs:188)
FoldlSym3 (src/Data/Singletons/Prelude/List.hs:188)
Foldl'Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Foldl'Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Foldl'Sym2 (src/Data/Singletons/Prelude/List.hs:188)
Foldl'Sym3 (src/Data/Singletons/Prelude/List.hs:188)
Foldl1Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Foldl1Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Foldl1Sym2 (src/Data/Singletons/Prelude/List.hs:188)
Foldl1'Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Foldl1'Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Foldl1'Sym2 (src/Data/Singletons/Prelude/List.hs:188)
FoldrSym0 (src/Data/Singletons/Prelude/Base.hs:54)
FoldrSym1 (src/Data/Singletons/Prelude/Base.hs:54)
FoldrSym2 (src/Data/Singletons/Prelude/Base.hs:54)
FoldrSym3 (src/Data/Singletons/Prelude/Base.hs:54)
Foldr1Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Foldr1Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Foldr1Sym2 (src/Data/Singletons/Prelude/List.hs:188)
ConcatSym0 (src/Data/Singletons/Prelude/List.hs:188)
ConcatSym1 (src/Data/Singletons/Prelude/List.hs:188)
ConcatMapSym0 (src/Data/Singletons/Prelude/List.hs:188)
ConcatMapSym1 (src/Data/Singletons/Prelude/List.hs:188)
ConcatMapSym2 (src/Data/Singletons/Prelude/List.hs:188)
AndSym0 (src/Data/Singletons/Prelude/List.hs:188)
AndSym1 (src/Data/Singletons/Prelude/List.hs:188)
OrSym0 (src/Data/Singletons/Prelude/List.hs:188)
OrSym1 (src/Data/Singletons/Prelude/List.hs:188)
Any_Sym0 (src/Data/Singletons/Prelude/List.hs:182)
Any_Sym1 (src/Data/Singletons/Prelude/List.hs:182)
Any_Sym2 (src/Data/Singletons/Prelude/List.hs:182)
AllSym0 (src/Data/Singletons/Prelude/List.hs:188)
AllSym1 (src/Data/Singletons/Prelude/List.hs:188)
AllSym2 (src/Data/Singletons/Prelude/List.hs:188)
ScanlSym0 (src/Data/Singletons/Prelude/List.hs:188)
ScanlSym1 (src/Data/Singletons/Prelude/List.hs:188)
ScanlSym2 (src/Data/Singletons/Prelude/List.hs:188)
ScanlSym3 (src/Data/Singletons/Prelude/List.hs:188)
Scanl1Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Scanl1Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Scanl1Sym2 (src/Data/Singletons/Prelude/List.hs:188)
ScanrSym0 (src/Data/Singletons/Prelude/List.hs:188)
ScanrSym1 (src/Data/Singletons/Prelude/List.hs:188)
ScanrSym2 (src/Data/Singletons/Prelude/List.hs:188)
ScanrSym3 (src/Data/Singletons/Prelude/List.hs:188)
Scanr1Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Scanr1Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Scanr1Sym2 (src/Data/Singletons/Prelude/List.hs:188)
MapAccumLSym0 (src/Data/Singletons/Prelude/List.hs:188)
MapAccumLSym1 (src/Data/Singletons/Prelude/List.hs:188)
MapAccumLSym2 (src/Data/Singletons/Prelude/List.hs:188)
MapAccumLSym3 (src/Data/Singletons/Prelude/List.hs:188)
MapAccumRSym0 (src/Data/Singletons/Prelude/List.hs:188)
MapAccumRSym1 (src/Data/Singletons/Prelude/List.hs:188)
MapAccumRSym2 (src/Data/Singletons/Prelude/List.hs:188)
MapAccumRSym3 (src/Data/Singletons/Prelude/List.hs:188)
UnfoldrSym0 (src/Data/Singletons/Prelude/List.hs:188)
UnfoldrSym1 (src/Data/Singletons/Prelude/List.hs:188)
UnfoldrSym2 (src/Data/Singletons/Prelude/List.hs:188)
InitsSym0 (src/Data/Singletons/Prelude/List.hs:188)
InitsSym1 (src/Data/Singletons/Prelude/List.hs:188)
TailsSym0 (src/Data/Singletons/Prelude/List.hs:188)
TailsSym1 (src/Data/Singletons/Prelude/List.hs:188)
IsPrefixOfSym0 (src/Data/Singletons/Prelude/List.hs:188)
IsPrefixOfSym1 (src/Data/Singletons/Prelude/List.hs:188)
IsPrefixOfSym2 (src/Data/Singletons/Prelude/List.hs:188)
IsSuffixOfSym0 (src/Data/Singletons/Prelude/List.hs:188)
IsSuffixOfSym1 (src/Data/Singletons/Prelude/List.hs:188)
IsSuffixOfSym2 (src/Data/Singletons/Prelude/List.hs:188)
IsInfixOfSym0 (src/Data/Singletons/Prelude/List.hs:188)
IsInfixOfSym1 (src/Data/Singletons/Prelude/List.hs:188)
IsInfixOfSym2 (src/Data/Singletons/Prelude/List.hs:188)
ElemSym0 (src/Data/Singletons/Prelude/List.hs:188)
ElemSym1 (src/Data/Singletons/Prelude/List.hs:188)
ElemSym2 (src/Data/Singletons/Prelude/List.hs:188)
NotElemSym0 (src/Data/Singletons/Prelude/List.hs:188)
NotElemSym1 (src/Data/Singletons/Prelude/List.hs:188)
NotElemSym2 (src/Data/Singletons/Prelude/List.hs:188)
ZipSym0 (src/Data/Singletons/Prelude/List.hs:188)
ZipSym1 (src/Data/Singletons/Prelude/List.hs:188)
ZipSym2 (src/Data/Singletons/Prelude/List.hs:188)
Zip3Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Zip3Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Zip3Sym2 (src/Data/Singletons/Prelude/List.hs:188)
Zip3Sym3 (src/Data/Singletons/Prelude/List.hs:188)
ZipWithSym0 (src/Data/Singletons/Prelude/List.hs:188)
ZipWithSym1 (src/Data/Singletons/Prelude/List.hs:188)
ZipWithSym2 (src/Data/Singletons/Prelude/List.hs:188)
ZipWithSym3 (src/Data/Singletons/Prelude/List.hs:188)
ZipWith3Sym0 (src/Data/Singletons/Prelude/List.hs:188)
ZipWith3Sym1 (src/Data/Singletons/Prelude/List.hs:188)
ZipWith3Sym2 (src/Data/Singletons/Prelude/List.hs:188)
ZipWith3Sym3 (src/Data/Singletons/Prelude/List.hs:188)
UnzipSym0 (src/Data/Singletons/Prelude/List.hs:188)
UnzipSym1 (src/Data/Singletons/Prelude/List.hs:188)
Unzip3Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Unzip3Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Unzip4Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Unzip4Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Unzip5Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Unzip5Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Unzip6Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Unzip6Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Unzip7Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Unzip7Sym1 (src/Data/Singletons/Prelude/List.hs:188)
DeleteSym0 (src/Data/Singletons/Prelude/List.hs:188)
DeleteSym1 (src/Data/Singletons/Prelude/List.hs:188)
DeleteSym2 (src/Data/Singletons/Prelude/List.hs:188)
:\\$ (src/Data/Singletons/Prelude/List.hs:188)
:\\$$ (src/Data/Singletons/Prelude/List.hs:188)
:\\$$$ (src/Data/Singletons/Prelude/List.hs:188)
DeleteBySym0 (src/Data/Singletons/Prelude/List.hs:188)
DeleteBySym1 (src/Data/Singletons/Prelude/List.hs:188)
DeleteBySym2 (src/Data/Singletons/Prelude/List.hs:188)
DeleteBySym3 (src/Data/Singletons/Prelude/List.hs:188)
DeleteFirstsBySym0 (src/Data/Singletons/Prelude/List.hs:188)
DeleteFirstsBySym1 (src/Data/Singletons/Prelude/List.hs:188)
DeleteFirstsBySym2 (src/Data/Singletons/Prelude/List.hs:188)
DeleteFirstsBySym3 (src/Data/Singletons/Prelude/List.hs:188)
SortBySym0 (src/Data/Singletons/Prelude/List.hs:188)
SortBySym1 (src/Data/Singletons/Prelude/List.hs:188)
SortBySym2 (src/Data/Singletons/Prelude/List.hs:188)
InsertBySym0 (src/Data/Singletons/Prelude/List.hs:188)
InsertBySym1 (src/Data/Singletons/Prelude/List.hs:188)
InsertBySym2 (src/Data/Singletons/Prelude/List.hs:188)
InsertBySym3 (src/Data/Singletons/Prelude/List.hs:188)
MaximumBySym0 (src/Data/Singletons/Prelude/List.hs:188)
MaximumBySym1 (src/Data/Singletons/Prelude/List.hs:188)
MaximumBySym2 (src/Data/Singletons/Prelude/List.hs:188)
MinimumBySym0 (src/Data/Singletons/Prelude/List.hs:188)
MinimumBySym1 (src/Data/Singletons/Prelude/List.hs:188)
MinimumBySym2 (src/Data/Singletons/Prelude/List.hs:188)
13% ( 7 / 52) in 'Data.Singletons.Prelude.Maybe'
Missing documentation for:
SMaybe (src/Data/Singletons/Prelude/Instances.hs:27)
maybe_ (src/Data/Singletons/Prelude/Maybe.hs:68)
Maybe_ (src/Data/Singletons/Prelude/Maybe.hs:68)
sMaybe_ (src/Data/Singletons/Prelude/Maybe.hs:68)
IsJust (src/Data/Singletons/Prelude/Maybe.hs:79)
sIsJust (src/Data/Singletons/Prelude/Maybe.hs:79)
IsNothing (src/Data/Singletons/Prelude/Maybe.hs:79)
sIsNothing (src/Data/Singletons/Prelude/Maybe.hs:79)
FromJust (src/Data/Singletons/Prelude/Maybe.hs:79)
sFromJust (src/Data/Singletons/Prelude/Maybe.hs:79)
FromMaybe (src/Data/Singletons/Prelude/Maybe.hs:79)
sFromMaybe (src/Data/Singletons/Prelude/Maybe.hs:79)
ListToMaybe (src/Data/Singletons/Prelude/Maybe.hs:79)
sListToMaybe (src/Data/Singletons/Prelude/Maybe.hs:79)
MaybeToList (src/Data/Singletons/Prelude/Maybe.hs:79)
sMaybeToList (src/Data/Singletons/Prelude/Maybe.hs:79)
CatMaybes (src/Data/Singletons/Prelude/Maybe.hs:79)
sCatMaybes (src/Data/Singletons/Prelude/Maybe.hs:79)
MapMaybe (src/Data/Singletons/Prelude/Maybe.hs:79)
sMapMaybe (src/Data/Singletons/Prelude/Maybe.hs:79)
NothingSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
JustSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
JustSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Maybe_Sym0 (src/Data/Singletons/Prelude/Maybe.hs:68)
Maybe_Sym1 (src/Data/Singletons/Prelude/Maybe.hs:68)
Maybe_Sym2 (src/Data/Singletons/Prelude/Maybe.hs:68)
Maybe_Sym3 (src/Data/Singletons/Prelude/Maybe.hs:68)
IsJustSym0 (src/Data/Singletons/Prelude/Maybe.hs:79)
IsJustSym1 (src/Data/Singletons/Prelude/Maybe.hs:79)
IsNothingSym0 (src/Data/Singletons/Prelude/Maybe.hs:79)
IsNothingSym1 (src/Data/Singletons/Prelude/Maybe.hs:79)
FromJustSym0 (src/Data/Singletons/Prelude/Maybe.hs:79)
FromJustSym1 (src/Data/Singletons/Prelude/Maybe.hs:79)
FromMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:79)
FromMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:79)
FromMaybeSym2 (src/Data/Singletons/Prelude/Maybe.hs:79)
ListToMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:79)
ListToMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:79)
MaybeToListSym0 (src/Data/Singletons/Prelude/Maybe.hs:79)
MaybeToListSym1 (src/Data/Singletons/Prelude/Maybe.hs:79)
CatMaybesSym0 (src/Data/Singletons/Prelude/Maybe.hs:79)
CatMaybesSym1 (src/Data/Singletons/Prelude/Maybe.hs:79)
MapMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:79)
MapMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:79)
MapMaybeSym2 (src/Data/Singletons/Prelude/Maybe.hs:79)
9% ( 28 /322) in 'Data.Singletons.Prelude'
Missing documentation for:
SBool (src/Data/Singletons/Prelude/Instances.hs:27)
SList (src/Data/Singletons/Prelude/Instances.hs:27)
SMaybe (src/Data/Singletons/Prelude/Instances.hs:27)
SEither (src/Data/Singletons/Prelude/Instances.hs:27)
SOrdering (src/Data/Singletons/Prelude/Instances.hs:27)
STuple0 (src/Data/Singletons/Prelude/Instances.hs:27)
STuple2 (src/Data/Singletons/Prelude/Instances.hs:27)
STuple3 (src/Data/Singletons/Prelude/Instances.hs:27)
STuple4 (src/Data/Singletons/Prelude/Instances.hs:27)
STuple5 (src/Data/Singletons/Prelude/Instances.hs:27)
STuple6 (src/Data/Singletons/Prelude/Instances.hs:27)
STuple7 (src/Data/Singletons/Prelude/Instances.hs:27)
Not (src/Data/Singletons/Prelude/Bool.hs:72)
sNot (src/Data/Singletons/Prelude/Bool.hs:72)
:&& (src/Data/Singletons/Prelude/Bool.hs:72)
:|| (src/Data/Singletons/Prelude/Bool.hs:72)
%:&& (src/Data/Singletons/Prelude/Bool.hs:72)
%:|| (src/Data/Singletons/Prelude/Bool.hs:72)
Otherwise (src/Data/Singletons/Prelude/Bool.hs:72)
sOtherwise (src/Data/Singletons/Prelude/Bool.hs:72)
ErrorSym0 (src/Data/Singletons/TypeLits.hs:208)
Id (src/Data/Singletons/Prelude/Base.hs:54)
sId (src/Data/Singletons/Prelude/Base.hs:54)
Const (src/Data/Singletons/Prelude/Base.hs:54)
sConst (src/Data/Singletons/Prelude/Base.hs:54)
:. (src/Data/Singletons/Prelude/Base.hs:54)
%:. (src/Data/Singletons/Prelude/Base.hs:54)
$ (src/Data/Singletons/Prelude/Base.hs:92)
%$ (src/Data/Singletons/Prelude/Base.hs:103)
$! (src/Data/Singletons/Prelude/Base.hs:107)
%$! (src/Data/Singletons/Prelude/Base.hs:118)
Flip (src/Data/Singletons/Prelude/Base.hs:54)
sFlip (src/Data/Singletons/Prelude/Base.hs:54)
AsTypeOf (src/Data/Singletons/Prelude/Base.hs:54)
sAsTypeOf (src/Data/Singletons/Prelude/Base.hs:54)
Seq (src/Data/Singletons/Prelude/Base.hs:54)
sSeq (src/Data/Singletons/Prelude/Base.hs:54)
Map (src/Data/Singletons/Prelude/Base.hs:54)
sMap (src/Data/Singletons/Prelude/Base.hs:54)
:++ (src/Data/Singletons/Prelude/Base.hs:54)
%:++ (src/Data/Singletons/Prelude/Base.hs:54)
Head (src/Data/Singletons/Prelude/List.hs:188)
sHead (src/Data/Singletons/Prelude/List.hs:188)
Last (src/Data/Singletons/Prelude/List.hs:188)
sLast (src/Data/Singletons/Prelude/List.hs:188)
Tail (src/Data/Singletons/Prelude/List.hs:188)
sTail (src/Data/Singletons/Prelude/List.hs:188)
Init (src/Data/Singletons/Prelude/List.hs:188)
sInit (src/Data/Singletons/Prelude/List.hs:188)
Null (src/Data/Singletons/Prelude/List.hs:188)
sNull (src/Data/Singletons/Prelude/List.hs:188)
Reverse (src/Data/Singletons/Prelude/List.hs:188)
sReverse (src/Data/Singletons/Prelude/List.hs:188)
Foldl (src/Data/Singletons/Prelude/List.hs:188)
sFoldl (src/Data/Singletons/Prelude/List.hs:188)
Foldl1 (src/Data/Singletons/Prelude/List.hs:188)
sFoldl1 (src/Data/Singletons/Prelude/List.hs:188)
Foldr (src/Data/Singletons/Prelude/Base.hs:54)
sFoldr (src/Data/Singletons/Prelude/Base.hs:54)
Foldr1 (src/Data/Singletons/Prelude/List.hs:188)
sFoldr1 (src/Data/Singletons/Prelude/List.hs:188)
And (src/Data/Singletons/Prelude/List.hs:188)
sAnd (src/Data/Singletons/Prelude/List.hs:188)
Or (src/Data/Singletons/Prelude/List.hs:188)
sOr (src/Data/Singletons/Prelude/List.hs:188)
Any_ (src/Data/Singletons/Prelude/List.hs:182)
sAny_ (src/Data/Singletons/Prelude/List.hs:182)
All (src/Data/Singletons/Prelude/List.hs:188)
sAll (src/Data/Singletons/Prelude/List.hs:188)
Concat (src/Data/Singletons/Prelude/List.hs:188)
sConcat (src/Data/Singletons/Prelude/List.hs:188)
ConcatMap (src/Data/Singletons/Prelude/List.hs:188)
sConcatMap (src/Data/Singletons/Prelude/List.hs:188)
Scanl (src/Data/Singletons/Prelude/List.hs:188)
sScanl (src/Data/Singletons/Prelude/List.hs:188)
Scanl1 (src/Data/Singletons/Prelude/List.hs:188)
sScanl1 (src/Data/Singletons/Prelude/List.hs:188)
Scanr (src/Data/Singletons/Prelude/List.hs:188)
sScanr (src/Data/Singletons/Prelude/List.hs:188)
Scanr1 (src/Data/Singletons/Prelude/List.hs:188)
sScanr1 (src/Data/Singletons/Prelude/List.hs:188)
Elem (src/Data/Singletons/Prelude/List.hs:188)
sElem (src/Data/Singletons/Prelude/List.hs:188)
NotElem (src/Data/Singletons/Prelude/List.hs:188)
sNotElem (src/Data/Singletons/Prelude/List.hs:188)
Zip (src/Data/Singletons/Prelude/List.hs:188)
sZip (src/Data/Singletons/Prelude/List.hs:188)
Zip3 (src/Data/Singletons/Prelude/List.hs:188)
sZip3 (src/Data/Singletons/Prelude/List.hs:188)
ZipWith (src/Data/Singletons/Prelude/List.hs:188)
sZipWith (src/Data/Singletons/Prelude/List.hs:188)
ZipWith3 (src/Data/Singletons/Prelude/List.hs:188)
sZipWith3 (src/Data/Singletons/Prelude/List.hs:188)
Unzip (src/Data/Singletons/Prelude/List.hs:188)
sUnzip (src/Data/Singletons/Prelude/List.hs:188)
Unzip3 (src/Data/Singletons/Prelude/List.hs:188)
sUnzip3 (src/Data/Singletons/Prelude/List.hs:188)
Maybe_ (src/Data/Singletons/Prelude/Maybe.hs:68)
sMaybe_ (src/Data/Singletons/Prelude/Maybe.hs:68)
Either_ (src/Data/Singletons/Prelude/Either.hs:64)
sEither_ (src/Data/Singletons/Prelude/Either.hs:64)
Fst (src/Data/Singletons/Prelude/Tuple.hs:56)
sFst (src/Data/Singletons/Prelude/Tuple.hs:56)
Snd (src/Data/Singletons/Prelude/Tuple.hs:56)
sSnd (src/Data/Singletons/Prelude/Tuple.hs:56)
Curry (src/Data/Singletons/Prelude/Tuple.hs:56)
sCurry (src/Data/Singletons/Prelude/Tuple.hs:56)
Uncurry (src/Data/Singletons/Prelude/Tuple.hs:56)
sUncurry (src/Data/Singletons/Prelude/Tuple.hs:56)
either_ (src/Data/Singletons/Prelude/Either.hs:64)
maybe_ (src/Data/Singletons/Prelude/Maybe.hs:68)
bool_ (src/Data/Singletons/Prelude/Bool.hs:66)
any_ (src/Data/Singletons/Prelude/List.hs:182)
FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
NotSym0 (src/Data/Singletons/Prelude/Bool.hs:72)
NotSym1 (src/Data/Singletons/Prelude/Bool.hs:72)
:&&$ (src/Data/Singletons/Prelude/Bool.hs:72)
:&&$$ (src/Data/Singletons/Prelude/Bool.hs:72)
:&&$$$ (src/Data/Singletons/Prelude/Bool.hs:72)
:||$ (src/Data/Singletons/Prelude/Bool.hs:72)
:||$$ (src/Data/Singletons/Prelude/Bool.hs:72)
:||$$$ (src/Data/Singletons/Prelude/Bool.hs:72)
OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:72)
NothingSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
JustSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
JustSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Maybe_Sym0 (src/Data/Singletons/Prelude/Maybe.hs:68)
Maybe_Sym1 (src/Data/Singletons/Prelude/Maybe.hs:68)
Maybe_Sym2 (src/Data/Singletons/Prelude/Maybe.hs:68)
Maybe_Sym3 (src/Data/Singletons/Prelude/Maybe.hs:68)
LeftSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
LeftSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
RightSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
RightSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Either_Sym0 (src/Data/Singletons/Prelude/Either.hs:64)
Either_Sym1 (src/Data/Singletons/Prelude/Either.hs:64)
Either_Sym2 (src/Data/Singletons/Prelude/Either.hs:64)
Either_Sym3 (src/Data/Singletons/Prelude/Either.hs:64)
Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:27)
FstSym0 (src/Data/Singletons/Prelude/Tuple.hs:56)
FstSym1 (src/Data/Singletons/Prelude/Tuple.hs:56)
SndSym0 (src/Data/Singletons/Prelude/Tuple.hs:56)
SndSym1 (src/Data/Singletons/Prelude/Tuple.hs:56)
CurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:56)
CurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:56)
CurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:56)
CurrySym3 (src/Data/Singletons/Prelude/Tuple.hs:56)
UncurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:56)
UncurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:56)
UncurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:56)
IdSym0 (src/Data/Singletons/Prelude/Base.hs:54)
IdSym1 (src/Data/Singletons/Prelude/Base.hs:54)
ConstSym0 (src/Data/Singletons/Prelude/Base.hs:54)
ConstSym1 (src/Data/Singletons/Prelude/Base.hs:54)
ConstSym2 (src/Data/Singletons/Prelude/Base.hs:54)
:.$ (src/Data/Singletons/Prelude/Base.hs:54)
:.$$ (src/Data/Singletons/Prelude/Base.hs:54)
:.$$$ (src/Data/Singletons/Prelude/Base.hs:54)
$$ (src/Data/Singletons/Prelude/Base.hs:95)
$$$ (src/Data/Singletons/Prelude/Base.hs:98)
$$$$ (src/Data/Singletons/Prelude/Base.hs:101)
$!$ (src/Data/Singletons/Prelude/Base.hs:110)
$!$$ (src/Data/Singletons/Prelude/Base.hs:113)
$!$$$ (src/Data/Singletons/Prelude/Base.hs:116)
FlipSym0 (src/Data/Singletons/Prelude/Base.hs:54)
FlipSym1 (src/Data/Singletons/Prelude/Base.hs:54)
FlipSym2 (src/Data/Singletons/Prelude/Base.hs:54)
AsTypeOfSym0 (src/Data/Singletons/Prelude/Base.hs:54)
AsTypeOfSym1 (src/Data/Singletons/Prelude/Base.hs:54)
AsTypeOfSym2 (src/Data/Singletons/Prelude/Base.hs:54)
SeqSym0 (src/Data/Singletons/Prelude/Base.hs:54)
SeqSym1 (src/Data/Singletons/Prelude/Base.hs:54)
SeqSym2 (src/Data/Singletons/Prelude/Base.hs:54)
:$ (src/Data/Singletons/Prelude/Instances.hs:27)
:$$ (src/Data/Singletons/Prelude/Instances.hs:27)
:$$$ (src/Data/Singletons/Prelude/Instances.hs:27)
NilSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
MapSym0 (src/Data/Singletons/Prelude/Base.hs:54)
MapSym1 (src/Data/Singletons/Prelude/Base.hs:54)
MapSym2 (src/Data/Singletons/Prelude/Base.hs:54)
ReverseSym0 (src/Data/Singletons/Prelude/List.hs:188)
ReverseSym1 (src/Data/Singletons/Prelude/List.hs:188)
:++$$ (src/Data/Singletons/Prelude/Base.hs:54)
:++$ (src/Data/Singletons/Prelude/Base.hs:54)
HeadSym0 (src/Data/Singletons/Prelude/List.hs:188)
HeadSym1 (src/Data/Singletons/Prelude/List.hs:188)
LastSym0 (src/Data/Singletons/Prelude/List.hs:188)
LastSym1 (src/Data/Singletons/Prelude/List.hs:188)
TailSym0 (src/Data/Singletons/Prelude/List.hs:188)
TailSym1 (src/Data/Singletons/Prelude/List.hs:188)
InitSym0 (src/Data/Singletons/Prelude/List.hs:188)
InitSym1 (src/Data/Singletons/Prelude/List.hs:188)
NullSym0 (src/Data/Singletons/Prelude/List.hs:188)
NullSym1 (src/Data/Singletons/Prelude/List.hs:188)
FoldlSym0 (src/Data/Singletons/Prelude/List.hs:188)
FoldlSym1 (src/Data/Singletons/Prelude/List.hs:188)
FoldlSym2 (src/Data/Singletons/Prelude/List.hs:188)
FoldlSym3 (src/Data/Singletons/Prelude/List.hs:188)
Foldl1Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Foldl1Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Foldl1Sym2 (src/Data/Singletons/Prelude/List.hs:188)
FoldrSym0 (src/Data/Singletons/Prelude/Base.hs:54)
FoldrSym1 (src/Data/Singletons/Prelude/Base.hs:54)
FoldrSym2 (src/Data/Singletons/Prelude/Base.hs:54)
FoldrSym3 (src/Data/Singletons/Prelude/Base.hs:54)
Foldr1Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Foldr1Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Foldr1Sym2 (src/Data/Singletons/Prelude/List.hs:188)
ConcatSym0 (src/Data/Singletons/Prelude/List.hs:188)
ConcatSym1 (src/Data/Singletons/Prelude/List.hs:188)
ConcatMapSym0 (src/Data/Singletons/Prelude/List.hs:188)
ConcatMapSym1 (src/Data/Singletons/Prelude/List.hs:188)
ConcatMapSym2 (src/Data/Singletons/Prelude/List.hs:188)
AndSym0 (src/Data/Singletons/Prelude/List.hs:188)
AndSym1 (src/Data/Singletons/Prelude/List.hs:188)
OrSym0 (src/Data/Singletons/Prelude/List.hs:188)
OrSym1 (src/Data/Singletons/Prelude/List.hs:188)
Any_Sym0 (src/Data/Singletons/Prelude/List.hs:182)
Any_Sym1 (src/Data/Singletons/Prelude/List.hs:182)
Any_Sym2 (src/Data/Singletons/Prelude/List.hs:182)
AllSym0 (src/Data/Singletons/Prelude/List.hs:188)
AllSym1 (src/Data/Singletons/Prelude/List.hs:188)
AllSym2 (src/Data/Singletons/Prelude/List.hs:188)
ScanlSym0 (src/Data/Singletons/Prelude/List.hs:188)
ScanlSym1 (src/Data/Singletons/Prelude/List.hs:188)
ScanlSym2 (src/Data/Singletons/Prelude/List.hs:188)
ScanlSym3 (src/Data/Singletons/Prelude/List.hs:188)
Scanl1Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Scanl1Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Scanl1Sym2 (src/Data/Singletons/Prelude/List.hs:188)
ScanrSym0 (src/Data/Singletons/Prelude/List.hs:188)
ScanrSym1 (src/Data/Singletons/Prelude/List.hs:188)
ScanrSym2 (src/Data/Singletons/Prelude/List.hs:188)
ScanrSym3 (src/Data/Singletons/Prelude/List.hs:188)
Scanr1Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Scanr1Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Scanr1Sym2 (src/Data/Singletons/Prelude/List.hs:188)
ElemSym0 (src/Data/Singletons/Prelude/List.hs:188)
ElemSym1 (src/Data/Singletons/Prelude/List.hs:188)
ElemSym2 (src/Data/Singletons/Prelude/List.hs:188)
NotElemSym0 (src/Data/Singletons/Prelude/List.hs:188)
NotElemSym1 (src/Data/Singletons/Prelude/List.hs:188)
NotElemSym2 (src/Data/Singletons/Prelude/List.hs:188)
ZipSym0 (src/Data/Singletons/Prelude/List.hs:188)
ZipSym1 (src/Data/Singletons/Prelude/List.hs:188)
ZipSym2 (src/Data/Singletons/Prelude/List.hs:188)
Zip3Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Zip3Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Zip3Sym2 (src/Data/Singletons/Prelude/List.hs:188)
Zip3Sym3 (src/Data/Singletons/Prelude/List.hs:188)
ZipWithSym0 (src/Data/Singletons/Prelude/List.hs:188)
ZipWithSym1 (src/Data/Singletons/Prelude/List.hs:188)
ZipWithSym2 (src/Data/Singletons/Prelude/List.hs:188)
ZipWithSym3 (src/Data/Singletons/Prelude/List.hs:188)
ZipWith3Sym0 (src/Data/Singletons/Prelude/List.hs:188)
ZipWith3Sym1 (src/Data/Singletons/Prelude/List.hs:188)
ZipWith3Sym2 (src/Data/Singletons/Prelude/List.hs:188)
ZipWith3Sym3 (src/Data/Singletons/Prelude/List.hs:188)
UnzipSym0 (src/Data/Singletons/Prelude/List.hs:188)
UnzipSym1 (src/Data/Singletons/Prelude/List.hs:188)
6% ( 27 /463) in 'Data.Promotion.Prelude.List'
Missing documentation for:
:++ (src/Data/Singletons/Prelude/Base.hs:54)
Head (src/Data/Singletons/Prelude/List.hs:188)
Last (src/Data/Singletons/Prelude/List.hs:188)
Tail (src/Data/Singletons/Prelude/List.hs:188)
Init (src/Data/Singletons/Prelude/List.hs:188)
Null (src/Data/Singletons/Prelude/List.hs:188)
Length (src/Data/Promotion/Prelude/List.hs:242)
Map (src/Data/Singletons/Prelude/Base.hs:54)
Reverse (src/Data/Singletons/Prelude/List.hs:188)
Intersperse (src/Data/Singletons/Prelude/List.hs:188)
Intercalate (src/Data/Singletons/Prelude/List.hs:188)
Transpose (src/Data/Promotion/Prelude/List.hs:242)
Subsequences (src/Data/Singletons/Prelude/List.hs:188)
Permutations (src/Data/Singletons/Prelude/List.hs:188)
Foldl (src/Data/Singletons/Prelude/List.hs:188)
Foldl' (src/Data/Singletons/Prelude/List.hs:188)
Foldl1 (src/Data/Singletons/Prelude/List.hs:188)
Foldl1' (src/Data/Singletons/Prelude/List.hs:188)
Foldr (src/Data/Singletons/Prelude/Base.hs:54)
Foldr1 (src/Data/Singletons/Prelude/List.hs:188)
Concat (src/Data/Singletons/Prelude/List.hs:188)
ConcatMap (src/Data/Singletons/Prelude/List.hs:188)
And (src/Data/Singletons/Prelude/List.hs:188)
Or (src/Data/Singletons/Prelude/List.hs:188)
Any_ (src/Data/Singletons/Prelude/List.hs:182)
All (src/Data/Singletons/Prelude/List.hs:188)
Sum (src/Data/Promotion/Prelude/List.hs:242)
Product (src/Data/Promotion/Prelude/List.hs:242)
Maximum (src/Data/Promotion/Prelude/List.hs:242)
Minimum (src/Data/Promotion/Prelude/List.hs:242)
any_ (src/Data/Singletons/Prelude/List.hs:182)
Scanl (src/Data/Singletons/Prelude/List.hs:188)
Scanl1 (src/Data/Singletons/Prelude/List.hs:188)
Scanr (src/Data/Singletons/Prelude/List.hs:188)
Scanr1 (src/Data/Singletons/Prelude/List.hs:188)
MapAccumL (src/Data/Singletons/Prelude/List.hs:188)
MapAccumR (src/Data/Singletons/Prelude/List.hs:188)
Replicate (src/Data/Promotion/Prelude/List.hs:242)
Unfoldr (src/Data/Singletons/Prelude/List.hs:188)
Take (src/Data/Promotion/Prelude/List.hs:242)
Drop (src/Data/Promotion/Prelude/List.hs:242)
SplitAt (src/Data/Promotion/Prelude/List.hs:242)
TakeWhile (src/Data/Promotion/Prelude/List.hs:242)
DropWhile (src/Data/Promotion/Prelude/List.hs:242)
DropWhileEnd (src/Data/Promotion/Prelude/List.hs:242)
Span (src/Data/Promotion/Prelude/List.hs:242)
Break (src/Data/Promotion/Prelude/List.hs:242)
StripPrefix (src/Data/Promotion/Prelude/List.hs:242)
Group (src/Data/Promotion/Prelude/List.hs:242)
Inits (src/Data/Singletons/Prelude/List.hs:188)
Tails (src/Data/Singletons/Prelude/List.hs:188)
IsPrefixOf (src/Data/Singletons/Prelude/List.hs:188)
IsSuffixOf (src/Data/Singletons/Prelude/List.hs:188)
IsInfixOf (src/Data/Singletons/Prelude/List.hs:188)
Elem (src/Data/Singletons/Prelude/List.hs:188)
NotElem (src/Data/Singletons/Prelude/List.hs:188)
Lookup (src/Data/Promotion/Prelude/List.hs:242)
Find (src/Data/Promotion/Prelude/List.hs:242)
Filter (src/Data/Promotion/Prelude/List.hs:242)
Partition (src/Data/Promotion/Prelude/List.hs:242)
:!! (src/Data/Promotion/Prelude/List.hs:242)
ElemIndex (src/Data/Promotion/Prelude/List.hs:242)
ElemIndices (src/Data/Promotion/Prelude/List.hs:242)
FindIndex (src/Data/Promotion/Prelude/List.hs:242)
FindIndices (src/Data/Promotion/Prelude/List.hs:242)
Zip (src/Data/Singletons/Prelude/List.hs:188)
Zip3 (src/Data/Singletons/Prelude/List.hs:188)
Zip4 (src/Data/Promotion/Prelude/List.hs:242)
Zip5 (src/Data/Promotion/Prelude/List.hs:242)
Zip6 (src/Data/Promotion/Prelude/List.hs:242)
Zip7 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith (src/Data/Singletons/Prelude/List.hs:188)
ZipWith3 (src/Data/Singletons/Prelude/List.hs:188)
ZipWith4 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith5 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith6 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith7 (src/Data/Promotion/Prelude/List.hs:242)
Unzip (src/Data/Singletons/Prelude/List.hs:188)
Unzip3 (src/Data/Singletons/Prelude/List.hs:188)
Unzip4 (src/Data/Singletons/Prelude/List.hs:188)
Unzip5 (src/Data/Singletons/Prelude/List.hs:188)
Unzip6 (src/Data/Singletons/Prelude/List.hs:188)
Unzip7 (src/Data/Singletons/Prelude/List.hs:188)
Nub (src/Data/Promotion/Prelude/List.hs:242)
Delete (src/Data/Singletons/Prelude/List.hs:188)
:\\ (src/Data/Singletons/Prelude/List.hs:188)
Union (src/Data/Promotion/Prelude/List.hs:242)
Intersect (src/Data/Promotion/Prelude/List.hs:242)
Sort (src/Data/Promotion/Prelude/List.hs:242)
Insert (src/Data/Promotion/Prelude/List.hs:242)
NubBy (src/Data/Promotion/Prelude/List.hs:242)
DeleteBy (src/Data/Singletons/Prelude/List.hs:188)
DeleteFirstsBy (src/Data/Singletons/Prelude/List.hs:188)
UnionBy (src/Data/Promotion/Prelude/List.hs:242)
GroupBy (src/Data/Promotion/Prelude/List.hs:242)
IntersectBy (src/Data/Promotion/Prelude/List.hs:242)
SortBy (src/Data/Singletons/Prelude/List.hs:188)
InsertBy (src/Data/Singletons/Prelude/List.hs:188)
MaximumBy (src/Data/Singletons/Prelude/List.hs:188)
MinimumBy (src/Data/Singletons/Prelude/List.hs:188)
GenericLength (src/Data/Promotion/Prelude/List.hs:242)
GenericTake (src/Data/Promotion/Prelude/List.hs:242)
GenericDrop (src/Data/Promotion/Prelude/List.hs:242)
GenericSplitAt (src/Data/Promotion/Prelude/List.hs:242)
GenericIndex (src/Data/Promotion/Prelude/List.hs:242)
GenericReplicate (src/Data/Promotion/Prelude/List.hs:242)
NilSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
:$ (src/Data/Singletons/Prelude/Instances.hs:27)
:$$ (src/Data/Singletons/Prelude/Instances.hs:27)
:$$$ (src/Data/Singletons/Prelude/Instances.hs:27)
:++$$ (src/Data/Singletons/Prelude/Base.hs:54)
:++$ (src/Data/Singletons/Prelude/Base.hs:54)
HeadSym0 (src/Data/Singletons/Prelude/List.hs:188)
HeadSym1 (src/Data/Singletons/Prelude/List.hs:188)
LastSym0 (src/Data/Singletons/Prelude/List.hs:188)
LastSym1 (src/Data/Singletons/Prelude/List.hs:188)
TailSym0 (src/Data/Singletons/Prelude/List.hs:188)
TailSym1 (src/Data/Singletons/Prelude/List.hs:188)
InitSym0 (src/Data/Singletons/Prelude/List.hs:188)
InitSym1 (src/Data/Singletons/Prelude/List.hs:188)
NullSym0 (src/Data/Singletons/Prelude/List.hs:188)
NullSym1 (src/Data/Singletons/Prelude/List.hs:188)
MapSym0 (src/Data/Singletons/Prelude/Base.hs:54)
MapSym1 (src/Data/Singletons/Prelude/Base.hs:54)
MapSym2 (src/Data/Singletons/Prelude/Base.hs:54)
ReverseSym0 (src/Data/Singletons/Prelude/List.hs:188)
ReverseSym1 (src/Data/Singletons/Prelude/List.hs:188)
IntersperseSym0 (src/Data/Singletons/Prelude/List.hs:188)
IntersperseSym1 (src/Data/Singletons/Prelude/List.hs:188)
IntersperseSym2 (src/Data/Singletons/Prelude/List.hs:188)
IntercalateSym0 (src/Data/Singletons/Prelude/List.hs:188)
IntercalateSym1 (src/Data/Singletons/Prelude/List.hs:188)
IntercalateSym2 (src/Data/Singletons/Prelude/List.hs:188)
SubsequencesSym0 (src/Data/Singletons/Prelude/List.hs:188)
SubsequencesSym1 (src/Data/Singletons/Prelude/List.hs:188)
PermutationsSym0 (src/Data/Singletons/Prelude/List.hs:188)
PermutationsSym1 (src/Data/Singletons/Prelude/List.hs:188)
FoldlSym0 (src/Data/Singletons/Prelude/List.hs:188)
FoldlSym1 (src/Data/Singletons/Prelude/List.hs:188)
FoldlSym2 (src/Data/Singletons/Prelude/List.hs:188)
FoldlSym3 (src/Data/Singletons/Prelude/List.hs:188)
Foldl'Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Foldl'Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Foldl'Sym2 (src/Data/Singletons/Prelude/List.hs:188)
Foldl'Sym3 (src/Data/Singletons/Prelude/List.hs:188)
Foldl1Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Foldl1Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Foldl1Sym2 (src/Data/Singletons/Prelude/List.hs:188)
Foldl1'Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Foldl1'Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Foldl1'Sym2 (src/Data/Singletons/Prelude/List.hs:188)
FoldrSym0 (src/Data/Singletons/Prelude/Base.hs:54)
FoldrSym1 (src/Data/Singletons/Prelude/Base.hs:54)
FoldrSym2 (src/Data/Singletons/Prelude/Base.hs:54)
FoldrSym3 (src/Data/Singletons/Prelude/Base.hs:54)
Foldr1Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Foldr1Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Foldr1Sym2 (src/Data/Singletons/Prelude/List.hs:188)
ConcatSym0 (src/Data/Singletons/Prelude/List.hs:188)
ConcatSym1 (src/Data/Singletons/Prelude/List.hs:188)
ConcatMapSym0 (src/Data/Singletons/Prelude/List.hs:188)
ConcatMapSym1 (src/Data/Singletons/Prelude/List.hs:188)
ConcatMapSym2 (src/Data/Singletons/Prelude/List.hs:188)
AndSym0 (src/Data/Singletons/Prelude/List.hs:188)
AndSym1 (src/Data/Singletons/Prelude/List.hs:188)
OrSym0 (src/Data/Singletons/Prelude/List.hs:188)
OrSym1 (src/Data/Singletons/Prelude/List.hs:188)
Any_Sym0 (src/Data/Singletons/Prelude/List.hs:182)
Any_Sym1 (src/Data/Singletons/Prelude/List.hs:182)
Any_Sym2 (src/Data/Singletons/Prelude/List.hs:182)
AllSym0 (src/Data/Singletons/Prelude/List.hs:188)
AllSym1 (src/Data/Singletons/Prelude/List.hs:188)
AllSym2 (src/Data/Singletons/Prelude/List.hs:188)
ScanlSym0 (src/Data/Singletons/Prelude/List.hs:188)
ScanlSym1 (src/Data/Singletons/Prelude/List.hs:188)
ScanlSym2 (src/Data/Singletons/Prelude/List.hs:188)
ScanlSym3 (src/Data/Singletons/Prelude/List.hs:188)
Scanl1Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Scanl1Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Scanl1Sym2 (src/Data/Singletons/Prelude/List.hs:188)
ScanrSym0 (src/Data/Singletons/Prelude/List.hs:188)
ScanrSym1 (src/Data/Singletons/Prelude/List.hs:188)
ScanrSym2 (src/Data/Singletons/Prelude/List.hs:188)
ScanrSym3 (src/Data/Singletons/Prelude/List.hs:188)
Scanr1Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Scanr1Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Scanr1Sym2 (src/Data/Singletons/Prelude/List.hs:188)
MapAccumLSym0 (src/Data/Singletons/Prelude/List.hs:188)
MapAccumLSym1 (src/Data/Singletons/Prelude/List.hs:188)
MapAccumLSym2 (src/Data/Singletons/Prelude/List.hs:188)
MapAccumLSym3 (src/Data/Singletons/Prelude/List.hs:188)
MapAccumRSym0 (src/Data/Singletons/Prelude/List.hs:188)
MapAccumRSym1 (src/Data/Singletons/Prelude/List.hs:188)
MapAccumRSym2 (src/Data/Singletons/Prelude/List.hs:188)
MapAccumRSym3 (src/Data/Singletons/Prelude/List.hs:188)
UnfoldrSym0 (src/Data/Singletons/Prelude/List.hs:188)
UnfoldrSym1 (src/Data/Singletons/Prelude/List.hs:188)
UnfoldrSym2 (src/Data/Singletons/Prelude/List.hs:188)
InitsSym0 (src/Data/Singletons/Prelude/List.hs:188)
InitsSym1 (src/Data/Singletons/Prelude/List.hs:188)
TailsSym0 (src/Data/Singletons/Prelude/List.hs:188)
TailsSym1 (src/Data/Singletons/Prelude/List.hs:188)
IsPrefixOfSym0 (src/Data/Singletons/Prelude/List.hs:188)
IsPrefixOfSym1 (src/Data/Singletons/Prelude/List.hs:188)
IsPrefixOfSym2 (src/Data/Singletons/Prelude/List.hs:188)
IsSuffixOfSym0 (src/Data/Singletons/Prelude/List.hs:188)
IsSuffixOfSym1 (src/Data/Singletons/Prelude/List.hs:188)
IsSuffixOfSym2 (src/Data/Singletons/Prelude/List.hs:188)
IsInfixOfSym0 (src/Data/Singletons/Prelude/List.hs:188)
IsInfixOfSym1 (src/Data/Singletons/Prelude/List.hs:188)
IsInfixOfSym2 (src/Data/Singletons/Prelude/List.hs:188)
ElemSym0 (src/Data/Singletons/Prelude/List.hs:188)
ElemSym1 (src/Data/Singletons/Prelude/List.hs:188)
ElemSym2 (src/Data/Singletons/Prelude/List.hs:188)
NotElemSym0 (src/Data/Singletons/Prelude/List.hs:188)
NotElemSym1 (src/Data/Singletons/Prelude/List.hs:188)
NotElemSym2 (src/Data/Singletons/Prelude/List.hs:188)
ZipSym0 (src/Data/Singletons/Prelude/List.hs:188)
ZipSym1 (src/Data/Singletons/Prelude/List.hs:188)
ZipSym2 (src/Data/Singletons/Prelude/List.hs:188)
Zip3Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Zip3Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Zip3Sym2 (src/Data/Singletons/Prelude/List.hs:188)
Zip3Sym3 (src/Data/Singletons/Prelude/List.hs:188)
ZipWithSym0 (src/Data/Singletons/Prelude/List.hs:188)
ZipWithSym1 (src/Data/Singletons/Prelude/List.hs:188)
ZipWithSym2 (src/Data/Singletons/Prelude/List.hs:188)
ZipWithSym3 (src/Data/Singletons/Prelude/List.hs:188)
ZipWith3Sym0 (src/Data/Singletons/Prelude/List.hs:188)
ZipWith3Sym1 (src/Data/Singletons/Prelude/List.hs:188)
ZipWith3Sym2 (src/Data/Singletons/Prelude/List.hs:188)
ZipWith3Sym3 (src/Data/Singletons/Prelude/List.hs:188)
UnzipSym0 (src/Data/Singletons/Prelude/List.hs:188)
UnzipSym1 (src/Data/Singletons/Prelude/List.hs:188)
Unzip3Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Unzip3Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Unzip4Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Unzip4Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Unzip5Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Unzip5Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Unzip6Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Unzip6Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Unzip7Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Unzip7Sym1 (src/Data/Singletons/Prelude/List.hs:188)
DeleteSym0 (src/Data/Singletons/Prelude/List.hs:188)
DeleteSym1 (src/Data/Singletons/Prelude/List.hs:188)
DeleteSym2 (src/Data/Singletons/Prelude/List.hs:188)
:\\$ (src/Data/Singletons/Prelude/List.hs:188)
:\\$$ (src/Data/Singletons/Prelude/List.hs:188)
:\\$$$ (src/Data/Singletons/Prelude/List.hs:188)
IntersectSym0 (src/Data/Promotion/Prelude/List.hs:242)
IntersectSym1 (src/Data/Promotion/Prelude/List.hs:242)
IntersectSym2 (src/Data/Promotion/Prelude/List.hs:242)
InsertSym0 (src/Data/Promotion/Prelude/List.hs:242)
InsertSym1 (src/Data/Promotion/Prelude/List.hs:242)
InsertSym2 (src/Data/Promotion/Prelude/List.hs:242)
SortSym0 (src/Data/Promotion/Prelude/List.hs:242)
SortSym1 (src/Data/Promotion/Prelude/List.hs:242)
DeleteBySym0 (src/Data/Singletons/Prelude/List.hs:188)
DeleteBySym1 (src/Data/Singletons/Prelude/List.hs:188)
DeleteBySym2 (src/Data/Singletons/Prelude/List.hs:188)
DeleteBySym3 (src/Data/Singletons/Prelude/List.hs:188)
DeleteFirstsBySym0 (src/Data/Singletons/Prelude/List.hs:188)
DeleteFirstsBySym1 (src/Data/Singletons/Prelude/List.hs:188)
DeleteFirstsBySym2 (src/Data/Singletons/Prelude/List.hs:188)
DeleteFirstsBySym3 (src/Data/Singletons/Prelude/List.hs:188)
IntersectBySym0 (src/Data/Promotion/Prelude/List.hs:242)
IntersectBySym1 (src/Data/Promotion/Prelude/List.hs:242)
IntersectBySym2 (src/Data/Promotion/Prelude/List.hs:242)
SortBySym0 (src/Data/Singletons/Prelude/List.hs:188)
SortBySym1 (src/Data/Singletons/Prelude/List.hs:188)
SortBySym2 (src/Data/Singletons/Prelude/List.hs:188)
InsertBySym0 (src/Data/Singletons/Prelude/List.hs:188)
InsertBySym1 (src/Data/Singletons/Prelude/List.hs:188)
InsertBySym2 (src/Data/Singletons/Prelude/List.hs:188)
InsertBySym3 (src/Data/Singletons/Prelude/List.hs:188)
MaximumBySym0 (src/Data/Singletons/Prelude/List.hs:188)
MaximumBySym1 (src/Data/Singletons/Prelude/List.hs:188)
MaximumBySym2 (src/Data/Singletons/Prelude/List.hs:188)
MinimumBySym0 (src/Data/Singletons/Prelude/List.hs:188)
MinimumBySym1 (src/Data/Singletons/Prelude/List.hs:188)
MinimumBySym2 (src/Data/Singletons/Prelude/List.hs:188)
LengthSym0 (src/Data/Promotion/Prelude/List.hs:242)
LengthSym1 (src/Data/Promotion/Prelude/List.hs:242)
SumSym0 (src/Data/Promotion/Prelude/List.hs:242)
SumSym1 (src/Data/Promotion/Prelude/List.hs:242)
ProductSym0 (src/Data/Promotion/Prelude/List.hs:242)
ProductSym1 (src/Data/Promotion/Prelude/List.hs:242)
ReplicateSym0 (src/Data/Promotion/Prelude/List.hs:242)
ReplicateSym1 (src/Data/Promotion/Prelude/List.hs:242)
ReplicateSym2 (src/Data/Promotion/Prelude/List.hs:242)
TransposeSym0 (src/Data/Promotion/Prelude/List.hs:242)
TransposeSym1 (src/Data/Promotion/Prelude/List.hs:242)
TakeSym0 (src/Data/Promotion/Prelude/List.hs:242)
TakeSym1 (src/Data/Promotion/Prelude/List.hs:242)
TakeSym2 (src/Data/Promotion/Prelude/List.hs:242)
DropSym0 (src/Data/Promotion/Prelude/List.hs:242)
DropSym1 (src/Data/Promotion/Prelude/List.hs:242)
DropSym2 (src/Data/Promotion/Prelude/List.hs:242)
SplitAtSym0 (src/Data/Promotion/Prelude/List.hs:242)
SplitAtSym1 (src/Data/Promotion/Prelude/List.hs:242)
SplitAtSym2 (src/Data/Promotion/Prelude/List.hs:242)
TakeWhileSym0 (src/Data/Promotion/Prelude/List.hs:242)
TakeWhileSym1 (src/Data/Promotion/Prelude/List.hs:242)
TakeWhileSym2 (src/Data/Promotion/Prelude/List.hs:242)
DropWhileSym0 (src/Data/Promotion/Prelude/List.hs:242)
DropWhileSym1 (src/Data/Promotion/Prelude/List.hs:242)
DropWhileSym2 (src/Data/Promotion/Prelude/List.hs:242)
DropWhileEndSym0 (src/Data/Promotion/Prelude/List.hs:242)
DropWhileEndSym1 (src/Data/Promotion/Prelude/List.hs:242)
DropWhileEndSym2 (src/Data/Promotion/Prelude/List.hs:242)
SpanSym0 (src/Data/Promotion/Prelude/List.hs:242)
SpanSym1 (src/Data/Promotion/Prelude/List.hs:242)
SpanSym2 (src/Data/Promotion/Prelude/List.hs:242)
BreakSym0 (src/Data/Promotion/Prelude/List.hs:242)
BreakSym1 (src/Data/Promotion/Prelude/List.hs:242)
BreakSym2 (src/Data/Promotion/Prelude/List.hs:242)
StripPrefixSym0 (src/Data/Promotion/Prelude/List.hs:242)
StripPrefixSym1 (src/Data/Promotion/Prelude/List.hs:242)
MaximumSym0 (src/Data/Promotion/Prelude/List.hs:242)
MaximumSym1 (src/Data/Promotion/Prelude/List.hs:242)
MinimumSym0 (src/Data/Promotion/Prelude/List.hs:242)
MinimumSym1 (src/Data/Promotion/Prelude/List.hs:242)
GroupSym0 (src/Data/Promotion/Prelude/List.hs:242)
GroupSym1 (src/Data/Promotion/Prelude/List.hs:242)
GroupBySym0 (src/Data/Promotion/Prelude/List.hs:242)
GroupBySym1 (src/Data/Promotion/Prelude/List.hs:242)
GroupBySym2 (src/Data/Promotion/Prelude/List.hs:242)
LookupSym0 (src/Data/Promotion/Prelude/List.hs:242)
LookupSym1 (src/Data/Promotion/Prelude/List.hs:242)
LookupSym2 (src/Data/Promotion/Prelude/List.hs:242)
FindSym0 (src/Data/Promotion/Prelude/List.hs:242)
FindSym1 (src/Data/Promotion/Prelude/List.hs:242)
FindSym2 (src/Data/Promotion/Prelude/List.hs:242)
FilterSym0 (src/Data/Promotion/Prelude/List.hs:242)
FilterSym1 (src/Data/Promotion/Prelude/List.hs:242)
FilterSym2 (src/Data/Promotion/Prelude/List.hs:242)
PartitionSym0 (src/Data/Promotion/Prelude/List.hs:242)
PartitionSym1 (src/Data/Promotion/Prelude/List.hs:242)
PartitionSym2 (src/Data/Promotion/Prelude/List.hs:242)
:!!$ (src/Data/Promotion/Prelude/List.hs:242)
:!!$$ (src/Data/Promotion/Prelude/List.hs:242)
:!!$$$ (src/Data/Promotion/Prelude/List.hs:242)
ElemIndexSym0 (src/Data/Promotion/Prelude/List.hs:242)
ElemIndexSym1 (src/Data/Promotion/Prelude/List.hs:242)
ElemIndexSym2 (src/Data/Promotion/Prelude/List.hs:242)
ElemIndicesSym0 (src/Data/Promotion/Prelude/List.hs:242)
ElemIndicesSym1 (src/Data/Promotion/Prelude/List.hs:242)
ElemIndicesSym2 (src/Data/Promotion/Prelude/List.hs:242)
FindIndexSym0 (src/Data/Promotion/Prelude/List.hs:242)
FindIndexSym1 (src/Data/Promotion/Prelude/List.hs:242)
FindIndexSym2 (src/Data/Promotion/Prelude/List.hs:242)
FindIndicesSym0 (src/Data/Promotion/Prelude/List.hs:242)
FindIndicesSym1 (src/Data/Promotion/Prelude/List.hs:242)
FindIndicesSym2 (src/Data/Promotion/Prelude/List.hs:242)
Zip4Sym0 (src/Data/Promotion/Prelude/List.hs:242)
Zip4Sym1 (src/Data/Promotion/Prelude/List.hs:242)
Zip4Sym2 (src/Data/Promotion/Prelude/List.hs:242)
Zip4Sym3 (src/Data/Promotion/Prelude/List.hs:242)
Zip4Sym4 (src/Data/Promotion/Prelude/List.hs:242)
Zip5Sym0 (src/Data/Promotion/Prelude/List.hs:242)
Zip5Sym1 (src/Data/Promotion/Prelude/List.hs:242)
Zip5Sym2 (src/Data/Promotion/Prelude/List.hs:242)
Zip5Sym3 (src/Data/Promotion/Prelude/List.hs:242)
Zip5Sym4 (src/Data/Promotion/Prelude/List.hs:242)
Zip5Sym5 (src/Data/Promotion/Prelude/List.hs:242)
Zip6Sym0 (src/Data/Promotion/Prelude/List.hs:242)
Zip6Sym1 (src/Data/Promotion/Prelude/List.hs:242)
Zip6Sym2 (src/Data/Promotion/Prelude/List.hs:242)
Zip6Sym3 (src/Data/Promotion/Prelude/List.hs:242)
Zip6Sym4 (src/Data/Promotion/Prelude/List.hs:242)
Zip6Sym5 (src/Data/Promotion/Prelude/List.hs:242)
Zip6Sym6 (src/Data/Promotion/Prelude/List.hs:242)
Zip7Sym0 (src/Data/Promotion/Prelude/List.hs:242)
Zip7Sym1 (src/Data/Promotion/Prelude/List.hs:242)
Zip7Sym2 (src/Data/Promotion/Prelude/List.hs:242)
Zip7Sym3 (src/Data/Promotion/Prelude/List.hs:242)
Zip7Sym4 (src/Data/Promotion/Prelude/List.hs:242)
Zip7Sym5 (src/Data/Promotion/Prelude/List.hs:242)
Zip7Sym6 (src/Data/Promotion/Prelude/List.hs:242)
Zip7Sym7 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith4Sym0 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith4Sym1 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith4Sym2 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith4Sym3 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith4Sym4 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith5Sym0 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith5Sym1 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith5Sym2 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith5Sym3 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith5Sym4 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith5Sym5 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith6Sym0 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith6Sym1 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith6Sym2 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith6Sym3 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith6Sym4 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith6Sym5 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith6Sym6 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith7Sym0 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith7Sym1 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith7Sym2 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith7Sym3 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith7Sym4 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith7Sym5 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith7Sym6 (src/Data/Promotion/Prelude/List.hs:242)
ZipWith7Sym7 (src/Data/Promotion/Prelude/List.hs:242)
NubSym0 (src/Data/Promotion/Prelude/List.hs:242)
NubSym1 (src/Data/Promotion/Prelude/List.hs:242)
NubBySym0 (src/Data/Promotion/Prelude/List.hs:242)
NubBySym1 (src/Data/Promotion/Prelude/List.hs:242)
NubBySym2 (src/Data/Promotion/Prelude/List.hs:242)
UnionSym0 (src/Data/Promotion/Prelude/List.hs:242)
UnionSym1 (src/Data/Promotion/Prelude/List.hs:242)
UnionSym2 (src/Data/Promotion/Prelude/List.hs:242)
UnionBySym0 (src/Data/Promotion/Prelude/List.hs:242)
UnionBySym1 (src/Data/Promotion/Prelude/List.hs:242)
UnionBySym2 (src/Data/Promotion/Prelude/List.hs:242)
UnionBySym3 (src/Data/Promotion/Prelude/List.hs:242)
GenericLengthSym0 (src/Data/Promotion/Prelude/List.hs:242)
GenericLengthSym1 (src/Data/Promotion/Prelude/List.hs:242)
GenericTakeSym0 (src/Data/Promotion/Prelude/List.hs:242)
GenericTakeSym1 (src/Data/Promotion/Prelude/List.hs:242)
GenericTakeSym2 (src/Data/Promotion/Prelude/List.hs:242)
GenericDropSym0 (src/Data/Promotion/Prelude/List.hs:242)
GenericDropSym1 (src/Data/Promotion/Prelude/List.hs:242)
GenericDropSym2 (src/Data/Promotion/Prelude/List.hs:242)
GenericSplitAtSym0 (src/Data/Promotion/Prelude/List.hs:242)
GenericSplitAtSym1 (src/Data/Promotion/Prelude/List.hs:242)
GenericSplitAtSym2 (src/Data/Promotion/Prelude/List.hs:242)
GenericIndexSym0 (src/Data/Promotion/Prelude/List.hs:242)
GenericIndexSym1 (src/Data/Promotion/Prelude/List.hs:242)
GenericIndexSym2 (src/Data/Promotion/Prelude/List.hs:242)
GenericReplicateSym0 (src/Data/Promotion/Prelude/List.hs:242)
GenericReplicateSym1 (src/Data/Promotion/Prelude/List.hs:242)
GenericReplicateSym2 (src/Data/Promotion/Prelude/List.hs:242)
10% ( 4 / 39) in 'Data.Promotion.Prelude.Maybe'
Missing documentation for:
maybe_ (src/Data/Singletons/Prelude/Maybe.hs:68)
Maybe_ (src/Data/Singletons/Prelude/Maybe.hs:68)
IsJust (src/Data/Singletons/Prelude/Maybe.hs:79)
IsNothing (src/Data/Singletons/Prelude/Maybe.hs:79)
FromJust (src/Data/Singletons/Prelude/Maybe.hs:79)
FromMaybe (src/Data/Singletons/Prelude/Maybe.hs:79)
MaybeToList (src/Data/Singletons/Prelude/Maybe.hs:79)
ListToMaybe (src/Data/Singletons/Prelude/Maybe.hs:79)
CatMaybes (src/Data/Singletons/Prelude/Maybe.hs:79)
MapMaybe (src/Data/Singletons/Prelude/Maybe.hs:79)
NothingSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
JustSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
JustSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Maybe_Sym0 (src/Data/Singletons/Prelude/Maybe.hs:68)
Maybe_Sym1 (src/Data/Singletons/Prelude/Maybe.hs:68)
Maybe_Sym2 (src/Data/Singletons/Prelude/Maybe.hs:68)
Maybe_Sym3 (src/Data/Singletons/Prelude/Maybe.hs:68)
IsJustSym0 (src/Data/Singletons/Prelude/Maybe.hs:79)
IsJustSym1 (src/Data/Singletons/Prelude/Maybe.hs:79)
IsNothingSym0 (src/Data/Singletons/Prelude/Maybe.hs:79)
IsNothingSym1 (src/Data/Singletons/Prelude/Maybe.hs:79)
FromJustSym0 (src/Data/Singletons/Prelude/Maybe.hs:79)
FromJustSym1 (src/Data/Singletons/Prelude/Maybe.hs:79)
FromMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:79)
FromMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:79)
FromMaybeSym2 (src/Data/Singletons/Prelude/Maybe.hs:79)
MaybeToListSym0 (src/Data/Singletons/Prelude/Maybe.hs:79)
MaybeToListSym1 (src/Data/Singletons/Prelude/Maybe.hs:79)
ListToMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:79)
ListToMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:79)
CatMaybesSym0 (src/Data/Singletons/Prelude/Maybe.hs:79)
CatMaybesSym1 (src/Data/Singletons/Prelude/Maybe.hs:79)
MapMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:79)
MapMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:79)
MapMaybeSym2 (src/Data/Singletons/Prelude/Maybe.hs:79)
8% ( 28 /339) in 'Data.Promotion.Prelude'
Missing documentation for:
Not (src/Data/Singletons/Prelude/Bool.hs:72)
:&& (src/Data/Singletons/Prelude/Bool.hs:72)
:|| (src/Data/Singletons/Prelude/Bool.hs:72)
Otherwise (src/Data/Singletons/Prelude/Bool.hs:72)
maybe_ (src/Data/Singletons/Prelude/Maybe.hs:68)
Maybe_ (src/Data/Singletons/Prelude/Maybe.hs:68)
either_ (src/Data/Singletons/Prelude/Either.hs:64)
Either_ (src/Data/Singletons/Prelude/Either.hs:64)
Fst (src/Data/Singletons/Prelude/Tuple.hs:56)
Snd (src/Data/Singletons/Prelude/Tuple.hs:56)
Curry (src/Data/Singletons/Prelude/Tuple.hs:56)
Uncurry (src/Data/Singletons/Prelude/Tuple.hs:56)
ErrorSym0 (src/Data/Singletons/TypeLits.hs:208)
:+ (src/Data/Singletons/TypeLits.hs:140)
:- (src/Data/Singletons/TypeLits.hs:141)
:* (src/Data/Singletons/TypeLits.hs:142)
:^ (src/Data/Singletons/TypeLits.hs:143)
Id (src/Data/Singletons/Prelude/Base.hs:54)
Const (src/Data/Singletons/Prelude/Base.hs:54)
:. (src/Data/Singletons/Prelude/Base.hs:54)
$ (src/Data/Singletons/Prelude/Base.hs:92)
$! (src/Data/Singletons/Prelude/Base.hs:107)
Flip (src/Data/Singletons/Prelude/Base.hs:54)
AsTypeOf (src/Data/Singletons/Prelude/Base.hs:54)
Until (src/Data/Promotion/Prelude/Base.hs:48)
Seq (src/Data/Singletons/Prelude/Base.hs:54)
Map (src/Data/Singletons/Prelude/Base.hs:54)
:++ (src/Data/Singletons/Prelude/Base.hs:54)
Filter (src/Data/Promotion/Prelude/List.hs:242)
Head (src/Data/Singletons/Prelude/List.hs:188)
Last (src/Data/Singletons/Prelude/List.hs:188)
Tail (src/Data/Singletons/Prelude/List.hs:188)
Init (src/Data/Singletons/Prelude/List.hs:188)
Null (src/Data/Singletons/Prelude/List.hs:188)
Length (src/Data/Promotion/Prelude/List.hs:242)
:!! (src/Data/Promotion/Prelude/List.hs:242)
Reverse (src/Data/Singletons/Prelude/List.hs:188)
Foldl (src/Data/Singletons/Prelude/List.hs:188)
Foldl1 (src/Data/Singletons/Prelude/List.hs:188)
Foldr (src/Data/Singletons/Prelude/Base.hs:54)
Foldr1 (src/Data/Singletons/Prelude/List.hs:188)
And (src/Data/Singletons/Prelude/List.hs:188)
Or (src/Data/Singletons/Prelude/List.hs:188)
any_ (src/Data/Singletons/Prelude/List.hs:182)
Any_ (src/Data/Singletons/Prelude/List.hs:182)
All (src/Data/Singletons/Prelude/List.hs:188)
Sum (src/Data/Promotion/Prelude/List.hs:242)
Product (src/Data/Promotion/Prelude/List.hs:242)
Concat (src/Data/Singletons/Prelude/List.hs:188)
ConcatMap (src/Data/Singletons/Prelude/List.hs:188)
Maximum (src/Data/Promotion/Prelude/List.hs:242)
Minimum (src/Data/Promotion/Prelude/List.hs:242)
Scanl (src/Data/Singletons/Prelude/List.hs:188)
Scanl1 (src/Data/Singletons/Prelude/List.hs:188)
Scanr (src/Data/Singletons/Prelude/List.hs:188)
Scanr1 (src/Data/Singletons/Prelude/List.hs:188)
Replicate (src/Data/Promotion/Prelude/List.hs:242)
Take (src/Data/Promotion/Prelude/List.hs:242)
Drop (src/Data/Promotion/Prelude/List.hs:242)
SplitAt (src/Data/Promotion/Prelude/List.hs:242)
TakeWhile (src/Data/Promotion/Prelude/List.hs:242)
DropWhile (src/Data/Promotion/Prelude/List.hs:242)
Span (src/Data/Promotion/Prelude/List.hs:242)
Break (src/Data/Promotion/Prelude/List.hs:242)
Elem (src/Data/Singletons/Prelude/List.hs:188)
NotElem (src/Data/Singletons/Prelude/List.hs:188)
Lookup (src/Data/Promotion/Prelude/List.hs:242)
Zip (src/Data/Singletons/Prelude/List.hs:188)
Zip3 (src/Data/Singletons/Prelude/List.hs:188)
ZipWith (src/Data/Singletons/Prelude/List.hs:188)
ZipWith3 (src/Data/Singletons/Prelude/List.hs:188)
Unzip (src/Data/Singletons/Prelude/List.hs:188)
Unzip3 (src/Data/Singletons/Prelude/List.hs:188)
FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
NotSym0 (src/Data/Singletons/Prelude/Bool.hs:72)
NotSym1 (src/Data/Singletons/Prelude/Bool.hs:72)
:&&$ (src/Data/Singletons/Prelude/Bool.hs:72)
:&&$$ (src/Data/Singletons/Prelude/Bool.hs:72)
:&&$$$ (src/Data/Singletons/Prelude/Bool.hs:72)
:||$ (src/Data/Singletons/Prelude/Bool.hs:72)
:||$$ (src/Data/Singletons/Prelude/Bool.hs:72)
:||$$$ (src/Data/Singletons/Prelude/Bool.hs:72)
OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:72)
NothingSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
JustSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
JustSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Maybe_Sym0 (src/Data/Singletons/Prelude/Maybe.hs:68)
Maybe_Sym1 (src/Data/Singletons/Prelude/Maybe.hs:68)
Maybe_Sym2 (src/Data/Singletons/Prelude/Maybe.hs:68)
Maybe_Sym3 (src/Data/Singletons/Prelude/Maybe.hs:68)
LeftSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
LeftSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
RightSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
RightSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Either_Sym0 (src/Data/Singletons/Prelude/Either.hs:64)
Either_Sym1 (src/Data/Singletons/Prelude/Either.hs:64)
Either_Sym2 (src/Data/Singletons/Prelude/Either.hs:64)
Either_Sym3 (src/Data/Singletons/Prelude/Either.hs:64)
Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:27)
FstSym0 (src/Data/Singletons/Prelude/Tuple.hs:56)
FstSym1 (src/Data/Singletons/Prelude/Tuple.hs:56)
SndSym0 (src/Data/Singletons/Prelude/Tuple.hs:56)
SndSym1 (src/Data/Singletons/Prelude/Tuple.hs:56)
CurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:56)
CurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:56)
CurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:56)
CurrySym3 (src/Data/Singletons/Prelude/Tuple.hs:56)
UncurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:56)
UncurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:56)
UncurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:56)
:+$ (src/Data/Singletons/TypeLits.hs:145)
:+$$ (src/Data/Singletons/TypeLits.hs:145)
:-$ (src/Data/Singletons/TypeLits.hs:145)
:-$$ (src/Data/Singletons/TypeLits.hs:145)
:*$ (src/Data/Singletons/TypeLits.hs:145)
:*$$ (src/Data/Singletons/TypeLits.hs:145)
:^$ (src/Data/Singletons/TypeLits.hs:145)
:^$$ (src/Data/Singletons/TypeLits.hs:145)
IdSym0 (src/Data/Singletons/Prelude/Base.hs:54)
IdSym1 (src/Data/Singletons/Prelude/Base.hs:54)
ConstSym0 (src/Data/Singletons/Prelude/Base.hs:54)
ConstSym1 (src/Data/Singletons/Prelude/Base.hs:54)
ConstSym2 (src/Data/Singletons/Prelude/Base.hs:54)
:.$ (src/Data/Singletons/Prelude/Base.hs:54)
:.$$ (src/Data/Singletons/Prelude/Base.hs:54)
:.$$$ (src/Data/Singletons/Prelude/Base.hs:54)
$$ (src/Data/Singletons/Prelude/Base.hs:95)
$$$ (src/Data/Singletons/Prelude/Base.hs:98)
$$$$ (src/Data/Singletons/Prelude/Base.hs:101)
$!$ (src/Data/Singletons/Prelude/Base.hs:110)
$!$$ (src/Data/Singletons/Prelude/Base.hs:113)
$!$$$ (src/Data/Singletons/Prelude/Base.hs:116)
FlipSym0 (src/Data/Singletons/Prelude/Base.hs:54)
FlipSym1 (src/Data/Singletons/Prelude/Base.hs:54)
FlipSym2 (src/Data/Singletons/Prelude/Base.hs:54)
AsTypeOfSym0 (src/Data/Singletons/Prelude/Base.hs:54)
AsTypeOfSym1 (src/Data/Singletons/Prelude/Base.hs:54)
AsTypeOfSym2 (src/Data/Singletons/Prelude/Base.hs:54)
SeqSym0 (src/Data/Singletons/Prelude/Base.hs:54)
SeqSym1 (src/Data/Singletons/Prelude/Base.hs:54)
SeqSym2 (src/Data/Singletons/Prelude/Base.hs:54)
:$ (src/Data/Singletons/Prelude/Instances.hs:27)
:$$ (src/Data/Singletons/Prelude/Instances.hs:27)
:$$$ (src/Data/Singletons/Prelude/Instances.hs:27)
NilSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
MapSym0 (src/Data/Singletons/Prelude/Base.hs:54)
MapSym1 (src/Data/Singletons/Prelude/Base.hs:54)
MapSym2 (src/Data/Singletons/Prelude/Base.hs:54)
ReverseSym0 (src/Data/Singletons/Prelude/List.hs:188)
ReverseSym1 (src/Data/Singletons/Prelude/List.hs:188)
:++$$ (src/Data/Singletons/Prelude/Base.hs:54)
:++$ (src/Data/Singletons/Prelude/Base.hs:54)
HeadSym0 (src/Data/Singletons/Prelude/List.hs:188)
HeadSym1 (src/Data/Singletons/Prelude/List.hs:188)
LastSym0 (src/Data/Singletons/Prelude/List.hs:188)
LastSym1 (src/Data/Singletons/Prelude/List.hs:188)
TailSym0 (src/Data/Singletons/Prelude/List.hs:188)
TailSym1 (src/Data/Singletons/Prelude/List.hs:188)
InitSym0 (src/Data/Singletons/Prelude/List.hs:188)
InitSym1 (src/Data/Singletons/Prelude/List.hs:188)
NullSym0 (src/Data/Singletons/Prelude/List.hs:188)
NullSym1 (src/Data/Singletons/Prelude/List.hs:188)
FoldlSym0 (src/Data/Singletons/Prelude/List.hs:188)
FoldlSym1 (src/Data/Singletons/Prelude/List.hs:188)
FoldlSym2 (src/Data/Singletons/Prelude/List.hs:188)
FoldlSym3 (src/Data/Singletons/Prelude/List.hs:188)
Foldl1Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Foldl1Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Foldl1Sym2 (src/Data/Singletons/Prelude/List.hs:188)
FoldrSym0 (src/Data/Singletons/Prelude/Base.hs:54)
FoldrSym1 (src/Data/Singletons/Prelude/Base.hs:54)
FoldrSym2 (src/Data/Singletons/Prelude/Base.hs:54)
FoldrSym3 (src/Data/Singletons/Prelude/Base.hs:54)
Foldr1Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Foldr1Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Foldr1Sym2 (src/Data/Singletons/Prelude/List.hs:188)
ConcatSym0 (src/Data/Singletons/Prelude/List.hs:188)
ConcatSym1 (src/Data/Singletons/Prelude/List.hs:188)
ConcatMapSym0 (src/Data/Singletons/Prelude/List.hs:188)
ConcatMapSym1 (src/Data/Singletons/Prelude/List.hs:188)
ConcatMapSym2 (src/Data/Singletons/Prelude/List.hs:188)
MaximumBySym0 (src/Data/Singletons/Prelude/List.hs:188)
MaximumBySym1 (src/Data/Singletons/Prelude/List.hs:188)
MaximumBySym2 (src/Data/Singletons/Prelude/List.hs:188)
MinimumBySym0 (src/Data/Singletons/Prelude/List.hs:188)
MinimumBySym1 (src/Data/Singletons/Prelude/List.hs:188)
MinimumBySym2 (src/Data/Singletons/Prelude/List.hs:188)
AndSym0 (src/Data/Singletons/Prelude/List.hs:188)
AndSym1 (src/Data/Singletons/Prelude/List.hs:188)
OrSym0 (src/Data/Singletons/Prelude/List.hs:188)
OrSym1 (src/Data/Singletons/Prelude/List.hs:188)
Any_Sym0 (src/Data/Singletons/Prelude/List.hs:182)
Any_Sym1 (src/Data/Singletons/Prelude/List.hs:182)
Any_Sym2 (src/Data/Singletons/Prelude/List.hs:182)
AllSym0 (src/Data/Singletons/Prelude/List.hs:188)
AllSym1 (src/Data/Singletons/Prelude/List.hs:188)
AllSym2 (src/Data/Singletons/Prelude/List.hs:188)
ScanlSym0 (src/Data/Singletons/Prelude/List.hs:188)
ScanlSym1 (src/Data/Singletons/Prelude/List.hs:188)
ScanlSym2 (src/Data/Singletons/Prelude/List.hs:188)
ScanlSym3 (src/Data/Singletons/Prelude/List.hs:188)
Scanl1Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Scanl1Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Scanl1Sym2 (src/Data/Singletons/Prelude/List.hs:188)
ScanrSym0 (src/Data/Singletons/Prelude/List.hs:188)
ScanrSym1 (src/Data/Singletons/Prelude/List.hs:188)
ScanrSym2 (src/Data/Singletons/Prelude/List.hs:188)
ScanrSym3 (src/Data/Singletons/Prelude/List.hs:188)
Scanr1Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Scanr1Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Scanr1Sym2 (src/Data/Singletons/Prelude/List.hs:188)
ElemSym0 (src/Data/Singletons/Prelude/List.hs:188)
ElemSym1 (src/Data/Singletons/Prelude/List.hs:188)
ElemSym2 (src/Data/Singletons/Prelude/List.hs:188)
NotElemSym0 (src/Data/Singletons/Prelude/List.hs:188)
NotElemSym1 (src/Data/Singletons/Prelude/List.hs:188)
NotElemSym2 (src/Data/Singletons/Prelude/List.hs:188)
ZipSym0 (src/Data/Singletons/Prelude/List.hs:188)
ZipSym1 (src/Data/Singletons/Prelude/List.hs:188)
ZipSym2 (src/Data/Singletons/Prelude/List.hs:188)
Zip3Sym0 (src/Data/Singletons/Prelude/List.hs:188)
Zip3Sym1 (src/Data/Singletons/Prelude/List.hs:188)
Zip3Sym2 (src/Data/Singletons/Prelude/List.hs:188)
Zip3Sym3 (src/Data/Singletons/Prelude/List.hs:188)
ZipWithSym0 (src/Data/Singletons/Prelude/List.hs:188)
ZipWithSym1 (src/Data/Singletons/Prelude/List.hs:188)
ZipWithSym2 (src/Data/Singletons/Prelude/List.hs:188)
ZipWithSym3 (src/Data/Singletons/Prelude/List.hs:188)
ZipWith3Sym0 (src/Data/Singletons/Prelude/List.hs:188)
ZipWith3Sym1 (src/Data/Singletons/Prelude/List.hs:188)
ZipWith3Sym2 (src/Data/Singletons/Prelude/List.hs:188)
ZipWith3Sym3 (src/Data/Singletons/Prelude/List.hs:188)
UnzipSym0 (src/Data/Singletons/Prelude/List.hs:188)
UnzipSym1 (src/Data/Singletons/Prelude/List.hs:188)
UntilSym0 (src/Data/Promotion/Prelude/Base.hs:48)
UntilSym1 (src/Data/Promotion/Prelude/Base.hs:48)
UntilSym2 (src/Data/Promotion/Prelude/Base.hs:48)
UntilSym3 (src/Data/Promotion/Prelude/Base.hs:48)
LengthSym0 (src/Data/Promotion/Prelude/List.hs:242)
LengthSym1 (src/Data/Promotion/Prelude/List.hs:242)
SumSym0 (src/Data/Promotion/Prelude/List.hs:242)
SumSym1 (src/Data/Promotion/Prelude/List.hs:242)
ProductSym0 (src/Data/Promotion/Prelude/List.hs:242)
ProductSym1 (src/Data/Promotion/Prelude/List.hs:242)
ReplicateSym0 (src/Data/Promotion/Prelude/List.hs:242)
ReplicateSym1 (src/Data/Promotion/Prelude/List.hs:242)
ReplicateSym2 (src/Data/Promotion/Prelude/List.hs:242)
TakeSym0 (src/Data/Promotion/Prelude/List.hs:242)
TakeSym1 (src/Data/Promotion/Prelude/List.hs:242)
TakeSym2 (src/Data/Promotion/Prelude/List.hs:242)
DropSym0 (src/Data/Promotion/Prelude/List.hs:242)
DropSym1 (src/Data/Promotion/Prelude/List.hs:242)
DropSym2 (src/Data/Promotion/Prelude/List.hs:242)
SplitAtSym0 (src/Data/Promotion/Prelude/List.hs:242)
SplitAtSym1 (src/Data/Promotion/Prelude/List.hs:242)
SplitAtSym2 (src/Data/Promotion/Prelude/List.hs:242)
TakeWhileSym0 (src/Data/Promotion/Prelude/List.hs:242)
TakeWhileSym1 (src/Data/Promotion/Prelude/List.hs:242)
TakeWhileSym2 (src/Data/Promotion/Prelude/List.hs:242)
DropWhileSym0 (src/Data/Promotion/Prelude/List.hs:242)
DropWhileSym1 (src/Data/Promotion/Prelude/List.hs:242)
DropWhileSym2 (src/Data/Promotion/Prelude/List.hs:242)
SpanSym0 (src/Data/Promotion/Prelude/List.hs:242)
SpanSym1 (src/Data/Promotion/Prelude/List.hs:242)
SpanSym2 (src/Data/Promotion/Prelude/List.hs:242)
BreakSym0 (src/Data/Promotion/Prelude/List.hs:242)
BreakSym1 (src/Data/Promotion/Prelude/List.hs:242)
BreakSym2 (src/Data/Promotion/Prelude/List.hs:242)
LookupSym0 (src/Data/Promotion/Prelude/List.hs:242)
LookupSym1 (src/Data/Promotion/Prelude/List.hs:242)
LookupSym2 (src/Data/Promotion/Prelude/List.hs:242)
FilterSym0 (src/Data/Promotion/Prelude/List.hs:242)
FilterSym1 (src/Data/Promotion/Prelude/List.hs:242)
FilterSym2 (src/Data/Promotion/Prelude/List.hs:242)
:!!$ (src/Data/Promotion/Prelude/List.hs:242)
:!!$$ (src/Data/Promotion/Prelude/List.hs:242)
:!!$$$ (src/Data/Promotion/Prelude/List.hs:242)
39% ( 28 / 71) in 'Data.Promotion.TH'
Missing documentation for:
:&& (src/Data/Singletons/Prelude/Bool.hs:72)
POrd (src/Data/Singletons/Prelude/Ord.hs:48)
ThenCmp (src/Data/Singletons/Prelude/Ord.hs:124)
ErrorSym0 (src/Data/Singletons/TypeLits.hs:208)
TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
LTSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
EQSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
GTSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:27)
Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:27)
Warning: Data.Singletons.Types: could not find link destinations for:
D1Proxy C1_0Proxy
Warning: Data.Singletons: could not find link destinations for:
TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7
Warning: Data.Singletons.Prelude.Bool: could not find link destinations for:
TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7
Warning: Data.Singletons.TypeRepStar: could not find link destinations for:
TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7
Warning: Data.Singletons.Prelude.Ord: could not find link destinations for:
Case_1627555667 Let1627555659Scrutinee_1627555568Sym2 Case_1627555702 Let1627555694Scrutinee_1627555572Sym2 Case_1627555726 Let1627555718Scrutinee_1627555574Sym2 Case_1627555750 Let1627555742Scrutinee_1627555576Sym2 Case_1627555774 Let1627555766Scrutinee_1627555578Sym2 Case_1627555798 Let1627555790Scrutinee_1627555580Sym2 Case_1627555821 Let1627555813Scrutinee_1627555582Sym2 TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7
Warning: Data.Promotion.Prelude.Ord: could not find link destinations for:
Case_1627555667 Let1627555659Scrutinee_1627555568Sym2 Case_1627555702 Let1627555694Scrutinee_1627555572Sym2 Case_1627555726 Let1627555718Scrutinee_1627555574Sym2 Case_1627555750 Let1627555742Scrutinee_1627555576Sym2 Case_1627555774 Let1627555766Scrutinee_1627555578Sym2 Case_1627555798 Let1627555790Scrutinee_1627555580Sym2 Case_1627555821 Let1627555813Scrutinee_1627555582Sym2
Warning: Data.Singletons.TypeLits: could not find link destinations for:
TFCo:R:SingNatn SNat EqNat TFCo:R:SingSymboln SSym EqSymbol natSing symbolSing
Warning: Data.Singletons.TH: could not find link destinations for:
TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Case_1627555667 Let1627555659Scrutinee_1627555568Sym2 Case_1627555702 Let1627555694Scrutinee_1627555572Sym2 Case_1627555726 Let1627555718Scrutinee_1627555574Sym2 Case_1627555750 Let1627555742Scrutinee_1627555576Sym2 Case_1627555774 Let1627555766Scrutinee_1627555578Sym2 Case_1627555798 Let1627555790Scrutinee_1627555580Sym2 Case_1627555821 Let1627555813Scrutinee_1627555582Sym2 D1Proxy C1_0Proxy
Warning: Data.Singletons.Prelude.Base: could not find link destinations for:
Let1627572264GoSym3 Lambda_1627572164Sym0
Warning: Data.Singletons.Prelude.Either: could not find link destinations for:
TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Let1627583878LeftSym1 Let1627583878RightSym1 PartitionEithersSym0
Warning: Data.Promotion.Prelude.Either: could not find link destinations for:
Let1627583878LeftSym1 Let1627583878RightSym1
Warning: Data.Singletons.Prelude.Tuple: could not find link destinations for:
TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7
Warning: Data.Promotion.Prelude.Base: could not find link destinations for:
Let1627572264GoSym3 Lambda_1627572164Sym0 Let1627595346GoSym3
Warning: Data.Singletons.Prelude.List: could not find link destinations for:
TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Let1627606900Last'Sym2 Let1627606863Init'Sym2 Let1627606821RevSym1 PrependToAllSym0 NonEmptySubsequencesSym0 Let1627606385PermsSym1 Let1627606126LgoSym3 Let1627606029LgoSym3 Let1627572264GoSym3 Let1627605991XsSym4 Case_1627605912 Let1627605899Scrutinee_1627604784Sym3 Case_1627605875 Let1627605856Scrutinee_1627604786Sym4 Case_1627605829 Let1627605810Scrutinee_1627604788Sym4 Let1627605630S''Sym4 Let1627605630YSym4 Let1627605630YsSym4 Let1627605464S''Sym4 Let1627605464YSym4 Let1627605464YsSym4 Case_1627605437 Let1627605429Scrutinee_1627604794Sym2 Case_1627605412 Let1627605408Scrutinee_1627604796Sym1 Case_1627605386 Let1627605382Scrutinee_1627604798Sym1 Lambda_1627605170Sym0 Lambda_1627605136Sym0 Lambda_1627605100Sym0 Lambda_1627605062Sym0 Lambda_1627605022Sym0 Lambda_1627604980Sym0 Case_1627604956 Let1627604937Scrutinee_1627604824Sym4 Case_1627604899 Let1627604880Scrutinee_1627604826Sym4 Let1627606197MaxBySym3 Let1627606184XsSym3 Let1627606283MinBySym3 Let1627606270XsSym3
Warning: Data.Singletons.Prelude.Maybe: could not find link destinations for:
TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Case_1627745598 Let1627745590Scrutinee_1627745513Sym2 Case_1627745556 Let1627745543Scrutinee_1627745515Sym3
Warning: Data.Singletons.Prelude: could not find link destinations for:
TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Lambda_1627572164Sym0 Let1627606900Last'Sym2 Let1627606863Init'Sym2 Let1627606821RevSym1 Let1627606126LgoSym3 Let1627572264GoSym3 Let1627605991XsSym4 Case_1627605912 Let1627605899Scrutinee_1627604784Sym3 Case_1627605875 Let1627605856Scrutinee_1627604786Sym4 Case_1627605829 Let1627605810Scrutinee_1627604788Sym4 Lambda_1627605170Sym0 Lambda_1627605136Sym0 EqSymbol
Warning: Data.Promotion.Prelude.List: could not find link destinations for:
Let1627606900Last'Sym2 Let1627606863Init'Sym2 Let1627606821RevSym1 PrependToAllSym0 NonEmptySubsequencesSym0 Let1627606385PermsSym1 Let1627606126LgoSym3 Let1627606029LgoSym3 Let1627572264GoSym3 Let1627605991XsSym4 Let1627760775Sum'Sym1 Let1627760751ProdSym1 Case_1627605912 Let1627605899Scrutinee_1627604784Sym3 Case_1627605875 Let1627605856Scrutinee_1627604786Sym4 Case_1627605829 Let1627605810Scrutinee_1627604788Sym4 Let1627605630S''Sym4 Let1627605630YSym4 Let1627605630YsSym4 Let1627605464S''Sym4 Let1627605464YSym4 Let1627605464YsSym4 Case_1627605437 Let1627605429Scrutinee_1627604794Sym2 Let1627760629XsSym2 Case_1627760606 Case_1627760557 Lambda_1627760497Sym0 Let1627760277XsSym0 Case_1627760280 Let1627760133XsSym0 Case_1627760136 Case_1627760103 Case_1627605412 Let1627605408Scrutinee_1627604796Sym1 Case_1627605386 Let1627605382Scrutinee_1627604798Sym1 Case_1627760051 Case_1627759952 SelectSym0 Case_1627759880 Lambda_1627760835Sym0 Let1627760811BuildListSym2 Lambda_1627605170Sym0 Lambda_1627605136Sym0 Lambda_1627605100Sym0 Lambda_1627605062Sym0 Lambda_1627605022Sym0 Lambda_1627604980Sym0 Let1627759380Nub'Sym1 Let1627759307NubBy'Sym2 Case_1627604956 Let1627604937Scrutinee_1627604824Sym4 Let1627760424YsSym3 Let1627760424ZsSym3 Lambda_1627759988Sym0 Case_1627604899 Let1627604880Scrutinee_1627604826Sym4 Let1627606197MaxBySym3 Let1627606184XsSym3 Let1627606283MinBySym3 Let1627606270XsSym3
Warning: Data.Promotion.Prelude.Maybe: could not find link destinations for:
Case_1627745598 Let1627745590Scrutinee_1627745513Sym2 Case_1627745556 Let1627745543Scrutinee_1627745515Sym3
Warning: Data.Promotion.Prelude: could not find link destinations for:
TFCo:R:SingSymboln SSym EqSymbol TFCo:R:SingNatn SNat EqNat Lambda_1627572164Sym0 Let1627595346GoSym3 Case_1627759952 Let1627606900Last'Sym2 Let1627606863Init'Sym2 Case_1627759880 Let1627606821RevSym1 Let1627606126LgoSym3 Let1627572264GoSym3 Let1627605991XsSym4 Let1627760775Sum'Sym1 Let1627760751ProdSym1 Case_1627605912 Let1627605899Scrutinee_1627604784Sym3 Case_1627605875 Let1627605856Scrutinee_1627604786Sym4 Case_1627605829 Let1627605810Scrutinee_1627604788Sym4 Let1627760629XsSym2 Case_1627760606 Case_1627760557 Let1627760277XsSym0 Case_1627760280 Let1627760133XsSym0 Case_1627760136 Case_1627760051 Lambda_1627605170Sym0 Lambda_1627605136Sym0
Warning: Data.Promotion.TH: could not find link destinations for:
TFCo:R:Sing(->)f SLambda applySing Case_1627555667 Let1627555659Scrutinee_1627555568Sym2 Case_1627555702 Let1627555694Scrutinee_1627555572Sym2 Case_1627555726 Let1627555718Scrutinee_1627555574Sym2 Case_1627555750 Let1627555742Scrutinee_1627555576Sym2 Case_1627555774 Let1627555766Scrutinee_1627555578Sym2 Case_1627555798 Let1627555790Scrutinee_1627555580Sym2 Case_1627555821 Let1627555813Scrutinee_1627555582Sym2 D1Proxy C1_0Proxy
Documentation created: dist/doc/html/singletons/index.html,
dist/doc/html/singletons/singletons.txt
Creating package registration file:
/tmp/pkgConf-singletons-1.1.221283491441045069410.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/singletons-1.1.2.1-KNamMymDT43LCP5rF1ygL5
Registering singletons-1.1.2.1...
Installed singletons-1.1.2.1
Configuring type-list-0.2.0.0...
Building type-list-0.2.0.0...
Preprocessing library type-list-0.2.0.0...
[1 of 1] Compiling Data.Type.List ( src/Data/Type/List.hs, dist/build/Data/Type/List.o )
In-place registering type-list-0.2.0.0...
Running Haddock for type-list-0.2.0.0...
Running hscolour for type-list-0.2.0.0...
Preprocessing library type-list-0.2.0.0...
Preprocessing library type-list-0.2.0.0...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: nats-1
Haddock coverage:
30% ( 14 / 46) in 'Data.Type.List'
Missing documentation for:
Map'' (src/Data/Type/List.hs:37)
Map' (src/Data/Type/List.hs:40)
Length (src/Data/Type/List.hs:46)
lengthVal (src/Data/Type/List.hs:50)
Length' (src/Data/Type/List.hs:53)
Insert'' (src/Data/Type/List.hs:64)
Insert' (src/Data/Type/List.hs:67)
Union'' (src/Data/Type/List.hs:78)
Union' (src/Data/Type/List.hs:81)
Remove'' (src/Data/Type/List.hs:93)
Remove' (src/Data/Type/List.hs:96)
Difference (src/Data/Type/List.hs:102)
Difference'' (src/Data/Type/List.hs:106)
Difference' (src/Data/Type/List.hs:109)
ReverseAcc (src/Data/Type/List.hs:115)
Reverse (src/Data/Type/List.hs:119)
Reverse' (src/Data/Type/List.hs:122)
Find'' (src/Data/Type/List.hs:133)
Find' (src/Data/Type/List.hs:136)
Intersection'' (src/Data/Type/List.hs:148)
Intersection' (src/Data/Type/List.hs:151)
Distinct'' (src/Data/Type/List.hs:163)
Distinct' (src/Data/Type/List.hs:166)
Lookup'' (src/Data/Type/List.hs:177)
Lookup' (src/Data/Type/List.hs:180)
Fst' (src/Data/Type/List.hs:190)
Snd' (src/Data/Type/List.hs:198)
AsFst'' (src/Data/Type/List.hs:207)
AsFst' (src/Data/Type/List.hs:210)
AsSnd'' (src/Data/Type/List.hs:220)
AsSnd' (src/Data/Type/List.hs:223)
Swap' (src/Data/Type/List.hs:233)
Documentation created: dist/doc/html/type-list/index.html,
dist/doc/html/type-list/type-list.txt
Creating package registration file:
/tmp/pkgConf-type-list-0.2.06788008701091854097.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/type-list-0.2.0.0-Iq61YjYsDzhJC0DbNq4kp0
Registering type-list-0.2.0.0...
Installed type-list-0.2.0.0
cabal: Error: some packages failed to install:
hsqml-0.3.3.0 failed during the configure step. The exception was:
ExitFailure 1
hsqml-datamodel-0.2.0.2 depends on hsqml-0.3.3.0 which failed to install.
hsqml-datamodel-vinyl-0.3.0.1 depends on hsqml-0.3.3.0 which failed to
install.
Test log
No test log was submitted for this report.