Build #3 for exinst-hashable-0.1.0.1
| Package | exinst-hashable-0.1.0.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-09-28 15:17:24.653068 UTC |
|---|---|
| Compiler | ghc-7.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | singletons-2.0.0.1, hashable-1.2.3.3, exinst-0.1.1, constraints-0.4.1.3, base-4.8.1.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
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.2278722862233665123.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-1711645630195740084
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 newtype-0.2...
Building newtype-0.2...
Preprocessing library newtype-0.2...
[1 of 1] Compiling Control.Newtype ( Control/Newtype.hs, dist/build/Control/Newtype.o )
In-place registering newtype-0.2...
Running Haddock for newtype-0.2...
Running hscolour for newtype-0.2...
Preprocessing library newtype-0.2...
Preprocessing library newtype-0.2...
Haddock coverage:
100% ( 9 / 9) in 'Control.Newtype'
Documentation created: dist/doc/html/newtype/index.html,
dist/doc/html/newtype/newtype.txt
Creating package registration file:
/tmp/pkgConf-newtype-016820852731662981776.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/newtype-0.2-L5sgrgNl4zTHP4bzoZ9sPq
Registering newtype-0.2...
Installed newtype-0.2
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.32356491571448703729.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 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-016652049161707056552.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 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.11003886059168057522.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.78157741232016408437.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 constraints-0.4.1.3...
Building constraints-0.4.1.3...
Preprocessing library constraints-0.4.1.3...
[1 of 3] Compiling Data.Constraint ( Data/Constraint.hs, dist/build/Data/Constraint.o )
Data/Constraint.hs:74: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()
[2 of 3] Compiling Data.Constraint.Unsafe ( Data/Constraint/Unsafe.hs, dist/build/Data/Constraint/Unsafe.o )
[3 of 3] Compiling Data.Constraint.Forall ( Data/Constraint/Forall.hs, dist/build/Data/Constraint/Forall.o )
In-place registering constraints-0.4.1.3...
Running Haddock for constraints-0.4.1.3...
Running hscolour for constraints-0.4.1.3...
Preprocessing library constraints-0.4.1.3...
Preprocessing library constraints-0.4.1.3...
Data/Constraint.hs:74: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:
96% ( 22 / 23) in 'Data.Constraint'
Missing documentation for:
Constraint
100% ( 7 / 7) in 'Data.Constraint.Unsafe'
44% ( 4 / 9) in 'Data.Constraint.Forall'
Missing documentation for:
ForallF (Data/Constraint/Forall.hs:42)
instF (Data/Constraint/Forall.hs:61)
Forall1 (Data/Constraint/Forall.hs:47)
ForallT (Data/Constraint/Forall.hs:49)
instT (Data/Constraint/Forall.hs:68)
Warning: Data.Constraint.Forall: could not find link destinations for:
A B F M
Documentation created: dist/doc/html/constraints/index.html,
dist/doc/html/constraints/constraints.txt
Creating package registration file:
/tmp/pkgConf-constraints-0.4.1303872261608340634.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/constraints-0.4.1.3-07HnwlrvTKI07c3nLjwCpY
Registering constraints-0.4.1.3...
Installed constraints-0.4.1.3
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.01042517543464837581.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
Configuring hashable-1.2.3.3...
Building hashable-1.2.3.3...
Preprocessing library hashable-1.2.3.3...
[1 of 3] Compiling Data.Hashable.Class ( Data/Hashable/Class.hs, dist/build/Data/Hashable/Class.o )
Data/Hashable/Class.hs:54:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/Hashable/Class.hs:218:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Data/Hashable/Class.hs:241:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Data/Hashable/Class.hs:420:28: Warning:
In the use of ‘B.inlinePerformIO’
(imported from Data.ByteString.Internal):
Deprecated: "If you think you know what you are doing, use 'unsafePerformIO'. If you are sure you know what you are doing, use 'unsafeDupablePerformIO'. If you enjoy sharing an address space with a malevolent agent of chaos, try 'accursedUnutterablePerformIO'."
[2 of 3] Compiling Data.Hashable.Generic ( Data/Hashable/Generic.hs, dist/build/Data/Hashable/Generic.o )
Data/Hashable/Generic.hs:20:1: Warning:
The import of ‘Bits’ from module ‘Data.Bits’ is redundant
[3 of 3] Compiling Data.Hashable ( Data/Hashable.hs, dist/build/Data/Hashable.o )
In-place registering hashable-1.2.3.3...
Running Haddock for hashable-1.2.3.3...
Running hscolour for hashable-1.2.3.3...
Preprocessing library hashable-1.2.3.3...
Preprocessing library hashable-1.2.3.3...
Data/Hashable/Class.hs:54:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/Hashable/Class.hs:218:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Data/Hashable/Class.hs:241:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Data/Hashable/Class.hs:420:28: Warning:
In the use of ‘B.inlinePerformIO’
(imported from Data.ByteString.Internal):
Deprecated: "If you think you know what you are doing, use 'unsafePerformIO'. If you are sure you know what you are doing, use 'unsafeDupablePerformIO'. If you enjoy sharing an address space with a malevolent agent of chaos, try 'accursedUnutterablePerformIO'."
Data/Hashable/Generic.hs:20:1: Warning:
The import of ‘Bits’ from module ‘Data.Bits’ is redundant
Haddock coverage:
100% ( 11 / 11) in 'Data.Hashable.Class'
100% ( 1 / 1) in 'Data.Hashable.Generic'
100% ( 22 / 22) in 'Data.Hashable'
Warning: Data.Hashable: could not find link destinations for:
GHashable
Documentation created: dist/doc/html/hashable/index.html,
dist/doc/html/hashable/hashable.txt
Creating package registration file:
/tmp/pkgConf-hashable-1.2.35051851852028720897.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/hashable-1.2.3.3-2GTZqecVp8NJZrNuKzGxfy
Registering hashable-1.2.3.3...
Installed hashable-1.2.3.3
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.13218693431731563037.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.122097657371978053418.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.47133555112067247035.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-2.0.0.1...
Building singletons-2.0.0.1...
Preprocessing library singletons-2.0.0.1...
[ 1 of 50] Compiling Data.Singletons.SuppressUnusedWarnings ( src/Data/Singletons/SuppressUnusedWarnings.hs, dist/build/Data/Singletons/SuppressUnusedWarnings.o )
[ 2 of 50] Compiling Data.Singletons.Syntax ( src/Data/Singletons/Syntax.hs, dist/build/Data/Singletons/Syntax.o )
[ 3 of 50] Compiling Data.Singletons.Util ( src/Data/Singletons/Util.hs, dist/build/Data/Singletons/Util.o )
[ 4 of 50] Compiling Data.Singletons.Deriving.Infer ( src/Data/Singletons/Deriving/Infer.hs, dist/build/Data/Singletons/Deriving/Infer.o )
[ 5 of 50] Compiling Data.Singletons ( src/Data/Singletons.hs, dist/build/Data/Singletons.o )
[ 6 of 50] Compiling Data.Singletons.Decide ( src/Data/Singletons/Decide.hs, dist/build/Data/Singletons/Decide.o )
[ 7 of 50] Compiling Data.Singletons.Names ( src/Data/Singletons/Names.hs, dist/build/Data/Singletons/Names.o )
[ 8 of 50] Compiling Data.Singletons.Deriving.Ord ( src/Data/Singletons/Deriving/Ord.hs, dist/build/Data/Singletons/Deriving/Ord.o )
[ 9 of 50] Compiling Data.Singletons.Promote.Monad ( src/Data/Singletons/Promote/Monad.hs, dist/build/Data/Singletons/Promote/Monad.o )
[10 of 50] Compiling Data.Singletons.Single.Monad ( src/Data/Singletons/Single/Monad.hs, dist/build/Data/Singletons/Single/Monad.o )
[11 of 50] Compiling Data.Singletons.Deriving.Bounded ( src/Data/Singletons/Deriving/Bounded.hs, dist/build/Data/Singletons/Deriving/Bounded.o )
[12 of 50] Compiling Data.Singletons.Deriving.Enum ( src/Data/Singletons/Deriving/Enum.hs, dist/build/Data/Singletons/Deriving/Enum.o )
[13 of 50] Compiling Data.Singletons.Promote.Eq ( src/Data/Singletons/Promote/Eq.hs, dist/build/Data/Singletons/Promote/Eq.o )
[14 of 50] Compiling Data.Singletons.Promote.Type ( src/Data/Singletons/Promote/Type.hs, dist/build/Data/Singletons/Promote/Type.o )
[15 of 50] Compiling Data.Singletons.Promote.Defun ( src/Data/Singletons/Promote/Defun.hs, dist/build/Data/Singletons/Promote/Defun.o )
[16 of 50] Compiling Data.Singletons.Partition ( src/Data/Singletons/Partition.hs, dist/build/Data/Singletons/Partition.o )
[17 of 50] Compiling Data.Singletons.Promote ( src/Data/Singletons/Promote.hs, dist/build/Data/Singletons/Promote.o )
[18 of 50] Compiling Data.Singletons.Single.Type ( src/Data/Singletons/Single/Type.hs, dist/build/Data/Singletons/Single/Type.o )
[19 of 50] Compiling Data.Singletons.Single.Eq ( src/Data/Singletons/Single/Eq.hs, dist/build/Data/Singletons/Single/Eq.o )
[20 of 50] Compiling Data.Singletons.Single.Data ( src/Data/Singletons/Single/Data.hs, dist/build/Data/Singletons/Single/Data.o )
[21 of 50] Compiling Data.Singletons.Single ( src/Data/Singletons/Single.hs, dist/build/Data/Singletons/Single.o )
[22 of 50] Compiling Data.Singletons.Prelude.Instances ( src/Data/Singletons/Prelude/Instances.hs, dist/build/Data/Singletons/Prelude/Instances.o )
[23 of 50] Compiling Data.Singletons.Prelude.Bool ( src/Data/Singletons/Prelude/Bool.hs, dist/build/Data/Singletons/Prelude/Bool.o )
[24 of 50] Compiling Data.Singletons.Prelude.Eq ( src/Data/Singletons/Prelude/Eq.hs, dist/build/Data/Singletons/Prelude/Eq.o )
[25 of 50] Compiling Data.Singletons.CustomStar ( src/Data/Singletons/CustomStar.hs, dist/build/Data/Singletons/CustomStar.o )
[26 of 50] Compiling Data.Promotion.Prelude.Eq ( src/Data/Promotion/Prelude/Eq.hs, dist/build/Data/Promotion/Prelude/Eq.o )
[27 of 50] Compiling Data.Promotion.Prelude.Bool ( src/Data/Promotion/Prelude/Bool.hs, dist/build/Data/Promotion/Prelude/Bool.o )
[28 of 50] Compiling Data.Singletons.Prelude.Ord ( src/Data/Singletons/Prelude/Ord.hs, dist/build/Data/Singletons/Prelude/Ord.o )
[29 of 50] Compiling Data.Promotion.Prelude.Ord ( src/Data/Promotion/Prelude/Ord.hs, dist/build/Data/Promotion/Prelude/Ord.o )
[30 of 50] Compiling Data.Singletons.TypeRepStar ( src/Data/Singletons/TypeRepStar.hs, dist/build/Data/Singletons/TypeRepStar.o )
[31 of 50] Compiling Data.Singletons.Prelude.Base ( src/Data/Singletons/Prelude/Base.hs, dist/build/Data/Singletons/Prelude/Base.o )
[32 of 50] Compiling Data.Singletons.TypeLits.Internal ( src/Data/Singletons/TypeLits/Internal.hs, dist/build/Data/Singletons/TypeLits/Internal.o )
[33 of 50] Compiling Data.Singletons.Prelude.Num ( src/Data/Singletons/Prelude/Num.hs, dist/build/Data/Singletons/Prelude/Num.o )
[34 of 50] Compiling Data.Singletons.TypeLits ( src/Data/Singletons/TypeLits.hs, dist/build/Data/Singletons/TypeLits.o )
[35 of 50] Compiling Data.Singletons.TH ( src/Data/Singletons/TH.hs, dist/build/Data/Singletons/TH.o )
[36 of 50] Compiling Data.Singletons.Prelude.Either ( src/Data/Singletons/Prelude/Either.hs, dist/build/Data/Singletons/Prelude/Either.o )
[37 of 50] Compiling Data.Promotion.Prelude.Either ( src/Data/Promotion/Prelude/Either.hs, dist/build/Data/Promotion/Prelude/Either.o )
[38 of 50] Compiling Data.Singletons.Prelude.Tuple ( src/Data/Singletons/Prelude/Tuple.hs, dist/build/Data/Singletons/Prelude/Tuple.o )
[39 of 50] Compiling Data.Promotion.Prelude.Tuple ( src/Data/Promotion/Prelude/Tuple.hs, dist/build/Data/Promotion/Prelude/Tuple.o )
[40 of 50] Compiling Data.Promotion.Prelude.Base ( src/Data/Promotion/Prelude/Base.hs, dist/build/Data/Promotion/Prelude/Base.o )
[41 of 50] Compiling Data.Singletons.Prelude.List ( src/Data/Singletons/Prelude/List.hs, dist/build/Data/Singletons/Prelude/List.o )
[42 of 50] Compiling Data.Singletons.Prelude.Maybe ( src/Data/Singletons/Prelude/Maybe.hs, dist/build/Data/Singletons/Prelude/Maybe.o )
[43 of 50] Compiling Data.Promotion.Prelude.Maybe ( src/Data/Promotion/Prelude/Maybe.hs, dist/build/Data/Promotion/Prelude/Maybe.o )
[44 of 50] Compiling Data.Singletons.Prelude.Enum ( src/Data/Singletons/Prelude/Enum.hs, dist/build/Data/Singletons/Prelude/Enum.o )
[45 of 50] Compiling Data.Singletons.Prelude ( src/Data/Singletons/Prelude.hs, dist/build/Data/Singletons/Prelude.o )
[46 of 50] Compiling Data.Promotion.Prelude.Enum ( src/Data/Promotion/Prelude/Enum.hs, dist/build/Data/Promotion/Prelude/Enum.o )
[47 of 50] Compiling Data.Promotion.Prelude.Num ( src/Data/Promotion/Prelude/Num.hs, dist/build/Data/Promotion/Prelude/Num.o )
[48 of 50] Compiling Data.Promotion.Prelude.List ( src/Data/Promotion/Prelude/List.hs, dist/build/Data/Promotion/Prelude/List.o )
[49 of 50] Compiling Data.Promotion.Prelude ( src/Data/Promotion/Prelude.hs, dist/build/Data/Promotion/Prelude.o )
[50 of 50] Compiling Data.Promotion.TH ( src/Data/Promotion/TH.hs, dist/build/Data/Promotion/TH.o )
In-place registering singletons-2.0.0.1...
Running Haddock for singletons-2.0.0.1...
Running hscolour for singletons-2.0.0.1...
Preprocessing library singletons-2.0.0.1...
Preprocessing library singletons-2.0.0.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
0% ( 0 / 30) in 'Data.Singletons.Syntax'
Missing documentation for:
Module header
VarPromotions (src/Data/Singletons/Syntax.hs:22)
DataDecl (src/Data/Singletons/Syntax.hs:25)
ClassDecl (src/Data/Singletons/Syntax.hs:27)
InstDecl (src/Data/Singletons/Syntax.hs:33)
UClassDecl (src/Data/Singletons/Syntax.hs:38)
UInstDecl (src/Data/Singletons/Syntax.hs:39)
AClassDecl (src/Data/Singletons/Syntax.hs:41)
AInstDecl (src/Data/Singletons/Syntax.hs:42)
ADExp (src/Data/Singletons/Syntax.hs:53)
ADMatch (src/Data/Singletons/Syntax.hs:68)
ADClause (src/Data/Singletons/Syntax.hs:69)
AnnotationFlag (src/Data/Singletons/Syntax.hs:72)
Annotated (src/Data/Singletons/Syntax.hs:75)
Unannotated (src/Data/Singletons/Syntax.hs:76)
IfAnn (src/Data/Singletons/Syntax.hs:78)
LetDecRHS (src/Data/Singletons/Syntax.hs:82)
(src/Data/Singletons/Syntax.hs:83)
(src/Data/Singletons/Syntax.hs:90)
ALetDecRHS (src/Data/Singletons/Syntax.hs:93)
ULetDecRHS (src/Data/Singletons/Syntax.hs:94)
LetDecEnv (src/Data/Singletons/Syntax.hs:96)
ALetDecEnv (src/Data/Singletons/Syntax.hs:102)
ULetDecEnv (src/Data/Singletons/Syntax.hs:103)
(src/Data/Singletons/Syntax.hs:105)
valueBinding (src/Data/Singletons/Syntax.hs:110)
typeBinding (src/Data/Singletons/Syntax.hs:113)
infixDecl (src/Data/Singletons/Syntax.hs:116)
emptyLetDecEnv (src/Data/Singletons/Syntax.hs:119)
buildLetDecEnv (src/Data/Singletons/Syntax.hs:122)
2% ( 1 / 66) in 'Data.Singletons.Util'
Missing documentation for:
Module header
basicTypes (src/Data/Singletons/Util.hs:31)
boundedBasicTypes (src/Data/Singletons/Util.hs:37)
enumBasicTypes (src/Data/Singletons/Util.hs:47)
qReportWarning (src/Data/Singletons/Util.hs:51)
qReportError (src/Data/Singletons/Util.hs:55)
checkForRep (src/Data/Singletons/Util.hs:66)
checkForRepInDecls (src/Data/Singletons/Util.hs:73)
tysOfConFields (src/Data/Singletons/Util.hs:77)
extractNameArgs (src/Data/Singletons/Util.hs:82)
extractNameTypes (src/Data/Singletons/Util.hs:86)
extractName (src/Data/Singletons/Util.hs:89)
isUpcase (src/Data/Singletons/Util.hs:93)
upcase (src/Data/Singletons/Util.hs:97)
toUpcaseStr (src/Data/Singletons/Util.hs:101)
noPrefix (src/Data/Singletons/Util.hs:123)
locase (src/Data/Singletons/Util.hs:127)
prefixUCName (src/Data/Singletons/Util.hs:137)
prefixLCName (src/Data/Singletons/Util.hs:144)
suffixName (src/Data/Singletons/Util.hs:152)
uniquePrefixes (src/Data/Singletons/Util.hs:161)
extractTvbKind (src/Data/Singletons/Util.hs:186)
extractTvbName (src/Data/Singletons/Util.hs:191)
tvbToType (src/Data/Singletons/Util.hs:195)
inferMaybeKindTV (src/Data/Singletons/Util.hs:198)
unravel (src/Data/Singletons/Util.hs:204)
ravel (src/Data/Singletons/Util.hs:214)
countArgs (src/Data/Singletons/Util.hs:219)
substKind (src/Data/Singletons/Util.hs:223)
substType (src/Data/Singletons/Util.hs:234)
substPred (src/Data/Singletons/Util.hs:252)
substKindInType (src/Data/Singletons/Util.hs:260)
substKindInPred (src/Data/Singletons/Util.hs:276)
substKindInTvb (src/Data/Singletons/Util.hs:285)
addStar (src/Data/Singletons/Util.hs:289)
addStar_maybe (src/Data/Singletons/Util.hs:292)
foldType (src/Data/Singletons/Util.hs:296)
foldExp (src/Data/Singletons/Util.hs:300)
isVarK (src/Data/Singletons/Util.hs:304)
isFunTy (src/Data/Singletons/Util.hs:309)
orIfEmpty (src/Data/Singletons/Util.hs:315)
emptyMatches (src/Data/Singletons/Util.hs:319)
multiCase (src/Data/Singletons/Util.hs:324)
wrapDesugar (src/Data/Singletons/Util.hs:330)
QWithAux (src/Data/Singletons/Util.hs:336)
(src/Data/Singletons/Util.hs:341)
(src/Data/Singletons/Util.hs:363)
comp1 (src/Data/Singletons/Util.hs:367)
comp2 (src/Data/Singletons/Util.hs:370)
evalWithoutAux (src/Data/Singletons/Util.hs:374)
evalForAux (src/Data/Singletons/Util.hs:378)
evalForPair (src/Data/Singletons/Util.hs:383)
addBinding (src/Data/Singletons/Util.hs:387)
addElement (src/Data/Singletons/Util.hs:391)
concatMapM (src/Data/Singletons/Util.hs:396)
listify (src/Data/Singletons/Util.hs:403)
fstOf3 (src/Data/Singletons/Util.hs:406)
liftFst (src/Data/Singletons/Util.hs:409)
liftSnd (src/Data/Singletons/Util.hs:412)
snocView (src/Data/Singletons/Util.hs:415)
partitionWith (src/Data/Singletons/Util.hs:420)
partitionWithM (src/Data/Singletons/Util.hs:428)
partitionLetDecs (src/Data/Singletons/Util.hs:437)
mapAndUnzip3M (src/Data/Singletons/Util.hs:441)
isHsLetter (src/Data/Singletons/Util.hs:449)
50% ( 1 / 2) in 'Data.Singletons.Deriving.Infer'
Missing documentation for:
inferConstraints (src/Data/Singletons/Deriving/Infer.hs:21)
53% ( 32 / 60) in 'Data.Singletons'
Missing documentation for:
TyCon3 (src/Data/Singletons.hs:160)
TyCon4 (src/Data/Singletons.hs:161)
TyCon5 (src/Data/Singletons.hs:162)
TyCon6 (src/Data/Singletons.hs:163)
TyCon7 (src/Data/Singletons.hs:164)
TyCon8 (src/Data/Singletons.hs:165)
singFun2 (src/Data/Singletons.hs:211)
singFun3 (src/Data/Singletons.hs:215)
singFun4 (src/Data/Singletons.hs:219)
singFun5 (src/Data/Singletons.hs:223)
singFun6 (src/Data/Singletons.hs:227)
singFun7 (src/Data/Singletons.hs:231)
singFun8 (src/Data/Singletons.hs:235)
unSingFun2 (src/Data/Singletons.hs:243)
unSingFun3 (src/Data/Singletons.hs:246)
unSingFun4 (src/Data/Singletons.hs:249)
unSingFun5 (src/Data/Singletons.hs:252)
unSingFun6 (src/Data/Singletons.hs:255)
unSingFun7 (src/Data/Singletons.hs:258)
unSingFun8 (src/Data/Singletons.hs:261)
SingFunction1 (src/Data/Singletons.hs:196)
SingFunction2 (src/Data/Singletons.hs:210)
SingFunction3 (src/Data/Singletons.hs:214)
SingFunction4 (src/Data/Singletons.hs:218)
SingFunction5 (src/Data/Singletons.hs:222)
SingFunction6 (src/Data/Singletons.hs:226)
SingFunction7 (src/Data/Singletons.hs:230)
SingFunction8 (src/Data/Singletons.hs:234)
100% ( 8 / 8) in 'Data.Singletons.Decide'
0% ( 0 / 98) in 'Data.Singletons.Names'
Missing documentation for:
Module header
anyTypeName (src/Data/Singletons/Names.hs:25)
boolName (src/Data/Singletons/Names.hs:25)
andName (src/Data/Singletons/Names.hs:25)
tyEqName (src/Data/Singletons/Names.hs:25)
compareName (src/Data/Singletons/Names.hs:25)
minBoundName (src/Data/Singletons/Names.hs:25)
maxBoundName (src/Data/Singletons/Names.hs:25)
repName (src/Data/Singletons/Names.hs:25)
nilName (src/Data/Singletons/Names.hs:25)
consName (src/Data/Singletons/Names.hs:25)
listName (src/Data/Singletons/Names.hs:25)
tyFunName (src/Data/Singletons/Names.hs:25)
applyName (src/Data/Singletons/Names.hs:25)
natName (src/Data/Singletons/Names.hs:25)
symbolName (src/Data/Singletons/Names.hs:25)
undefinedName (src/Data/Singletons/Names.hs:25)
typeRepName (src/Data/Singletons/Names.hs:25)
stringName (src/Data/Singletons/Names.hs:25)
eqName (src/Data/Singletons/Names.hs:25)
ordName (src/Data/Singletons/Names.hs:25)
boundedName (src/Data/Singletons/Names.hs:25)
orderingName (src/Data/Singletons/Names.hs:25)
singFamilyName (src/Data/Singletons/Names.hs:25)
singIName (src/Data/Singletons/Names.hs:25)
singMethName (src/Data/Singletons/Names.hs:25)
demoteRepName (src/Data/Singletons/Names.hs:25)
singKindClassName (src/Data/Singletons/Names.hs:25)
sEqClassName (src/Data/Singletons/Names.hs:25)
sEqMethName (src/Data/Singletons/Names.hs:25)
sconsName (src/Data/Singletons/Names.hs:25)
snilName (src/Data/Singletons/Names.hs:25)
sIfName (src/Data/Singletons/Names.hs:25)
kProxyDataName (src/Data/Singletons/Names.hs:25)
kProxyTypeName (src/Data/Singletons/Names.hs:25)
proxyTypeName (src/Data/Singletons/Names.hs:25)
proxyDataName (src/Data/Singletons/Names.hs:25)
someSingTypeName (src/Data/Singletons/Names.hs:25)
someSingDataName (src/Data/Singletons/Names.hs:25)
sListName (src/Data/Singletons/Names.hs:25)
sDecideClassName (src/Data/Singletons/Names.hs:25)
sDecideMethName (src/Data/Singletons/Names.hs:25)
provedName (src/Data/Singletons/Names.hs:25)
disprovedName (src/Data/Singletons/Names.hs:25)
reflName (src/Data/Singletons/Names.hs:25)
toSingName (src/Data/Singletons/Names.hs:25)
fromSingName (src/Data/Singletons/Names.hs:25)
equalityName (src/Data/Singletons/Names.hs:25)
applySingName (src/Data/Singletons/Names.hs:25)
suppressClassName (src/Data/Singletons/Names.hs:25)
suppressMethodName (src/Data/Singletons/Names.hs:25)
thenCmpName (src/Data/Singletons/Names.hs:25)
kindOfName (src/Data/Singletons/Names.hs:25)
tyFromIntegerName (src/Data/Singletons/Names.hs:25)
tyNegateName (src/Data/Singletons/Names.hs:25)
sFromIntegerName (src/Data/Singletons/Names.hs:25)
sNegateName (src/Data/Singletons/Names.hs:25)
errorName (src/Data/Singletons/Names.hs:25)
foldlName (src/Data/Singletons/Names.hs:25)
cmpEQName (src/Data/Singletons/Names.hs:25)
cmpLTName (src/Data/Singletons/Names.hs:25)
cmpGTName (src/Data/Singletons/Names.hs:25)
singletonsToEnumName (src/Data/Singletons/Names.hs:25)
singletonsFromEnumName (src/Data/Singletons/Names.hs:25)
enumName (src/Data/Singletons/Names.hs:25)
singletonsEnumName (src/Data/Singletons/Names.hs:25)
equalsName (src/Data/Singletons/Names.hs:25)
singPkg (src/Data/Singletons/Names.hs:109)
mk_name_tc (src/Data/Singletons/Names.hs:112)
mk_name_d (src/Data/Singletons/Names.hs:115)
mk_name_v (src/Data/Singletons/Names.hs:118)
mkTupleTypeName (src/Data/Singletons/Names.hs:121)
mkTupleDataName (src/Data/Singletons/Names.hs:125)
promoteValNameLhs (src/Data/Singletons/Names.hs:131)
promoteValNameLhsPrefix (src/Data/Singletons/Names.hs:135)
promoteValRhs (src/Data/Singletons/Names.hs:140)
promoteTySym (src/Data/Singletons/Names.hs:152)
promoteClassName (src/Data/Singletons/Names.hs:172)
classTvsName (src/Data/Singletons/Names.hs:177)
mkTyName (src/Data/Singletons/Names.hs:180)
falseTySym (src/Data/Singletons/Names.hs:186)
trueTySym (src/Data/Singletons/Names.hs:189)
boolKi (src/Data/Singletons/Names.hs:192)
andTySym (src/Data/Singletons/Names.hs:195)
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)
mkListE (src/Data/Singletons/Names.hs:243)
foldApply (src/Data/Singletons/Names.hs:249)
mkEqPred (src/Data/Singletons/Names.hs:253)
mkKProxies (src/Data/Singletons/Names.hs:257)
100% ( 2 / 2) in 'Data.Singletons.Deriving.Ord'
0% ( 0 / 13) in 'Data.Singletons.Promote.Monad'
Missing documentation for:
Module header
PrM (src/Data/Singletons/Promote/Monad.hs:45)
promoteM (src/Data/Singletons/Promote/Monad.hs:95)
promoteM_ (src/Data/Singletons/Promote/Monad.hs:102)
promoteMDecs (src/Data/Singletons/Promote/Monad.hs:108)
VarPromotions (src/Data/Singletons/Syntax.hs:22)
allLocals (src/Data/Singletons/Promote/Monad.hs:53)
emitDecs (src/Data/Singletons/Promote/Monad.hs:64)
emitDecsM (src/Data/Singletons/Promote/Monad.hs:67)
lambdaBind (src/Data/Singletons/Promote/Monad.hs:74)
LetBind (src/Data/Singletons/Promote/Monad.hs:82)
letBind (src/Data/Singletons/Promote/Monad.hs:83)
lookupVarE (src/Data/Singletons/Promote/Monad.hs:88)
0% ( 0 / 13) in 'Data.Singletons.Single.Monad'
Missing documentation for:
Module header
SgM (src/Data/Singletons/Single/Monad.hs:46)
bindLets (src/Data/Singletons/Single/Monad.hs:81)
bindTyVars (src/Data/Singletons/Single/Monad.hs:159)
bindTyVarsEq (src/Data/Singletons/Single/Monad.hs:137)
lookupVarE (src/Data/Singletons/Single/Monad.hs:162)
lookupConE (src/Data/Singletons/Single/Monad.hs:165)
wrapSingFun (src/Data/Singletons/Single/Monad.hs:184)
wrapUnSingFun (src/Data/Singletons/Single/Monad.hs:199)
singM (src/Data/Singletons/Single/Monad.hs:214)
singDecsM (src/Data/Singletons/Single/Monad.hs:221)
emitDecs (src/Data/Singletons/Promote/Monad.hs:64)
emitDecsM (src/Data/Singletons/Promote/Monad.hs:67)
50% ( 1 / 2) in 'Data.Singletons.Deriving.Bounded'
Missing documentation for:
mkBoundedInstance (src/Data/Singletons/Deriving/Bounded.hs:27)
50% ( 1 / 2) in 'Data.Singletons.Deriving.Enum'
Missing documentation for:
mkEnumInstance (src/Data/Singletons/Deriving/Enum.hs:25)
0% ( 0 / 2) in 'Data.Singletons.Promote.Eq'
Missing documentation for:
Module header
mkEqTypeInstance (src/Data/Singletons/Promote/Eq.hs:20)
0% ( 0 / 3) in 'Data.Singletons.Promote.Type'
Missing documentation for:
Module header
promoteType (src/Data/Singletons/Promote/Type.hs:18)
promoteUnraveled (src/Data/Singletons/Promote/Type.hs:52)
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:166)
buildTyFun_maybe (src/Data/Singletons/Promote/Defun.hs:169)
tyFunArity (src/Data/Singletons/Promote/Defun.hs:176)
isTyFun (src/Data/Singletons/Promote/Defun.hs:183)
ravelTyFun (src/Data/Singletons/Promote/Defun.hs:190)
29% ( 2 / 7) in 'Data.Singletons.Partition'
Missing documentation for:
PartitionedDecs (src/Data/Singletons/Partition.hs:31)
(src/Data/Singletons/Partition.hs:38)
partitionDec (src/Data/Singletons/Partition.hs:48)
partitionClassDec (src/Data/Singletons/Partition.hs:92)
partitionInstanceDec (src/Data/Singletons/Partition.hs:104)
39% ( 12 / 31) in 'Data.Singletons.Promote'
Missing documentation for:
Module header
promoteInstance (src/Data/Singletons/Promote.hs:108)
promoteInfo (src/Data/Singletons/Promote.hs:119)
promoteDecs (src/Data/Singletons/Promote.hs:165)
promoteDataDecs (src/Data/Singletons/Promote.hs:181)
promoteLetDecs (src/Data/Singletons/Promote.hs:195)
promoteDataDec (src/Data/Singletons/Promote.hs:222)
promoteClassDec (src/Data/Singletons/Promote.hs:234)
promoteInstanceDec (src/Data/Singletons/Promote.hs:287)
promoteMethod (src/Data/Singletons/Promote.hs:324)
promoteLetDecEnv (src/Data/Singletons/Promote.hs:367)
promoteInfixDecl (src/Data/Singletons/Promote.hs:391)
promoteLetDecRHS (src/Data/Singletons/Promote.hs:399)
promoteClause (src/Data/Singletons/Promote.hs:469)
promoteMatch (src/Data/Singletons/Promote.hs:479)
promotePat (src/Data/Singletons/Promote.hs:491)
promoteExp (src/Data/Singletons/Promote.hs:522)
promoteLitExp (src/Data/Singletons/Promote.hs:574)
promoteLitPat (src/Data/Singletons/Promote.hs:583)
0% ( 0 / 4) in 'Data.Singletons.Single.Type'
Missing documentation for:
Module header
singType (src/Data/Singletons/Single/Type.hs:19)
singPred (src/Data/Singletons/Single/Type.hs:39)
singPredRec (src/Data/Singletons/Single/Type.hs:42)
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)
42% ( 15 / 36) in 'Data.Singletons.Single'
Missing documentation for:
Module header
singEqualityInstance (src/Data/Singletons/Single.hs:130)
singInstance (src/Data/Singletons/Single.hs:168)
singInfo (src/Data/Singletons/Single.hs:182)
singTopLevelDecs (src/Data/Singletons/Single.hs:192)
buildDataLets (src/Data/Singletons/Single.hs:220)
buildMethLets (src/Data/Singletons/Single.hs:238)
singClassD (src/Data/Singletons/Single.hs:247)
singInstD (src/Data/Singletons/Single.hs:293)
singLetDecEnv (src/Data/Singletons/Single.hs:340)
singInfixDecl (src/Data/Singletons/Single.hs:358)
singTySig (src/Data/Singletons/Single.hs:367)
singLetDecRHS (src/Data/Singletons/Single.hs:409)
singClause (src/Data/Singletons/Single.hs:424)
PatternContext (src/Data/Singletons/Single.hs:454)
checkIfBrainWillExplode (src/Data/Singletons/Single.hs:459)
singPat (src/Data/Singletons/Single.hs:475)
singExp (src/Data/Singletons/Single.hs:527)
isException (src/Data/Singletons/Single.hs:556)
singMatch (src/Data/Singletons/Single.hs:568)
singLit (src/Data/Singletons/Single.hs:584)
0% ( 0 /210) in 'Data.Singletons.Prelude.Instances'
Missing documentation for:
Module header
NothingSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
JustSym1 (src/Data/Singletons/Prelude/Instances.hs:22)
JustSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
SMaybe (src/Data/Singletons/Prelude/Instances.hs:22)
NilSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
:$$$ (src/Data/Singletons/Prelude/Instances.hs:22)
:$$ (src/Data/Singletons/Prelude/Instances.hs:22)
:$ (src/Data/Singletons/Prelude/Instances.hs:22)
SList (src/Data/Singletons/Prelude/Instances.hs:22)
LeftSym1 (src/Data/Singletons/Prelude/Instances.hs:22)
LeftSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
RightSym1 (src/Data/Singletons/Prelude/Instances.hs:22)
RightSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
SEither (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
STuple2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
STuple3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
STuple4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
STuple5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
STuple6 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
STuple7 (src/Data/Singletons/Prelude/Instances.hs:22)
FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
SBool (src/Data/Singletons/Prelude/Instances.hs:22)
LTSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
EQSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
GTSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
SOrdering (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
STuple0 (src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:22)
(src/Data/Singletons/Prelude/Instances.hs:23)
(src/Data/Singletons/Prelude/Instances.hs:23)
(src/Data/Singletons/Prelude/Instances.hs:23)
(src/Data/Singletons/Prelude/Instances.hs:23)
(src/Data/Singletons/Prelude/Instances.hs:23)
(src/Data/Singletons/Prelude/Instances.hs:23)
(src/Data/Singletons/Prelude/Instances.hs:23)
(src/Data/Singletons/Prelude/Instances.hs:23)
(src/Data/Singletons/Prelude/Instances.hs:23)
(src/Data/Singletons/Prelude/Instances.hs:23)
(src/Data/Singletons/Prelude/Instances.hs:23)
(src/Data/Singletons/Prelude/Instances.hs:23)
Let1627532338Lgo (src/Data/Singletons/Prelude/Instances.hs:27)
Let1627532338LgoSym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Let1627532338LgoSym4 (src/Data/Singletons/Prelude/Instances.hs:27)
Let1627532338LgoSym5 (src/Data/Singletons/Prelude/Instances.hs:27)
Let1627532338LgoSym2 (src/Data/Singletons/Prelude/Instances.hs:27)
Let1627532338LgoSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
Let1627532338LgoSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
Foldl (src/Data/Singletons/Prelude/Instances.hs:27)
FoldlSym3 (src/Data/Singletons/Prelude/Instances.hs:27)
FoldlSym2 (src/Data/Singletons/Prelude/Instances.hs:27)
FoldlSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
FoldlSym0 (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)
sFoldl (src/Data/Singletons/Prelude/Instances.hs:27)
29% ( 11 / 38) in 'Data.Singletons.Prelude.Bool'
Missing documentation for:
SBool (src/Data/Singletons/Prelude/Instances.hs:22)
Not (src/Data/Singletons/Prelude/Bool.hs:68)
sNot (src/Data/Singletons/Prelude/Bool.hs:68)
:&& (src/Data/Singletons/Prelude/Bool.hs:68)
:|| (src/Data/Singletons/Prelude/Bool.hs:68)
%:&& (src/Data/Singletons/Prelude/Bool.hs:68)
%:|| (src/Data/Singletons/Prelude/Bool.hs:68)
bool_ (src/Data/Singletons/Prelude/Bool.hs:62)
Bool_ (src/Data/Singletons/Prelude/Bool.hs:62)
sBool_ (src/Data/Singletons/Prelude/Bool.hs:62)
Otherwise (src/Data/Singletons/Prelude/Bool.hs:68)
sOtherwise (src/Data/Singletons/Prelude/Bool.hs:68)
TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
NotSym0 (src/Data/Singletons/Prelude/Bool.hs:68)
NotSym1 (src/Data/Singletons/Prelude/Bool.hs:68)
:&&$ (src/Data/Singletons/Prelude/Bool.hs:68)
:&&$$ (src/Data/Singletons/Prelude/Bool.hs:68)
:&&$$$ (src/Data/Singletons/Prelude/Bool.hs:68)
:||$ (src/Data/Singletons/Prelude/Bool.hs:68)
:||$$ (src/Data/Singletons/Prelude/Bool.hs:68)
:||$$$ (src/Data/Singletons/Prelude/Bool.hs:68)
Bool_Sym0 (src/Data/Singletons/Prelude/Bool.hs:62)
Bool_Sym1 (src/Data/Singletons/Prelude/Bool.hs:62)
Bool_Sym2 (src/Data/Singletons/Prelude/Bool.hs:62)
Bool_Sym3 (src/Data/Singletons/Prelude/Bool.hs:62)
OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:68)
33% ( 3 / 9) in 'Data.Singletons.Prelude.Eq'
Missing documentation for:
:==$ (src/Data/Singletons/Prelude/Eq.hs:46)
:==$$ (src/Data/Singletons/Prelude/Eq.hs:46)
:==$$$ (src/Data/Singletons/Prelude/Eq.hs:46)
:/=$ (src/Data/Singletons/Prelude/Eq.hs:46)
:/=$$ (src/Data/Singletons/Prelude/Eq.hs:46)
:/=$$$ (src/Data/Singletons/Prelude/Eq.hs:46)
100% ( 4 / 4) in 'Data.Singletons.CustomStar'
25% ( 2 / 8) in 'Data.Promotion.Prelude.Eq'
Missing documentation for:
:==$ (src/Data/Singletons/Prelude/Eq.hs:46)
:==$$ (src/Data/Singletons/Prelude/Eq.hs:46)
:==$$$ (src/Data/Singletons/Prelude/Eq.hs:46)
:/=$ (src/Data/Singletons/Prelude/Eq.hs:46)
:/=$$ (src/Data/Singletons/Prelude/Eq.hs:46)
:/=$$$ (src/Data/Singletons/Prelude/Eq.hs:46)
19% ( 5 / 26) in 'Data.Promotion.Prelude.Bool'
Missing documentation for:
Bool_ (src/Data/Singletons/Prelude/Bool.hs:62)
bool_ (src/Data/Singletons/Prelude/Bool.hs:62)
Not (src/Data/Singletons/Prelude/Bool.hs:68)
:&& (src/Data/Singletons/Prelude/Bool.hs:68)
:|| (src/Data/Singletons/Prelude/Bool.hs:68)
Otherwise (src/Data/Singletons/Prelude/Bool.hs:68)
TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
NotSym0 (src/Data/Singletons/Prelude/Bool.hs:68)
NotSym1 (src/Data/Singletons/Prelude/Bool.hs:68)
:&&$ (src/Data/Singletons/Prelude/Bool.hs:68)
:&&$$ (src/Data/Singletons/Prelude/Bool.hs:68)
:&&$$$ (src/Data/Singletons/Prelude/Bool.hs:68)
:||$ (src/Data/Singletons/Prelude/Bool.hs:68)
:||$$ (src/Data/Singletons/Prelude/Bool.hs:68)
:||$$$ (src/Data/Singletons/Prelude/Bool.hs:68)
Bool_Sym0 (src/Data/Singletons/Prelude/Bool.hs:62)
Bool_Sym1 (src/Data/Singletons/Prelude/Bool.hs:62)
Bool_Sym2 (src/Data/Singletons/Prelude/Bool.hs:62)
Bool_Sym3 (src/Data/Singletons/Prelude/Bool.hs:62)
OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:68)
11% ( 4 / 36) in 'Data.Singletons.Prelude.Ord'
Missing documentation for:
POrd (src/Data/Singletons/Prelude/Ord.hs:46)
SOrd (src/Data/Singletons/Prelude/Ord.hs:46)
thenCmp (src/Data/Singletons/Prelude/Ord.hs:76)
ThenCmp (src/Data/Singletons/Prelude/Ord.hs:76)
sThenCmp (src/Data/Singletons/Prelude/Ord.hs:76)
ThenCmpSym0 (src/Data/Singletons/Prelude/Ord.hs:76)
ThenCmpSym1 (src/Data/Singletons/Prelude/Ord.hs:76)
ThenCmpSym2 (src/Data/Singletons/Prelude/Ord.hs:76)
LTSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
EQSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
GTSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
CompareSym0 (src/Data/Singletons/Prelude/Ord.hs:46)
CompareSym1 (src/Data/Singletons/Prelude/Ord.hs:46)
CompareSym2 (src/Data/Singletons/Prelude/Ord.hs:46)
:<$ (src/Data/Singletons/Prelude/Ord.hs:46)
:<$$ (src/Data/Singletons/Prelude/Ord.hs:46)
:<$$$ (src/Data/Singletons/Prelude/Ord.hs:46)
:<=$ (src/Data/Singletons/Prelude/Ord.hs:46)
:<=$$ (src/Data/Singletons/Prelude/Ord.hs:46)
:<=$$$ (src/Data/Singletons/Prelude/Ord.hs:46)
:>$ (src/Data/Singletons/Prelude/Ord.hs:46)
:>$$ (src/Data/Singletons/Prelude/Ord.hs:46)
:>$$$ (src/Data/Singletons/Prelude/Ord.hs:46)
:>=$ (src/Data/Singletons/Prelude/Ord.hs:46)
:>=$$ (src/Data/Singletons/Prelude/Ord.hs:46)
:>=$$$ (src/Data/Singletons/Prelude/Ord.hs:46)
MaxSym0 (src/Data/Singletons/Prelude/Ord.hs:46)
MaxSym1 (src/Data/Singletons/Prelude/Ord.hs:46)
MaxSym2 (src/Data/Singletons/Prelude/Ord.hs:46)
MinSym0 (src/Data/Singletons/Prelude/Ord.hs:46)
MinSym1 (src/Data/Singletons/Prelude/Ord.hs:46)
MinSym2 (src/Data/Singletons/Prelude/Ord.hs:46)
4% ( 1 / 26) in 'Data.Promotion.Prelude.Ord'
Missing documentation for:
POrd (src/Data/Singletons/Prelude/Ord.hs:46)
LTSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
EQSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
GTSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
CompareSym0 (src/Data/Singletons/Prelude/Ord.hs:46)
CompareSym1 (src/Data/Singletons/Prelude/Ord.hs:46)
CompareSym2 (src/Data/Singletons/Prelude/Ord.hs:46)
:<$ (src/Data/Singletons/Prelude/Ord.hs:46)
:<$$ (src/Data/Singletons/Prelude/Ord.hs:46)
:<$$$ (src/Data/Singletons/Prelude/Ord.hs:46)
:<=$ (src/Data/Singletons/Prelude/Ord.hs:46)
:<=$$ (src/Data/Singletons/Prelude/Ord.hs:46)
:<=$$$ (src/Data/Singletons/Prelude/Ord.hs:46)
:>$ (src/Data/Singletons/Prelude/Ord.hs:46)
:>$$ (src/Data/Singletons/Prelude/Ord.hs:46)
:>$$$ (src/Data/Singletons/Prelude/Ord.hs:46)
:>=$ (src/Data/Singletons/Prelude/Ord.hs:46)
:>=$$ (src/Data/Singletons/Prelude/Ord.hs:46)
:>=$$$ (src/Data/Singletons/Prelude/Ord.hs:46)
MaxSym0 (src/Data/Singletons/Prelude/Ord.hs:46)
MaxSym1 (src/Data/Singletons/Prelude/Ord.hs:46)
MaxSym2 (src/Data/Singletons/Prelude/Ord.hs:46)
MinSym0 (src/Data/Singletons/Prelude/Ord.hs:46)
MinSym1 (src/Data/Singletons/Prelude/Ord.hs:46)
MinSym2 (src/Data/Singletons/Prelude/Ord.hs:46)
100% ( 3 / 3) in 'Data.Singletons.TypeRepStar'
5% ( 3 / 63) in 'Data.Singletons.Prelude.Base'
Missing documentation for:
Foldr (src/Data/Singletons/Prelude/Base.hs:55)
sFoldr (src/Data/Singletons/Prelude/Base.hs:55)
Map (src/Data/Singletons/Prelude/Base.hs:55)
sMap (src/Data/Singletons/Prelude/Base.hs:55)
:++ (src/Data/Singletons/Prelude/Base.hs:55)
%:++ (src/Data/Singletons/Prelude/Base.hs:55)
Otherwise (src/Data/Singletons/Prelude/Bool.hs:68)
sOtherwise (src/Data/Singletons/Prelude/Bool.hs:68)
Id (src/Data/Singletons/Prelude/Base.hs:55)
sId (src/Data/Singletons/Prelude/Base.hs:55)
Const (src/Data/Singletons/Prelude/Base.hs:55)
sConst (src/Data/Singletons/Prelude/Base.hs:55)
:. (src/Data/Singletons/Prelude/Base.hs:55)
%:. (src/Data/Singletons/Prelude/Base.hs:55)
$ (src/Data/Singletons/Prelude/Base.hs:96)
$! (src/Data/Singletons/Prelude/Base.hs:113)
%$ (src/Data/Singletons/Prelude/Base.hs:108)
%$! (src/Data/Singletons/Prelude/Base.hs:125)
Flip (src/Data/Singletons/Prelude/Base.hs:55)
sFlip (src/Data/Singletons/Prelude/Base.hs:55)
AsTypeOf (src/Data/Singletons/Prelude/Base.hs:55)
sAsTypeOf (src/Data/Singletons/Prelude/Base.hs:55)
Seq (src/Data/Singletons/Prelude/Base.hs:55)
sSeq (src/Data/Singletons/Prelude/Base.hs:55)
FoldrSym0 (src/Data/Singletons/Prelude/Base.hs:55)
FoldrSym1 (src/Data/Singletons/Prelude/Base.hs:55)
FoldrSym2 (src/Data/Singletons/Prelude/Base.hs:55)
FoldrSym3 (src/Data/Singletons/Prelude/Base.hs:55)
MapSym0 (src/Data/Singletons/Prelude/Base.hs:55)
MapSym1 (src/Data/Singletons/Prelude/Base.hs:55)
MapSym2 (src/Data/Singletons/Prelude/Base.hs:55)
:++$ (src/Data/Singletons/Prelude/Base.hs:55)
:++$$ (src/Data/Singletons/Prelude/Base.hs:55)
:++$$$ (src/Data/Singletons/Prelude/Base.hs:55)
OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:68)
IdSym0 (src/Data/Singletons/Prelude/Base.hs:55)
IdSym1 (src/Data/Singletons/Prelude/Base.hs:55)
ConstSym0 (src/Data/Singletons/Prelude/Base.hs:55)
ConstSym1 (src/Data/Singletons/Prelude/Base.hs:55)
ConstSym2 (src/Data/Singletons/Prelude/Base.hs:55)
:.$ (src/Data/Singletons/Prelude/Base.hs:55)
:.$$ (src/Data/Singletons/Prelude/Base.hs:55)
:.$$$ (src/Data/Singletons/Prelude/Base.hs:55)
:.$$$$ (src/Data/Singletons/Prelude/Base.hs:55)
$$ (src/Data/Singletons/Prelude/Base.hs:100)
$$$ (src/Data/Singletons/Prelude/Base.hs:103)
$$$$ (src/Data/Singletons/Prelude/Base.hs:106)
$!$ (src/Data/Singletons/Prelude/Base.hs:117)
$!$$ (src/Data/Singletons/Prelude/Base.hs:120)
$!$$$ (src/Data/Singletons/Prelude/Base.hs:123)
FlipSym0 (src/Data/Singletons/Prelude/Base.hs:55)
FlipSym1 (src/Data/Singletons/Prelude/Base.hs:55)
FlipSym2 (src/Data/Singletons/Prelude/Base.hs:55)
FlipSym3 (src/Data/Singletons/Prelude/Base.hs:55)
AsTypeOfSym0 (src/Data/Singletons/Prelude/Base.hs:55)
AsTypeOfSym1 (src/Data/Singletons/Prelude/Base.hs:55)
AsTypeOfSym2 (src/Data/Singletons/Prelude/Base.hs:55)
SeqSym0 (src/Data/Singletons/Prelude/Base.hs:55)
SeqSym1 (src/Data/Singletons/Prelude/Base.hs:55)
SeqSym2 (src/Data/Singletons/Prelude/Base.hs:55)
70% ( 14 / 20) in 'Data.Singletons.TypeLits.Internal'
Missing documentation for:
ErrorSym0 (src/Data/Singletons/TypeLits/Internal.hs:146)
ErrorSym1 (src/Data/Singletons/TypeLits/Internal.hs:146)
:^ (src/Data/Singletons/TypeLits/Internal.hs:153)
:^$ (src/Data/Singletons/TypeLits/Internal.hs:155)
:^$$ (src/Data/Singletons/TypeLits/Internal.hs:155)
:^$$$ (src/Data/Singletons/TypeLits/Internal.hs:155)
8% ( 2 / 26) in 'Data.Singletons.Prelude.Num'
Missing documentation for:
PNum (src/Data/Singletons/Prelude/Num.hs:42)
SNum (src/Data/Singletons/Prelude/Num.hs:42)
Subtract (src/Data/Singletons/Prelude/Num.hs:127)
sSubtract (src/Data/Singletons/Prelude/Num.hs:127)
:+$ (src/Data/Singletons/Prelude/Num.hs:42)
:+$$ (src/Data/Singletons/Prelude/Num.hs:42)
:+$$$ (src/Data/Singletons/Prelude/Num.hs:42)
:-$ (src/Data/Singletons/Prelude/Num.hs:42)
:-$$ (src/Data/Singletons/Prelude/Num.hs:42)
:-$$$ (src/Data/Singletons/Prelude/Num.hs:42)
:*$ (src/Data/Singletons/Prelude/Num.hs:42)
:*$$ (src/Data/Singletons/Prelude/Num.hs:42)
:*$$$ (src/Data/Singletons/Prelude/Num.hs:42)
NegateSym0 (src/Data/Singletons/Prelude/Num.hs:42)
NegateSym1 (src/Data/Singletons/Prelude/Num.hs:42)
AbsSym0 (src/Data/Singletons/Prelude/Num.hs:42)
AbsSym1 (src/Data/Singletons/Prelude/Num.hs:42)
SignumSym0 (src/Data/Singletons/Prelude/Num.hs:42)
SignumSym1 (src/Data/Singletons/Prelude/Num.hs:42)
FromIntegerSym0 (src/Data/Singletons/Prelude/Num.hs:42)
FromIntegerSym1 (src/Data/Singletons/Prelude/Num.hs:42)
SubtractSym0 (src/Data/Singletons/Prelude/Num.hs:127)
SubtractSym1 (src/Data/Singletons/Prelude/Num.hs:127)
SubtractSym2 (src/Data/Singletons/Prelude/Num.hs:127)
68% ( 13 / 19) in 'Data.Singletons.TypeLits'
Missing documentation for:
ErrorSym0 (src/Data/Singletons/TypeLits/Internal.hs:146)
ErrorSym1 (src/Data/Singletons/TypeLits/Internal.hs:146)
:^ (src/Data/Singletons/TypeLits/Internal.hs:153)
:^$ (src/Data/Singletons/TypeLits/Internal.hs:155)
:^$$ (src/Data/Singletons/TypeLits/Internal.hs:155)
:^$$$ (src/Data/Singletons/TypeLits/Internal.hs:155)
53% ( 56 /106) in 'Data.Singletons.TH'
Missing documentation for:
:&& (src/Data/Singletons/Prelude/Bool.hs:68)
POrd (src/Data/Singletons/Prelude/Ord.hs:46)
SOrd (src/Data/Singletons/Prelude/Ord.hs:46)
ThenCmp (src/Data/Singletons/Prelude/Ord.hs:76)
sThenCmp (src/Data/Singletons/Prelude/Ord.hs:76)
Foldl (src/Data/Singletons/Prelude/Instances.hs:27)
sFoldl (src/Data/Singletons/Prelude/Instances.hs:27)
ErrorSym0 (src/Data/Singletons/TypeLits/Internal.hs:146)
TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
LTSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
EQSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
GTSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:22)
CompareSym0 (src/Data/Singletons/Prelude/Ord.hs:46)
ThenCmpSym0 (src/Data/Singletons/Prelude/Ord.hs:76)
FoldlSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
21% ( 8 / 38) in 'Data.Singletons.Prelude.Either'
Missing documentation for:
SEither (src/Data/Singletons/Prelude/Instances.hs:22)
either_ (src/Data/Singletons/Prelude/Either.hs:60)
Either_ (src/Data/Singletons/Prelude/Either.hs:60)
sEither_ (src/Data/Singletons/Prelude/Either.hs:60)
Lefts (src/Data/Singletons/Prelude/Either.hs:70)
sLefts (src/Data/Singletons/Prelude/Either.hs:70)
Rights (src/Data/Singletons/Prelude/Either.hs:70)
sRights (src/Data/Singletons/Prelude/Either.hs:70)
PartitionEithers (src/Data/Singletons/Prelude/Either.hs:70)
sPartitionEithers (src/Data/Singletons/Prelude/Either.hs:70)
IsLeft (src/Data/Singletons/Prelude/Either.hs:70)
sIsLeft (src/Data/Singletons/Prelude/Either.hs:70)
IsRight (src/Data/Singletons/Prelude/Either.hs:70)
sIsRight (src/Data/Singletons/Prelude/Either.hs:70)
LeftSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
LeftSym1 (src/Data/Singletons/Prelude/Instances.hs:22)
RightSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
RightSym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Either_Sym0 (src/Data/Singletons/Prelude/Either.hs:60)
Either_Sym1 (src/Data/Singletons/Prelude/Either.hs:60)
Either_Sym2 (src/Data/Singletons/Prelude/Either.hs:60)
Either_Sym3 (src/Data/Singletons/Prelude/Either.hs:60)
LeftsSym0 (src/Data/Singletons/Prelude/Either.hs:70)
LeftsSym1 (src/Data/Singletons/Prelude/Either.hs:70)
RightsSym0 (src/Data/Singletons/Prelude/Either.hs:70)
RightsSym1 (src/Data/Singletons/Prelude/Either.hs:70)
IsLeftSym0 (src/Data/Singletons/Prelude/Either.hs:70)
IsLeftSym1 (src/Data/Singletons/Prelude/Either.hs:70)
IsRightSym0 (src/Data/Singletons/Prelude/Either.hs:70)
IsRightSym1 (src/Data/Singletons/Prelude/Either.hs:70)
15% ( 4 / 27) in 'Data.Promotion.Prelude.Either'
Missing documentation for:
either_ (src/Data/Singletons/Prelude/Either.hs:60)
Either_ (src/Data/Singletons/Prelude/Either.hs:60)
Lefts (src/Data/Singletons/Prelude/Either.hs:70)
Rights (src/Data/Singletons/Prelude/Either.hs:70)
PartitionEithers (src/Data/Singletons/Prelude/Either.hs:70)
IsLeft (src/Data/Singletons/Prelude/Either.hs:70)
IsRight (src/Data/Singletons/Prelude/Either.hs:70)
LeftSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
LeftSym1 (src/Data/Singletons/Prelude/Instances.hs:22)
RightSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
RightSym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Either_Sym0 (src/Data/Singletons/Prelude/Either.hs:60)
Either_Sym1 (src/Data/Singletons/Prelude/Either.hs:60)
Either_Sym2 (src/Data/Singletons/Prelude/Either.hs:60)
Either_Sym3 (src/Data/Singletons/Prelude/Either.hs:60)
LeftsSym0 (src/Data/Singletons/Prelude/Either.hs:70)
LeftsSym1 (src/Data/Singletons/Prelude/Either.hs:70)
RightsSym0 (src/Data/Singletons/Prelude/Either.hs:70)
RightsSym1 (src/Data/Singletons/Prelude/Either.hs:70)
IsLeftSym0 (src/Data/Singletons/Prelude/Either.hs:70)
IsLeftSym1 (src/Data/Singletons/Prelude/Either.hs:70)
IsRightSym0 (src/Data/Singletons/Prelude/Either.hs:70)
IsRightSym1 (src/Data/Singletons/Prelude/Either.hs:70)
9% ( 6 / 70) in 'Data.Singletons.Prelude.Tuple'
Missing documentation for:
STuple0 (src/Data/Singletons/Prelude/Instances.hs:22)
STuple2 (src/Data/Singletons/Prelude/Instances.hs:22)
STuple3 (src/Data/Singletons/Prelude/Instances.hs:22)
STuple4 (src/Data/Singletons/Prelude/Instances.hs:22)
STuple5 (src/Data/Singletons/Prelude/Instances.hs:22)
STuple6 (src/Data/Singletons/Prelude/Instances.hs:22)
STuple7 (src/Data/Singletons/Prelude/Instances.hs:22)
Fst (src/Data/Singletons/Prelude/Tuple.hs:52)
sFst (src/Data/Singletons/Prelude/Tuple.hs:52)
Snd (src/Data/Singletons/Prelude/Tuple.hs:52)
sSnd (src/Data/Singletons/Prelude/Tuple.hs:52)
Curry (src/Data/Singletons/Prelude/Tuple.hs:52)
sCurry (src/Data/Singletons/Prelude/Tuple.hs:52)
Uncurry (src/Data/Singletons/Prelude/Tuple.hs:52)
sUncurry (src/Data/Singletons/Prelude/Tuple.hs:52)
Swap (src/Data/Singletons/Prelude/Tuple.hs:52)
sSwap (src/Data/Singletons/Prelude/Tuple.hs:52)
Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:22)
FstSym0 (src/Data/Singletons/Prelude/Tuple.hs:52)
FstSym1 (src/Data/Singletons/Prelude/Tuple.hs:52)
SndSym0 (src/Data/Singletons/Prelude/Tuple.hs:52)
SndSym1 (src/Data/Singletons/Prelude/Tuple.hs:52)
CurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:52)
CurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:52)
CurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:52)
CurrySym3 (src/Data/Singletons/Prelude/Tuple.hs:52)
UncurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:52)
UncurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:52)
UncurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:52)
SwapSym0 (src/Data/Singletons/Prelude/Tuple.hs:52)
SwapSym1 (src/Data/Singletons/Prelude/Tuple.hs:52)
5% ( 3 / 55) in 'Data.Promotion.Prelude.Tuple'
Missing documentation for:
Fst (src/Data/Singletons/Prelude/Tuple.hs:52)
Snd (src/Data/Singletons/Prelude/Tuple.hs:52)
Curry (src/Data/Singletons/Prelude/Tuple.hs:52)
Uncurry (src/Data/Singletons/Prelude/Tuple.hs:52)
Swap (src/Data/Singletons/Prelude/Tuple.hs:52)
Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:22)
FstSym0 (src/Data/Singletons/Prelude/Tuple.hs:52)
FstSym1 (src/Data/Singletons/Prelude/Tuple.hs:52)
SndSym0 (src/Data/Singletons/Prelude/Tuple.hs:52)
SndSym1 (src/Data/Singletons/Prelude/Tuple.hs:52)
CurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:52)
CurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:52)
CurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:52)
CurrySym3 (src/Data/Singletons/Prelude/Tuple.hs:52)
UncurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:52)
UncurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:52)
UncurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:52)
SwapSym0 (src/Data/Singletons/Prelude/Tuple.hs:52)
SwapSym1 (src/Data/Singletons/Prelude/Tuple.hs:52)
5% ( 3 / 56) in 'Data.Promotion.Prelude.Base'
Missing documentation for:
Foldr (src/Data/Singletons/Prelude/Base.hs:55)
Map (src/Data/Singletons/Prelude/Base.hs:55)
:++ (src/Data/Singletons/Prelude/Base.hs:55)
Otherwise (src/Data/Singletons/Prelude/Bool.hs:68)
Id (src/Data/Singletons/Prelude/Base.hs:55)
Const (src/Data/Singletons/Prelude/Base.hs:55)
:. (src/Data/Singletons/Prelude/Base.hs:55)
$ (src/Data/Singletons/Prelude/Base.hs:96)
$! (src/Data/Singletons/Prelude/Base.hs:113)
Flip (src/Data/Singletons/Prelude/Base.hs:55)
Until (src/Data/Promotion/Prelude/Base.hs:48)
AsTypeOf (src/Data/Singletons/Prelude/Base.hs:55)
Seq (src/Data/Singletons/Prelude/Base.hs:55)
FoldrSym0 (src/Data/Singletons/Prelude/Base.hs:55)
FoldrSym1 (src/Data/Singletons/Prelude/Base.hs:55)
FoldrSym2 (src/Data/Singletons/Prelude/Base.hs:55)
FoldrSym3 (src/Data/Singletons/Prelude/Base.hs:55)
MapSym0 (src/Data/Singletons/Prelude/Base.hs:55)
MapSym1 (src/Data/Singletons/Prelude/Base.hs:55)
MapSym2 (src/Data/Singletons/Prelude/Base.hs:55)
:++$ (src/Data/Singletons/Prelude/Base.hs:55)
:++$$ (src/Data/Singletons/Prelude/Base.hs:55)
:++$$$ (src/Data/Singletons/Prelude/Base.hs:55)
OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:68)
IdSym0 (src/Data/Singletons/Prelude/Base.hs:55)
IdSym1 (src/Data/Singletons/Prelude/Base.hs:55)
ConstSym0 (src/Data/Singletons/Prelude/Base.hs:55)
ConstSym1 (src/Data/Singletons/Prelude/Base.hs:55)
ConstSym2 (src/Data/Singletons/Prelude/Base.hs:55)
:.$ (src/Data/Singletons/Prelude/Base.hs:55)
:.$$ (src/Data/Singletons/Prelude/Base.hs:55)
:.$$$ (src/Data/Singletons/Prelude/Base.hs:55)
:.$$$$ (src/Data/Singletons/Prelude/Base.hs:55)
$$ (src/Data/Singletons/Prelude/Base.hs:100)
$$$ (src/Data/Singletons/Prelude/Base.hs:103)
$$$$ (src/Data/Singletons/Prelude/Base.hs:106)
$!$ (src/Data/Singletons/Prelude/Base.hs:117)
$!$$ (src/Data/Singletons/Prelude/Base.hs:120)
$!$$$ (src/Data/Singletons/Prelude/Base.hs:123)
FlipSym0 (src/Data/Singletons/Prelude/Base.hs:55)
FlipSym1 (src/Data/Singletons/Prelude/Base.hs:55)
FlipSym2 (src/Data/Singletons/Prelude/Base.hs:55)
FlipSym3 (src/Data/Singletons/Prelude/Base.hs:55)
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:55)
AsTypeOfSym1 (src/Data/Singletons/Prelude/Base.hs:55)
AsTypeOfSym2 (src/Data/Singletons/Prelude/Base.hs:55)
SeqSym0 (src/Data/Singletons/Prelude/Base.hs:55)
SeqSym1 (src/Data/Singletons/Prelude/Base.hs:55)
SeqSym2 (src/Data/Singletons/Prelude/Base.hs:55)
8% ( 25 /306) in 'Data.Singletons.Prelude.List'
Missing documentation for:
SList (src/Data/Singletons/Prelude/Instances.hs:22)
:++ (src/Data/Singletons/Prelude/Base.hs:55)
%:++ (src/Data/Singletons/Prelude/Base.hs:55)
Head (src/Data/Singletons/Prelude/List.hs:185)
sHead (src/Data/Singletons/Prelude/List.hs:185)
Last (src/Data/Singletons/Prelude/List.hs:185)
sLast (src/Data/Singletons/Prelude/List.hs:185)
Tail (src/Data/Singletons/Prelude/List.hs:185)
sTail (src/Data/Singletons/Prelude/List.hs:185)
Init (src/Data/Singletons/Prelude/List.hs:185)
sInit (src/Data/Singletons/Prelude/List.hs:185)
Null (src/Data/Singletons/Prelude/List.hs:185)
sNull (src/Data/Singletons/Prelude/List.hs:185)
Map (src/Data/Singletons/Prelude/Base.hs:55)
sMap (src/Data/Singletons/Prelude/Base.hs:55)
Reverse (src/Data/Singletons/Prelude/List.hs:185)
sReverse (src/Data/Singletons/Prelude/List.hs:185)
Intersperse (src/Data/Singletons/Prelude/List.hs:185)
sIntersperse (src/Data/Singletons/Prelude/List.hs:185)
Intercalate (src/Data/Singletons/Prelude/List.hs:185)
sIntercalate (src/Data/Singletons/Prelude/List.hs:185)
Subsequences (src/Data/Singletons/Prelude/List.hs:185)
sSubsequences (src/Data/Singletons/Prelude/List.hs:185)
Permutations (src/Data/Singletons/Prelude/List.hs:185)
sPermutations (src/Data/Singletons/Prelude/List.hs:185)
Foldl (src/Data/Singletons/Prelude/Instances.hs:27)
sFoldl (src/Data/Singletons/Prelude/Instances.hs:27)
Foldl' (src/Data/Singletons/Prelude/List.hs:185)
sFoldl' (src/Data/Singletons/Prelude/List.hs:185)
Foldl1 (src/Data/Singletons/Prelude/List.hs:185)
sFoldl1 (src/Data/Singletons/Prelude/List.hs:185)
Foldl1' (src/Data/Singletons/Prelude/List.hs:185)
sFoldl1' (src/Data/Singletons/Prelude/List.hs:185)
Foldr (src/Data/Singletons/Prelude/Base.hs:55)
sFoldr (src/Data/Singletons/Prelude/Base.hs:55)
Foldr1 (src/Data/Singletons/Prelude/List.hs:185)
sFoldr1 (src/Data/Singletons/Prelude/List.hs:185)
Concat (src/Data/Singletons/Prelude/List.hs:185)
sConcat (src/Data/Singletons/Prelude/List.hs:185)
ConcatMap (src/Data/Singletons/Prelude/List.hs:185)
sConcatMap (src/Data/Singletons/Prelude/List.hs:185)
And (src/Data/Singletons/Prelude/List.hs:185)
sAnd (src/Data/Singletons/Prelude/List.hs:185)
Or (src/Data/Singletons/Prelude/List.hs:185)
sOr (src/Data/Singletons/Prelude/List.hs:185)
Any_ (src/Data/Singletons/Prelude/List.hs:179)
sAny_ (src/Data/Singletons/Prelude/List.hs:179)
All (src/Data/Singletons/Prelude/List.hs:185)
sAll (src/Data/Singletons/Prelude/List.hs:185)
any_ (src/Data/Singletons/Prelude/List.hs:179)
Scanl (src/Data/Singletons/Prelude/List.hs:185)
sScanl (src/Data/Singletons/Prelude/List.hs:185)
Scanl1 (src/Data/Singletons/Prelude/List.hs:185)
sScanl1 (src/Data/Singletons/Prelude/List.hs:185)
Scanr (src/Data/Singletons/Prelude/List.hs:185)
sScanr (src/Data/Singletons/Prelude/List.hs:185)
Scanr1 (src/Data/Singletons/Prelude/List.hs:185)
sScanr1 (src/Data/Singletons/Prelude/List.hs:185)
MapAccumL (src/Data/Singletons/Prelude/List.hs:185)
sMapAccumL (src/Data/Singletons/Prelude/List.hs:185)
MapAccumR (src/Data/Singletons/Prelude/List.hs:185)
sMapAccumR (src/Data/Singletons/Prelude/List.hs:185)
Unfoldr (src/Data/Singletons/Prelude/List.hs:185)
sUnfoldr (src/Data/Singletons/Prelude/List.hs:185)
Inits (src/Data/Singletons/Prelude/List.hs:185)
sInits (src/Data/Singletons/Prelude/List.hs:185)
Tails (src/Data/Singletons/Prelude/List.hs:185)
sTails (src/Data/Singletons/Prelude/List.hs:185)
IsPrefixOf (src/Data/Singletons/Prelude/List.hs:185)
sIsPrefixOf (src/Data/Singletons/Prelude/List.hs:185)
IsSuffixOf (src/Data/Singletons/Prelude/List.hs:185)
sIsSuffixOf (src/Data/Singletons/Prelude/List.hs:185)
IsInfixOf (src/Data/Singletons/Prelude/List.hs:185)
sIsInfixOf (src/Data/Singletons/Prelude/List.hs:185)
Elem (src/Data/Singletons/Prelude/List.hs:185)
sElem (src/Data/Singletons/Prelude/List.hs:185)
NotElem (src/Data/Singletons/Prelude/List.hs:185)
sNotElem (src/Data/Singletons/Prelude/List.hs:185)
Zip (src/Data/Singletons/Prelude/List.hs:185)
sZip (src/Data/Singletons/Prelude/List.hs:185)
Zip3 (src/Data/Singletons/Prelude/List.hs:185)
sZip3 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith (src/Data/Singletons/Prelude/List.hs:185)
sZipWith (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3 (src/Data/Singletons/Prelude/List.hs:185)
sZipWith3 (src/Data/Singletons/Prelude/List.hs:185)
Unzip (src/Data/Singletons/Prelude/List.hs:185)
sUnzip (src/Data/Singletons/Prelude/List.hs:185)
Unzip3 (src/Data/Singletons/Prelude/List.hs:185)
sUnzip3 (src/Data/Singletons/Prelude/List.hs:185)
Unzip4 (src/Data/Singletons/Prelude/List.hs:185)
sUnzip4 (src/Data/Singletons/Prelude/List.hs:185)
Unzip5 (src/Data/Singletons/Prelude/List.hs:185)
sUnzip5 (src/Data/Singletons/Prelude/List.hs:185)
Unzip6 (src/Data/Singletons/Prelude/List.hs:185)
sUnzip6 (src/Data/Singletons/Prelude/List.hs:185)
Unzip7 (src/Data/Singletons/Prelude/List.hs:185)
sUnzip7 (src/Data/Singletons/Prelude/List.hs:185)
Delete (src/Data/Singletons/Prelude/List.hs:185)
sDelete (src/Data/Singletons/Prelude/List.hs:185)
:\\ (src/Data/Singletons/Prelude/List.hs:185)
%:\\ (src/Data/Singletons/Prelude/List.hs:185)
DeleteBy (src/Data/Singletons/Prelude/List.hs:185)
sDeleteBy (src/Data/Singletons/Prelude/List.hs:185)
DeleteFirstsBy (src/Data/Singletons/Prelude/List.hs:185)
sDeleteFirstsBy (src/Data/Singletons/Prelude/List.hs:185)
SortBy (src/Data/Singletons/Prelude/List.hs:185)
sSortBy (src/Data/Singletons/Prelude/List.hs:185)
InsertBy (src/Data/Singletons/Prelude/List.hs:185)
sInsertBy (src/Data/Singletons/Prelude/List.hs:185)
MaximumBy (src/Data/Singletons/Prelude/List.hs:185)
sMaximumBy (src/Data/Singletons/Prelude/List.hs:185)
MinimumBy (src/Data/Singletons/Prelude/List.hs:185)
sMinimumBy (src/Data/Singletons/Prelude/List.hs:185)
NilSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
:$ (src/Data/Singletons/Prelude/Instances.hs:22)
:$$ (src/Data/Singletons/Prelude/Instances.hs:22)
:$$$ (src/Data/Singletons/Prelude/Instances.hs:22)
:++$$$ (src/Data/Singletons/Prelude/Base.hs:55)
:++$$ (src/Data/Singletons/Prelude/Base.hs:55)
:++$ (src/Data/Singletons/Prelude/Base.hs:55)
HeadSym0 (src/Data/Singletons/Prelude/List.hs:185)
HeadSym1 (src/Data/Singletons/Prelude/List.hs:185)
LastSym0 (src/Data/Singletons/Prelude/List.hs:185)
LastSym1 (src/Data/Singletons/Prelude/List.hs:185)
TailSym0 (src/Data/Singletons/Prelude/List.hs:185)
TailSym1 (src/Data/Singletons/Prelude/List.hs:185)
InitSym0 (src/Data/Singletons/Prelude/List.hs:185)
InitSym1 (src/Data/Singletons/Prelude/List.hs:185)
NullSym0 (src/Data/Singletons/Prelude/List.hs:185)
NullSym1 (src/Data/Singletons/Prelude/List.hs:185)
MapSym0 (src/Data/Singletons/Prelude/Base.hs:55)
MapSym1 (src/Data/Singletons/Prelude/Base.hs:55)
MapSym2 (src/Data/Singletons/Prelude/Base.hs:55)
ReverseSym0 (src/Data/Singletons/Prelude/List.hs:185)
ReverseSym1 (src/Data/Singletons/Prelude/List.hs:185)
IntersperseSym0 (src/Data/Singletons/Prelude/List.hs:185)
IntersperseSym1 (src/Data/Singletons/Prelude/List.hs:185)
IntersperseSym2 (src/Data/Singletons/Prelude/List.hs:185)
IntercalateSym0 (src/Data/Singletons/Prelude/List.hs:185)
IntercalateSym1 (src/Data/Singletons/Prelude/List.hs:185)
IntercalateSym2 (src/Data/Singletons/Prelude/List.hs:185)
SubsequencesSym0 (src/Data/Singletons/Prelude/List.hs:185)
SubsequencesSym1 (src/Data/Singletons/Prelude/List.hs:185)
PermutationsSym0 (src/Data/Singletons/Prelude/List.hs:185)
PermutationsSym1 (src/Data/Singletons/Prelude/List.hs:185)
FoldlSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
FoldlSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
FoldlSym2 (src/Data/Singletons/Prelude/Instances.hs:27)
FoldlSym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Foldl'Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Foldl'Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Foldl'Sym2 (src/Data/Singletons/Prelude/List.hs:185)
Foldl'Sym3 (src/Data/Singletons/Prelude/List.hs:185)
Foldl1Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Foldl1Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Foldl1Sym2 (src/Data/Singletons/Prelude/List.hs:185)
Foldl1'Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Foldl1'Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Foldl1'Sym2 (src/Data/Singletons/Prelude/List.hs:185)
FoldrSym0 (src/Data/Singletons/Prelude/Base.hs:55)
FoldrSym1 (src/Data/Singletons/Prelude/Base.hs:55)
FoldrSym2 (src/Data/Singletons/Prelude/Base.hs:55)
FoldrSym3 (src/Data/Singletons/Prelude/Base.hs:55)
Foldr1Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Foldr1Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Foldr1Sym2 (src/Data/Singletons/Prelude/List.hs:185)
ConcatSym0 (src/Data/Singletons/Prelude/List.hs:185)
ConcatSym1 (src/Data/Singletons/Prelude/List.hs:185)
ConcatMapSym0 (src/Data/Singletons/Prelude/List.hs:185)
ConcatMapSym1 (src/Data/Singletons/Prelude/List.hs:185)
ConcatMapSym2 (src/Data/Singletons/Prelude/List.hs:185)
AndSym0 (src/Data/Singletons/Prelude/List.hs:185)
AndSym1 (src/Data/Singletons/Prelude/List.hs:185)
OrSym0 (src/Data/Singletons/Prelude/List.hs:185)
OrSym1 (src/Data/Singletons/Prelude/List.hs:185)
Any_Sym0 (src/Data/Singletons/Prelude/List.hs:179)
Any_Sym1 (src/Data/Singletons/Prelude/List.hs:179)
Any_Sym2 (src/Data/Singletons/Prelude/List.hs:179)
AllSym0 (src/Data/Singletons/Prelude/List.hs:185)
AllSym1 (src/Data/Singletons/Prelude/List.hs:185)
AllSym2 (src/Data/Singletons/Prelude/List.hs:185)
ScanlSym0 (src/Data/Singletons/Prelude/List.hs:185)
ScanlSym1 (src/Data/Singletons/Prelude/List.hs:185)
ScanlSym2 (src/Data/Singletons/Prelude/List.hs:185)
ScanlSym3 (src/Data/Singletons/Prelude/List.hs:185)
Scanl1Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Scanl1Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Scanl1Sym2 (src/Data/Singletons/Prelude/List.hs:185)
ScanrSym0 (src/Data/Singletons/Prelude/List.hs:185)
ScanrSym1 (src/Data/Singletons/Prelude/List.hs:185)
ScanrSym2 (src/Data/Singletons/Prelude/List.hs:185)
ScanrSym3 (src/Data/Singletons/Prelude/List.hs:185)
Scanr1Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Scanr1Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Scanr1Sym2 (src/Data/Singletons/Prelude/List.hs:185)
MapAccumLSym0 (src/Data/Singletons/Prelude/List.hs:185)
MapAccumLSym1 (src/Data/Singletons/Prelude/List.hs:185)
MapAccumLSym2 (src/Data/Singletons/Prelude/List.hs:185)
MapAccumLSym3 (src/Data/Singletons/Prelude/List.hs:185)
MapAccumRSym0 (src/Data/Singletons/Prelude/List.hs:185)
MapAccumRSym1 (src/Data/Singletons/Prelude/List.hs:185)
MapAccumRSym2 (src/Data/Singletons/Prelude/List.hs:185)
MapAccumRSym3 (src/Data/Singletons/Prelude/List.hs:185)
UnfoldrSym0 (src/Data/Singletons/Prelude/List.hs:185)
UnfoldrSym1 (src/Data/Singletons/Prelude/List.hs:185)
UnfoldrSym2 (src/Data/Singletons/Prelude/List.hs:185)
InitsSym0 (src/Data/Singletons/Prelude/List.hs:185)
InitsSym1 (src/Data/Singletons/Prelude/List.hs:185)
TailsSym0 (src/Data/Singletons/Prelude/List.hs:185)
TailsSym1 (src/Data/Singletons/Prelude/List.hs:185)
IsPrefixOfSym0 (src/Data/Singletons/Prelude/List.hs:185)
IsPrefixOfSym1 (src/Data/Singletons/Prelude/List.hs:185)
IsPrefixOfSym2 (src/Data/Singletons/Prelude/List.hs:185)
IsSuffixOfSym0 (src/Data/Singletons/Prelude/List.hs:185)
IsSuffixOfSym1 (src/Data/Singletons/Prelude/List.hs:185)
IsSuffixOfSym2 (src/Data/Singletons/Prelude/List.hs:185)
IsInfixOfSym0 (src/Data/Singletons/Prelude/List.hs:185)
IsInfixOfSym1 (src/Data/Singletons/Prelude/List.hs:185)
IsInfixOfSym2 (src/Data/Singletons/Prelude/List.hs:185)
ElemSym0 (src/Data/Singletons/Prelude/List.hs:185)
ElemSym1 (src/Data/Singletons/Prelude/List.hs:185)
ElemSym2 (src/Data/Singletons/Prelude/List.hs:185)
NotElemSym0 (src/Data/Singletons/Prelude/List.hs:185)
NotElemSym1 (src/Data/Singletons/Prelude/List.hs:185)
NotElemSym2 (src/Data/Singletons/Prelude/List.hs:185)
ZipSym0 (src/Data/Singletons/Prelude/List.hs:185)
ZipSym1 (src/Data/Singletons/Prelude/List.hs:185)
ZipSym2 (src/Data/Singletons/Prelude/List.hs:185)
Zip3Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Zip3Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Zip3Sym2 (src/Data/Singletons/Prelude/List.hs:185)
Zip3Sym3 (src/Data/Singletons/Prelude/List.hs:185)
ZipWithSym0 (src/Data/Singletons/Prelude/List.hs:185)
ZipWithSym1 (src/Data/Singletons/Prelude/List.hs:185)
ZipWithSym2 (src/Data/Singletons/Prelude/List.hs:185)
ZipWithSym3 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3Sym0 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3Sym1 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3Sym2 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3Sym3 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3Sym4 (src/Data/Singletons/Prelude/List.hs:185)
UnzipSym0 (src/Data/Singletons/Prelude/List.hs:185)
UnzipSym1 (src/Data/Singletons/Prelude/List.hs:185)
Unzip3Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Unzip3Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Unzip4Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Unzip4Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Unzip5Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Unzip5Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Unzip6Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Unzip6Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Unzip7Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Unzip7Sym1 (src/Data/Singletons/Prelude/List.hs:185)
DeleteSym0 (src/Data/Singletons/Prelude/List.hs:185)
DeleteSym1 (src/Data/Singletons/Prelude/List.hs:185)
DeleteSym2 (src/Data/Singletons/Prelude/List.hs:185)
:\\$ (src/Data/Singletons/Prelude/List.hs:185)
:\\$$ (src/Data/Singletons/Prelude/List.hs:185)
:\\$$$ (src/Data/Singletons/Prelude/List.hs:185)
DeleteBySym0 (src/Data/Singletons/Prelude/List.hs:185)
DeleteBySym1 (src/Data/Singletons/Prelude/List.hs:185)
DeleteBySym2 (src/Data/Singletons/Prelude/List.hs:185)
DeleteBySym3 (src/Data/Singletons/Prelude/List.hs:185)
DeleteFirstsBySym0 (src/Data/Singletons/Prelude/List.hs:185)
DeleteFirstsBySym1 (src/Data/Singletons/Prelude/List.hs:185)
DeleteFirstsBySym2 (src/Data/Singletons/Prelude/List.hs:185)
DeleteFirstsBySym3 (src/Data/Singletons/Prelude/List.hs:185)
SortBySym0 (src/Data/Singletons/Prelude/List.hs:185)
SortBySym1 (src/Data/Singletons/Prelude/List.hs:185)
SortBySym2 (src/Data/Singletons/Prelude/List.hs:185)
InsertBySym0 (src/Data/Singletons/Prelude/List.hs:185)
InsertBySym1 (src/Data/Singletons/Prelude/List.hs:185)
InsertBySym2 (src/Data/Singletons/Prelude/List.hs:185)
InsertBySym3 (src/Data/Singletons/Prelude/List.hs:185)
MaximumBySym0 (src/Data/Singletons/Prelude/List.hs:185)
MaximumBySym1 (src/Data/Singletons/Prelude/List.hs:185)
MaximumBySym2 (src/Data/Singletons/Prelude/List.hs:185)
MinimumBySym0 (src/Data/Singletons/Prelude/List.hs:185)
MinimumBySym1 (src/Data/Singletons/Prelude/List.hs:185)
MinimumBySym2 (src/Data/Singletons/Prelude/List.hs:185)
13% ( 7 / 52) in 'Data.Singletons.Prelude.Maybe'
Missing documentation for:
SMaybe (src/Data/Singletons/Prelude/Instances.hs:22)
maybe_ (src/Data/Singletons/Prelude/Maybe.hs:64)
Maybe_ (src/Data/Singletons/Prelude/Maybe.hs:64)
sMaybe_ (src/Data/Singletons/Prelude/Maybe.hs:64)
IsJust (src/Data/Singletons/Prelude/Maybe.hs:75)
sIsJust (src/Data/Singletons/Prelude/Maybe.hs:75)
IsNothing (src/Data/Singletons/Prelude/Maybe.hs:75)
sIsNothing (src/Data/Singletons/Prelude/Maybe.hs:75)
FromJust (src/Data/Singletons/Prelude/Maybe.hs:75)
sFromJust (src/Data/Singletons/Prelude/Maybe.hs:75)
FromMaybe (src/Data/Singletons/Prelude/Maybe.hs:75)
sFromMaybe (src/Data/Singletons/Prelude/Maybe.hs:75)
ListToMaybe (src/Data/Singletons/Prelude/Maybe.hs:75)
sListToMaybe (src/Data/Singletons/Prelude/Maybe.hs:75)
MaybeToList (src/Data/Singletons/Prelude/Maybe.hs:75)
sMaybeToList (src/Data/Singletons/Prelude/Maybe.hs:75)
CatMaybes (src/Data/Singletons/Prelude/Maybe.hs:75)
sCatMaybes (src/Data/Singletons/Prelude/Maybe.hs:75)
MapMaybe (src/Data/Singletons/Prelude/Maybe.hs:75)
sMapMaybe (src/Data/Singletons/Prelude/Maybe.hs:75)
NothingSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
JustSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
JustSym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Maybe_Sym0 (src/Data/Singletons/Prelude/Maybe.hs:64)
Maybe_Sym1 (src/Data/Singletons/Prelude/Maybe.hs:64)
Maybe_Sym2 (src/Data/Singletons/Prelude/Maybe.hs:64)
Maybe_Sym3 (src/Data/Singletons/Prelude/Maybe.hs:64)
IsJustSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
IsJustSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
IsNothingSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
IsNothingSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
FromJustSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
FromJustSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
FromMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
FromMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
FromMaybeSym2 (src/Data/Singletons/Prelude/Maybe.hs:75)
ListToMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
ListToMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
MaybeToListSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
MaybeToListSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
CatMaybesSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
CatMaybesSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
MapMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
MapMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
MapMaybeSym2 (src/Data/Singletons/Prelude/Maybe.hs:75)
10% ( 4 / 39) in 'Data.Promotion.Prelude.Maybe'
Missing documentation for:
maybe_ (src/Data/Singletons/Prelude/Maybe.hs:64)
Maybe_ (src/Data/Singletons/Prelude/Maybe.hs:64)
IsJust (src/Data/Singletons/Prelude/Maybe.hs:75)
IsNothing (src/Data/Singletons/Prelude/Maybe.hs:75)
FromJust (src/Data/Singletons/Prelude/Maybe.hs:75)
FromMaybe (src/Data/Singletons/Prelude/Maybe.hs:75)
MaybeToList (src/Data/Singletons/Prelude/Maybe.hs:75)
ListToMaybe (src/Data/Singletons/Prelude/Maybe.hs:75)
CatMaybes (src/Data/Singletons/Prelude/Maybe.hs:75)
MapMaybe (src/Data/Singletons/Prelude/Maybe.hs:75)
NothingSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
JustSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
JustSym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Maybe_Sym0 (src/Data/Singletons/Prelude/Maybe.hs:64)
Maybe_Sym1 (src/Data/Singletons/Prelude/Maybe.hs:64)
Maybe_Sym2 (src/Data/Singletons/Prelude/Maybe.hs:64)
Maybe_Sym3 (src/Data/Singletons/Prelude/Maybe.hs:64)
IsJustSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
IsJustSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
IsNothingSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
IsNothingSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
FromJustSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
FromJustSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
FromMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
FromMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
FromMaybeSym2 (src/Data/Singletons/Prelude/Maybe.hs:75)
MaybeToListSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
MaybeToListSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
ListToMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
ListToMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
CatMaybesSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
CatMaybesSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
MapMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:75)
MapMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:75)
MapMaybeSym2 (src/Data/Singletons/Prelude/Maybe.hs:75)
9% ( 2 / 23) in 'Data.Singletons.Prelude.Enum'
Missing documentation for:
PBounded (src/Data/Singletons/Prelude/Enum.hs:46)
SBounded (src/Data/Singletons/Prelude/Enum.hs:46)
PEnum (src/Data/Singletons/Prelude/Enum.hs:53)
SEnum (src/Data/Singletons/Prelude/Enum.hs:53)
MinBoundSym0 (src/Data/Singletons/Prelude/Enum.hs:46)
MaxBoundSym0 (src/Data/Singletons/Prelude/Enum.hs:46)
SuccSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
SuccSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
PredSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
PredSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
ToEnumSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
ToEnumSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
FromEnumSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
FromEnumSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
EnumFromToSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
EnumFromToSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
EnumFromToSym2 (src/Data/Singletons/Prelude/Enum.hs:53)
EnumFromThenToSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
EnumFromThenToSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
EnumFromThenToSym2 (src/Data/Singletons/Prelude/Enum.hs:53)
EnumFromThenToSym3 (src/Data/Singletons/Prelude/Enum.hs:53)
10% ( 32 /326) in 'Data.Singletons.Prelude'
Missing documentation for:
SBool (src/Data/Singletons/Prelude/Instances.hs:22)
SList (src/Data/Singletons/Prelude/Instances.hs:22)
SMaybe (src/Data/Singletons/Prelude/Instances.hs:22)
SEither (src/Data/Singletons/Prelude/Instances.hs:22)
SOrdering (src/Data/Singletons/Prelude/Instances.hs:22)
STuple0 (src/Data/Singletons/Prelude/Instances.hs:22)
STuple2 (src/Data/Singletons/Prelude/Instances.hs:22)
STuple3 (src/Data/Singletons/Prelude/Instances.hs:22)
STuple4 (src/Data/Singletons/Prelude/Instances.hs:22)
STuple5 (src/Data/Singletons/Prelude/Instances.hs:22)
STuple6 (src/Data/Singletons/Prelude/Instances.hs:22)
STuple7 (src/Data/Singletons/Prelude/Instances.hs:22)
Not (src/Data/Singletons/Prelude/Bool.hs:68)
sNot (src/Data/Singletons/Prelude/Bool.hs:68)
:&& (src/Data/Singletons/Prelude/Bool.hs:68)
:|| (src/Data/Singletons/Prelude/Bool.hs:68)
%:&& (src/Data/Singletons/Prelude/Bool.hs:68)
%:|| (src/Data/Singletons/Prelude/Bool.hs:68)
Otherwise (src/Data/Singletons/Prelude/Bool.hs:68)
sOtherwise (src/Data/Singletons/Prelude/Bool.hs:68)
ErrorSym0 (src/Data/Singletons/TypeLits/Internal.hs:146)
Id (src/Data/Singletons/Prelude/Base.hs:55)
sId (src/Data/Singletons/Prelude/Base.hs:55)
Const (src/Data/Singletons/Prelude/Base.hs:55)
sConst (src/Data/Singletons/Prelude/Base.hs:55)
:. (src/Data/Singletons/Prelude/Base.hs:55)
%:. (src/Data/Singletons/Prelude/Base.hs:55)
$ (src/Data/Singletons/Prelude/Base.hs:96)
%$ (src/Data/Singletons/Prelude/Base.hs:108)
$! (src/Data/Singletons/Prelude/Base.hs:113)
%$! (src/Data/Singletons/Prelude/Base.hs:125)
Flip (src/Data/Singletons/Prelude/Base.hs:55)
sFlip (src/Data/Singletons/Prelude/Base.hs:55)
AsTypeOf (src/Data/Singletons/Prelude/Base.hs:55)
sAsTypeOf (src/Data/Singletons/Prelude/Base.hs:55)
Seq (src/Data/Singletons/Prelude/Base.hs:55)
sSeq (src/Data/Singletons/Prelude/Base.hs:55)
Map (src/Data/Singletons/Prelude/Base.hs:55)
sMap (src/Data/Singletons/Prelude/Base.hs:55)
:++ (src/Data/Singletons/Prelude/Base.hs:55)
%:++ (src/Data/Singletons/Prelude/Base.hs:55)
Head (src/Data/Singletons/Prelude/List.hs:185)
sHead (src/Data/Singletons/Prelude/List.hs:185)
Last (src/Data/Singletons/Prelude/List.hs:185)
sLast (src/Data/Singletons/Prelude/List.hs:185)
Tail (src/Data/Singletons/Prelude/List.hs:185)
sTail (src/Data/Singletons/Prelude/List.hs:185)
Init (src/Data/Singletons/Prelude/List.hs:185)
sInit (src/Data/Singletons/Prelude/List.hs:185)
Null (src/Data/Singletons/Prelude/List.hs:185)
sNull (src/Data/Singletons/Prelude/List.hs:185)
Reverse (src/Data/Singletons/Prelude/List.hs:185)
sReverse (src/Data/Singletons/Prelude/List.hs:185)
Foldl (src/Data/Singletons/Prelude/Instances.hs:27)
sFoldl (src/Data/Singletons/Prelude/Instances.hs:27)
Foldl1 (src/Data/Singletons/Prelude/List.hs:185)
sFoldl1 (src/Data/Singletons/Prelude/List.hs:185)
Foldr (src/Data/Singletons/Prelude/Base.hs:55)
sFoldr (src/Data/Singletons/Prelude/Base.hs:55)
Foldr1 (src/Data/Singletons/Prelude/List.hs:185)
sFoldr1 (src/Data/Singletons/Prelude/List.hs:185)
And (src/Data/Singletons/Prelude/List.hs:185)
sAnd (src/Data/Singletons/Prelude/List.hs:185)
Or (src/Data/Singletons/Prelude/List.hs:185)
sOr (src/Data/Singletons/Prelude/List.hs:185)
Any_ (src/Data/Singletons/Prelude/List.hs:179)
sAny_ (src/Data/Singletons/Prelude/List.hs:179)
All (src/Data/Singletons/Prelude/List.hs:185)
sAll (src/Data/Singletons/Prelude/List.hs:185)
Concat (src/Data/Singletons/Prelude/List.hs:185)
sConcat (src/Data/Singletons/Prelude/List.hs:185)
ConcatMap (src/Data/Singletons/Prelude/List.hs:185)
sConcatMap (src/Data/Singletons/Prelude/List.hs:185)
Scanl (src/Data/Singletons/Prelude/List.hs:185)
sScanl (src/Data/Singletons/Prelude/List.hs:185)
Scanl1 (src/Data/Singletons/Prelude/List.hs:185)
sScanl1 (src/Data/Singletons/Prelude/List.hs:185)
Scanr (src/Data/Singletons/Prelude/List.hs:185)
sScanr (src/Data/Singletons/Prelude/List.hs:185)
Scanr1 (src/Data/Singletons/Prelude/List.hs:185)
sScanr1 (src/Data/Singletons/Prelude/List.hs:185)
Elem (src/Data/Singletons/Prelude/List.hs:185)
sElem (src/Data/Singletons/Prelude/List.hs:185)
NotElem (src/Data/Singletons/Prelude/List.hs:185)
sNotElem (src/Data/Singletons/Prelude/List.hs:185)
Zip (src/Data/Singletons/Prelude/List.hs:185)
sZip (src/Data/Singletons/Prelude/List.hs:185)
Zip3 (src/Data/Singletons/Prelude/List.hs:185)
sZip3 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith (src/Data/Singletons/Prelude/List.hs:185)
sZipWith (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3 (src/Data/Singletons/Prelude/List.hs:185)
sZipWith3 (src/Data/Singletons/Prelude/List.hs:185)
Unzip (src/Data/Singletons/Prelude/List.hs:185)
sUnzip (src/Data/Singletons/Prelude/List.hs:185)
Unzip3 (src/Data/Singletons/Prelude/List.hs:185)
sUnzip3 (src/Data/Singletons/Prelude/List.hs:185)
Maybe_ (src/Data/Singletons/Prelude/Maybe.hs:64)
sMaybe_ (src/Data/Singletons/Prelude/Maybe.hs:64)
Either_ (src/Data/Singletons/Prelude/Either.hs:60)
sEither_ (src/Data/Singletons/Prelude/Either.hs:60)
Fst (src/Data/Singletons/Prelude/Tuple.hs:52)
sFst (src/Data/Singletons/Prelude/Tuple.hs:52)
Snd (src/Data/Singletons/Prelude/Tuple.hs:52)
sSnd (src/Data/Singletons/Prelude/Tuple.hs:52)
Curry (src/Data/Singletons/Prelude/Tuple.hs:52)
sCurry (src/Data/Singletons/Prelude/Tuple.hs:52)
Uncurry (src/Data/Singletons/Prelude/Tuple.hs:52)
sUncurry (src/Data/Singletons/Prelude/Tuple.hs:52)
either_ (src/Data/Singletons/Prelude/Either.hs:60)
maybe_ (src/Data/Singletons/Prelude/Maybe.hs:64)
bool_ (src/Data/Singletons/Prelude/Bool.hs:62)
any_ (src/Data/Singletons/Prelude/List.hs:179)
FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
NotSym0 (src/Data/Singletons/Prelude/Bool.hs:68)
NotSym1 (src/Data/Singletons/Prelude/Bool.hs:68)
:&&$ (src/Data/Singletons/Prelude/Bool.hs:68)
:&&$$ (src/Data/Singletons/Prelude/Bool.hs:68)
:&&$$$ (src/Data/Singletons/Prelude/Bool.hs:68)
:||$ (src/Data/Singletons/Prelude/Bool.hs:68)
:||$$ (src/Data/Singletons/Prelude/Bool.hs:68)
:||$$$ (src/Data/Singletons/Prelude/Bool.hs:68)
OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:68)
NothingSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
JustSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
JustSym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Maybe_Sym0 (src/Data/Singletons/Prelude/Maybe.hs:64)
Maybe_Sym1 (src/Data/Singletons/Prelude/Maybe.hs:64)
Maybe_Sym2 (src/Data/Singletons/Prelude/Maybe.hs:64)
Maybe_Sym3 (src/Data/Singletons/Prelude/Maybe.hs:64)
LeftSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
LeftSym1 (src/Data/Singletons/Prelude/Instances.hs:22)
RightSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
RightSym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Either_Sym0 (src/Data/Singletons/Prelude/Either.hs:60)
Either_Sym1 (src/Data/Singletons/Prelude/Either.hs:60)
Either_Sym2 (src/Data/Singletons/Prelude/Either.hs:60)
Either_Sym3 (src/Data/Singletons/Prelude/Either.hs:60)
Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:22)
FstSym0 (src/Data/Singletons/Prelude/Tuple.hs:52)
FstSym1 (src/Data/Singletons/Prelude/Tuple.hs:52)
SndSym0 (src/Data/Singletons/Prelude/Tuple.hs:52)
SndSym1 (src/Data/Singletons/Prelude/Tuple.hs:52)
CurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:52)
CurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:52)
CurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:52)
CurrySym3 (src/Data/Singletons/Prelude/Tuple.hs:52)
UncurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:52)
UncurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:52)
UncurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:52)
IdSym0 (src/Data/Singletons/Prelude/Base.hs:55)
IdSym1 (src/Data/Singletons/Prelude/Base.hs:55)
ConstSym0 (src/Data/Singletons/Prelude/Base.hs:55)
ConstSym1 (src/Data/Singletons/Prelude/Base.hs:55)
ConstSym2 (src/Data/Singletons/Prelude/Base.hs:55)
:.$ (src/Data/Singletons/Prelude/Base.hs:55)
:.$$ (src/Data/Singletons/Prelude/Base.hs:55)
:.$$$ (src/Data/Singletons/Prelude/Base.hs:55)
$$ (src/Data/Singletons/Prelude/Base.hs:100)
$$$ (src/Data/Singletons/Prelude/Base.hs:103)
$$$$ (src/Data/Singletons/Prelude/Base.hs:106)
$!$ (src/Data/Singletons/Prelude/Base.hs:117)
$!$$ (src/Data/Singletons/Prelude/Base.hs:120)
$!$$$ (src/Data/Singletons/Prelude/Base.hs:123)
FlipSym0 (src/Data/Singletons/Prelude/Base.hs:55)
FlipSym1 (src/Data/Singletons/Prelude/Base.hs:55)
FlipSym2 (src/Data/Singletons/Prelude/Base.hs:55)
AsTypeOfSym0 (src/Data/Singletons/Prelude/Base.hs:55)
AsTypeOfSym1 (src/Data/Singletons/Prelude/Base.hs:55)
AsTypeOfSym2 (src/Data/Singletons/Prelude/Base.hs:55)
SeqSym0 (src/Data/Singletons/Prelude/Base.hs:55)
SeqSym1 (src/Data/Singletons/Prelude/Base.hs:55)
SeqSym2 (src/Data/Singletons/Prelude/Base.hs:55)
:$ (src/Data/Singletons/Prelude/Instances.hs:22)
:$$ (src/Data/Singletons/Prelude/Instances.hs:22)
:$$$ (src/Data/Singletons/Prelude/Instances.hs:22)
NilSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
MapSym0 (src/Data/Singletons/Prelude/Base.hs:55)
MapSym1 (src/Data/Singletons/Prelude/Base.hs:55)
MapSym2 (src/Data/Singletons/Prelude/Base.hs:55)
ReverseSym0 (src/Data/Singletons/Prelude/List.hs:185)
ReverseSym1 (src/Data/Singletons/Prelude/List.hs:185)
:++$$ (src/Data/Singletons/Prelude/Base.hs:55)
:++$ (src/Data/Singletons/Prelude/Base.hs:55)
HeadSym0 (src/Data/Singletons/Prelude/List.hs:185)
HeadSym1 (src/Data/Singletons/Prelude/List.hs:185)
LastSym0 (src/Data/Singletons/Prelude/List.hs:185)
LastSym1 (src/Data/Singletons/Prelude/List.hs:185)
TailSym0 (src/Data/Singletons/Prelude/List.hs:185)
TailSym1 (src/Data/Singletons/Prelude/List.hs:185)
InitSym0 (src/Data/Singletons/Prelude/List.hs:185)
InitSym1 (src/Data/Singletons/Prelude/List.hs:185)
NullSym0 (src/Data/Singletons/Prelude/List.hs:185)
NullSym1 (src/Data/Singletons/Prelude/List.hs:185)
FoldlSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
FoldlSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
FoldlSym2 (src/Data/Singletons/Prelude/Instances.hs:27)
FoldlSym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Foldl1Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Foldl1Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Foldl1Sym2 (src/Data/Singletons/Prelude/List.hs:185)
FoldrSym0 (src/Data/Singletons/Prelude/Base.hs:55)
FoldrSym1 (src/Data/Singletons/Prelude/Base.hs:55)
FoldrSym2 (src/Data/Singletons/Prelude/Base.hs:55)
FoldrSym3 (src/Data/Singletons/Prelude/Base.hs:55)
Foldr1Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Foldr1Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Foldr1Sym2 (src/Data/Singletons/Prelude/List.hs:185)
ConcatSym0 (src/Data/Singletons/Prelude/List.hs:185)
ConcatSym1 (src/Data/Singletons/Prelude/List.hs:185)
ConcatMapSym0 (src/Data/Singletons/Prelude/List.hs:185)
ConcatMapSym1 (src/Data/Singletons/Prelude/List.hs:185)
ConcatMapSym2 (src/Data/Singletons/Prelude/List.hs:185)
AndSym0 (src/Data/Singletons/Prelude/List.hs:185)
AndSym1 (src/Data/Singletons/Prelude/List.hs:185)
OrSym0 (src/Data/Singletons/Prelude/List.hs:185)
OrSym1 (src/Data/Singletons/Prelude/List.hs:185)
Any_Sym0 (src/Data/Singletons/Prelude/List.hs:179)
Any_Sym1 (src/Data/Singletons/Prelude/List.hs:179)
Any_Sym2 (src/Data/Singletons/Prelude/List.hs:179)
AllSym0 (src/Data/Singletons/Prelude/List.hs:185)
AllSym1 (src/Data/Singletons/Prelude/List.hs:185)
AllSym2 (src/Data/Singletons/Prelude/List.hs:185)
ScanlSym0 (src/Data/Singletons/Prelude/List.hs:185)
ScanlSym1 (src/Data/Singletons/Prelude/List.hs:185)
ScanlSym2 (src/Data/Singletons/Prelude/List.hs:185)
ScanlSym3 (src/Data/Singletons/Prelude/List.hs:185)
Scanl1Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Scanl1Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Scanl1Sym2 (src/Data/Singletons/Prelude/List.hs:185)
ScanrSym0 (src/Data/Singletons/Prelude/List.hs:185)
ScanrSym1 (src/Data/Singletons/Prelude/List.hs:185)
ScanrSym2 (src/Data/Singletons/Prelude/List.hs:185)
ScanrSym3 (src/Data/Singletons/Prelude/List.hs:185)
Scanr1Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Scanr1Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Scanr1Sym2 (src/Data/Singletons/Prelude/List.hs:185)
ElemSym0 (src/Data/Singletons/Prelude/List.hs:185)
ElemSym1 (src/Data/Singletons/Prelude/List.hs:185)
ElemSym2 (src/Data/Singletons/Prelude/List.hs:185)
NotElemSym0 (src/Data/Singletons/Prelude/List.hs:185)
NotElemSym1 (src/Data/Singletons/Prelude/List.hs:185)
NotElemSym2 (src/Data/Singletons/Prelude/List.hs:185)
ZipSym0 (src/Data/Singletons/Prelude/List.hs:185)
ZipSym1 (src/Data/Singletons/Prelude/List.hs:185)
ZipSym2 (src/Data/Singletons/Prelude/List.hs:185)
Zip3Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Zip3Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Zip3Sym2 (src/Data/Singletons/Prelude/List.hs:185)
Zip3Sym3 (src/Data/Singletons/Prelude/List.hs:185)
ZipWithSym0 (src/Data/Singletons/Prelude/List.hs:185)
ZipWithSym1 (src/Data/Singletons/Prelude/List.hs:185)
ZipWithSym2 (src/Data/Singletons/Prelude/List.hs:185)
ZipWithSym3 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3Sym0 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3Sym1 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3Sym2 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3Sym3 (src/Data/Singletons/Prelude/List.hs:185)
UnzipSym0 (src/Data/Singletons/Prelude/List.hs:185)
UnzipSym1 (src/Data/Singletons/Prelude/List.hs:185)
10% ( 2 / 21) in 'Data.Promotion.Prelude.Enum'
Missing documentation for:
PBounded (src/Data/Singletons/Prelude/Enum.hs:46)
PEnum (src/Data/Singletons/Prelude/Enum.hs:53)
MinBoundSym0 (src/Data/Singletons/Prelude/Enum.hs:46)
MaxBoundSym0 (src/Data/Singletons/Prelude/Enum.hs:46)
SuccSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
SuccSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
PredSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
PredSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
ToEnumSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
ToEnumSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
FromEnumSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
FromEnumSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
EnumFromToSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
EnumFromToSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
EnumFromToSym2 (src/Data/Singletons/Prelude/Enum.hs:53)
EnumFromThenToSym0 (src/Data/Singletons/Prelude/Enum.hs:53)
EnumFromThenToSym1 (src/Data/Singletons/Prelude/Enum.hs:53)
EnumFromThenToSym2 (src/Data/Singletons/Prelude/Enum.hs:53)
EnumFromThenToSym3 (src/Data/Singletons/Prelude/Enum.hs:53)
8% ( 2 / 24) in 'Data.Promotion.Prelude.Num'
Missing documentation for:
PNum (src/Data/Singletons/Prelude/Num.hs:42)
Subtract (src/Data/Singletons/Prelude/Num.hs:127)
:+$ (src/Data/Singletons/Prelude/Num.hs:42)
:+$$ (src/Data/Singletons/Prelude/Num.hs:42)
:+$$$ (src/Data/Singletons/Prelude/Num.hs:42)
:-$ (src/Data/Singletons/Prelude/Num.hs:42)
:-$$ (src/Data/Singletons/Prelude/Num.hs:42)
:-$$$ (src/Data/Singletons/Prelude/Num.hs:42)
:*$ (src/Data/Singletons/Prelude/Num.hs:42)
:*$$ (src/Data/Singletons/Prelude/Num.hs:42)
:*$$$ (src/Data/Singletons/Prelude/Num.hs:42)
NegateSym0 (src/Data/Singletons/Prelude/Num.hs:42)
NegateSym1 (src/Data/Singletons/Prelude/Num.hs:42)
AbsSym0 (src/Data/Singletons/Prelude/Num.hs:42)
AbsSym1 (src/Data/Singletons/Prelude/Num.hs:42)
SignumSym0 (src/Data/Singletons/Prelude/Num.hs:42)
SignumSym1 (src/Data/Singletons/Prelude/Num.hs:42)
FromIntegerSym0 (src/Data/Singletons/Prelude/Num.hs:42)
FromIntegerSym1 (src/Data/Singletons/Prelude/Num.hs:42)
SubtractSym0 (src/Data/Singletons/Prelude/Num.hs:127)
SubtractSym1 (src/Data/Singletons/Prelude/Num.hs:127)
SubtractSym2 (src/Data/Singletons/Prelude/Num.hs:127)
6% ( 27 /470) in 'Data.Promotion.Prelude.List'
Missing documentation for:
:++ (src/Data/Singletons/Prelude/Base.hs:55)
Head (src/Data/Singletons/Prelude/List.hs:185)
Last (src/Data/Singletons/Prelude/List.hs:185)
Tail (src/Data/Singletons/Prelude/List.hs:185)
Init (src/Data/Singletons/Prelude/List.hs:185)
Null (src/Data/Singletons/Prelude/List.hs:185)
Length (src/Data/Promotion/Prelude/List.hs:243)
Map (src/Data/Singletons/Prelude/Base.hs:55)
Reverse (src/Data/Singletons/Prelude/List.hs:185)
Intersperse (src/Data/Singletons/Prelude/List.hs:185)
Intercalate (src/Data/Singletons/Prelude/List.hs:185)
Transpose (src/Data/Promotion/Prelude/List.hs:243)
Subsequences (src/Data/Singletons/Prelude/List.hs:185)
Permutations (src/Data/Singletons/Prelude/List.hs:185)
Foldl (src/Data/Singletons/Prelude/Instances.hs:27)
Foldl' (src/Data/Singletons/Prelude/List.hs:185)
Foldl1 (src/Data/Singletons/Prelude/List.hs:185)
Foldl1' (src/Data/Singletons/Prelude/List.hs:185)
Foldr (src/Data/Singletons/Prelude/Base.hs:55)
Foldr1 (src/Data/Singletons/Prelude/List.hs:185)
Concat (src/Data/Singletons/Prelude/List.hs:185)
ConcatMap (src/Data/Singletons/Prelude/List.hs:185)
And (src/Data/Singletons/Prelude/List.hs:185)
Or (src/Data/Singletons/Prelude/List.hs:185)
Any_ (src/Data/Singletons/Prelude/List.hs:179)
All (src/Data/Singletons/Prelude/List.hs:185)
Sum (src/Data/Promotion/Prelude/List.hs:243)
Product (src/Data/Promotion/Prelude/List.hs:243)
Maximum (src/Data/Promotion/Prelude/List.hs:243)
Minimum (src/Data/Promotion/Prelude/List.hs:243)
any_ (src/Data/Singletons/Prelude/List.hs:179)
Scanl (src/Data/Singletons/Prelude/List.hs:185)
Scanl1 (src/Data/Singletons/Prelude/List.hs:185)
Scanr (src/Data/Singletons/Prelude/List.hs:185)
Scanr1 (src/Data/Singletons/Prelude/List.hs:185)
MapAccumL (src/Data/Singletons/Prelude/List.hs:185)
MapAccumR (src/Data/Singletons/Prelude/List.hs:185)
Replicate (src/Data/Promotion/Prelude/List.hs:243)
Unfoldr (src/Data/Singletons/Prelude/List.hs:185)
Take (src/Data/Promotion/Prelude/List.hs:243)
Drop (src/Data/Promotion/Prelude/List.hs:243)
SplitAt (src/Data/Promotion/Prelude/List.hs:243)
TakeWhile (src/Data/Promotion/Prelude/List.hs:243)
DropWhile (src/Data/Promotion/Prelude/List.hs:243)
DropWhileEnd (src/Data/Promotion/Prelude/List.hs:243)
Span (src/Data/Promotion/Prelude/List.hs:243)
Break (src/Data/Promotion/Prelude/List.hs:243)
StripPrefix (src/Data/Promotion/Prelude/List.hs:243)
Group (src/Data/Promotion/Prelude/List.hs:243)
Inits (src/Data/Singletons/Prelude/List.hs:185)
Tails (src/Data/Singletons/Prelude/List.hs:185)
IsPrefixOf (src/Data/Singletons/Prelude/List.hs:185)
IsSuffixOf (src/Data/Singletons/Prelude/List.hs:185)
IsInfixOf (src/Data/Singletons/Prelude/List.hs:185)
Elem (src/Data/Singletons/Prelude/List.hs:185)
NotElem (src/Data/Singletons/Prelude/List.hs:185)
Lookup (src/Data/Promotion/Prelude/List.hs:243)
Find (src/Data/Promotion/Prelude/List.hs:243)
Filter (src/Data/Promotion/Prelude/List.hs:243)
Partition (src/Data/Promotion/Prelude/List.hs:243)
:!! (src/Data/Promotion/Prelude/List.hs:243)
ElemIndex (src/Data/Promotion/Prelude/List.hs:243)
ElemIndices (src/Data/Promotion/Prelude/List.hs:243)
FindIndex (src/Data/Promotion/Prelude/List.hs:243)
FindIndices (src/Data/Promotion/Prelude/List.hs:243)
Zip (src/Data/Singletons/Prelude/List.hs:185)
Zip3 (src/Data/Singletons/Prelude/List.hs:185)
Zip4 (src/Data/Promotion/Prelude/List.hs:243)
Zip5 (src/Data/Promotion/Prelude/List.hs:243)
Zip6 (src/Data/Promotion/Prelude/List.hs:243)
Zip7 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith4 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith5 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith6 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith7 (src/Data/Promotion/Prelude/List.hs:243)
Unzip (src/Data/Singletons/Prelude/List.hs:185)
Unzip3 (src/Data/Singletons/Prelude/List.hs:185)
Unzip4 (src/Data/Singletons/Prelude/List.hs:185)
Unzip5 (src/Data/Singletons/Prelude/List.hs:185)
Unzip6 (src/Data/Singletons/Prelude/List.hs:185)
Unzip7 (src/Data/Singletons/Prelude/List.hs:185)
Nub (src/Data/Promotion/Prelude/List.hs:243)
Delete (src/Data/Singletons/Prelude/List.hs:185)
:\\ (src/Data/Singletons/Prelude/List.hs:185)
Union (src/Data/Promotion/Prelude/List.hs:243)
Intersect (src/Data/Promotion/Prelude/List.hs:243)
Sort (src/Data/Promotion/Prelude/List.hs:243)
Insert (src/Data/Promotion/Prelude/List.hs:243)
NubBy (src/Data/Promotion/Prelude/List.hs:243)
DeleteBy (src/Data/Singletons/Prelude/List.hs:185)
DeleteFirstsBy (src/Data/Singletons/Prelude/List.hs:185)
UnionBy (src/Data/Promotion/Prelude/List.hs:243)
GroupBy (src/Data/Promotion/Prelude/List.hs:243)
IntersectBy (src/Data/Promotion/Prelude/List.hs:243)
SortBy (src/Data/Singletons/Prelude/List.hs:185)
InsertBy (src/Data/Singletons/Prelude/List.hs:185)
MaximumBy (src/Data/Singletons/Prelude/List.hs:185)
MinimumBy (src/Data/Singletons/Prelude/List.hs:185)
GenericLength (src/Data/Promotion/Prelude/List.hs:243)
GenericTake (src/Data/Promotion/Prelude/List.hs:243)
GenericDrop (src/Data/Promotion/Prelude/List.hs:243)
GenericSplitAt (src/Data/Promotion/Prelude/List.hs:243)
GenericIndex (src/Data/Promotion/Prelude/List.hs:243)
GenericReplicate (src/Data/Promotion/Prelude/List.hs:243)
NilSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
:$ (src/Data/Singletons/Prelude/Instances.hs:22)
:$$ (src/Data/Singletons/Prelude/Instances.hs:22)
:$$$ (src/Data/Singletons/Prelude/Instances.hs:22)
:++$$$ (src/Data/Singletons/Prelude/Base.hs:55)
:++$$ (src/Data/Singletons/Prelude/Base.hs:55)
:++$ (src/Data/Singletons/Prelude/Base.hs:55)
HeadSym0 (src/Data/Singletons/Prelude/List.hs:185)
HeadSym1 (src/Data/Singletons/Prelude/List.hs:185)
LastSym0 (src/Data/Singletons/Prelude/List.hs:185)
LastSym1 (src/Data/Singletons/Prelude/List.hs:185)
TailSym0 (src/Data/Singletons/Prelude/List.hs:185)
TailSym1 (src/Data/Singletons/Prelude/List.hs:185)
InitSym0 (src/Data/Singletons/Prelude/List.hs:185)
InitSym1 (src/Data/Singletons/Prelude/List.hs:185)
NullSym0 (src/Data/Singletons/Prelude/List.hs:185)
NullSym1 (src/Data/Singletons/Prelude/List.hs:185)
MapSym0 (src/Data/Singletons/Prelude/Base.hs:55)
MapSym1 (src/Data/Singletons/Prelude/Base.hs:55)
MapSym2 (src/Data/Singletons/Prelude/Base.hs:55)
ReverseSym0 (src/Data/Singletons/Prelude/List.hs:185)
ReverseSym1 (src/Data/Singletons/Prelude/List.hs:185)
IntersperseSym0 (src/Data/Singletons/Prelude/List.hs:185)
IntersperseSym1 (src/Data/Singletons/Prelude/List.hs:185)
IntersperseSym2 (src/Data/Singletons/Prelude/List.hs:185)
IntercalateSym0 (src/Data/Singletons/Prelude/List.hs:185)
IntercalateSym1 (src/Data/Singletons/Prelude/List.hs:185)
IntercalateSym2 (src/Data/Singletons/Prelude/List.hs:185)
SubsequencesSym0 (src/Data/Singletons/Prelude/List.hs:185)
SubsequencesSym1 (src/Data/Singletons/Prelude/List.hs:185)
PermutationsSym0 (src/Data/Singletons/Prelude/List.hs:185)
PermutationsSym1 (src/Data/Singletons/Prelude/List.hs:185)
FoldlSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
FoldlSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
FoldlSym2 (src/Data/Singletons/Prelude/Instances.hs:27)
FoldlSym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Foldl'Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Foldl'Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Foldl'Sym2 (src/Data/Singletons/Prelude/List.hs:185)
Foldl'Sym3 (src/Data/Singletons/Prelude/List.hs:185)
Foldl1Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Foldl1Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Foldl1Sym2 (src/Data/Singletons/Prelude/List.hs:185)
Foldl1'Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Foldl1'Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Foldl1'Sym2 (src/Data/Singletons/Prelude/List.hs:185)
FoldrSym0 (src/Data/Singletons/Prelude/Base.hs:55)
FoldrSym1 (src/Data/Singletons/Prelude/Base.hs:55)
FoldrSym2 (src/Data/Singletons/Prelude/Base.hs:55)
FoldrSym3 (src/Data/Singletons/Prelude/Base.hs:55)
Foldr1Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Foldr1Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Foldr1Sym2 (src/Data/Singletons/Prelude/List.hs:185)
ConcatSym0 (src/Data/Singletons/Prelude/List.hs:185)
ConcatSym1 (src/Data/Singletons/Prelude/List.hs:185)
ConcatMapSym0 (src/Data/Singletons/Prelude/List.hs:185)
ConcatMapSym1 (src/Data/Singletons/Prelude/List.hs:185)
ConcatMapSym2 (src/Data/Singletons/Prelude/List.hs:185)
AndSym0 (src/Data/Singletons/Prelude/List.hs:185)
AndSym1 (src/Data/Singletons/Prelude/List.hs:185)
OrSym0 (src/Data/Singletons/Prelude/List.hs:185)
OrSym1 (src/Data/Singletons/Prelude/List.hs:185)
Any_Sym0 (src/Data/Singletons/Prelude/List.hs:179)
Any_Sym1 (src/Data/Singletons/Prelude/List.hs:179)
Any_Sym2 (src/Data/Singletons/Prelude/List.hs:179)
AllSym0 (src/Data/Singletons/Prelude/List.hs:185)
AllSym1 (src/Data/Singletons/Prelude/List.hs:185)
AllSym2 (src/Data/Singletons/Prelude/List.hs:185)
ScanlSym0 (src/Data/Singletons/Prelude/List.hs:185)
ScanlSym1 (src/Data/Singletons/Prelude/List.hs:185)
ScanlSym2 (src/Data/Singletons/Prelude/List.hs:185)
ScanlSym3 (src/Data/Singletons/Prelude/List.hs:185)
Scanl1Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Scanl1Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Scanl1Sym2 (src/Data/Singletons/Prelude/List.hs:185)
ScanrSym0 (src/Data/Singletons/Prelude/List.hs:185)
ScanrSym1 (src/Data/Singletons/Prelude/List.hs:185)
ScanrSym2 (src/Data/Singletons/Prelude/List.hs:185)
ScanrSym3 (src/Data/Singletons/Prelude/List.hs:185)
Scanr1Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Scanr1Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Scanr1Sym2 (src/Data/Singletons/Prelude/List.hs:185)
MapAccumLSym0 (src/Data/Singletons/Prelude/List.hs:185)
MapAccumLSym1 (src/Data/Singletons/Prelude/List.hs:185)
MapAccumLSym2 (src/Data/Singletons/Prelude/List.hs:185)
MapAccumLSym3 (src/Data/Singletons/Prelude/List.hs:185)
MapAccumRSym0 (src/Data/Singletons/Prelude/List.hs:185)
MapAccumRSym1 (src/Data/Singletons/Prelude/List.hs:185)
MapAccumRSym2 (src/Data/Singletons/Prelude/List.hs:185)
MapAccumRSym3 (src/Data/Singletons/Prelude/List.hs:185)
UnfoldrSym0 (src/Data/Singletons/Prelude/List.hs:185)
UnfoldrSym1 (src/Data/Singletons/Prelude/List.hs:185)
UnfoldrSym2 (src/Data/Singletons/Prelude/List.hs:185)
InitsSym0 (src/Data/Singletons/Prelude/List.hs:185)
InitsSym1 (src/Data/Singletons/Prelude/List.hs:185)
TailsSym0 (src/Data/Singletons/Prelude/List.hs:185)
TailsSym1 (src/Data/Singletons/Prelude/List.hs:185)
IsPrefixOfSym0 (src/Data/Singletons/Prelude/List.hs:185)
IsPrefixOfSym1 (src/Data/Singletons/Prelude/List.hs:185)
IsPrefixOfSym2 (src/Data/Singletons/Prelude/List.hs:185)
IsSuffixOfSym0 (src/Data/Singletons/Prelude/List.hs:185)
IsSuffixOfSym1 (src/Data/Singletons/Prelude/List.hs:185)
IsSuffixOfSym2 (src/Data/Singletons/Prelude/List.hs:185)
IsInfixOfSym0 (src/Data/Singletons/Prelude/List.hs:185)
IsInfixOfSym1 (src/Data/Singletons/Prelude/List.hs:185)
IsInfixOfSym2 (src/Data/Singletons/Prelude/List.hs:185)
ElemSym0 (src/Data/Singletons/Prelude/List.hs:185)
ElemSym1 (src/Data/Singletons/Prelude/List.hs:185)
ElemSym2 (src/Data/Singletons/Prelude/List.hs:185)
NotElemSym0 (src/Data/Singletons/Prelude/List.hs:185)
NotElemSym1 (src/Data/Singletons/Prelude/List.hs:185)
NotElemSym2 (src/Data/Singletons/Prelude/List.hs:185)
ZipSym0 (src/Data/Singletons/Prelude/List.hs:185)
ZipSym1 (src/Data/Singletons/Prelude/List.hs:185)
ZipSym2 (src/Data/Singletons/Prelude/List.hs:185)
Zip3Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Zip3Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Zip3Sym2 (src/Data/Singletons/Prelude/List.hs:185)
Zip3Sym3 (src/Data/Singletons/Prelude/List.hs:185)
ZipWithSym0 (src/Data/Singletons/Prelude/List.hs:185)
ZipWithSym1 (src/Data/Singletons/Prelude/List.hs:185)
ZipWithSym2 (src/Data/Singletons/Prelude/List.hs:185)
ZipWithSym3 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3Sym0 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3Sym1 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3Sym2 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3Sym3 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3Sym4 (src/Data/Singletons/Prelude/List.hs:185)
UnzipSym0 (src/Data/Singletons/Prelude/List.hs:185)
UnzipSym1 (src/Data/Singletons/Prelude/List.hs:185)
Unzip3Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Unzip3Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Unzip4Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Unzip4Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Unzip5Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Unzip5Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Unzip6Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Unzip6Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Unzip7Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Unzip7Sym1 (src/Data/Singletons/Prelude/List.hs:185)
DeleteSym0 (src/Data/Singletons/Prelude/List.hs:185)
DeleteSym1 (src/Data/Singletons/Prelude/List.hs:185)
DeleteSym2 (src/Data/Singletons/Prelude/List.hs:185)
:\\$ (src/Data/Singletons/Prelude/List.hs:185)
:\\$$ (src/Data/Singletons/Prelude/List.hs:185)
:\\$$$ (src/Data/Singletons/Prelude/List.hs:185)
IntersectSym0 (src/Data/Promotion/Prelude/List.hs:243)
IntersectSym1 (src/Data/Promotion/Prelude/List.hs:243)
IntersectSym2 (src/Data/Promotion/Prelude/List.hs:243)
InsertSym0 (src/Data/Promotion/Prelude/List.hs:243)
InsertSym1 (src/Data/Promotion/Prelude/List.hs:243)
InsertSym2 (src/Data/Promotion/Prelude/List.hs:243)
SortSym0 (src/Data/Promotion/Prelude/List.hs:243)
SortSym1 (src/Data/Promotion/Prelude/List.hs:243)
DeleteBySym0 (src/Data/Singletons/Prelude/List.hs:185)
DeleteBySym1 (src/Data/Singletons/Prelude/List.hs:185)
DeleteBySym2 (src/Data/Singletons/Prelude/List.hs:185)
DeleteBySym3 (src/Data/Singletons/Prelude/List.hs:185)
DeleteFirstsBySym0 (src/Data/Singletons/Prelude/List.hs:185)
DeleteFirstsBySym1 (src/Data/Singletons/Prelude/List.hs:185)
DeleteFirstsBySym2 (src/Data/Singletons/Prelude/List.hs:185)
DeleteFirstsBySym3 (src/Data/Singletons/Prelude/List.hs:185)
IntersectBySym0 (src/Data/Promotion/Prelude/List.hs:243)
IntersectBySym1 (src/Data/Promotion/Prelude/List.hs:243)
IntersectBySym2 (src/Data/Promotion/Prelude/List.hs:243)
SortBySym0 (src/Data/Singletons/Prelude/List.hs:185)
SortBySym1 (src/Data/Singletons/Prelude/List.hs:185)
SortBySym2 (src/Data/Singletons/Prelude/List.hs:185)
InsertBySym0 (src/Data/Singletons/Prelude/List.hs:185)
InsertBySym1 (src/Data/Singletons/Prelude/List.hs:185)
InsertBySym2 (src/Data/Singletons/Prelude/List.hs:185)
InsertBySym3 (src/Data/Singletons/Prelude/List.hs:185)
MaximumBySym0 (src/Data/Singletons/Prelude/List.hs:185)
MaximumBySym1 (src/Data/Singletons/Prelude/List.hs:185)
MaximumBySym2 (src/Data/Singletons/Prelude/List.hs:185)
MinimumBySym0 (src/Data/Singletons/Prelude/List.hs:185)
MinimumBySym1 (src/Data/Singletons/Prelude/List.hs:185)
MinimumBySym2 (src/Data/Singletons/Prelude/List.hs:185)
LengthSym0 (src/Data/Promotion/Prelude/List.hs:243)
LengthSym1 (src/Data/Promotion/Prelude/List.hs:243)
SumSym0 (src/Data/Promotion/Prelude/List.hs:243)
SumSym1 (src/Data/Promotion/Prelude/List.hs:243)
ProductSym0 (src/Data/Promotion/Prelude/List.hs:243)
ProductSym1 (src/Data/Promotion/Prelude/List.hs:243)
ReplicateSym0 (src/Data/Promotion/Prelude/List.hs:243)
ReplicateSym1 (src/Data/Promotion/Prelude/List.hs:243)
ReplicateSym2 (src/Data/Promotion/Prelude/List.hs:243)
TransposeSym0 (src/Data/Promotion/Prelude/List.hs:243)
TransposeSym1 (src/Data/Promotion/Prelude/List.hs:243)
TakeSym0 (src/Data/Promotion/Prelude/List.hs:243)
TakeSym1 (src/Data/Promotion/Prelude/List.hs:243)
TakeSym2 (src/Data/Promotion/Prelude/List.hs:243)
DropSym0 (src/Data/Promotion/Prelude/List.hs:243)
DropSym1 (src/Data/Promotion/Prelude/List.hs:243)
DropSym2 (src/Data/Promotion/Prelude/List.hs:243)
SplitAtSym0 (src/Data/Promotion/Prelude/List.hs:243)
SplitAtSym1 (src/Data/Promotion/Prelude/List.hs:243)
SplitAtSym2 (src/Data/Promotion/Prelude/List.hs:243)
TakeWhileSym0 (src/Data/Promotion/Prelude/List.hs:243)
TakeWhileSym1 (src/Data/Promotion/Prelude/List.hs:243)
TakeWhileSym2 (src/Data/Promotion/Prelude/List.hs:243)
DropWhileSym0 (src/Data/Promotion/Prelude/List.hs:243)
DropWhileSym1 (src/Data/Promotion/Prelude/List.hs:243)
DropWhileSym2 (src/Data/Promotion/Prelude/List.hs:243)
DropWhileEndSym0 (src/Data/Promotion/Prelude/List.hs:243)
DropWhileEndSym1 (src/Data/Promotion/Prelude/List.hs:243)
DropWhileEndSym2 (src/Data/Promotion/Prelude/List.hs:243)
SpanSym0 (src/Data/Promotion/Prelude/List.hs:243)
SpanSym1 (src/Data/Promotion/Prelude/List.hs:243)
SpanSym2 (src/Data/Promotion/Prelude/List.hs:243)
BreakSym0 (src/Data/Promotion/Prelude/List.hs:243)
BreakSym1 (src/Data/Promotion/Prelude/List.hs:243)
BreakSym2 (src/Data/Promotion/Prelude/List.hs:243)
StripPrefixSym0 (src/Data/Promotion/Prelude/List.hs:243)
StripPrefixSym1 (src/Data/Promotion/Prelude/List.hs:243)
StripPrefixSym2 (src/Data/Promotion/Prelude/List.hs:243)
MaximumSym0 (src/Data/Promotion/Prelude/List.hs:243)
MaximumSym1 (src/Data/Promotion/Prelude/List.hs:243)
MinimumSym0 (src/Data/Promotion/Prelude/List.hs:243)
MinimumSym1 (src/Data/Promotion/Prelude/List.hs:243)
GroupSym0 (src/Data/Promotion/Prelude/List.hs:243)
GroupSym1 (src/Data/Promotion/Prelude/List.hs:243)
GroupBySym0 (src/Data/Promotion/Prelude/List.hs:243)
GroupBySym1 (src/Data/Promotion/Prelude/List.hs:243)
GroupBySym2 (src/Data/Promotion/Prelude/List.hs:243)
LookupSym0 (src/Data/Promotion/Prelude/List.hs:243)
LookupSym1 (src/Data/Promotion/Prelude/List.hs:243)
LookupSym2 (src/Data/Promotion/Prelude/List.hs:243)
FindSym0 (src/Data/Promotion/Prelude/List.hs:243)
FindSym1 (src/Data/Promotion/Prelude/List.hs:243)
FindSym2 (src/Data/Promotion/Prelude/List.hs:243)
FilterSym0 (src/Data/Promotion/Prelude/List.hs:243)
FilterSym1 (src/Data/Promotion/Prelude/List.hs:243)
FilterSym2 (src/Data/Promotion/Prelude/List.hs:243)
PartitionSym0 (src/Data/Promotion/Prelude/List.hs:243)
PartitionSym1 (src/Data/Promotion/Prelude/List.hs:243)
PartitionSym2 (src/Data/Promotion/Prelude/List.hs:243)
:!!$ (src/Data/Promotion/Prelude/List.hs:243)
:!!$$ (src/Data/Promotion/Prelude/List.hs:243)
:!!$$$ (src/Data/Promotion/Prelude/List.hs:243)
ElemIndexSym0 (src/Data/Promotion/Prelude/List.hs:243)
ElemIndexSym1 (src/Data/Promotion/Prelude/List.hs:243)
ElemIndexSym2 (src/Data/Promotion/Prelude/List.hs:243)
ElemIndicesSym0 (src/Data/Promotion/Prelude/List.hs:243)
ElemIndicesSym1 (src/Data/Promotion/Prelude/List.hs:243)
ElemIndicesSym2 (src/Data/Promotion/Prelude/List.hs:243)
FindIndexSym0 (src/Data/Promotion/Prelude/List.hs:243)
FindIndexSym1 (src/Data/Promotion/Prelude/List.hs:243)
FindIndexSym2 (src/Data/Promotion/Prelude/List.hs:243)
FindIndicesSym0 (src/Data/Promotion/Prelude/List.hs:243)
FindIndicesSym1 (src/Data/Promotion/Prelude/List.hs:243)
FindIndicesSym2 (src/Data/Promotion/Prelude/List.hs:243)
Zip4Sym0 (src/Data/Promotion/Prelude/List.hs:243)
Zip4Sym1 (src/Data/Promotion/Prelude/List.hs:243)
Zip4Sym2 (src/Data/Promotion/Prelude/List.hs:243)
Zip4Sym3 (src/Data/Promotion/Prelude/List.hs:243)
Zip4Sym4 (src/Data/Promotion/Prelude/List.hs:243)
Zip5Sym0 (src/Data/Promotion/Prelude/List.hs:243)
Zip5Sym1 (src/Data/Promotion/Prelude/List.hs:243)
Zip5Sym2 (src/Data/Promotion/Prelude/List.hs:243)
Zip5Sym3 (src/Data/Promotion/Prelude/List.hs:243)
Zip5Sym4 (src/Data/Promotion/Prelude/List.hs:243)
Zip5Sym5 (src/Data/Promotion/Prelude/List.hs:243)
Zip6Sym0 (src/Data/Promotion/Prelude/List.hs:243)
Zip6Sym1 (src/Data/Promotion/Prelude/List.hs:243)
Zip6Sym2 (src/Data/Promotion/Prelude/List.hs:243)
Zip6Sym3 (src/Data/Promotion/Prelude/List.hs:243)
Zip6Sym4 (src/Data/Promotion/Prelude/List.hs:243)
Zip6Sym5 (src/Data/Promotion/Prelude/List.hs:243)
Zip6Sym6 (src/Data/Promotion/Prelude/List.hs:243)
Zip7Sym0 (src/Data/Promotion/Prelude/List.hs:243)
Zip7Sym1 (src/Data/Promotion/Prelude/List.hs:243)
Zip7Sym2 (src/Data/Promotion/Prelude/List.hs:243)
Zip7Sym3 (src/Data/Promotion/Prelude/List.hs:243)
Zip7Sym4 (src/Data/Promotion/Prelude/List.hs:243)
Zip7Sym5 (src/Data/Promotion/Prelude/List.hs:243)
Zip7Sym6 (src/Data/Promotion/Prelude/List.hs:243)
Zip7Sym7 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith4Sym0 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith4Sym1 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith4Sym2 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith4Sym3 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith4Sym4 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith4Sym5 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith5Sym0 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith5Sym1 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith5Sym2 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith5Sym3 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith5Sym4 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith5Sym5 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith5Sym6 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith6Sym0 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith6Sym1 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith6Sym2 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith6Sym3 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith6Sym4 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith6Sym5 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith6Sym6 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith6Sym7 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith7Sym0 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith7Sym1 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith7Sym2 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith7Sym3 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith7Sym4 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith7Sym5 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith7Sym6 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith7Sym7 (src/Data/Promotion/Prelude/List.hs:243)
ZipWith7Sym8 (src/Data/Promotion/Prelude/List.hs:243)
NubSym0 (src/Data/Promotion/Prelude/List.hs:243)
NubSym1 (src/Data/Promotion/Prelude/List.hs:243)
NubBySym0 (src/Data/Promotion/Prelude/List.hs:243)
NubBySym1 (src/Data/Promotion/Prelude/List.hs:243)
NubBySym2 (src/Data/Promotion/Prelude/List.hs:243)
UnionSym0 (src/Data/Promotion/Prelude/List.hs:243)
UnionSym1 (src/Data/Promotion/Prelude/List.hs:243)
UnionSym2 (src/Data/Promotion/Prelude/List.hs:243)
UnionBySym0 (src/Data/Promotion/Prelude/List.hs:243)
UnionBySym1 (src/Data/Promotion/Prelude/List.hs:243)
UnionBySym2 (src/Data/Promotion/Prelude/List.hs:243)
UnionBySym3 (src/Data/Promotion/Prelude/List.hs:243)
GenericLengthSym0 (src/Data/Promotion/Prelude/List.hs:243)
GenericLengthSym1 (src/Data/Promotion/Prelude/List.hs:243)
GenericTakeSym0 (src/Data/Promotion/Prelude/List.hs:243)
GenericTakeSym1 (src/Data/Promotion/Prelude/List.hs:243)
GenericTakeSym2 (src/Data/Promotion/Prelude/List.hs:243)
GenericDropSym0 (src/Data/Promotion/Prelude/List.hs:243)
GenericDropSym1 (src/Data/Promotion/Prelude/List.hs:243)
GenericDropSym2 (src/Data/Promotion/Prelude/List.hs:243)
GenericSplitAtSym0 (src/Data/Promotion/Prelude/List.hs:243)
GenericSplitAtSym1 (src/Data/Promotion/Prelude/List.hs:243)
GenericSplitAtSym2 (src/Data/Promotion/Prelude/List.hs:243)
GenericIndexSym0 (src/Data/Promotion/Prelude/List.hs:243)
GenericIndexSym1 (src/Data/Promotion/Prelude/List.hs:243)
GenericIndexSym2 (src/Data/Promotion/Prelude/List.hs:243)
GenericReplicateSym0 (src/Data/Promotion/Prelude/List.hs:243)
GenericReplicateSym1 (src/Data/Promotion/Prelude/List.hs:243)
GenericReplicateSym2 (src/Data/Promotion/Prelude/List.hs:243)
9% ( 30 /331) in 'Data.Promotion.Prelude'
Missing documentation for:
Not (src/Data/Singletons/Prelude/Bool.hs:68)
:&& (src/Data/Singletons/Prelude/Bool.hs:68)
:|| (src/Data/Singletons/Prelude/Bool.hs:68)
Otherwise (src/Data/Singletons/Prelude/Bool.hs:68)
maybe_ (src/Data/Singletons/Prelude/Maybe.hs:64)
Maybe_ (src/Data/Singletons/Prelude/Maybe.hs:64)
either_ (src/Data/Singletons/Prelude/Either.hs:60)
Either_ (src/Data/Singletons/Prelude/Either.hs:60)
Fst (src/Data/Singletons/Prelude/Tuple.hs:52)
Snd (src/Data/Singletons/Prelude/Tuple.hs:52)
Curry (src/Data/Singletons/Prelude/Tuple.hs:52)
Uncurry (src/Data/Singletons/Prelude/Tuple.hs:52)
ErrorSym0 (src/Data/Singletons/TypeLits/Internal.hs:146)
Id (src/Data/Singletons/Prelude/Base.hs:55)
Const (src/Data/Singletons/Prelude/Base.hs:55)
:. (src/Data/Singletons/Prelude/Base.hs:55)
$ (src/Data/Singletons/Prelude/Base.hs:96)
$! (src/Data/Singletons/Prelude/Base.hs:113)
Flip (src/Data/Singletons/Prelude/Base.hs:55)
AsTypeOf (src/Data/Singletons/Prelude/Base.hs:55)
Until (src/Data/Promotion/Prelude/Base.hs:48)
Seq (src/Data/Singletons/Prelude/Base.hs:55)
Map (src/Data/Singletons/Prelude/Base.hs:55)
:++ (src/Data/Singletons/Prelude/Base.hs:55)
Filter (src/Data/Promotion/Prelude/List.hs:243)
Head (src/Data/Singletons/Prelude/List.hs:185)
Last (src/Data/Singletons/Prelude/List.hs:185)
Tail (src/Data/Singletons/Prelude/List.hs:185)
Init (src/Data/Singletons/Prelude/List.hs:185)
Null (src/Data/Singletons/Prelude/List.hs:185)
Length (src/Data/Promotion/Prelude/List.hs:243)
:!! (src/Data/Promotion/Prelude/List.hs:243)
Reverse (src/Data/Singletons/Prelude/List.hs:185)
Foldl (src/Data/Singletons/Prelude/Instances.hs:27)
Foldl1 (src/Data/Singletons/Prelude/List.hs:185)
Foldr (src/Data/Singletons/Prelude/Base.hs:55)
Foldr1 (src/Data/Singletons/Prelude/List.hs:185)
And (src/Data/Singletons/Prelude/List.hs:185)
Or (src/Data/Singletons/Prelude/List.hs:185)
any_ (src/Data/Singletons/Prelude/List.hs:179)
Any_ (src/Data/Singletons/Prelude/List.hs:179)
All (src/Data/Singletons/Prelude/List.hs:185)
Sum (src/Data/Promotion/Prelude/List.hs:243)
Product (src/Data/Promotion/Prelude/List.hs:243)
Concat (src/Data/Singletons/Prelude/List.hs:185)
ConcatMap (src/Data/Singletons/Prelude/List.hs:185)
Maximum (src/Data/Promotion/Prelude/List.hs:243)
Minimum (src/Data/Promotion/Prelude/List.hs:243)
Scanl (src/Data/Singletons/Prelude/List.hs:185)
Scanl1 (src/Data/Singletons/Prelude/List.hs:185)
Scanr (src/Data/Singletons/Prelude/List.hs:185)
Scanr1 (src/Data/Singletons/Prelude/List.hs:185)
Replicate (src/Data/Promotion/Prelude/List.hs:243)
Take (src/Data/Promotion/Prelude/List.hs:243)
Drop (src/Data/Promotion/Prelude/List.hs:243)
SplitAt (src/Data/Promotion/Prelude/List.hs:243)
TakeWhile (src/Data/Promotion/Prelude/List.hs:243)
DropWhile (src/Data/Promotion/Prelude/List.hs:243)
Span (src/Data/Promotion/Prelude/List.hs:243)
Break (src/Data/Promotion/Prelude/List.hs:243)
Elem (src/Data/Singletons/Prelude/List.hs:185)
NotElem (src/Data/Singletons/Prelude/List.hs:185)
Lookup (src/Data/Promotion/Prelude/List.hs:243)
Zip (src/Data/Singletons/Prelude/List.hs:185)
Zip3 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3 (src/Data/Singletons/Prelude/List.hs:185)
Unzip (src/Data/Singletons/Prelude/List.hs:185)
Unzip3 (src/Data/Singletons/Prelude/List.hs:185)
FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
NotSym0 (src/Data/Singletons/Prelude/Bool.hs:68)
NotSym1 (src/Data/Singletons/Prelude/Bool.hs:68)
:&&$ (src/Data/Singletons/Prelude/Bool.hs:68)
:&&$$ (src/Data/Singletons/Prelude/Bool.hs:68)
:&&$$$ (src/Data/Singletons/Prelude/Bool.hs:68)
:||$ (src/Data/Singletons/Prelude/Bool.hs:68)
:||$$ (src/Data/Singletons/Prelude/Bool.hs:68)
:||$$$ (src/Data/Singletons/Prelude/Bool.hs:68)
OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:68)
NothingSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
JustSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
JustSym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Maybe_Sym0 (src/Data/Singletons/Prelude/Maybe.hs:64)
Maybe_Sym1 (src/Data/Singletons/Prelude/Maybe.hs:64)
Maybe_Sym2 (src/Data/Singletons/Prelude/Maybe.hs:64)
Maybe_Sym3 (src/Data/Singletons/Prelude/Maybe.hs:64)
LeftSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
LeftSym1 (src/Data/Singletons/Prelude/Instances.hs:22)
RightSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
RightSym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Either_Sym0 (src/Data/Singletons/Prelude/Either.hs:60)
Either_Sym1 (src/Data/Singletons/Prelude/Either.hs:60)
Either_Sym2 (src/Data/Singletons/Prelude/Either.hs:60)
Either_Sym3 (src/Data/Singletons/Prelude/Either.hs:60)
Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:22)
FstSym0 (src/Data/Singletons/Prelude/Tuple.hs:52)
FstSym1 (src/Data/Singletons/Prelude/Tuple.hs:52)
SndSym0 (src/Data/Singletons/Prelude/Tuple.hs:52)
SndSym1 (src/Data/Singletons/Prelude/Tuple.hs:52)
CurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:52)
CurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:52)
CurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:52)
CurrySym3 (src/Data/Singletons/Prelude/Tuple.hs:52)
UncurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:52)
UncurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:52)
UncurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:52)
:^$ (src/Data/Singletons/TypeLits/Internal.hs:155)
:^$$ (src/Data/Singletons/TypeLits/Internal.hs:155)
IdSym0 (src/Data/Singletons/Prelude/Base.hs:55)
IdSym1 (src/Data/Singletons/Prelude/Base.hs:55)
ConstSym0 (src/Data/Singletons/Prelude/Base.hs:55)
ConstSym1 (src/Data/Singletons/Prelude/Base.hs:55)
ConstSym2 (src/Data/Singletons/Prelude/Base.hs:55)
:.$ (src/Data/Singletons/Prelude/Base.hs:55)
:.$$ (src/Data/Singletons/Prelude/Base.hs:55)
:.$$$ (src/Data/Singletons/Prelude/Base.hs:55)
$$ (src/Data/Singletons/Prelude/Base.hs:100)
$$$ (src/Data/Singletons/Prelude/Base.hs:103)
$$$$ (src/Data/Singletons/Prelude/Base.hs:106)
$!$ (src/Data/Singletons/Prelude/Base.hs:117)
$!$$ (src/Data/Singletons/Prelude/Base.hs:120)
$!$$$ (src/Data/Singletons/Prelude/Base.hs:123)
FlipSym0 (src/Data/Singletons/Prelude/Base.hs:55)
FlipSym1 (src/Data/Singletons/Prelude/Base.hs:55)
FlipSym2 (src/Data/Singletons/Prelude/Base.hs:55)
AsTypeOfSym0 (src/Data/Singletons/Prelude/Base.hs:55)
AsTypeOfSym1 (src/Data/Singletons/Prelude/Base.hs:55)
AsTypeOfSym2 (src/Data/Singletons/Prelude/Base.hs:55)
SeqSym0 (src/Data/Singletons/Prelude/Base.hs:55)
SeqSym1 (src/Data/Singletons/Prelude/Base.hs:55)
SeqSym2 (src/Data/Singletons/Prelude/Base.hs:55)
:$ (src/Data/Singletons/Prelude/Instances.hs:22)
:$$ (src/Data/Singletons/Prelude/Instances.hs:22)
:$$$ (src/Data/Singletons/Prelude/Instances.hs:22)
NilSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
MapSym0 (src/Data/Singletons/Prelude/Base.hs:55)
MapSym1 (src/Data/Singletons/Prelude/Base.hs:55)
MapSym2 (src/Data/Singletons/Prelude/Base.hs:55)
ReverseSym0 (src/Data/Singletons/Prelude/List.hs:185)
ReverseSym1 (src/Data/Singletons/Prelude/List.hs:185)
:++$$ (src/Data/Singletons/Prelude/Base.hs:55)
:++$ (src/Data/Singletons/Prelude/Base.hs:55)
HeadSym0 (src/Data/Singletons/Prelude/List.hs:185)
HeadSym1 (src/Data/Singletons/Prelude/List.hs:185)
LastSym0 (src/Data/Singletons/Prelude/List.hs:185)
LastSym1 (src/Data/Singletons/Prelude/List.hs:185)
TailSym0 (src/Data/Singletons/Prelude/List.hs:185)
TailSym1 (src/Data/Singletons/Prelude/List.hs:185)
InitSym0 (src/Data/Singletons/Prelude/List.hs:185)
InitSym1 (src/Data/Singletons/Prelude/List.hs:185)
NullSym0 (src/Data/Singletons/Prelude/List.hs:185)
NullSym1 (src/Data/Singletons/Prelude/List.hs:185)
FoldlSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
FoldlSym1 (src/Data/Singletons/Prelude/Instances.hs:27)
FoldlSym2 (src/Data/Singletons/Prelude/Instances.hs:27)
FoldlSym3 (src/Data/Singletons/Prelude/Instances.hs:27)
Foldl1Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Foldl1Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Foldl1Sym2 (src/Data/Singletons/Prelude/List.hs:185)
FoldrSym0 (src/Data/Singletons/Prelude/Base.hs:55)
FoldrSym1 (src/Data/Singletons/Prelude/Base.hs:55)
FoldrSym2 (src/Data/Singletons/Prelude/Base.hs:55)
FoldrSym3 (src/Data/Singletons/Prelude/Base.hs:55)
Foldr1Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Foldr1Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Foldr1Sym2 (src/Data/Singletons/Prelude/List.hs:185)
ConcatSym0 (src/Data/Singletons/Prelude/List.hs:185)
ConcatSym1 (src/Data/Singletons/Prelude/List.hs:185)
ConcatMapSym0 (src/Data/Singletons/Prelude/List.hs:185)
ConcatMapSym1 (src/Data/Singletons/Prelude/List.hs:185)
ConcatMapSym2 (src/Data/Singletons/Prelude/List.hs:185)
MaximumBySym0 (src/Data/Singletons/Prelude/List.hs:185)
MaximumBySym1 (src/Data/Singletons/Prelude/List.hs:185)
MaximumBySym2 (src/Data/Singletons/Prelude/List.hs:185)
MinimumBySym0 (src/Data/Singletons/Prelude/List.hs:185)
MinimumBySym1 (src/Data/Singletons/Prelude/List.hs:185)
MinimumBySym2 (src/Data/Singletons/Prelude/List.hs:185)
AndSym0 (src/Data/Singletons/Prelude/List.hs:185)
AndSym1 (src/Data/Singletons/Prelude/List.hs:185)
OrSym0 (src/Data/Singletons/Prelude/List.hs:185)
OrSym1 (src/Data/Singletons/Prelude/List.hs:185)
Any_Sym0 (src/Data/Singletons/Prelude/List.hs:179)
Any_Sym1 (src/Data/Singletons/Prelude/List.hs:179)
Any_Sym2 (src/Data/Singletons/Prelude/List.hs:179)
AllSym0 (src/Data/Singletons/Prelude/List.hs:185)
AllSym1 (src/Data/Singletons/Prelude/List.hs:185)
AllSym2 (src/Data/Singletons/Prelude/List.hs:185)
ScanlSym0 (src/Data/Singletons/Prelude/List.hs:185)
ScanlSym1 (src/Data/Singletons/Prelude/List.hs:185)
ScanlSym2 (src/Data/Singletons/Prelude/List.hs:185)
ScanlSym3 (src/Data/Singletons/Prelude/List.hs:185)
Scanl1Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Scanl1Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Scanl1Sym2 (src/Data/Singletons/Prelude/List.hs:185)
ScanrSym0 (src/Data/Singletons/Prelude/List.hs:185)
ScanrSym1 (src/Data/Singletons/Prelude/List.hs:185)
ScanrSym2 (src/Data/Singletons/Prelude/List.hs:185)
ScanrSym3 (src/Data/Singletons/Prelude/List.hs:185)
Scanr1Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Scanr1Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Scanr1Sym2 (src/Data/Singletons/Prelude/List.hs:185)
ElemSym0 (src/Data/Singletons/Prelude/List.hs:185)
ElemSym1 (src/Data/Singletons/Prelude/List.hs:185)
ElemSym2 (src/Data/Singletons/Prelude/List.hs:185)
NotElemSym0 (src/Data/Singletons/Prelude/List.hs:185)
NotElemSym1 (src/Data/Singletons/Prelude/List.hs:185)
NotElemSym2 (src/Data/Singletons/Prelude/List.hs:185)
ZipSym0 (src/Data/Singletons/Prelude/List.hs:185)
ZipSym1 (src/Data/Singletons/Prelude/List.hs:185)
ZipSym2 (src/Data/Singletons/Prelude/List.hs:185)
Zip3Sym0 (src/Data/Singletons/Prelude/List.hs:185)
Zip3Sym1 (src/Data/Singletons/Prelude/List.hs:185)
Zip3Sym2 (src/Data/Singletons/Prelude/List.hs:185)
Zip3Sym3 (src/Data/Singletons/Prelude/List.hs:185)
ZipWithSym0 (src/Data/Singletons/Prelude/List.hs:185)
ZipWithSym1 (src/Data/Singletons/Prelude/List.hs:185)
ZipWithSym2 (src/Data/Singletons/Prelude/List.hs:185)
ZipWithSym3 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3Sym0 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3Sym1 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3Sym2 (src/Data/Singletons/Prelude/List.hs:185)
ZipWith3Sym3 (src/Data/Singletons/Prelude/List.hs:185)
UnzipSym0 (src/Data/Singletons/Prelude/List.hs:185)
UnzipSym1 (src/Data/Singletons/Prelude/List.hs:185)
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:243)
LengthSym1 (src/Data/Promotion/Prelude/List.hs:243)
SumSym0 (src/Data/Promotion/Prelude/List.hs:243)
SumSym1 (src/Data/Promotion/Prelude/List.hs:243)
ProductSym0 (src/Data/Promotion/Prelude/List.hs:243)
ProductSym1 (src/Data/Promotion/Prelude/List.hs:243)
ReplicateSym0 (src/Data/Promotion/Prelude/List.hs:243)
ReplicateSym1 (src/Data/Promotion/Prelude/List.hs:243)
ReplicateSym2 (src/Data/Promotion/Prelude/List.hs:243)
TakeSym0 (src/Data/Promotion/Prelude/List.hs:243)
TakeSym1 (src/Data/Promotion/Prelude/List.hs:243)
TakeSym2 (src/Data/Promotion/Prelude/List.hs:243)
DropSym0 (src/Data/Promotion/Prelude/List.hs:243)
DropSym1 (src/Data/Promotion/Prelude/List.hs:243)
DropSym2 (src/Data/Promotion/Prelude/List.hs:243)
SplitAtSym0 (src/Data/Promotion/Prelude/List.hs:243)
SplitAtSym1 (src/Data/Promotion/Prelude/List.hs:243)
SplitAtSym2 (src/Data/Promotion/Prelude/List.hs:243)
TakeWhileSym0 (src/Data/Promotion/Prelude/List.hs:243)
TakeWhileSym1 (src/Data/Promotion/Prelude/List.hs:243)
TakeWhileSym2 (src/Data/Promotion/Prelude/List.hs:243)
DropWhileSym0 (src/Data/Promotion/Prelude/List.hs:243)
DropWhileSym1 (src/Data/Promotion/Prelude/List.hs:243)
DropWhileSym2 (src/Data/Promotion/Prelude/List.hs:243)
SpanSym0 (src/Data/Promotion/Prelude/List.hs:243)
SpanSym1 (src/Data/Promotion/Prelude/List.hs:243)
SpanSym2 (src/Data/Promotion/Prelude/List.hs:243)
BreakSym0 (src/Data/Promotion/Prelude/List.hs:243)
BreakSym1 (src/Data/Promotion/Prelude/List.hs:243)
BreakSym2 (src/Data/Promotion/Prelude/List.hs:243)
LookupSym0 (src/Data/Promotion/Prelude/List.hs:243)
LookupSym1 (src/Data/Promotion/Prelude/List.hs:243)
LookupSym2 (src/Data/Promotion/Prelude/List.hs:243)
FilterSym0 (src/Data/Promotion/Prelude/List.hs:243)
FilterSym1 (src/Data/Promotion/Prelude/List.hs:243)
FilterSym2 (src/Data/Promotion/Prelude/List.hs:243)
:!!$ (src/Data/Promotion/Prelude/List.hs:243)
:!!$$ (src/Data/Promotion/Prelude/List.hs:243)
:!!$$$ (src/Data/Promotion/Prelude/List.hs:243)
40% ( 31 / 77) in 'Data.Promotion.TH'
Missing documentation for:
:&& (src/Data/Singletons/Prelude/Bool.hs:68)
POrd (src/Data/Singletons/Prelude/Ord.hs:46)
ThenCmp (src/Data/Singletons/Prelude/Ord.hs:76)
Foldl (src/Data/Singletons/Prelude/Instances.hs:27)
ErrorSym0 (src/Data/Singletons/TypeLits/Internal.hs:146)
TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
LTSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
EQSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
GTSym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:22)
Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:22)
ThenCmpSym0 (src/Data/Singletons/Prelude/Ord.hs:76)
FoldlSym0 (src/Data/Singletons/Prelude/Instances.hs:27)
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.Decide: could not find link destinations for:
D1Void
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.Prelude.Ord: could not find link destinations for:
Compare_1627566600Sym0 TFHelper_1627566633Sym0 TFHelper_1627566666Sym0 TFHelper_1627566699Sym0 TFHelper_1627566732Sym0 Max_1627566765Sym0 Min_1627566798Sym0 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:
Compare_1627566600Sym0 TFHelper_1627566633Sym0 TFHelper_1627566666Sym0 TFHelper_1627566699Sym0 TFHelper_1627566732Sym0 Max_1627566765Sym0 Min_1627566798Sym0
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.Base: could not find link destinations for:
Let1627631724GoSym3 Lambda_1627631621Sym0
Warning: Data.Singletons.Prelude.Num: could not find link destinations for:
TFHelper_1627645712Sym0 Negate_1627645727Sym0
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 Compare_1627566600Sym0 TFHelper_1627566633Sym0 TFHelper_1627566666Sym0 TFHelper_1627566699Sym0 TFHelper_1627566732Sym0 Max_1627566765Sym0 Min_1627566798Sym0 Let1627532338LgoSym3 D1Void D1Proxy C1_0Proxy
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 Let1627654355LeftSym1 Let1627654355RightSym1 PartitionEithersSym0
Warning: Data.Promotion.Prelude.Either: could not find link destinations for:
Let1627654355LeftSym1 Let1627654355RightSym1
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:
Let1627631724GoSym3 Lambda_1627631621Sym0 Let1627665812GoSym3
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 Let1627677231Init'Sym2 Let1627677185RevSym1 PrependToAllSym0 NonEmptySubsequencesSym0 Let1627676738PermsSym1 Let1627532338LgoSym3 Let1627676652LgoSym3 Let1627631724GoSym3 Let1627676423XsSym4 Case_1627676339 Let1627676326Scrutinee_1627675047Sym3 Case_1627676303 Let1627676284Scrutinee_1627675049Sym4 Case_1627676256 Let1627676237Scrutinee_1627675051Sym4 Let1627676049S''Sym4 Let1627676049YSym4 Let1627676049YsSym4 Let1627675877S''Sym4 Let1627675877YSym4 Let1627675877YsSym4 Case_1627675849 Let1627675841Scrutinee_1627675057Sym2 Case_1627675825 Let1627675821Scrutinee_1627675059Sym1 Case_1627675798 Let1627675794Scrutinee_1627675061Sym1 Lambda_1627675464Sym0 Lambda_1627675432Sym0 Lambda_1627675398Sym0 Lambda_1627675362Sym0 Lambda_1627675324Sym0 Lambda_1627675284Sym0 Case_1627675224 Let1627675205Scrutinee_1627675087Sym4 Case_1627675164 Let1627675145Scrutinee_1627675089Sym4 Let1627676488MaxBySym3 Let1627676475XsSym3 Let1627676575MinBySym3 Let1627676562XsSym3
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_1627816158 Let1627816150Scrutinee_1627816070Sym2 Case_1627816115 Let1627816102Scrutinee_1627816072Sym3
Warning: Data.Promotion.Prelude.Maybe: could not find link destinations for:
Case_1627816158 Let1627816150Scrutinee_1627816070Sym2 Case_1627816115 Let1627816102Scrutinee_1627816072Sym3
Warning: Data.Singletons.Prelude.Enum: could not find link destinations for:
Succ_1627829795Sym0 Pred_1627829808Sym0 EnumFromTo_1627829826Sym0 EnumFromThenTo_1627829856Sym0
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_1627631621Sym0 Let1627677231Init'Sym2 Let1627677185RevSym1 Let1627532338LgoSym3 Let1627631724GoSym3 Let1627676423XsSym4 Case_1627676339 Let1627676326Scrutinee_1627675047Sym3 Case_1627676303 Let1627676284Scrutinee_1627675049Sym4 Case_1627676256 Let1627676237Scrutinee_1627675051Sym4 Lambda_1627675464Sym0 Lambda_1627675432Sym0 EqSymbol
Warning: Data.Promotion.Prelude.Enum: could not find link destinations for:
Succ_1627829795Sym0 Pred_1627829808Sym0 EnumFromTo_1627829826Sym0 EnumFromThenTo_1627829856Sym0
Warning: Data.Promotion.Prelude.Num: could not find link destinations for:
TFHelper_1627645712Sym0 Negate_1627645727Sym0
Warning: Data.Promotion.Prelude.List: could not find link destinations for:
Let1627677231Init'Sym2 Let1627677185RevSym1 PrependToAllSym0 NonEmptySubsequencesSym0 Let1627676738PermsSym1 Let1627532338LgoSym3 Let1627676652LgoSym3 Let1627631724GoSym3 Let1627676423XsSym4 Let1627892374Sum'Sym1 Let1627892350ProdSym1 Case_1627676339 Let1627676326Scrutinee_1627675047Sym3 Case_1627676303 Let1627676284Scrutinee_1627675049Sym4 Case_1627676256 Let1627676237Scrutinee_1627675051Sym4 Let1627676049S''Sym4 Let1627676049YSym4 Let1627676049YsSym4 Let1627675877S''Sym4 Let1627675877YSym4 Let1627675877YsSym4 Case_1627675849 Let1627675841Scrutinee_1627675057Sym2 Case_1627892248 Case_1627892203 Case_1627892183 Case_1627892134 Lambda_1627892074Sym0 Let1627891847XsSym1 Case_1627891853 Let1627891698XsSym1 Case_1627891704 Case_1627891661 Case_1627675825 Let1627675821Scrutinee_1627675059Sym1 Case_1627675798 Let1627675794Scrutinee_1627675061Sym1 Case_1627891611 Case_1627891501 SelectSym0 Case_1627891410 Lambda_1627892438Sym0 Let1627892412BuildListSym2 Lambda_1627675464Sym0 Lambda_1627675432Sym0 Lambda_1627675398Sym0 Lambda_1627675362Sym0 Lambda_1627675324Sym0 Lambda_1627675284Sym0 Let1627890860Nub'Sym1 Let1627890787NubBy'Sym2 Case_1627675224 Let1627675205Scrutinee_1627675087Sym4 Let1627891999YsSym3 Let1627891999ZsSym3 Lambda_1627891549Sym0 Case_1627675164 Let1627675145Scrutinee_1627675089Sym4 Let1627676488MaxBySym3 Let1627676475XsSym3 Let1627676575MinBySym3 Let1627676562XsSym3
Warning: Data.Promotion.Prelude: could not find link destinations for:
TFCo:R:SingSymboln SSym EqSymbol Lambda_1627631621Sym0 Let1627665812GoSym3 Case_1627891501 Let1627677231Init'Sym2 Case_1627891410 Let1627677185RevSym1 Let1627532338LgoSym3 Let1627631724GoSym3 Let1627676423XsSym4 Let1627892374Sum'Sym1 Let1627892350ProdSym1 Case_1627676339 Let1627676326Scrutinee_1627675047Sym3 Case_1627676303 Let1627676284Scrutinee_1627675049Sym4 Case_1627676256 Let1627676237Scrutinee_1627675051Sym4 Case_1627892248 Case_1627892203 Case_1627892183 Case_1627892134 Let1627891847XsSym1 Case_1627891853 Let1627891698XsSym1 Case_1627891704 Case_1627891611 Lambda_1627675464Sym0 Lambda_1627675432Sym0 D1Proxy C1_0Proxy
Warning: Data.Promotion.TH: could not find link destinations for:
TFCo:R:Sing(->)f SLambda applySing Compare_1627566600Sym0 TFHelper_1627566633Sym0 TFHelper_1627566666Sym0 TFHelper_1627566699Sym0 TFHelper_1627566732Sym0 Max_1627566765Sym0 Min_1627566798Sym0 D1Proxy C1_0Proxy Let1627532338LgoSym3
Documentation created: dist/doc/html/singletons/index.html,
dist/doc/html/singletons/singletons.txt
Creating package registration file:
/tmp/pkgConf-singletons-2.0.09146009302085308422.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/singletons-2.0.0.1-D3sCXLoljmZGDQyFelP7df
Registering singletons-2.0.0.1...
Installed singletons-2.0.0.1
Configuring exinst-0.1.1...
Building exinst-0.1.1...
Preprocessing library exinst-0.1.1...
[1 of 3] Compiling Exinst.Singletons.Internal ( src/lib/Exinst/Singletons/Internal.hs, dist/build/Exinst/Singletons/Internal.o )
[2 of 3] Compiling Exinst.Singletons ( src/lib/Exinst/Singletons.hs, dist/build/Exinst/Singletons.o )
[3 of 3] Compiling Exinst.Instances.Base ( src/lib/Exinst/Instances/Base.hs, dist/build/Exinst/Instances/Base.o )
In-place registering exinst-0.1.1...
Running Haddock for exinst-0.1.1...
Running hscolour for exinst-0.1.1...
Preprocessing library exinst-0.1.1...
Preprocessing library exinst-0.1.1...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: nats-1
Haddock coverage:
20% ( 1 / 5) in 'Exinst.Singletons.Internal'
Missing documentation for:
Some1 (src/lib/Exinst/Singletons/Internal.hs:17)
Some2 (src/lib/Exinst/Singletons/Internal.hs:20)
Some3 (src/lib/Exinst/Singletons/Internal.hs:23)
Some4 (src/lib/Exinst/Singletons/Internal.hs:26)
31% ( 9 / 29) in 'Exinst.Singletons'
Missing documentation for:
Some1 (src/lib/Exinst/Singletons/Internal.hs:17)
some1 (src/lib/Exinst/Singletons.hs:55)
withSome1 (src/lib/Exinst/Singletons.hs:90)
fromSome1 (src/lib/Exinst/Singletons.hs:171)
Dict1 (src/lib/Exinst/Singletons.hs:225)
Some2 (src/lib/Exinst/Singletons/Internal.hs:20)
some2 (src/lib/Exinst/Singletons.hs:63)
withSome2 (src/lib/Exinst/Singletons.hs:98)
fromSome2 (src/lib/Exinst/Singletons.hs:181)
Dict2 (src/lib/Exinst/Singletons.hs:228)
Some3 (src/lib/Exinst/Singletons/Internal.hs:23)
some3 (src/lib/Exinst/Singletons.hs:71)
withSome3 (src/lib/Exinst/Singletons.hs:106)
fromSome3 (src/lib/Exinst/Singletons.hs:193)
Dict3 (src/lib/Exinst/Singletons.hs:231)
Some4 (src/lib/Exinst/Singletons/Internal.hs:26)
some4 (src/lib/Exinst/Singletons.hs:79)
withSome4 (src/lib/Exinst/Singletons.hs:114)
fromSome4 (src/lib/Exinst/Singletons.hs:207)
Dict4 (src/lib/Exinst/Singletons.hs:234)
100% ( 1 / 1) in 'Exinst.Instances.Base'
Documentation created: dist/doc/html/exinst/index.html,
dist/doc/html/exinst/exinst.txt
Creating package registration file:
/tmp/pkgConf-exinst-0.11781459970812426701.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/exinst-0.1.1-EiMFnmCYipk9s7WBrNfgpE
Registering exinst-0.1.1...
Installed exinst-0.1.1
Configuring exinst-hashable-0.1.0.1...
Building exinst-hashable-0.1.0.1...
Preprocessing library exinst-hashable-0.1.0.1...
[1 of 1] Compiling Exinst.Instances.Hashable ( src/lib/Exinst/Instances/Hashable.hs, dist/build/Exinst/Instances/Hashable.o )
In-place registering exinst-hashable-0.1.0.1...
Running Haddock for exinst-hashable-0.1.0.1...
Running hscolour for exinst-hashable-0.1.0.1...
Preprocessing library exinst-hashable-0.1.0.1...
Preprocessing library exinst-hashable-0.1.0.1...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: nats-1
Haddock coverage:
100% ( 1 / 1) in 'Exinst.Instances.Hashable'
Documentation created: dist/doc/html/exinst-hashable/index.html,
dist/doc/html/exinst-hashable/exinst-hashable.txt
Creating package registration file:
/tmp/pkgConf-exinst-hashable-0.1.01611111544112028656.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/exinst-hashable-0.1.0.1-GhY2Yg9SvEmDmXcc4YEbZb
Registering exinst-hashable-0.1.0.1...
Installed exinst-hashable-0.1.0.1
Test log
No test log was submitted for this report.