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 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.316820852731662981776.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-0138703615912895151.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 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.719103009252030449291.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 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.0198294508293189435.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 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.1116713381395405989.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.1214473955281351538839.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.44450803082135019593.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.1... Building singletons-2.0.1... Preprocessing library singletons-2.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.Maybe ( src/Data/Singletons/Prelude/Maybe.hs, dist/build/Data/Singletons/Prelude/Maybe.o ) [42 of 50] Compiling Data.Promotion.Prelude.Maybe ( src/Data/Promotion/Prelude/Maybe.hs, dist/build/Data/Promotion/Prelude/Maybe.o ) [43 of 50] Compiling Data.Singletons.Prelude.Enum ( src/Data/Singletons/Prelude/Enum.hs, dist/build/Data/Singletons/Prelude/Enum.o ) [44 of 50] Compiling Data.Promotion.Prelude.Enum ( src/Data/Promotion/Prelude/Enum.hs, dist/build/Data/Promotion/Prelude/Enum.o ) [45 of 50] Compiling Data.Singletons.Prelude.List ( src/Data/Singletons/Prelude/List.hs, dist/build/Data/Singletons/Prelude/List.o ) [46 of 50] Compiling Data.Singletons.Prelude ( src/Data/Singletons/Prelude.hs, dist/build/Data/Singletons/Prelude.o ) [47 of 50] Compiling Data.Promotion.Prelude.List ( src/Data/Promotion/Prelude/List.hs, dist/build/Data/Promotion/Prelude/List.o ) [48 of 50] Compiling Data.Promotion.Prelude.Num ( src/Data/Promotion/Prelude/Num.hs, dist/build/Data/Promotion/Prelude/Num.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.1... Running Haddock for singletons-2.0.1... Running hscolour for singletons-2.0.1... Preprocessing library singletons-2.0.1... Preprocessing library singletons-2.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) 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% ( 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) 7% ( 34 /482) 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:257) sHead (src/Data/Singletons/Prelude/List.hs:257) Last (src/Data/Singletons/Prelude/List.hs:257) sLast (src/Data/Singletons/Prelude/List.hs:257) Tail (src/Data/Singletons/Prelude/List.hs:257) sTail (src/Data/Singletons/Prelude/List.hs:257) Init (src/Data/Singletons/Prelude/List.hs:257) sInit (src/Data/Singletons/Prelude/List.hs:257) Null (src/Data/Singletons/Prelude/List.hs:257) sNull (src/Data/Singletons/Prelude/List.hs:257) Length (src/Data/Singletons/Prelude/List.hs:257) sLength (src/Data/Singletons/Prelude/List.hs:257) Map (src/Data/Singletons/Prelude/Base.hs:55) sMap (src/Data/Singletons/Prelude/Base.hs:55) Reverse (src/Data/Singletons/Prelude/List.hs:257) sReverse (src/Data/Singletons/Prelude/List.hs:257) Intersperse (src/Data/Singletons/Prelude/List.hs:257) sIntersperse (src/Data/Singletons/Prelude/List.hs:257) Intercalate (src/Data/Singletons/Prelude/List.hs:257) sIntercalate (src/Data/Singletons/Prelude/List.hs:257) Transpose (src/Data/Singletons/Prelude/List.hs:257) sTranspose (src/Data/Singletons/Prelude/List.hs:257) Subsequences (src/Data/Singletons/Prelude/List.hs:257) sSubsequences (src/Data/Singletons/Prelude/List.hs:257) Permutations (src/Data/Singletons/Prelude/List.hs:257) sPermutations (src/Data/Singletons/Prelude/List.hs:257) Foldl (src/Data/Singletons/Prelude/Instances.hs:27) sFoldl (src/Data/Singletons/Prelude/Instances.hs:27) Foldl' (src/Data/Singletons/Prelude/List.hs:257) sFoldl' (src/Data/Singletons/Prelude/List.hs:257) Foldl1 (src/Data/Singletons/Prelude/List.hs:257) sFoldl1 (src/Data/Singletons/Prelude/List.hs:257) Foldl1' (src/Data/Singletons/Prelude/List.hs:257) sFoldl1' (src/Data/Singletons/Prelude/List.hs:257) Foldr (src/Data/Singletons/Prelude/Base.hs:55) sFoldr (src/Data/Singletons/Prelude/Base.hs:55) Foldr1 (src/Data/Singletons/Prelude/List.hs:257) sFoldr1 (src/Data/Singletons/Prelude/List.hs:257) Concat (src/Data/Singletons/Prelude/List.hs:257) sConcat (src/Data/Singletons/Prelude/List.hs:257) ConcatMap (src/Data/Singletons/Prelude/List.hs:257) sConcatMap (src/Data/Singletons/Prelude/List.hs:257) And (src/Data/Singletons/Prelude/List.hs:257) sAnd (src/Data/Singletons/Prelude/List.hs:257) Or (src/Data/Singletons/Prelude/List.hs:257) sOr (src/Data/Singletons/Prelude/List.hs:257) Any_ (src/Data/Singletons/Prelude/List.hs:251) sAny_ (src/Data/Singletons/Prelude/List.hs:251) All (src/Data/Singletons/Prelude/List.hs:257) sAll (src/Data/Singletons/Prelude/List.hs:257) Sum (src/Data/Singletons/Prelude/List.hs:257) sSum (src/Data/Singletons/Prelude/List.hs:257) Product (src/Data/Singletons/Prelude/List.hs:257) sProduct (src/Data/Singletons/Prelude/List.hs:257) Maximum (src/Data/Singletons/Prelude/List.hs:257) sMaximum (src/Data/Singletons/Prelude/List.hs:257) Minimum (src/Data/Singletons/Prelude/List.hs:257) sMinimum (src/Data/Singletons/Prelude/List.hs:257) any_ (src/Data/Singletons/Prelude/List.hs:251) Scanl (src/Data/Singletons/Prelude/List.hs:257) sScanl (src/Data/Singletons/Prelude/List.hs:257) Scanl1 (src/Data/Singletons/Prelude/List.hs:257) sScanl1 (src/Data/Singletons/Prelude/List.hs:257) Scanr (src/Data/Singletons/Prelude/List.hs:257) sScanr (src/Data/Singletons/Prelude/List.hs:257) Scanr1 (src/Data/Singletons/Prelude/List.hs:257) sScanr1 (src/Data/Singletons/Prelude/List.hs:257) MapAccumL (src/Data/Singletons/Prelude/List.hs:257) sMapAccumL (src/Data/Singletons/Prelude/List.hs:257) MapAccumR (src/Data/Singletons/Prelude/List.hs:257) sMapAccumR (src/Data/Singletons/Prelude/List.hs:257) Replicate (src/Data/Singletons/Prelude/List.hs:257) sReplicate (src/Data/Singletons/Prelude/List.hs:257) Unfoldr (src/Data/Singletons/Prelude/List.hs:257) sUnfoldr (src/Data/Singletons/Prelude/List.hs:257) Take (src/Data/Singletons/Prelude/List.hs:257) sTake (src/Data/Singletons/Prelude/List.hs:257) Drop (src/Data/Singletons/Prelude/List.hs:257) sDrop (src/Data/Singletons/Prelude/List.hs:257) SplitAt (src/Data/Singletons/Prelude/List.hs:257) sSplitAt (src/Data/Singletons/Prelude/List.hs:257) TakeWhile (src/Data/Singletons/Prelude/List.hs:257) sTakeWhile (src/Data/Singletons/Prelude/List.hs:257) DropWhile (src/Data/Singletons/Prelude/List.hs:257) sDropWhile (src/Data/Singletons/Prelude/List.hs:257) DropWhileEnd (src/Data/Singletons/Prelude/List.hs:257) sDropWhileEnd (src/Data/Singletons/Prelude/List.hs:257) Span (src/Data/Singletons/Prelude/List.hs:257) sSpan (src/Data/Singletons/Prelude/List.hs:257) Break (src/Data/Singletons/Prelude/List.hs:257) sBreak (src/Data/Singletons/Prelude/List.hs:257) Group (src/Data/Singletons/Prelude/List.hs:257) sGroup (src/Data/Singletons/Prelude/List.hs:257) Inits (src/Data/Singletons/Prelude/List.hs:257) sInits (src/Data/Singletons/Prelude/List.hs:257) Tails (src/Data/Singletons/Prelude/List.hs:257) sTails (src/Data/Singletons/Prelude/List.hs:257) IsPrefixOf (src/Data/Singletons/Prelude/List.hs:257) sIsPrefixOf (src/Data/Singletons/Prelude/List.hs:257) IsSuffixOf (src/Data/Singletons/Prelude/List.hs:257) sIsSuffixOf (src/Data/Singletons/Prelude/List.hs:257) IsInfixOf (src/Data/Singletons/Prelude/List.hs:257) sIsInfixOf (src/Data/Singletons/Prelude/List.hs:257) Elem (src/Data/Singletons/Prelude/List.hs:257) sElem (src/Data/Singletons/Prelude/List.hs:257) NotElem (src/Data/Singletons/Prelude/List.hs:257) sNotElem (src/Data/Singletons/Prelude/List.hs:257) Lookup (src/Data/Singletons/Prelude/List.hs:257) sLookup (src/Data/Singletons/Prelude/List.hs:257) Find (src/Data/Singletons/Prelude/List.hs:257) sFind (src/Data/Singletons/Prelude/List.hs:257) Filter (src/Data/Singletons/Prelude/List.hs:257) sFilter (src/Data/Singletons/Prelude/List.hs:257) Partition (src/Data/Singletons/Prelude/List.hs:257) sPartition (src/Data/Singletons/Prelude/List.hs:257) :!! (src/Data/Singletons/Prelude/List.hs:257) %:!! (src/Data/Singletons/Prelude/List.hs:257) ElemIndex (src/Data/Singletons/Prelude/List.hs:257) sElemIndex (src/Data/Singletons/Prelude/List.hs:257) ElemIndices (src/Data/Singletons/Prelude/List.hs:257) sElemIndices (src/Data/Singletons/Prelude/List.hs:257) FindIndex (src/Data/Singletons/Prelude/List.hs:257) sFindIndex (src/Data/Singletons/Prelude/List.hs:257) FindIndices (src/Data/Singletons/Prelude/List.hs:257) sFindIndices (src/Data/Singletons/Prelude/List.hs:257) Zip (src/Data/Singletons/Prelude/List.hs:257) sZip (src/Data/Singletons/Prelude/List.hs:257) Zip3 (src/Data/Singletons/Prelude/List.hs:257) sZip3 (src/Data/Singletons/Prelude/List.hs:257) ZipWith (src/Data/Singletons/Prelude/List.hs:257) sZipWith (src/Data/Singletons/Prelude/List.hs:257) ZipWith3 (src/Data/Singletons/Prelude/List.hs:257) sZipWith3 (src/Data/Singletons/Prelude/List.hs:257) Unzip (src/Data/Singletons/Prelude/List.hs:257) sUnzip (src/Data/Singletons/Prelude/List.hs:257) Unzip3 (src/Data/Singletons/Prelude/List.hs:257) sUnzip3 (src/Data/Singletons/Prelude/List.hs:257) Unzip4 (src/Data/Singletons/Prelude/List.hs:257) sUnzip4 (src/Data/Singletons/Prelude/List.hs:257) Unzip5 (src/Data/Singletons/Prelude/List.hs:257) sUnzip5 (src/Data/Singletons/Prelude/List.hs:257) Unzip6 (src/Data/Singletons/Prelude/List.hs:257) sUnzip6 (src/Data/Singletons/Prelude/List.hs:257) Unzip7 (src/Data/Singletons/Prelude/List.hs:257) sUnzip7 (src/Data/Singletons/Prelude/List.hs:257) Nub (src/Data/Singletons/Prelude/List.hs:257) sNub (src/Data/Singletons/Prelude/List.hs:257) Delete (src/Data/Singletons/Prelude/List.hs:257) sDelete (src/Data/Singletons/Prelude/List.hs:257) :\\ (src/Data/Singletons/Prelude/List.hs:257) %:\\ (src/Data/Singletons/Prelude/List.hs:257) Union (src/Data/Singletons/Prelude/List.hs:257) sUnion (src/Data/Singletons/Prelude/List.hs:257) Intersect (src/Data/Singletons/Prelude/List.hs:257) sIntersect (src/Data/Singletons/Prelude/List.hs:257) Insert (src/Data/Singletons/Prelude/List.hs:257) sInsert (src/Data/Singletons/Prelude/List.hs:257) Sort (src/Data/Singletons/Prelude/List.hs:257) sSort (src/Data/Singletons/Prelude/List.hs:257) NubBy (src/Data/Singletons/Prelude/List.hs:257) sNubBy (src/Data/Singletons/Prelude/List.hs:257) DeleteBy (src/Data/Singletons/Prelude/List.hs:257) sDeleteBy (src/Data/Singletons/Prelude/List.hs:257) DeleteFirstsBy (src/Data/Singletons/Prelude/List.hs:257) sDeleteFirstsBy (src/Data/Singletons/Prelude/List.hs:257) UnionBy (src/Data/Singletons/Prelude/List.hs:257) sUnionBy (src/Data/Singletons/Prelude/List.hs:257) IntersectBy (src/Data/Singletons/Prelude/List.hs:257) sIntersectBy (src/Data/Singletons/Prelude/List.hs:257) GroupBy (src/Data/Singletons/Prelude/List.hs:257) sGroupBy (src/Data/Singletons/Prelude/List.hs:257) SortBy (src/Data/Singletons/Prelude/List.hs:257) sSortBy (src/Data/Singletons/Prelude/List.hs:257) InsertBy (src/Data/Singletons/Prelude/List.hs:257) sInsertBy (src/Data/Singletons/Prelude/List.hs:257) MaximumBy (src/Data/Singletons/Prelude/List.hs:257) sMaximumBy (src/Data/Singletons/Prelude/List.hs:257) MinimumBy (src/Data/Singletons/Prelude/List.hs:257) sMinimumBy (src/Data/Singletons/Prelude/List.hs:257) GenericLength (src/Data/Singletons/Prelude/List.hs:257) sGenericLength (src/Data/Singletons/Prelude/List.hs:257) 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) LengthSym0 (src/Data/Singletons/Prelude/List.hs:257) LengthSym1 (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) TransposeSym0 (src/Data/Singletons/Prelude/List.hs:257) TransposeSym1 (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) 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) 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) 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) ReplicateSym0 (src/Data/Singletons/Prelude/List.hs:257) ReplicateSym1 (src/Data/Singletons/Prelude/List.hs:257) ReplicateSym2 (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) 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) GroupSym0 (src/Data/Singletons/Prelude/List.hs:257) GroupSym1 (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) 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) 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) NubSym0 (src/Data/Singletons/Prelude/List.hs:257) NubSym1 (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) UnionSym0 (src/Data/Singletons/Prelude/List.hs:257) UnionSym1 (src/Data/Singletons/Prelude/List.hs:257) UnionSym2 (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) NubBySym0 (src/Data/Singletons/Prelude/List.hs:257) NubBySym1 (src/Data/Singletons/Prelude/List.hs:257) NubBySym2 (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) 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) IntersectBySym0 (src/Data/Singletons/Prelude/List.hs:257) IntersectBySym1 (src/Data/Singletons/Prelude/List.hs:257) IntersectBySym2 (src/Data/Singletons/Prelude/List.hs:257) IntersectBySym3 (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) 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) GenericLengthSym0 (src/Data/Singletons/Prelude/List.hs:257) GenericLengthSym1 (src/Data/Singletons/Prelude/List.hs:257) 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:257) sHead (src/Data/Singletons/Prelude/List.hs:257) Last (src/Data/Singletons/Prelude/List.hs:257) sLast (src/Data/Singletons/Prelude/List.hs:257) Tail (src/Data/Singletons/Prelude/List.hs:257) sTail (src/Data/Singletons/Prelude/List.hs:257) Init (src/Data/Singletons/Prelude/List.hs:257) sInit (src/Data/Singletons/Prelude/List.hs:257) Null (src/Data/Singletons/Prelude/List.hs:257) sNull (src/Data/Singletons/Prelude/List.hs:257) Reverse (src/Data/Singletons/Prelude/List.hs:257) sReverse (src/Data/Singletons/Prelude/List.hs:257) Foldl (src/Data/Singletons/Prelude/Instances.hs:27) sFoldl (src/Data/Singletons/Prelude/Instances.hs:27) Foldl1 (src/Data/Singletons/Prelude/List.hs:257) sFoldl1 (src/Data/Singletons/Prelude/List.hs:257) Foldr (src/Data/Singletons/Prelude/Base.hs:55) sFoldr (src/Data/Singletons/Prelude/Base.hs:55) Foldr1 (src/Data/Singletons/Prelude/List.hs:257) sFoldr1 (src/Data/Singletons/Prelude/List.hs:257) And (src/Data/Singletons/Prelude/List.hs:257) sAnd (src/Data/Singletons/Prelude/List.hs:257) Or (src/Data/Singletons/Prelude/List.hs:257) sOr (src/Data/Singletons/Prelude/List.hs:257) Any_ (src/Data/Singletons/Prelude/List.hs:251) sAny_ (src/Data/Singletons/Prelude/List.hs:251) All (src/Data/Singletons/Prelude/List.hs:257) sAll (src/Data/Singletons/Prelude/List.hs:257) Concat (src/Data/Singletons/Prelude/List.hs:257) sConcat (src/Data/Singletons/Prelude/List.hs:257) ConcatMap (src/Data/Singletons/Prelude/List.hs:257) sConcatMap (src/Data/Singletons/Prelude/List.hs:257) Scanl (src/Data/Singletons/Prelude/List.hs:257) sScanl (src/Data/Singletons/Prelude/List.hs:257) Scanl1 (src/Data/Singletons/Prelude/List.hs:257) sScanl1 (src/Data/Singletons/Prelude/List.hs:257) Scanr (src/Data/Singletons/Prelude/List.hs:257) sScanr (src/Data/Singletons/Prelude/List.hs:257) Scanr1 (src/Data/Singletons/Prelude/List.hs:257) sScanr1 (src/Data/Singletons/Prelude/List.hs:257) Elem (src/Data/Singletons/Prelude/List.hs:257) sElem (src/Data/Singletons/Prelude/List.hs:257) NotElem (src/Data/Singletons/Prelude/List.hs:257) sNotElem (src/Data/Singletons/Prelude/List.hs:257) Zip (src/Data/Singletons/Prelude/List.hs:257) sZip (src/Data/Singletons/Prelude/List.hs:257) Zip3 (src/Data/Singletons/Prelude/List.hs:257) sZip3 (src/Data/Singletons/Prelude/List.hs:257) ZipWith (src/Data/Singletons/Prelude/List.hs:257) sZipWith (src/Data/Singletons/Prelude/List.hs:257) ZipWith3 (src/Data/Singletons/Prelude/List.hs:257) sZipWith3 (src/Data/Singletons/Prelude/List.hs:257) Unzip (src/Data/Singletons/Prelude/List.hs:257) sUnzip (src/Data/Singletons/Prelude/List.hs:257) Unzip3 (src/Data/Singletons/Prelude/List.hs:257) sUnzip3 (src/Data/Singletons/Prelude/List.hs:257) 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:251) 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: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) 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) 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_1627668954 Let1627668946Scrutinee_1627668866Sym2 Case_1627668911 Let1627668898Scrutinee_1627668868Sym3 Warning: Data.Promotion.Prelude.Maybe: could not find link destinations for: Case_1627668954 Let1627668946Scrutinee_1627668866Sym2 Case_1627668911 Let1627668898Scrutinee_1627668868Sym3 Warning: Data.Singletons.Prelude.Enum: could not find link destinations for: Succ_1627682591Sym0 Pred_1627682604Sym0 EnumFromTo_1627682622Sym0 EnumFromThenTo_1627682652Sym0 Warning: Data.Promotion.Prelude.Enum: could not find link destinations for: Succ_1627682591Sym0 Pred_1627682604Sym0 EnumFromTo_1627682622Sym0 EnumFromThenTo_1627682652Sym0 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 Let1627752585Init'Sym2 Let1627752480RevSym1 PrependToAllSym0 NonEmptySubsequencesSym0 Let1627752033PermsSym1 Let1627532338LgoSym3 Let1627751947LgoSym3 Let1627631724GoSym3 Let1627751690XsSym4 Let1627749441Sum'Sym1 Let1627749417ProdSym1 Let1627751907XsSym2 Let1627751921XsSym2 Case_1627751606 Let1627751593Scrutinee_1627749143Sym3 Case_1627751570 Let1627751551Scrutinee_1627749145Sym4 Case_1627751523 Let1627751504Scrutinee_1627749147Sym4 Let1627751316S''Sym4 Let1627751316YSym4 Let1627751316YsSym4 Let1627751144S''Sym4 Let1627751144YSym4 Let1627751144YsSym4 Case_1627749401 Let1627749393Scrutinee_1627749237Sym2 Case_1627751116 Let1627751108Scrutinee_1627749153Sym2 Case_1627749607 Let1627749594Scrutinee_1627749221Sym3 Case_1627749576 Let1627749563Scrutinee_1627749223Sym3 Case_1627749980 Let1627749967Scrutinee_1627749211Sym3 Case_1627749949 Let1627749936Scrutinee_1627749213Sym3 Lambda_1627752533Sym0 Let1627749738XsSym1 Case_1627749771 Let1627749758Scrutinee_1627749217Sym3 Let1627749633XsSym1 Case_1627749666 Let1627749653Scrutinee_1627749219Sym3 Case_1627751092 Let1627751088Scrutinee_1627749155Sym1 Case_1627751065 Let1627751061Scrutinee_1627749157Sym1 Case_1627749545 Let1627749526Scrutinee_1627749233Sym4 Case_1627750009 Let1627749996Scrutinee_1627749199Sym3 SelectSym0 Case_1627749379 Let1627749366Scrutinee_1627749239Sym3 Lambda_1627750891Sym0 Let1627750862BuildListSym2 Lambda_1627750581Sym0 Lambda_1627750549Sym0 Lambda_1627750515Sym0 Lambda_1627750479Sym0 Lambda_1627750441Sym0 Lambda_1627750401Sym0 Let1627750988Nub'Sym1 Let1627749295NubBy'Sym2 Case_1627750308 Let1627750289Scrutinee_1627749183Sym4 Lambda_1627750117Sym0 Let1627750066XsSym5 Let1627749846YsSym3 Let1627749846ZsSym3 Case_1627750230 Let1627750211Scrutinee_1627749185Sym4 Let1627751755MaxBySym3 Let1627751742XsSym3 Let1627751842MinBySym3 Let1627751829XsSym3 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 Let1627752585Init'Sym2 Let1627752480RevSym1 Let1627532338LgoSym3 Let1627631724GoSym3 Let1627751690XsSym4 Case_1627751606 Let1627751593Scrutinee_1627749143Sym3 Case_1627751570 Let1627751551Scrutinee_1627749145Sym4 Case_1627751523 Let1627751504Scrutinee_1627749147Sym4 Lambda_1627750581Sym0 Lambda_1627750549Sym0 EqSymbol Warning: Data.Promotion.Prelude.List: could not find link destinations for: Let1627752585Init'Sym2 Let1627752480RevSym1 PrependToAllSym0 NonEmptySubsequencesSym0 Let1627752033PermsSym1 Let1627532338LgoSym3 Let1627751947LgoSym3 Let1627631724GoSym3 Let1627751690XsSym4 Let1627749441Sum'Sym1 Let1627749417ProdSym1 Let1627751907XsSym2 Let1627751921XsSym2 Case_1627751606 Let1627751593Scrutinee_1627749143Sym3 Case_1627751570 Let1627751551Scrutinee_1627749145Sym4 Case_1627751523 Let1627751504Scrutinee_1627749147Sym4 Let1627751316S''Sym4 Let1627751316YSym4 Let1627751316YsSym4 Let1627751144S''Sym4 Let1627751144YSym4 Let1627751144YsSym4 Case_1627749401 Let1627749393Scrutinee_1627749237Sym2 Case_1627751116 Let1627751108Scrutinee_1627749153Sym2 Case_1627749607 Let1627749594Scrutinee_1627749221Sym3 Case_1627749576 Let1627749563Scrutinee_1627749223Sym3 Case_1627749980 Let1627749967Scrutinee_1627749211Sym3 Case_1627749949 Let1627749936Scrutinee_1627749213Sym3 Lambda_1627752533Sym0 Let1627749738XsSym1 Case_1627749771 Let1627749758Scrutinee_1627749217Sym3 Let1627749633XsSym1 Case_1627749666 Let1627749653Scrutinee_1627749219Sym3 Case_1627972479 Case_1627751092 Let1627751088Scrutinee_1627749155Sym1 Case_1627751065 Let1627751061Scrutinee_1627749157Sym1 Case_1627749545 Let1627749526Scrutinee_1627749233Sym4 Case_1627750009 Let1627749996Scrutinee_1627749199Sym3 SelectSym0 Case_1627749379 Let1627749366Scrutinee_1627749239Sym3 Lambda_1627750891Sym0 Let1627750862BuildListSym2 Lambda_1627750581Sym0 Lambda_1627750549Sym0 Lambda_1627750515Sym0 Lambda_1627750479Sym0 Lambda_1627750441Sym0 Lambda_1627750401Sym0 Let1627750988Nub'Sym1 Let1627749295NubBy'Sym2 Case_1627750308 Let1627750289Scrutinee_1627749183Sym4 Let1627749846YsSym3 Let1627749846ZsSym3 Lambda_1627750117Sym0 Let1627750066XsSym5 Case_1627750230 Let1627750211Scrutinee_1627749185Sym4 Let1627751755MaxBySym3 Let1627751742XsSym3 Let1627751842MinBySym3 Let1627751829XsSym3 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_1627750009 Let1627749996Scrutinee_1627749199Sym3 Let1627752585Init'Sym2 Case_1627749379 Let1627749366Scrutinee_1627749239Sym3 Let1627752480RevSym1 Let1627532338LgoSym3 Let1627631724GoSym3 Let1627751690XsSym4 Let1627749441Sum'Sym1 Let1627749417ProdSym1 Let1627751907XsSym2 Let1627751921XsSym2 Case_1627751606 Let1627751593Scrutinee_1627749143Sym3 Case_1627751570 Let1627751551Scrutinee_1627749145Sym4 Case_1627751523 Let1627751504Scrutinee_1627749147Sym4 Case_1627749401 Let1627749393Scrutinee_1627749237Sym2 Case_1627749607 Let1627749594Scrutinee_1627749221Sym3 Case_1627749576 Let1627749563Scrutinee_1627749223Sym3 Case_1627749980 Let1627749967Scrutinee_1627749211Sym3 Case_1627749949 Let1627749936Scrutinee_1627749213Sym3 Let1627749738XsSym1 Case_1627749771 Let1627749758Scrutinee_1627749217Sym3 Let1627749633XsSym1 Case_1627749666 Let1627749653Scrutinee_1627749219Sym3 Case_1627749545 Let1627749526Scrutinee_1627749233Sym4 Lambda_1627750581Sym0 Lambda_1627750549Sym0 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.0530788967773446912.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/singletons-2.0.1-DKkFBDyyZJDCf0mDnt8AQ8 Registering singletons-2.0.1... Installed singletons-2.0.1