Build #1 for sized-vector-1.4.3.0
| Package | sized-vector-1.4.3.0 |
|---|
| Install | DependencyFailed singletons-2.0.1 |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2015-11-18 16:13:33.495046 UTC |
|---|---|
| Compiler | ghc-7.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | type-natural-0.3.0.0, template-haskell-2.10.0.0, singletons-2.0.1, monomorphic-0.0.3.3, hashable-1.2.3.3, equational-reasoning-0.2.0.7, deepseq-1.4.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 monomorphic-0.0.3.3...
Building monomorphic-0.0.3.3...
Preprocessing library monomorphic-0.0.3.3...
[1 of 1] Compiling Data.Type.Monomorphic ( Data/Type/Monomorphic.hs, dist/build/Data/Type/Monomorphic.o )
In-place registering monomorphic-0.0.3.3...
Running Haddock for monomorphic-0.0.3.3...
Running hscolour for monomorphic-0.0.3.3...
Preprocessing library monomorphic-0.0.3.3...
Preprocessing library monomorphic-0.0.3.3...
Haddock coverage:
70% ( 7 / 10) in 'Data.Type.Monomorphic'
Missing documentation for:
Module header
monomorphicCompose (Data/Type/Monomorphic.hs:32)
:.: (Data/Type/Monomorphic.hs:10)
Documentation created: dist/doc/html/monomorphic/index.html,
dist/doc/html/monomorphic/monomorphic.txt
Creating package registration file:
/tmp/pkgConf-monomorphic-0.0.3278722862233665123.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/monomorphic-0.0.3.3-GRD3aisImhW5rFq88AlZbV
Registering monomorphic-0.0.3.3...
Installed monomorphic-0.0.3.3
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.220539999321264095060.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 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-013093833031129033333.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.317220600491455590964.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-012320568561745790417.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/syb-0.6-2wX6OHAY1mu1En8Oic6xKR
Registering syb-0.6...
Installed syb-0.6
Configuring tagged-0.8.2...
Building tagged-0.8.2...
Preprocessing library tagged-0.8.2...
[1 of 2] Compiling Data.Proxy.TH ( src/Data/Proxy/TH.hs, dist/build/Data/Proxy/TH.o )
[2 of 2] Compiling Data.Tagged ( src/Data/Tagged.hs, dist/build/Data/Tagged.o )
In-place registering tagged-0.8.2...
Running Haddock for tagged-0.8.2...
Running hscolour for tagged-0.8.2...
Preprocessing library tagged-0.8.2...
Preprocessing library tagged-0.8.2...
Haddock coverage:
67% ( 2 / 3) in 'Data.Proxy.TH'
Missing documentation for:
Module header
93% ( 14 / 15) in 'Data.Tagged'
Missing documentation for:
witness (src/Data/Tagged.hs:308)
Documentation created: dist/doc/html/tagged/index.html,
dist/doc/html/tagged/tagged.txt
Creating package registration file:
/tmp/pkgConf-tagged-0.821069146531815209933.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/tagged-0.8.2-4zanMqQLQHpBO0ZYm7KGkc
Registering tagged-0.8.2...
Installed tagged-0.8.2
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 )
m1 (src/Data/Singletons/Prelude/List.hs:257)
ZipSym2 (src/Data/Singletons/Prelude/List.hs:257)
Zip3Sym0 (src/Data/Singletons/Prelude/List.hs:257)
Zip3Sym1 (src/Data/Singletons/Prelude/List.hs:257)
Zip3Sym2 (src/Data/Singletons/Prelude/List.hs:257)
Zip3Sym3 (src/Data/Singletons/Prelude/List.hs:257)
ZipWithSym0 (src/Data/Singletons/Prelude/List.hs:257)
ZipWithSym1 (src/Data/Singletons/Prelude/List.hs:257)
ZipWithSym2 (src/Data/Singletons/Prelude/List.hs:257)
ZipWithSym3 (src/Data/Singletons/Prelude/List.hs:257)
ZipWith3Sym0 (src/Data/Singletons/Prelude/List.hs:257)
ZipWith3Sym1 (src/Data/Singletons/Prelude/List.hs:257)
ZipWith3Sym2 (src/Data/Singletons/Prelude/List.hs:257)
ZipWith3Sym3 (src/Data/Singletons/Prelude/List.hs:257)
UnzipSym0 (src/Data/Singletons/Prelude/List.hs:257)
UnzipSym1 (src/Data/Singletons/Prelude/List.hs:257)
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:257)
Last (src/Data/Singletons/Prelude/List.hs:257)
Tail (src/Data/Singletons/Prelude/List.hs:257)
Init (src/Data/Singletons/Prelude/List.hs:257)
Null (src/Data/Singletons/Prelude/List.hs:257)
Length (src/Data/Singletons/Prelude/List.hs:257)
Map (src/Data/Singletons/Prelude/Base.hs:55)
Reverse (src/Data/Singletons/Prelude/List.hs:257)
Intersperse (src/Data/Singletons/Prelude/List.hs:257)
Intercalate (src/Data/Singletons/Prelude/List.hs:257)
Transpose (src/Data/Singletons/Prelude/List.hs:257)
Subsequences (src/Data/Singletons/Prelude/List.hs:257)
Permutations (src/Data/Singletons/Prelude/List.hs:257)
Foldl (src/Data/Singletons/Prelude/Instances.hs:27)
Foldl' (src/Data/Singletons/Prelude/List.hs:257)
Foldl1 (src/Data/Singletons/Prelude/List.hs:257)
Foldl1' (src/Data/Singletons/Prelude/List.hs:257)
Foldr (src/Data/Singletons/Prelude/Base.hs:55)
Foldr1 (src/Data/Singletons/Prelude/List.hs:257)
Concat (src/Data/Singletons/Prelude/List.hs:257)
ConcatMap (src/Data/Singletons/Prelude/List.hs:257)
And (src/Data/Singletons/Prelude/List.hs:257)
Or (src/Data/Singletons/Prelude/List.hs:257)
Any_ (src/Data/Singletons/Prelude/List.hs:251)
All (src/Data/Singletons/Prelude/List.hs:257)
Sum (src/Data/Singletons/Prelude/List.hs:257)
Product (src/Data/Singletons/Prelude/List.hs:257)
Maximum (src/Data/Singletons/Prelude/List.hs:257)
Minimum (src/Data/Singletons/Prelude/List.hs:257)
any_ (src/Data/Singletons/Prelude/List.hs:251)
Scanl (src/Data/Singletons/Prelude/List.hs:257)
Scanl1 (src/Data/Singletons/Prelude/List.hs:257)
Scanr (src/Data/Singletons/Prelude/List.hs:257)
Scanr1 (src/Data/Singletons/Prelude/List.hs:257)
MapAccumL (src/Data/Singletons/Prelude/List.hs:257)
MapAccumR (src/Data/Singletons/Prelude/List.hs:257)
Replicate (src/Data/Singletons/Prelude/List.hs:257)
Unfoldr (src/Data/Singletons/Prelude/List.hs:257)
Take (src/Data/Singletons/Prelude/List.hs:257)
Drop (src/Data/Singletons/Prelude/List.hs:257)
SplitAt (src/Data/Singletons/Prelude/List.hs:257)
TakeWhile (src/Data/Singletons/Prelude/List.hs:257)
DropWhile (src/Data/Singletons/Prelude/List.hs:257)
DropWhileEnd (src/Data/Singletons/Prelude/List.hs:257)
Span (src/Data/Singletons/Prelude/List.hs:257)
Break (src/Data/Singletons/Prelude/List.hs:257)
StripPrefix (src/Data/Promotion/Prelude/List.hs:233)
Group (src/Data/Singletons/Prelude/List.hs:257)
Inits (src/Data/Singletons/Prelude/List.hs:257)
Tails (src/Data/Singletons/Prelude/List.hs:257)
IsPrefixOf (src/Data/Singletons/Prelude/List.hs:257)
IsSuffixOf (src/Data/Singletons/Prelude/List.hs:257)
IsInfixOf (src/Data/Singletons/Prelude/List.hs:257)
Elem (src/Data/Singletons/Prelude/List.hs:257)
NotElem (src/Data/Singletons/Prelude/List.hs:257)
Lookup (src/Data/Singletons/Prelude/List.hs:257)
Find (src/Data/Singletons/Prelude/List.hs:257)
Filter (src/Data/Singletons/Prelude/List.hs:257)
Partition (src/Data/Singletons/Prelude/List.hs:257)
:!! (src/Data/Singletons/Prelude/List.hs:257)
ElemIndex (src/Data/Singletons/Prelude/List.hs:257)
ElemIndices (src/Data/Singletons/Prelude/List.hs:257)
FindIndex (src/Data/Singletons/Prelude/List.hs:257)
FindIndices (src/Data/Singletons/Prelude/List.hs:257)
Zip (src/Data/Singletons/Prelude/List.hs:257)
Zip3 (src/Data/Singletons/Prelude/List.hs:257)
Zip4 (src/Data/Promotion/Prelude/List.hs:233)
Zip5 (src/Data/Promotion/Prelude/List.hs:233)
Zip6 (src/Data/Promotion/Prelude/List.hs:233)
Zip7 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith (src/Data/Singletons/Prelude/List.hs:257)
ZipWith3 (src/Data/Singletons/Prelude/List.hs:257)
ZipWith4 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith5 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith6 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith7 (src/Data/Promotion/Prelude/List.hs:233)
Unzip (src/Data/Singletons/Prelude/List.hs:257)
Unzip3 (src/Data/Singletons/Prelude/List.hs:257)
Unzip4 (src/Data/Singletons/Prelude/List.hs:257)
Unzip5 (src/Data/Singletons/Prelude/List.hs:257)
Unzip6 (src/Data/Singletons/Prelude/List.hs:257)
Unzip7 (src/Data/Singletons/Prelude/List.hs:257)
Nub (src/Data/Singletons/Prelude/List.hs:257)
Delete (src/Data/Singletons/Prelude/List.hs:257)
:\\ (src/Data/Singletons/Prelude/List.hs:257)
Union (src/Data/Singletons/Prelude/List.hs:257)
Intersect (src/Data/Singletons/Prelude/List.hs:257)
Sort (src/Data/Singletons/Prelude/List.hs:257)
Insert (src/Data/Singletons/Prelude/List.hs:257)
NubBy (src/Data/Singletons/Prelude/List.hs:257)
DeleteBy (src/Data/Singletons/Prelude/List.hs:257)
DeleteFirstsBy (src/Data/Singletons/Prelude/List.hs:257)
UnionBy (src/Data/Singletons/Prelude/List.hs:257)
GroupBy (src/Data/Singletons/Prelude/List.hs:257)
IntersectBy (src/Data/Singletons/Prelude/List.hs:257)
SortBy (src/Data/Singletons/Prelude/List.hs:257)
InsertBy (src/Data/Singletons/Prelude/List.hs:257)
MaximumBy (src/Data/Singletons/Prelude/List.hs:257)
MinimumBy (src/Data/Singletons/Prelude/List.hs:257)
GenericLength (src/Data/Singletons/Prelude/List.hs:257)
GenericTake (src/Data/Promotion/Prelude/List.hs:233)
GenericDrop (src/Data/Promotion/Prelude/List.hs:233)
GenericSplitAt (src/Data/Promotion/Prelude/List.hs:233)
GenericIndex (src/Data/Promotion/Prelude/List.hs:233)
GenericReplicate (src/Data/Promotion/Prelude/List.hs:233)
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:257)
HeadSym1 (src/Data/Singletons/Prelude/List.hs:257)
LastSym0 (src/Data/Singletons/Prelude/List.hs:257)
LastSym1 (src/Data/Singletons/Prelude/List.hs:257)
TailSym0 (src/Data/Singletons/Prelude/List.hs:257)
TailSym1 (src/Data/Singletons/Prelude/List.hs:257)
InitSym0 (src/Data/Singletons/Prelude/List.hs:257)
InitSym1 (src/Data/Singletons/Prelude/List.hs:257)
NullSym0 (src/Data/Singletons/Prelude/List.hs:257)
NullSym1 (src/Data/Singletons/Prelude/List.hs:257)
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:257)
ReverseSym1 (src/Data/Singletons/Prelude/List.hs:257)
IntersperseSym0 (src/Data/Singletons/Prelude/List.hs:257)
IntersperseSym1 (src/Data/Singletons/Prelude/List.hs:257)
IntersperseSym2 (src/Data/Singletons/Prelude/List.hs:257)
IntercalateSym0 (src/Data/Singletons/Prelude/List.hs:257)
IntercalateSym1 (src/Data/Singletons/Prelude/List.hs:257)
IntercalateSym2 (src/Data/Singletons/Prelude/List.hs:257)
SubsequencesSym0 (src/Data/Singletons/Prelude/List.hs:257)
SubsequencesSym1 (src/Data/Singletons/Prelude/List.hs:257)
PermutationsSym0 (src/Data/Singletons/Prelude/List.hs:257)
PermutationsSym1 (src/Data/Singletons/Prelude/List.hs:257)
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:257)
Foldl'Sym1 (src/Data/Singletons/Prelude/List.hs:257)
Foldl'Sym2 (src/Data/Singletons/Prelude/List.hs:257)
Foldl'Sym3 (src/Data/Singletons/Prelude/List.hs:257)
Foldl1Sym0 (src/Data/Singletons/Prelude/List.hs:257)
Foldl1Sym1 (src/Data/Singletons/Prelude/List.hs:257)
Foldl1Sym2 (src/Data/Singletons/Prelude/List.hs:257)
Foldl1'Sym0 (src/Data/Singletons/Prelude/List.hs:257)
Foldl1'Sym1 (src/Data/Singletons/Prelude/List.hs:257)
Foldl1'Sym2 (src/Data/Singletons/Prelude/List.hs:257)
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:257)
Foldr1Sym1 (src/Data/Singletons/Prelude/List.hs:257)
Foldr1Sym2 (src/Data/Singletons/Prelude/List.hs:257)
ConcatSym0 (src/Data/Singletons/Prelude/List.hs:257)
ConcatSym1 (src/Data/Singletons/Prelude/List.hs:257)
ConcatMapSym0 (src/Data/Singletons/Prelude/List.hs:257)
ConcatMapSym1 (src/Data/Singletons/Prelude/List.hs:257)
ConcatMapSym2 (src/Data/Singletons/Prelude/List.hs:257)
AndSym0 (src/Data/Singletons/Prelude/List.hs:257)
AndSym1 (src/Data/Singletons/Prelude/List.hs:257)
OrSym0 (src/Data/Singletons/Prelude/List.hs:257)
OrSym1 (src/Data/Singletons/Prelude/List.hs:257)
Any_Sym0 (src/Data/Singletons/Prelude/List.hs:251)
Any_Sym1 (src/Data/Singletons/Prelude/List.hs:251)
Any_Sym2 (src/Data/Singletons/Prelude/List.hs:251)
AllSym0 (src/Data/Singletons/Prelude/List.hs:257)
AllSym1 (src/Data/Singletons/Prelude/List.hs:257)
AllSym2 (src/Data/Singletons/Prelude/List.hs:257)
ScanlSym0 (src/Data/Singletons/Prelude/List.hs:257)
ScanlSym1 (src/Data/Singletons/Prelude/List.hs:257)
ScanlSym2 (src/Data/Singletons/Prelude/List.hs:257)
ScanlSym3 (src/Data/Singletons/Prelude/List.hs:257)
Scanl1Sym0 (src/Data/Singletons/Prelude/List.hs:257)
Scanl1Sym1 (src/Data/Singletons/Prelude/List.hs:257)
Scanl1Sym2 (src/Data/Singletons/Prelude/List.hs:257)
ScanrSym0 (src/Data/Singletons/Prelude/List.hs:257)
ScanrSym1 (src/Data/Singletons/Prelude/List.hs:257)
ScanrSym2 (src/Data/Singletons/Prelude/List.hs:257)
ScanrSym3 (src/Data/Singletons/Prelude/List.hs:257)
Scanr1Sym0 (src/Data/Singletons/Prelude/List.hs:257)
Scanr1Sym1 (src/Data/Singletons/Prelude/List.hs:257)
Scanr1Sym2 (src/Data/Singletons/Prelude/List.hs:257)
MapAccumLSym0 (src/Data/Singletons/Prelude/List.hs:257)
MapAccumLSym1 (src/Data/Singletons/Prelude/List.hs:257)
MapAccumLSym2 (src/Data/Singletons/Prelude/List.hs:257)
MapAccumLSym3 (src/Data/Singletons/Prelude/List.hs:257)
MapAccumRSym0 (src/Data/Singletons/Prelude/List.hs:257)
MapAccumRSym1 (src/Data/Singletons/Prelude/List.hs:257)
MapAccumRSym2 (src/Data/Singletons/Prelude/List.hs:257)
MapAccumRSym3 (src/Data/Singletons/Prelude/List.hs:257)
UnfoldrSym0 (src/Data/Singletons/Prelude/List.hs:257)
UnfoldrSym1 (src/Data/Singletons/Prelude/List.hs:257)
UnfoldrSym2 (src/Data/Singletons/Prelude/List.hs:257)
InitsSym0 (src/Data/Singletons/Prelude/List.hs:257)
InitsSym1 (src/Data/Singletons/Prelude/List.hs:257)
TailsSym0 (src/Data/Singletons/Prelude/List.hs:257)
TailsSym1 (src/Data/Singletons/Prelude/List.hs:257)
IsPrefixOfSym0 (src/Data/Singletons/Prelude/List.hs:257)
IsPrefixOfSym1 (src/Data/Singletons/Prelude/List.hs:257)
IsPrefixOfSym2 (src/Data/Singletons/Prelude/List.hs:257)
IsSuffixOfSym0 (src/Data/Singletons/Prelude/List.hs:257)
IsSuffixOfSym1 (src/Data/Singletons/Prelude/List.hs:257)
IsSuffixOfSym2 (src/Data/Singletons/Prelude/List.hs:257)
IsInfixOfSym0 (src/Data/Singletons/Prelude/List.hs:257)
IsInfixOfSym1 (src/Data/Singletons/Prelude/List.hs:257)
IsInfixOfSym2 (src/Data/Singletons/Prelude/List.hs:257)
ElemSym0 (src/Data/Singletons/Prelude/List.hs:257)
ElemSym1 (src/Data/Singletons/Prelude/List.hs:257)
ElemSym2 (src/Data/Singletons/Prelude/List.hs:257)
NotElemSym0 (src/Data/Singletons/Prelude/List.hs:257)
NotElemSym1 (src/Data/Singletons/Prelude/List.hs:257)
NotElemSym2 (src/Data/Singletons/Prelude/List.hs:257)
ZipSym0 (src/Data/Singletons/Prelude/List.hs:257)
ZipSym1 (src/Data/Singletons/Prelude/List.hs:257)
ZipSym2 (src/Data/Singletons/Prelude/List.hs:257)
Zip3Sym0 (src/Data/Singletons/Prelude/List.hs:257)
Zip3Sym1 (src/Data/Singletons/Prelude/List.hs:257)
Zip3Sym2 (src/Data/Singletons/Prelude/List.hs:257)
Zip3Sym3 (src/Data/Singletons/Prelude/List.hs:257)
ZipWithSym0 (src/Data/Singletons/Prelude/List.hs:257)
ZipWithSym1 (src/Data/Singletons/Prelude/List.hs:257)
ZipWithSym2 (src/Data/Singletons/Prelude/List.hs:257)
ZipWithSym3 (src/Data/Singletons/Prelude/List.hs:257)
ZipWith3Sym0 (src/Data/Singletons/Prelude/List.hs:257)
ZipWith3Sym1 (src/Data/Singletons/Prelude/List.hs:257)
ZipWith3Sym2 (src/Data/Singletons/Prelude/List.hs:257)
ZipWith3Sym3 (src/Data/Singletons/Prelude/List.hs:257)
ZipWith3Sym4 (src/Data/Singletons/Prelude/List.hs:257)
UnzipSym0 (src/Data/Singletons/Prelude/List.hs:257)
UnzipSym1 (src/Data/Singletons/Prelude/List.hs:257)
Unzip3Sym0 (src/Data/Singletons/Prelude/List.hs:257)
Unzip3Sym1 (src/Data/Singletons/Prelude/List.hs:257)
Unzip4Sym0 (src/Data/Singletons/Prelude/List.hs:257)
Unzip4Sym1 (src/Data/Singletons/Prelude/List.hs:257)
Unzip5Sym0 (src/Data/Singletons/Prelude/List.hs:257)
Unzip5Sym1 (src/Data/Singletons/Prelude/List.hs:257)
Unzip6Sym0 (src/Data/Singletons/Prelude/List.hs:257)
Unzip6Sym1 (src/Data/Singletons/Prelude/List.hs:257)
Unzip7Sym0 (src/Data/Singletons/Prelude/List.hs:257)
Unzip7Sym1 (src/Data/Singletons/Prelude/List.hs:257)
DeleteSym0 (src/Data/Singletons/Prelude/List.hs:257)
DeleteSym1 (src/Data/Singletons/Prelude/List.hs:257)
DeleteSym2 (src/Data/Singletons/Prelude/List.hs:257)
:\\$ (src/Data/Singletons/Prelude/List.hs:257)
:\\$$ (src/Data/Singletons/Prelude/List.hs:257)
:\\$$$ (src/Data/Singletons/Prelude/List.hs:257)
IntersectSym0 (src/Data/Singletons/Prelude/List.hs:257)
IntersectSym1 (src/Data/Singletons/Prelude/List.hs:257)
IntersectSym2 (src/Data/Singletons/Prelude/List.hs:257)
InsertSym0 (src/Data/Singletons/Prelude/List.hs:257)
InsertSym1 (src/Data/Singletons/Prelude/List.hs:257)
InsertSym2 (src/Data/Singletons/Prelude/List.hs:257)
SortSym0 (src/Data/Singletons/Prelude/List.hs:257)
SortSym1 (src/Data/Singletons/Prelude/List.hs:257)
DeleteBySym0 (src/Data/Singletons/Prelude/List.hs:257)
DeleteBySym1 (src/Data/Singletons/Prelude/List.hs:257)
DeleteBySym2 (src/Data/Singletons/Prelude/List.hs:257)
DeleteBySym3 (src/Data/Singletons/Prelude/List.hs:257)
DeleteFirstsBySym0 (src/Data/Singletons/Prelude/List.hs:257)
DeleteFirstsBySym1 (src/Data/Singletons/Prelude/List.hs:257)
DeleteFirstsBySym2 (src/Data/Singletons/Prelude/List.hs:257)
DeleteFirstsBySym3 (src/Data/Singletons/Prelude/List.hs:257)
IntersectBySym0 (src/Data/Singletons/Prelude/List.hs:257)
IntersectBySym1 (src/Data/Singletons/Prelude/List.hs:257)
IntersectBySym2 (src/Data/Singletons/Prelude/List.hs:257)
SortBySym0 (src/Data/Singletons/Prelude/List.hs:257)
SortBySym1 (src/Data/Singletons/Prelude/List.hs:257)
SortBySym2 (src/Data/Singletons/Prelude/List.hs:257)
InsertBySym0 (src/Data/Singletons/Prelude/List.hs:257)
InsertBySym1 (src/Data/Singletons/Prelude/List.hs:257)
InsertBySym2 (src/Data/Singletons/Prelude/List.hs:257)
InsertBySym3 (src/Data/Singletons/Prelude/List.hs:257)
MaximumBySym0 (src/Data/Singletons/Prelude/List.hs:257)
MaximumBySym1 (src/Data/Singletons/Prelude/List.hs:257)
MaximumBySym2 (src/Data/Singletons/Prelude/List.hs:257)
MinimumBySym0 (src/Data/Singletons/Prelude/List.hs:257)
MinimumBySym1 (src/Data/Singletons/Prelude/List.hs:257)
MinimumBySym2 (src/Data/Singletons/Prelude/List.hs:257)
LengthSym0 (src/Data/Singletons/Prelude/List.hs:257)
LengthSym1 (src/Data/Singletons/Prelude/List.hs:257)
SumSym0 (src/Data/Singletons/Prelude/List.hs:257)
SumSym1 (src/Data/Singletons/Prelude/List.hs:257)
ProductSym0 (src/Data/Singletons/Prelude/List.hs:257)
ProductSym1 (src/Data/Singletons/Prelude/List.hs:257)
ReplicateSym0 (src/Data/Singletons/Prelude/List.hs:257)
ReplicateSym1 (src/Data/Singletons/Prelude/List.hs:257)
ReplicateSym2 (src/Data/Singletons/Prelude/List.hs:257)
TransposeSym0 (src/Data/Singletons/Prelude/List.hs:257)
TransposeSym1 (src/Data/Singletons/Prelude/List.hs:257)
TakeSym0 (src/Data/Singletons/Prelude/List.hs:257)
TakeSym1 (src/Data/Singletons/Prelude/List.hs:257)
TakeSym2 (src/Data/Singletons/Prelude/List.hs:257)
DropSym0 (src/Data/Singletons/Prelude/List.hs:257)
DropSym1 (src/Data/Singletons/Prelude/List.hs:257)
DropSym2 (src/Data/Singletons/Prelude/List.hs:257)
SplitAtSym0 (src/Data/Singletons/Prelude/List.hs:257)
SplitAtSym1 (src/Data/Singletons/Prelude/List.hs:257)
SplitAtSym2 (src/Data/Singletons/Prelude/List.hs:257)
TakeWhileSym0 (src/Data/Singletons/Prelude/List.hs:257)
TakeWhileSym1 (src/Data/Singletons/Prelude/List.hs:257)
TakeWhileSym2 (src/Data/Singletons/Prelude/List.hs:257)
DropWhileSym0 (src/Data/Singletons/Prelude/List.hs:257)
DropWhileSym1 (src/Data/Singletons/Prelude/List.hs:257)
DropWhileSym2 (src/Data/Singletons/Prelude/List.hs:257)
DropWhileEndSym0 (src/Data/Singletons/Prelude/List.hs:257)
DropWhileEndSym1 (src/Data/Singletons/Prelude/List.hs:257)
DropWhileEndSym2 (src/Data/Singletons/Prelude/List.hs:257)
SpanSym0 (src/Data/Singletons/Prelude/List.hs:257)
SpanSym1 (src/Data/Singletons/Prelude/List.hs:257)
SpanSym2 (src/Data/Singletons/Prelude/List.hs:257)
BreakSym0 (src/Data/Singletons/Prelude/List.hs:257)
BreakSym1 (src/Data/Singletons/Prelude/List.hs:257)
BreakSym2 (src/Data/Singletons/Prelude/List.hs:257)
StripPrefixSym0 (src/Data/Promotion/Prelude/List.hs:233)
StripPrefixSym1 (src/Data/Promotion/Prelude/List.hs:233)
StripPrefixSym2 (src/Data/Promotion/Prelude/List.hs:233)
MaximumSym0 (src/Data/Singletons/Prelude/List.hs:257)
MaximumSym1 (src/Data/Singletons/Prelude/List.hs:257)
MinimumSym0 (src/Data/Singletons/Prelude/List.hs:257)
MinimumSym1 (src/Data/Singletons/Prelude/List.hs:257)
GroupSym0 (src/Data/Singletons/Prelude/List.hs:257)
GroupSym1 (src/Data/Singletons/Prelude/List.hs:257)
GroupBySym0 (src/Data/Singletons/Prelude/List.hs:257)
GroupBySym1 (src/Data/Singletons/Prelude/List.hs:257)
GroupBySym2 (src/Data/Singletons/Prelude/List.hs:257)
LookupSym0 (src/Data/Singletons/Prelude/List.hs:257)
LookupSym1 (src/Data/Singletons/Prelude/List.hs:257)
LookupSym2 (src/Data/Singletons/Prelude/List.hs:257)
FindSym0 (src/Data/Singletons/Prelude/List.hs:257)
FindSym1 (src/Data/Singletons/Prelude/List.hs:257)
FindSym2 (src/Data/Singletons/Prelude/List.hs:257)
FilterSym0 (src/Data/Singletons/Prelude/List.hs:257)
FilterSym1 (src/Data/Singletons/Prelude/List.hs:257)
FilterSym2 (src/Data/Singletons/Prelude/List.hs:257)
PartitionSym0 (src/Data/Singletons/Prelude/List.hs:257)
PartitionSym1 (src/Data/Singletons/Prelude/List.hs:257)
PartitionSym2 (src/Data/Singletons/Prelude/List.hs:257)
:!!$ (src/Data/Singletons/Prelude/List.hs:257)
:!!$$ (src/Data/Singletons/Prelude/List.hs:257)
:!!$$$ (src/Data/Singletons/Prelude/List.hs:257)
ElemIndexSym0 (src/Data/Singletons/Prelude/List.hs:257)
ElemIndexSym1 (src/Data/Singletons/Prelude/List.hs:257)
ElemIndexSym2 (src/Data/Singletons/Prelude/List.hs:257)
ElemIndicesSym0 (src/Data/Singletons/Prelude/List.hs:257)
ElemIndicesSym1 (src/Data/Singletons/Prelude/List.hs:257)
ElemIndicesSym2 (src/Data/Singletons/Prelude/List.hs:257)
FindIndexSym0 (src/Data/Singletons/Prelude/List.hs:257)
FindIndexSym1 (src/Data/Singletons/Prelude/List.hs:257)
FindIndexSym2 (src/Data/Singletons/Prelude/List.hs:257)
FindIndicesSym0 (src/Data/Singletons/Prelude/List.hs:257)
FindIndicesSym1 (src/Data/Singletons/Prelude/List.hs:257)
FindIndicesSym2 (src/Data/Singletons/Prelude/List.hs:257)
Zip4Sym0 (src/Data/Promotion/Prelude/List.hs:233)
Zip4Sym1 (src/Data/Promotion/Prelude/List.hs:233)
Zip4Sym2 (src/Data/Promotion/Prelude/List.hs:233)
Zip4Sym3 (src/Data/Promotion/Prelude/List.hs:233)
Zip4Sym4 (src/Data/Promotion/Prelude/List.hs:233)
Zip5Sym0 (src/Data/Promotion/Prelude/List.hs:233)
Zip5Sym1 (src/Data/Promotion/Prelude/List.hs:233)
Zip5Sym2 (src/Data/Promotion/Prelude/List.hs:233)
Zip5Sym3 (src/Data/Promotion/Prelude/List.hs:233)
Zip5Sym4 (src/Data/Promotion/Prelude/List.hs:233)
Zip5Sym5 (src/Data/Promotion/Prelude/List.hs:233)
Zip6Sym0 (src/Data/Promotion/Prelude/List.hs:233)
Zip6Sym1 (src/Data/Promotion/Prelude/List.hs:233)
Zip6Sym2 (src/Data/Promotion/Prelude/List.hs:233)
Zip6Sym3 (src/Data/Promotion/Prelude/List.hs:233)
Zip6Sym4 (src/Data/Promotion/Prelude/List.hs:233)
Zip6Sym5 (src/Data/Promotion/Prelude/List.hs:233)
Zip6Sym6 (src/Data/Promotion/Prelude/List.hs:233)
Zip7Sym0 (src/Data/Promotion/Prelude/List.hs:233)
Zip7Sym1 (src/Data/Promotion/Prelude/List.hs:233)
Zip7Sym2 (src/Data/Promotion/Prelude/List.hs:233)
Zip7Sym3 (src/Data/Promotion/Prelude/List.hs:233)
Zip7Sym4 (src/Data/Promotion/Prelude/List.hs:233)
Zip7Sym5 (src/Data/Promotion/Prelude/List.hs:233)
Zip7Sym6 (src/Data/Promotion/Prelude/List.hs:233)
Zip7Sym7 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith4Sym0 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith4Sym1 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith4Sym2 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith4Sym3 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith4Sym4 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith4Sym5 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith5Sym0 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith5Sym1 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith5Sym2 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith5Sym3 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith5Sym4 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith5Sym5 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith5Sym6 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith6Sym0 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith6Sym1 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith6Sym2 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith6Sym3 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith6Sym4 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith6Sym5 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith6Sym6 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith6Sym7 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith7Sym0 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith7Sym1 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith7Sym2 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith7Sym3 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith7Sym4 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith7Sym5 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith7Sym6 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith7Sym7 (src/Data/Promotion/Prelude/List.hs:233)
ZipWith7Sym8 (src/Data/Promotion/Prelude/List.hs:233)
NubSym0 (src/Data/Singletons/Prelude/List.hs:257)
NubSym1 (src/Data/Singletons/Prelude/List.hs:257)
NubBySym0 (src/Data/Singletons/Prelude/List.hs:257)
NubBySym1 (src/Data/Singletons/Prelude/List.hs:257)
NubBySym2 (src/Data/Singletons/Prelude/List.hs:257)
UnionSym0 (src/Data/Singletons/Prelude/List.hs:257)
UnionSym1 (src/Data/Singletons/Prelude/List.hs:257)
UnionSym2 (src/Data/Singletons/Prelude/List.hs:257)
UnionBySym0 (src/Data/Singletons/Prelude/List.hs:257)
UnionBySym1 (src/Data/Singletons/Prelude/List.hs:257)
UnionBySym2 (src/Data/Singletons/Prelude/List.hs:257)
UnionBySym3 (src/Data/Singletons/Prelude/List.hs:257)
GenericLengthSym0 (src/Data/Singletons/Prelude/List.hs:257)
GenericLengthSym1 (src/Data/Singletons/Prelude/List.hs:257)
GenericTakeSym0 (src/Data/Promotion/Prelude/List.hs:233)
GenericTakeSym1 (src/Data/Promotion/Prelude/List.hs:233)
GenericTakeSym2 (src/Data/Promotion/Prelude/List.hs:233)
GenericDropSym0 (src/Data/Promotion/Prelude/List.hs:233)
GenericDropSym1 (src/Data/Promotion/Prelude/List.hs:233)
GenericDropSym2 (src/Data/Promotion/Prelude/List.hs:233)
GenericSplitAtSym0 (src/Data/Promotion/Prelude/List.hs:233)
GenericSplitAtSym1 (src/Data/Promotion/Prelude/List.hs:233)
GenericSplitAtSym2 (src/Data/Promotion/Prelude/List.hs:233)
GenericIndexSym0 (src/Data/Promotion/Prelude/List.hs:233)
GenericIndexSym1 (src/Data/Promotion/Prelude/List.hs:233)
GenericIndexSym2 (src/Data/Promotion/Prelude/List.hs:233)
GenericReplicateSym0 (src/Data/Promotion/Prelude/List.hs:233)
GenericReplicateSym1 (src/Data/Promotion/Prelude/List.hs:233)
GenericReplicateSym2 (src/Data/Promotion/Prelude/List.hs:233)
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)
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/Singletons/Prelude/List.hs:257)
Head (src/Data/Singletons/Prelude/List.hs:257)
Last (src/Data/Singletons/Prelude/List.hs:257)
Tail (src/Data/Singletons/Prelude/List.hs:257)
Init (src/Data/Singletons/Prelude/List.hs:257)
Null (src/Data/Singletons/Prelude/List.hs:257)
Length (src/Data/Singletons/Prelude/List.hs:257)
:!! (src/Data/Singletons/Prelude/List.hs:257)
Reverse (src/Data/Singletons/Prelude/List.hs:257)
Foldl (src/Data/Singletons/Prelude/Instances.hs:27)
Foldl1 (src/Data/Singletons/Prelude/List.hs:257)
Foldr (src/Data/Singletons/Prelude/Base.hs:55)
Foldr1 (src/Data/Singletons/Prelude/List.hs:257)
And (src/Data/Singletons/Prelude/List.hs:257)
Or (src/Data/Singletons/Prelude/List.hs:257)
any_ (src/Data/Singletons/Prelude/List.hs:251)
Any_ (src/Data/Singletons/Prelude/List.hs:251)
All (src/Data/Singletons/Prelude/List.hs:257)
Sum (src/Data/Singletons/Prelude/List.hs:257)
Product (src/Data/Singletons/Prelude/List.hs:257)
Concat (src/Data/Singletons/Prelude/List.hs:257)
ConcatMap (src/Data/Singletons/Prelude/List.hs:257)
Maximum (src/Data/Singletons/Prelude/List.hs:257)
Minimum (src/Data/Singletons/Prelude/List.hs:257)
Scanl (src/Data/Singletons/Prelude/List.hs:257)
Scanl1 (src/Data/Singletons/Prelude/List.hs:257)
Scanr (src/Data/Singletons/Prelude/List.hs:257)
Scanr1 (src/Data/Singletons/Prelude/List.hs:257)
Replicate (src/Data/Singletons/Prelude/List.hs:257)
Take (src/Data/Singletons/Prelude/List.hs:257)
Drop (src/Data/Singletons/Prelude/List.hs:257)
SplitAt (src/Data/Singletons/Prelude/List.hs:257)
TakeWhile (src/Data/Singletons/Prelude/List.hs:257)
DropWhile (src/Data/Singletons/Prelude/List.hs:257)
Span (src/Data/Singletons/Prelude/List.hs:257)
Break (src/Data/Singletons/Prelude/List.hs:257)
Elem (src/Data/Singletons/Prelude/List.hs:257)
NotElem (src/Data/Singletons/Prelude/List.hs:257)
Lookup (src/Data/Singletons/Prelude/List.hs:257)
Zip (src/Data/Singletons/Prelude/List.hs:257)
Zip3 (src/Data/Singletons/Prelude/List.hs:257)
ZipWith (src/Data/Singletons/Prelude/List.hs:257)
ZipWith3 (src/Data/Singletons/Prelude/List.hs:257)
Unzip (src/Data/Singletons/Prelude/List.hs:257)
Unzip3 (src/Data/Singletons/Prelude/List.hs:257)
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:257)
ReverseSym1 (src/Data/Singletons/Prelude/List.hs:257)
:++$$ (src/Data/Singletons/Prelude/Base.hs:55)
:++$ (src/Data/Singletons/Prelude/Base.hs:55)
HeadSym0 (src/Data/Singletons/Prelude/List.hs:257)
HeadSym1 (src/Data/Singletons/Prelude/List.hs:257)
LastSym0 (src/Data/Singletons/Prelude/List.hs:257)
LastSym1 (src/Data/Singletons/Prelude/List.hs:257)
TailSym0 (src/Data/Singletons/Prelude/List.hs:257)
TailSym1 (src/Data/Singletons/Prelude/List.hs:257)
InitSym0 (src/Data/Singletons/Prelude/List.hs:257)
InitSym1 (src/Data/Singletons/Prelude/List.hs:257)
NullSym0 (src/Data/Singletons/Prelude/List.hs:257)
NullSym1 (src/Data/Singletons/Prelude/List.hs:257)
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:257)
Foldl1Sym1 (src/Data/Singletons/Prelude/List.hs:257)
Foldl1Sym2 (src/Data/Singletons/Prelude/List.hs:257)
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:257)
Foldr1Sym1 (src/Data/Singletons/Prelude/List.hs:257)
Foldr1Sym2 (src/Data/Singletons/Prelude/List.hs:257)
ConcatSym0 (src/Data/Singletons/Prelude/List.hs:257)
ConcatSym1 (src/Data/Singletons/Prelude/List.hs:257)
ConcatMapSym0 (src/Data/Singletons/Prelude/List.hs:257)
ConcatMapSym1 (src/Data/Singletons/Prelude/List.hs:257)
ConcatMapSym2 (src/Data/Singletons/Prelude/List.hs:257)
MaximumBySym0 (src/Data/Singletons/Prelude/List.hs:257)
MaximumBySym1 (src/Data/Singletons/Prelude/List.hs:257)
MaximumBySym2 (src/Data/Singletons/Prelude/List.hs:257)
MinimumBySym0 (src/Data/Singletons/Prelude/List.hs:257)
MinimumBySym1 (src/Data/Singletons/Prelude/List.hs:257)
MinimumBySym2 (src/Data/Singletons/Prelude/List.hs:257)
AndSym0 (src/Data/Singletons/Prelude/List.hs:257)
AndSym1 (src/Data/Singletons/Prelude/List.hs:257)
OrSym0 (src/Data/Singletons/Prelude/List.hs:257)
OrSym1 (src/Data/Singletons/Prelude/List.hs:257)
Any_Sym0 (src/Data/Singletons/Prelude/List.hs:251)
Any_Sym1 (src/Data/Singletons/Prelude/List.hs:251)
Any_Sym2 (src/Data/Singletons/Prelude/List.hs:251)
AllSym0 (src/Data/Singletons/Prelude/List.hs:257)
AllSym1 (src/Data/Singletons/Prelude/List.hs:257)
AllSym2 (src/Data/Singletons/Prelude/List.hs:257)
ScanlSym0 (src/Data/Singletons/Prelude/List.hs:257)
ScanlSym1 (src/Data/Singletons/Prelude/List.hs:257)
ScanlSym2 (src/Data/Singletons/Prelude/List.hs:257)
ScanlSym3 (src/Data/Singletons/Prelude/List.hs:257)
Scanl1Sym0 (src/Data/Singletons/Prelude/List.hs:257)
Scanl1Sym1 (src/Data/Singletons/Prelude/List.hs:257)
Scanl1Sym2 (src/Data/Singletons/Prelude/List.hs:257)
ScanrSym0 (src/Data/Singletons/Prelude/List.hs:257)
ScanrSym1 (src/Data/Singletons/Prelude/List.hs:257)
ScanrSym2 (src/Data/Singletons/Prelude/List.hs:257)
ScanrSym3 (src/Data/Singletons/Prelude/List.hs:257)
Scanr1Sym0 (src/Data/Singletons/Prelude/List.hs:257)
Scanr1Sym1 (src/Data/Singletons/Prelude/List.hs:257)
Scanr1Sym2 (src/Data/Singletons/Prelude/List.hs:257)
ElemSym0 (src/Data/Singletons/Prelude/List.hs:257)
ElemSym1 (src/Data/Singletons/Prelude/List.hs:257)
ElemSym2 (src/Data/Singletons/Prelude/List.hs:257)
NotElemSym0 (src/Data/Singletons/Prelude/List.hs:257)
NotElemSym1 (src/Data/Singletons/Prelude/List.hs:257)
NotElemSym2 (src/Data/Singletons/Prelude/List.hs:257)
ZipSym0 (src/Data/Singletons/Prelude/List.hs:257)
ZipSym1 (src/Data/Singletons/Prelude/List.hs:257)
ZipSym2 (src/Data/Singletons/Prelude/List.hs:257)
Zip3Sym0 (src/Data/Singletons/Prelude/List.hs:257)
Zip3Sym1 (src/Data/Singletons/Prelude/List.hs:257)
Zip3Sym2 (src/Data/Singletons/Prelude/List.hs:257)
Zip3Sym3 (src/Data/Singletons/Prelude/List.hs:257)
ZipWithSym0 (src/Data/Singletons/Prelude/List.hs:257)
ZipWithSym1 (src/Data/Singletons/Prelude/List.hs:257)
ZipWithSym2 (src/Data/Singletons/Prelude/List.hs:257)
ZipWithSym3 (src/Data/Singletons/Prelude/List.hs:257)
ZipWith3Sym0 (src/Data/Singletons/Prelude/List.hs:257)
ZipWith3Sym1 (src/Data/Singletons/Prelude/List.hs:257)
ZipWith3Sym2 (src/Data/Singletons/Prelude/List.hs:257)
ZipWith3Sym3 (src/Data/Singletons/Prelude/List.hs:257)
UnzipSym0 (src/Data/Singletons/Prelude/List.hs:257)
UnzipSym1 (src/Data/Singletons/Prelude/List.hs:257)
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/Singletons/Prelude/List.hs:257)
LengthSym1 (src/Data/Singletons/Prelude/List.hs:257)
SumSym0 (src/Data/Singletons/Prelude/List.hs:257)
SumSym1 (src/Data/Singletons/Prelude/List.hs:257)
ProductSym0 (src/Data/Singletons/Prelude/List.hs:257)
ProductSym1 (src/Data/Singletons/Prelude/List.hs:257)
ReplicateSym0 (src/Data/Singletons/Prelude/List.hs:257)
ReplicateSym1 (src/Data/Singletons/Prelude/List.hs:257)
ReplicateSym2 (src/Data/Singletons/Prelude/List.hs:257)
TakeSym0 (src/Data/Singletons/Prelude/List.hs:257)
TakeSym1 (src/Data/Singletons/Prelude/List.hs:257)
TakeSym2 (src/Data/Singletons/Prelude/List.hs:257)
DropSym0 (src/Data/Singletons/Prelude/List.hs:257)
DropSym1 (src/Data/Singletons/Prelude/List.hs:257)
DropSym2 (src/Data/Singletons/Prelude/List.hs:257)
SplitAtSym0 (src/Data/Singletons/Prelude/List.hs:257)
SplitAtSym1 (src/Data/Singletons/Prelude/List.hs:257)
SplitAtSym2 (src/Data/Singletons/Prelude/List.hs:257)
TakeWhileSym0 (src/Data/Singletons/Prelude/List.hs:257)
TakeWhileSym1 (src/Data/Singletons/Prelude/List.hs:257)
TakeWhileSym2 (src/Data/Singletons/Prelude/List.hs:257)
DropWhileSym0 (src/Data/Singletons/Prelude/List.hs:257)
DropWhileSym1 (src/Data/Singletons/Prelude/List.hs:257)
DropWhileSym2 (src/Data/Singletons/Prelude/List.hs:257)
SpanSym0 (src/Data/Singletons/Prelude/List.hs:257)
SpanSym1 (src/Data/Singletons/Prelude/List.hs:257)
SpanSym2 (src/Data/Singletons/Prelude/List.hs:257)
BreakSym0 (src/Data/Singletons/Prelude/List.hs:257)
BreakSym1 (src/Data/Singletons/Prelude/List.hs:257)
BreakSym2 (src/Data/Singletons/Prelude/List.hs:257)
LookupSym0 (src/Data/Singletons/Prelude/List.hs:257)
LookupSym1 (src/Data/Singletons/Prelude/List.hs:257)
LookupSym2 (src/Data/Singletons/Prelude/List.hs:257)
FilterSym0 (src/Data/Singletons/Prelude/List.hs:257)
FilterSym1 (src/Data/Singletons/Prelude/List.hs:257)
FilterSym2 (src/Data/Singletons/Prelude/List.hs:257)
:!!$ (src/Data/Singletons/Prelude/List.hs:257)
:!!$$ (src/Data/Singletons/Prelude/List.hs:257)
:!!$$$ (src/Data/Singletons/Prelude/List.hs:257)
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.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_1627668944 Case_1627668909 Let1627668896Scrutinee_1627668866Sym3
Warning: Data.Promotion.Prelude.Maybe: could not find link destinations for:
Case_1627668944 Case_1627668909 Let1627668896Scrutinee_1627668866Sym3
Warning: Data.Singletons.Prelude.Enum: could not find link destinations for:
Succ_1627682105Sym0 Pred_1627682118Sym0 EnumFromTo_1627682136Sym0 EnumFromThenTo_1627682166Sym0
Warning: Data.Promotion.Prelude.Enum: could not find link destinations for:
Succ_1627682105Sym0 Pred_1627682118Sym0 EnumFromTo_1627682136Sym0 EnumFromThenTo_1627682166Sym0
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 Let1627752072Init'Sym2 Let1627751967RevSym1 PrependToAllSym0 NonEmptySubsequencesSym0 Let1627751520PermsSym1 Let1627532338LgoSym3 Let1627751434LgoSym3 Let1627631724GoSym3 Let1627751177XsSym4 Let1627748949Sum'Sym1 Let1627748925ProdSym1 Let1627751394XsSym2 Let1627751408XsSym2 Case_1627751093 Case_1627751070 Let1627751051Scrutinee_1627748657Sym4 Case_1627751023 Let1627751004Scrutinee_1627748659Sym4 Let1627750816S''Sym4 Let1627750816YSym4 Let1627750816YsSym4 Let1627750644S''Sym4 Let1627750644YSym4 Let1627750644YsSym4 Case_1627748909 Let1627748901Scrutinee_1627748745Sym2 Case_1627750616 Let1627750608Scrutinee_1627748665Sym2 Case_1627749115 Let1627749102Scrutinee_1627748729Sym3 Case_1627749084 Let1627749071Scrutinee_1627748731Sym3 Case_1627749488 Let1627749475Scrutinee_1627748719Sym3 Case_1627749457 Let1627749444Scrutinee_1627748721Sym3 Lambda_1627752020Sym0 Let1627749246XsSym1 Case_1627749279 Let1627749266Scrutinee_1627748725Sym3 Let1627749141XsSym1 Case_1627749174 Let1627749161Scrutinee_1627748727Sym3 Case_1627750592 Case_1627750569 Case_1627749053 Let1627749034Scrutinee_1627748741Sym4 Case_1627749517 Let1627749504Scrutinee_1627748707Sym3 SelectSym0 Case_1627748887 Let1627748874Scrutinee_1627748747Sym3 Lambda_1627750399Sym0 Let1627750370BuildListSym2 Lambda_1627750089Sym0 Lambda_1627750057Sym0 Lambda_1627750023Sym0 Lambda_1627749987Sym0 Lambda_1627749949Sym0 Lambda_1627749909Sym0 Let1627750496Nub'Sym1 Let1627748803NubBy'Sym2 Case_1627749816 Let1627749797Scrutinee_1627748691Sym4 Lambda_1627749625Sym0 Let1627749574XsSym5 Let1627749354YsSym3 Let1627749354ZsSym3 Case_1627749738 Let1627749719Scrutinee_1627748693Sym4 Let1627751242MaxBySym3 Let1627751229XsSym3 Let1627751329MinBySym3 Let1627751316XsSym3
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 Let1627752072Init'Sym2 Let1627751967RevSym1 Let1627532338LgoSym3 Let1627631724GoSym3 Let1627751177XsSym4 Case_1627751093 Case_1627751070 Let1627751051Scrutinee_1627748657Sym4 Case_1627751023 Let1627751004Scrutinee_1627748659Sym4 Lambda_1627750089Sym0 Lambda_1627750057Sym0 EqSymbol
Warning: Data.Promotion.Prelude.List: could not find link destinations for:
Let1627752072Init'Sym2 Let1627751967RevSym1 PrependToAllSym0 NonEmptySubsequencesSym0 Let1627751520PermsSym1 Let1627532338LgoSym3 Let1627751434LgoSym3 Let1627631724GoSym3 Let1627751177XsSym4 Let1627748949Sum'Sym1 Let1627748925ProdSym1 Let1627751394XsSym2 Let1627751408XsSym2 Case_1627751093 Case_1627751070 Let1627751051Scrutinee_1627748657Sym4 Case_1627751023 Let1627751004Scrutinee_1627748659Sym4 Let1627750816S''Sym4 Let1627750816YSym4 Let1627750816YsSym4 Let1627750644S''Sym4 Let1627750644YSym4 Let1627750644YsSym4 Case_1627748909 Let1627748901Scrutinee_1627748745Sym2 Case_1627750616 Let1627750608Scrutinee_1627748665Sym2 Case_1627749115 Let1627749102Scrutinee_1627748729Sym3 Case_1627749084 Let1627749071Scrutinee_1627748731Sym3 Case_1627749488 Let1627749475Scrutinee_1627748719Sym3 Case_1627749457 Let1627749444Scrutinee_1627748721Sym3 Lambda_1627752020Sym0 Let1627749246XsSym1 Case_1627749279 Let1627749266Scrutinee_1627748725Sym3 Let1627749141XsSym1 Case_1627749174 Let1627749161Scrutinee_1627748727Sym3 Case_1627970733 Case_1627750592 Case_1627750569 Case_1627749053 Let1627749034Scrutinee_1627748741Sym4 Case_1627749517 Let1627749504Scrutinee_1627748707Sym3 SelectSym0 Case_1627748887 Let1627748874Scrutinee_1627748747Sym3 Lambda_1627750399Sym0 Let1627750370BuildListSym2 Lambda_1627750089Sym0 Lambda_1627750057Sym0 Lambda_1627750023Sym0 Lambda_1627749987Sym0 Lambda_1627749949Sym0 Lambda_1627749909Sym0 Let1627750496Nub'Sym1 Let1627748803NubBy'Sym2 Case_1627749816 Let1627749797Scrutinee_1627748691Sym4 Let1627749354YsSym3 Let1627749354ZsSym3 Lambda_1627749625Sym0 Let1627749574XsSym5 Case_1627749738 Let1627749719Scrutinee_1627748693Sym4 Let1627751242MaxBySym3 Let1627751229XsSym3 Let1627751329MinBySym3 Let1627751316XsSym3
Warning: Data.Promotion.Prelude.Num: could not find link destinations for:
TFHelper_1627645712Sym0 Negate_1627645727Sym0
Warning: Data.Promotion.Prelude: could not find link destinations for:
TFCo:R:SingSymboln SSym EqSymbol Lambda_1627631621Sym0 Let1627665812GoSym3 Case_1627749517 Let1627749504Scrutinee_1627748707Sym3 Let1627752072Init'Sym2 Case_1627748887 Let1627748874Scrutinee_1627748747Sym3 Let1627751967RevSym1 Let1627532338LgoSym3 Let1627631724GoSym3 Let1627751177XsSym4 Let1627748949Sum'Sym1 Let1627748925ProdSym1 Let1627751394XsSym2 Let1627751408XsSym2 Case_1627751093 Case_1627751070 Let1627751051Scrutinee_1627748657Sym4 Case_1627751023 Let1627751004Scrutinee_1627748659Sym4 Case_1627748909 Let1627748901Scrutinee_1627748745Sym2 Case_1627749115 Let1627749102Scrutinee_1627748729Sym3 Case_1627749084 Let1627749071Scrutinee_1627748731Sym3 Case_1627749488 Let1627749475Scrutinee_1627748719Sym3 Case_1627749457 Let1627749444Scrutinee_1627748721Sym3 Let1627749246XsSym1 Case_1627749279 Let1627749266Scrutinee_1627748725Sym3 Let1627749141XsSym1 Case_1627749174 Let1627749161Scrutinee_1627748727Sym3 Case_1627749053 Let1627749034Scrutinee_1627748741Sym4 Lambda_1627750089Sym0 Lambda_1627750057Sym0 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
cabal: '/opt/ghc/7.10.2/bin/ghc' exited with an error:
<command line>: cannot satisfy -package-id
th-desugar-1.5.5-077f5804765250151a2ba6072a5e3647
(use -v for more information)
Failed to install singletons-2.0.1
cabal: Error: some packages failed to install:
equational-reasoning-0.2.0.7 depends on singletons-2.0.1 which failed to
install.
singletons-2.0.1 failed during the final install step. The exception was:
ExitFailure 1
sized-vector-1.4.3.0 depends on singletons-2.0.1 which failed to install.
type-natural-0.3.0.0 depends on singletons-2.0.1 which failed to install.
Test log
No test log was submitted for this report.