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-1.1.2.1... Building singletons-1.1.2.1... Preprocessing library singletons-1.1.2.1... [ 1 of 45] Compiling Data.Singletons.SuppressUnusedWarnings ( src/Data/Singletons/SuppressUnusedWarnings.hs, dist/build/Data/Singletons/SuppressUnusedWarnings.o ) [ 2 of 45] Compiling Data.Singletons.Void ( src/Data/Singletons/Void.hs, dist/build/Data/Singletons/Void.o ) [ 3 of 45] Compiling Data.Singletons.Util ( src/Data/Singletons/Util.hs, dist/build/Data/Singletons/Util.o ) [ 4 of 45] Compiling Data.Singletons.Syntax ( src/Data/Singletons/Syntax.hs, dist/build/Data/Singletons/Syntax.o ) [ 5 of 45] Compiling Data.Singletons.Types ( src/Data/Singletons/Types.hs, dist/build/Data/Singletons/Types.o ) [ 6 of 45] Compiling Data.Singletons ( src/Data/Singletons.hs, dist/build/Data/Singletons.o ) [ 7 of 45] Compiling Data.Singletons.Decide ( src/Data/Singletons/Decide.hs, dist/build/Data/Singletons/Decide.o ) [ 8 of 45] Compiling Data.Singletons.Names ( src/Data/Singletons/Names.hs, dist/build/Data/Singletons/Names.o ) [ 9 of 45] Compiling Data.Singletons.Promote.Monad ( src/Data/Singletons/Promote/Monad.hs, dist/build/Data/Singletons/Promote/Monad.o ) [10 of 45] Compiling Data.Singletons.Single.Monad ( src/Data/Singletons/Single/Monad.hs, dist/build/Data/Singletons/Single/Monad.o ) [11 of 45] Compiling Data.Singletons.Promote.Eq ( src/Data/Singletons/Promote/Eq.hs, dist/build/Data/Singletons/Promote/Eq.o ) [12 of 45] Compiling Data.Singletons.Promote.Ord ( src/Data/Singletons/Promote/Ord.hs, dist/build/Data/Singletons/Promote/Ord.o ) [13 of 45] Compiling Data.Singletons.Promote.Bounded ( src/Data/Singletons/Promote/Bounded.hs, dist/build/Data/Singletons/Promote/Bounded.o ) [14 of 45] Compiling Data.Singletons.Promote.Type ( src/Data/Singletons/Promote/Type.hs, dist/build/Data/Singletons/Promote/Type.o ) [15 of 45] Compiling Data.Singletons.Promote.Defun ( src/Data/Singletons/Promote/Defun.hs, dist/build/Data/Singletons/Promote/Defun.o ) [16 of 45] Compiling Data.Singletons.Promote ( src/Data/Singletons/Promote.hs, dist/build/Data/Singletons/Promote.o ) [17 of 45] Compiling Data.Promotion.Prelude.Bounded ( src/Data/Promotion/Prelude/Bounded.hs, dist/build/Data/Promotion/Prelude/Bounded.o ) [18 of 45] Compiling Data.Singletons.Single.Type ( src/Data/Singletons/Single/Type.hs, dist/build/Data/Singletons/Single/Type.o ) [19 of 45] Compiling Data.Singletons.Single.Eq ( src/Data/Singletons/Single/Eq.hs, dist/build/Data/Singletons/Single/Eq.o ) [20 of 45] Compiling Data.Singletons.Single.Data ( src/Data/Singletons/Single/Data.hs, dist/build/Data/Singletons/Single/Data.o ) [21 of 45] Compiling Data.Singletons.Single ( src/Data/Singletons/Single.hs, dist/build/Data/Singletons/Single.o ) [22 of 45] Compiling Data.Singletons.Prelude.Instances ( src/Data/Singletons/Prelude/Instances.hs, dist/build/Data/Singletons/Prelude/Instances.o ) [23 of 45] Compiling Data.Singletons.Prelude.Bool ( src/Data/Singletons/Prelude/Bool.hs, dist/build/Data/Singletons/Prelude/Bool.o ) [24 of 45] Compiling Data.Singletons.Prelude.Eq ( src/Data/Singletons/Prelude/Eq.hs, dist/build/Data/Singletons/Prelude/Eq.o ) [25 of 45] Compiling Data.Singletons.CustomStar ( src/Data/Singletons/CustomStar.hs, dist/build/Data/Singletons/CustomStar.o ) [26 of 45] Compiling Data.Promotion.Prelude.Eq ( src/Data/Promotion/Prelude/Eq.hs, dist/build/Data/Promotion/Prelude/Eq.o ) [27 of 45] Compiling Data.Promotion.Prelude.Bool ( src/Data/Promotion/Prelude/Bool.hs, dist/build/Data/Promotion/Prelude/Bool.o ) [28 of 45] Compiling Data.Singletons.TypeRepStar ( src/Data/Singletons/TypeRepStar.hs, dist/build/Data/Singletons/TypeRepStar.o ) [29 of 45] Compiling Data.Singletons.Prelude.Ord ( src/Data/Singletons/Prelude/Ord.hs, dist/build/Data/Singletons/Prelude/Ord.o ) [30 of 45] Compiling Data.Promotion.Prelude.Ord ( src/Data/Promotion/Prelude/Ord.hs, dist/build/Data/Promotion/Prelude/Ord.o ) [31 of 45] Compiling Data.Singletons.TypeLits ( src/Data/Singletons/TypeLits.hs, dist/build/Data/Singletons/TypeLits.o ) [32 of 45] Compiling Data.Singletons.TH ( src/Data/Singletons/TH.hs, dist/build/Data/Singletons/TH.o ) [33 of 45] Compiling Data.Singletons.Prelude.Base ( src/Data/Singletons/Prelude/Base.hs, dist/build/Data/Singletons/Prelude/Base.o ) [34 of 45] Compiling Data.Singletons.Prelude.Either ( src/Data/Singletons/Prelude/Either.hs, dist/build/Data/Singletons/Prelude/Either.o ) [35 of 45] Compiling Data.Promotion.Prelude.Either ( src/Data/Promotion/Prelude/Either.hs, dist/build/Data/Promotion/Prelude/Either.o ) [36 of 45] Compiling Data.Singletons.Prelude.Tuple ( src/Data/Singletons/Prelude/Tuple.hs, dist/build/Data/Singletons/Prelude/Tuple.o ) [37 of 45] Compiling Data.Promotion.Prelude.Tuple ( src/Data/Promotion/Prelude/Tuple.hs, dist/build/Data/Promotion/Prelude/Tuple.o ) [38 of 45] Compiling Data.Promotion.Prelude.Base ( src/Data/Promotion/Prelude/Base.hs, dist/build/Data/Promotion/Prelude/Base.o ) [39 of 45] Compiling Data.Singletons.Prelude.List ( src/Data/Singletons/Prelude/List.hs, dist/build/Data/Singletons/Prelude/List.o ) [40 of 45] Compiling Data.Singletons.Prelude.Maybe ( src/Data/Singletons/Prelude/Maybe.hs, dist/build/Data/Singletons/Prelude/Maybe.o ) [41 of 45] Compiling Data.Singletons.Prelude ( src/Data/Singletons/Prelude.hs, dist/build/Data/Singletons/Prelude.o ) [42 of 45] Compiling Data.Promotion.Prelude.List ( src/Data/Promotion/Prelude/List.hs, dist/build/Data/Promotion/Prelude/List.o ) [43 of 45] Compiling Data.Promotion.Prelude.Maybe ( src/Data/Promotion/Prelude/Maybe.hs, dist/build/Data/Promotion/Prelude/Maybe.o ) [44 of 45] Compiling Data.Promotion.Prelude ( src/Data/Promotion/Prelude.hs, dist/build/Data/Promotion/Prelude.o ) [45 of 45] Compiling Data.Promotion.TH ( src/Data/Promotion/TH.hs, dist/build/Data/Promotion/TH.o ) In-place registering singletons-1.1.2.1... Running Haddock for singletons-1.1.2.1... Running hscolour for singletons-1.1.2.1... Preprocessing library singletons-1.1.2.1... Preprocessing library singletons-1.1.2.1... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: nats-1 Haddock coverage: 50% ( 1 / 2) in 'Data.Singletons.SuppressUnusedWarnings' Missing documentation for: Module header 100% ( 5 / 5) in 'Data.Singletons.Void' 2% ( 1 / 57) in 'Data.Singletons.Util' Missing documentation for: Module header basicTypes (src/Data/Singletons/Util.hs:35) boundedBasicTypes (src/Data/Singletons/Util.hs:41) qReportWarning (src/Data/Singletons/Util.hs:54) qReportError (src/Data/Singletons/Util.hs:58) checkForRep (src/Data/Singletons/Util.hs:73) checkForRepInDecls (src/Data/Singletons/Util.hs:80) tysOfConFields (src/Data/Singletons/Util.hs:84) extractNameArgs (src/Data/Singletons/Util.hs:89) extractNameTypes (src/Data/Singletons/Util.hs:93) isUpcase (src/Data/Singletons/Util.hs:97) upcase (src/Data/Singletons/Util.hs:101) toUpcaseStr (src/Data/Singletons/Util.hs:105) noPrefix (src/Data/Singletons/Util.hs:127) locase (src/Data/Singletons/Util.hs:131) prefixUCName (src/Data/Singletons/Util.hs:141) prefixLCName (src/Data/Singletons/Util.hs:148) suffixName (src/Data/Singletons/Util.hs:156) uniquePrefixes (src/Data/Singletons/Util.hs:165) extractTvbKind (src/Data/Singletons/Util.hs:190) extractTvbName (src/Data/Singletons/Util.hs:195) inferKind (src/Data/Singletons/Util.hs:200) unravel (src/Data/Singletons/Util.hs:212) ravel (src/Data/Singletons/Util.hs:222) countArgs (src/Data/Singletons/Util.hs:228) addStar (src/Data/Singletons/Util.hs:231) addStar_maybe (src/Data/Singletons/Util.hs:234) foldType (src/Data/Singletons/Util.hs:238) foldExp (src/Data/Singletons/Util.hs:242) isVarK (src/Data/Singletons/Util.hs:246) isFunTy (src/Data/Singletons/Util.hs:251) orIfEmpty (src/Data/Singletons/Util.hs:257) emptyMatches (src/Data/Singletons/Util.hs:262) multiCase (src/Data/Singletons/Util.hs:267) wrapDesugar (src/Data/Singletons/Util.hs:273) QWithAux (src/Data/Singletons/Util.hs:279) (src/Data/Singletons/Util.hs:284) (src/Data/Singletons/Util.hs:308) comp1 (src/Data/Singletons/Util.hs:312) comp2 (src/Data/Singletons/Util.hs:315) evalWithoutAux (src/Data/Singletons/Util.hs:319) evalForAux (src/Data/Singletons/Util.hs:323) evalForPair (src/Data/Singletons/Util.hs:328) addBinding (src/Data/Singletons/Util.hs:332) addElement (src/Data/Singletons/Util.hs:336) concatMapM (src/Data/Singletons/Util.hs:341) listify (src/Data/Singletons/Util.hs:348) fstOf3 (src/Data/Singletons/Util.hs:351) liftFst (src/Data/Singletons/Util.hs:354) liftSnd (src/Data/Singletons/Util.hs:357) snocView (src/Data/Singletons/Util.hs:360) partitionWith (src/Data/Singletons/Util.hs:365) partitionWithM (src/Data/Singletons/Util.hs:373) partitionLetDecs (src/Data/Singletons/Util.hs:382) mapAndUnzip3M (src/Data/Singletons/Util.hs:386) isHsLetter (src/Data/Singletons/Util.hs:394) 0% ( 0 / 29) in 'Data.Singletons.Syntax' Missing documentation for: Module header VarPromotions (src/Data/Singletons/Syntax.hs:26) DataDecl (src/Data/Singletons/Syntax.hs:29) ClassDecl (src/Data/Singletons/Syntax.hs:30) InstDecl (src/Data/Singletons/Syntax.hs:31) PartitionedDecs (src/Data/Singletons/Syntax.hs:33) (src/Data/Singletons/Syntax.hs:40) partitionDecs (src/Data/Singletons/Syntax.hs:46) partitionDec (src/Data/Singletons/Syntax.hs:49) partitionClassDec (src/Data/Singletons/Syntax.hs:70) partitionInstanceDec (src/Data/Singletons/Syntax.hs:82) ADExp (src/Data/Singletons/Syntax.hs:100) ADMatch (src/Data/Singletons/Syntax.hs:113) ADClause (src/Data/Singletons/Syntax.hs:114) AnnotationFlag (src/Data/Singletons/Syntax.hs:117) Annotated (src/Data/Singletons/Syntax.hs:120) Unannotated (src/Data/Singletons/Syntax.hs:121) IfAnn (src/Data/Singletons/Syntax.hs:123) ALetDecRHS (src/Data/Singletons/Syntax.hs:127) ULetDecRHS (src/Data/Singletons/Syntax.hs:133) LetDecEnv (src/Data/Singletons/Syntax.hs:135) ALetDecEnv (src/Data/Singletons/Syntax.hs:141) ULetDecEnv (src/Data/Singletons/Syntax.hs:142) (src/Data/Singletons/Syntax.hs:144) valueBinding (src/Data/Singletons/Syntax.hs:149) typeBinding (src/Data/Singletons/Syntax.hs:152) infixDecl (src/Data/Singletons/Syntax.hs:155) emptyLetDecEnv (src/Data/Singletons/Syntax.hs:158) buildLetDecEnv (src/Data/Singletons/Syntax.hs:161) 100% ( 7 / 7) in 'Data.Singletons.Types' 57% ( 32 / 56) in 'Data.Singletons' Missing documentation for: TyCon3 (src/Data/Singletons.hs:168) TyCon4 (src/Data/Singletons.hs:169) TyCon5 (src/Data/Singletons.hs:170) TyCon6 (src/Data/Singletons.hs:171) TyCon7 (src/Data/Singletons.hs:172) singFun2 (src/Data/Singletons.hs:217) singFun3 (src/Data/Singletons.hs:221) singFun4 (src/Data/Singletons.hs:225) singFun5 (src/Data/Singletons.hs:229) singFun6 (src/Data/Singletons.hs:233) singFun7 (src/Data/Singletons.hs:237) unSingFun2 (src/Data/Singletons.hs:245) unSingFun3 (src/Data/Singletons.hs:248) unSingFun4 (src/Data/Singletons.hs:251) unSingFun5 (src/Data/Singletons.hs:254) unSingFun6 (src/Data/Singletons.hs:257) unSingFun7 (src/Data/Singletons.hs:260) SingFunction1 (src/Data/Singletons.hs:202) SingFunction2 (src/Data/Singletons.hs:216) SingFunction3 (src/Data/Singletons.hs:220) SingFunction4 (src/Data/Singletons.hs:224) SingFunction5 (src/Data/Singletons.hs:228) SingFunction6 (src/Data/Singletons.hs:232) SingFunction7 (src/Data/Singletons.hs:236) 100% ( 8 / 8) in 'Data.Singletons.Decide' 0% ( 0 / 81) in 'Data.Singletons.Names' Missing documentation for: Module header anyTypeName (src/Data/Singletons/Names.hs:24) boolName (src/Data/Singletons/Names.hs:24) andName (src/Data/Singletons/Names.hs:24) tyEqName (src/Data/Singletons/Names.hs:24) tyCompareName (src/Data/Singletons/Names.hs:24) tyminBoundName (src/Data/Singletons/Names.hs:24) tymaxBoundName (src/Data/Singletons/Names.hs:24) repName (src/Data/Singletons/Names.hs:24) nilName (src/Data/Singletons/Names.hs:24) consName (src/Data/Singletons/Names.hs:24) listName (src/Data/Singletons/Names.hs:24) tyFunName (src/Data/Singletons/Names.hs:24) applyName (src/Data/Singletons/Names.hs:24) symbolName (src/Data/Singletons/Names.hs:24) undefinedName (src/Data/Singletons/Names.hs:24) typeRepName (src/Data/Singletons/Names.hs:24) stringName (src/Data/Singletons/Names.hs:24) eqName (src/Data/Singletons/Names.hs:24) ordName (src/Data/Singletons/Names.hs:24) boundedName (src/Data/Singletons/Names.hs:24) orderingName (src/Data/Singletons/Names.hs:24) ordLTSymName (src/Data/Singletons/Names.hs:24) ordEQSymName (src/Data/Singletons/Names.hs:24) ordGTSymName (src/Data/Singletons/Names.hs:24) singFamilyName (src/Data/Singletons/Names.hs:24) singIName (src/Data/Singletons/Names.hs:24) singMethName (src/Data/Singletons/Names.hs:24) demoteRepName (src/Data/Singletons/Names.hs:24) singKindClassName (src/Data/Singletons/Names.hs:24) sEqClassName (src/Data/Singletons/Names.hs:24) sEqMethName (src/Data/Singletons/Names.hs:24) sconsName (src/Data/Singletons/Names.hs:24) snilName (src/Data/Singletons/Names.hs:24) sIfName (src/Data/Singletons/Names.hs:24) kProxyDataName (src/Data/Singletons/Names.hs:24) kProxyTypeName (src/Data/Singletons/Names.hs:24) proxyTypeName (src/Data/Singletons/Names.hs:24) proxyDataName (src/Data/Singletons/Names.hs:24) someSingTypeName (src/Data/Singletons/Names.hs:24) someSingDataName (src/Data/Singletons/Names.hs:24) sListName (src/Data/Singletons/Names.hs:24) sDecideClassName (src/Data/Singletons/Names.hs:24) sDecideMethName (src/Data/Singletons/Names.hs:24) provedName (src/Data/Singletons/Names.hs:24) disprovedName (src/Data/Singletons/Names.hs:24) reflName (src/Data/Singletons/Names.hs:24) toSingName (src/Data/Singletons/Names.hs:24) fromSingName (src/Data/Singletons/Names.hs:24) equalityName (src/Data/Singletons/Names.hs:24) applySingName (src/Data/Singletons/Names.hs:24) suppressClassName (src/Data/Singletons/Names.hs:24) suppressMethodName (src/Data/Singletons/Names.hs:24) tyThenCmpName (src/Data/Singletons/Names.hs:24) kindOfName (src/Data/Singletons/Names.hs:24) mkTupleName (src/Data/Singletons/Names.hs:93) promoteValNameLhs (src/Data/Singletons/Names.hs:98) promoteValNameLhsPrefix (src/Data/Singletons/Names.hs:102) promoteValRhs (src/Data/Singletons/Names.hs:107) promoteTySym (src/Data/Singletons/Names.hs:119) promoteClassName (src/Data/Singletons/Names.hs:140) classTvsName (src/Data/Singletons/Names.hs:145) mkTyName (src/Data/Singletons/Names.hs:148) falseTySym (src/Data/Singletons/Names.hs:154) trueTySym (src/Data/Singletons/Names.hs:157) boolKi (src/Data/Singletons/Names.hs:160) andTySym (src/Data/Singletons/Names.hs:163) inferKindTV (src/Data/Singletons/Names.hs:169) inferMaybeKindTV (src/Data/Singletons/Names.hs:178) unknownResult (src/Data/Singletons/Names.hs:191) singDataConName (src/Data/Singletons/Names.hs:200) singTyConName (src/Data/Singletons/Names.hs:208) singClassName (src/Data/Singletons/Names.hs:215) singValName (src/Data/Singletons/Names.hs:218) kindParam (src/Data/Singletons/Names.hs:225) proxyFor (src/Data/Singletons/Names.hs:228) singFamily (src/Data/Singletons/Names.hs:231) singKindConstraint (src/Data/Singletons/Names.hs:234) demote (src/Data/Singletons/Names.hs:237) apply (src/Data/Singletons/Names.hs:240) foldApply (src/Data/Singletons/Names.hs:245) 0% ( 0 / 13) in 'Data.Singletons.Promote.Monad' Missing documentation for: Module header PrM (src/Data/Singletons/Promote/Monad.hs:50) promoteM (src/Data/Singletons/Promote/Monad.hs:130) promoteM_ (src/Data/Singletons/Promote/Monad.hs:137) promoteMDecs (src/Data/Singletons/Promote/Monad.hs:143) VarPromotions (src/Data/Singletons/Syntax.hs:26) allLocals (src/Data/Singletons/Promote/Monad.hs:88) emitDecs (src/Data/Singletons/Promote/Monad.hs:99) emitDecsM (src/Data/Singletons/Promote/Monad.hs:102) lambdaBind (src/Data/Singletons/Promote/Monad.hs:109) LetBind (src/Data/Singletons/Promote/Monad.hs:117) letBind (src/Data/Singletons/Promote/Monad.hs:118) lookupVarE (src/Data/Singletons/Promote/Monad.hs:123) 0% ( 0 / 13) in 'Data.Singletons.Single.Monad' Missing documentation for: Module header SgM (src/Data/Singletons/Single/Monad.hs:49) bindLets (src/Data/Singletons/Single/Monad.hs:84) bindTyVars (src/Data/Singletons/Single/Monad.hs:161) bindTyVarsClause (src/Data/Singletons/Single/Monad.hs:136) lookupVarE (src/Data/Singletons/Single/Monad.hs:168) lookupConE (src/Data/Singletons/Single/Monad.hs:171) wrapSingFun (src/Data/Singletons/Single/Monad.hs:189) wrapUnSingFun (src/Data/Singletons/Single/Monad.hs:204) singM (src/Data/Singletons/Single/Monad.hs:219) singDecsM (src/Data/Singletons/Single/Monad.hs:226) emitDecs (src/Data/Singletons/Promote/Monad.hs:99) emitDecsM (src/Data/Singletons/Promote/Monad.hs:102) 0% ( 0 / 2) in 'Data.Singletons.Promote.Eq' Missing documentation for: Module header mkEqTypeInstance (src/Data/Singletons/Promote/Eq.hs:32) 33% ( 1 / 3) in 'Data.Singletons.Promote.Ord' Missing documentation for: mkOrdTypeInstance (src/Data/Singletons/Promote/Ord.hs:23) mkOrdTySynEqn (src/Data/Singletons/Promote/Ord.hs:34) 50% ( 1 / 2) in 'Data.Singletons.Promote.Bounded' Missing documentation for: mkBoundedTypeInstance (src/Data/Singletons/Promote/Bounded.hs:23) 0% ( 0 / 2) in 'Data.Singletons.Promote.Type' Missing documentation for: Module header promoteType (src/Data/Singletons/Promote/Type.hs:18) 0% ( 0 / 10) in 'Data.Singletons.Promote.Defun' Missing documentation for: Module header defunInfo (src/Data/Singletons/Promote/Defun.hs:21) buildDefunSyms (src/Data/Singletons/Promote/Defun.hs:31) buildDefunSymsDataD (src/Data/Singletons/Promote/Defun.hs:49) defunctionalize (src/Data/Singletons/Promote/Defun.hs:97) buildTyFun (src/Data/Singletons/Promote/Defun.hs:167) buildTyFun_maybe (src/Data/Singletons/Promote/Defun.hs:170) tyFunArity (src/Data/Singletons/Promote/Defun.hs:177) isTyFun (src/Data/Singletons/Promote/Defun.hs:184) ravelTyFun (src/Data/Singletons/Promote/Defun.hs:191) 37% ( 10 / 27) in 'Data.Singletons.Promote' Missing documentation for: Module header promoteInfo (src/Data/Singletons/Promote.hs:126) promoteDecs (src/Data/Singletons/Promote.hs:172) promoteDataDecs (src/Data/Singletons/Promote.hs:187) promoteLetDecs (src/Data/Singletons/Promote.hs:201) promoteDataDec (src/Data/Singletons/Promote.hs:227) promoteClassDec (src/Data/Singletons/Promote.hs:267) promoteInstanceDec (src/Data/Singletons/Promote.hs:315) promoteMethod (src/Data/Singletons/Promote.hs:354) promoteLetDecEnv (src/Data/Singletons/Promote.hs:417) promoteInfixDecl (src/Data/Singletons/Promote.hs:444) promoteLetDecRHS (src/Data/Singletons/Promote.hs:453) promoteClause (src/Data/Singletons/Promote.hs:535) promoteMatch (src/Data/Singletons/Promote.hs:545) promotePat (src/Data/Singletons/Promote.hs:556) promoteExp (src/Data/Singletons/Promote.hs:581) promoteLit (src/Data/Singletons/Promote.hs:635) 40% ( 2 / 5) in 'Data.Promotion.Prelude.Bounded' Missing documentation for: PBounded (src/Data/Promotion/Prelude/Bounded.hs:29) MaxBoundSym0 (src/Data/Promotion/Prelude/Bounded.hs:29) MinBoundSym0 (src/Data/Promotion/Prelude/Bounded.hs:29) 0% ( 0 / 5) in 'Data.Singletons.Single.Type' Missing documentation for: Module header TopLevelFlag (src/Data/Singletons/Single/Type.hs:19) singType (src/Data/Singletons/Single/Type.hs:21) singPred (src/Data/Singletons/Single/Type.hs:51) singPredRec (src/Data/Singletons/Single/Type.hs:54) 0% ( 0 / 7) in 'Data.Singletons.Single.Eq' Missing documentation for: Module header EqualityClassDesc (src/Data/Singletons/Single/Eq.hs:19) sEqClassDesc (src/Data/Singletons/Single/Eq.hs:20) sDecideClassDesc (src/Data/Singletons/Single/Eq.hs:20) mkEqualityInstance (src/Data/Singletons/Single/Eq.hs:25) mkEqMethClause (src/Data/Singletons/Single/Eq.hs:50) mkDecideMethClause (src/Data/Singletons/Single/Eq.hs:76) 0% ( 0 / 3) in 'Data.Singletons.Single.Data' Missing documentation for: Module header singDataD (src/Data/Singletons/Single/Data.hs:26) singCtor (src/Data/Singletons/Single/Data.hs:107) 39% ( 9 / 23) in 'Data.Singletons.Single' Missing documentation for: Module header singEqualityInstance (src/Data/Singletons/Single.hs:133) singInfo (src/Data/Singletons/Single.hs:147) singTopLevelDecs (src/Data/Singletons/Single.hs:159) buildDataLets (src/Data/Singletons/Single.hs:181) buildMethLets (src/Data/Singletons/Single.hs:198) singLetDecEnv (src/Data/Singletons/Single.hs:202) singClause (src/Data/Singletons/Single.hs:274) PatternContext (src/Data/Singletons/Single.hs:298) checkIfBrainWillExplode (src/Data/Singletons/Single.hs:303) singPat (src/Data/Singletons/Single.hs:310) singExp (src/Data/Singletons/Single.hs:338) singMatch (src/Data/Singletons/Single.hs:357) singLit (src/Data/Singletons/Single.hs:365) 0% ( 0 /181) in 'Data.Singletons.Prelude.Instances' Missing documentation for: Module header NothingSym0 (src/Data/Singletons/Prelude/Instances.hs:27) JustSym1 (src/Data/Singletons/Prelude/Instances.hs:27) JustSym0 (src/Data/Singletons/Prelude/Instances.hs:27) SMaybe (src/Data/Singletons/Prelude/Instances.hs:27) NilSym0 (src/Data/Singletons/Prelude/Instances.hs:27) :$$$ (src/Data/Singletons/Prelude/Instances.hs:27) :$$ (src/Data/Singletons/Prelude/Instances.hs:27) :$ (src/Data/Singletons/Prelude/Instances.hs:27) SList (src/Data/Singletons/Prelude/Instances.hs:27) LeftSym1 (src/Data/Singletons/Prelude/Instances.hs:27) LeftSym0 (src/Data/Singletons/Prelude/Instances.hs:27) RightSym1 (src/Data/Singletons/Prelude/Instances.hs:27) RightSym0 (src/Data/Singletons/Prelude/Instances.hs:27) SEither (src/Data/Singletons/Prelude/Instances.hs:27) FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:27) TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:27) SBool (src/Data/Singletons/Prelude/Instances.hs:27) LTSym0 (src/Data/Singletons/Prelude/Instances.hs:27) EQSym0 (src/Data/Singletons/Prelude/Instances.hs:27) GTSym0 (src/Data/Singletons/Prelude/Instances.hs:27) SOrdering (src/Data/Singletons/Prelude/Instances.hs:27) Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) STuple0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) STuple2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) STuple3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) STuple4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) STuple5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) STuple6 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) STuple7 (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:27) (src/Data/Singletons/Prelude/Instances.hs:28) (src/Data/Singletons/Prelude/Instances.hs:28) (src/Data/Singletons/Prelude/Instances.hs:28) (src/Data/Singletons/Prelude/Instances.hs:28) (src/Data/Singletons/Prelude/Instances.hs:28) (src/Data/Singletons/Prelude/Instances.hs:28) (src/Data/Singletons/Prelude/Instances.hs:28) (src/Data/Singletons/Prelude/Instances.hs:28) (src/Data/Singletons/Prelude/Instances.hs:28) (src/Data/Singletons/Prelude/Instances.hs:28) (src/Data/Singletons/Prelude/Instances.hs:28) (src/Data/Singletons/Prelude/Instances.hs:28) 29% ( 11 / 38) in 'Data.Singletons.Prelude.Bool' Missing documentation for: SBool (src/Data/Singletons/Prelude/Instances.hs:27) Not (src/Data/Singletons/Prelude/Bool.hs:72) sNot (src/Data/Singletons/Prelude/Bool.hs:72) :&& (src/Data/Singletons/Prelude/Bool.hs:72) :|| (src/Data/Singletons/Prelude/Bool.hs:72) %:&& (src/Data/Singletons/Prelude/Bool.hs:72) %:|| (src/Data/Singletons/Prelude/Bool.hs:72) bool_ (src/Data/Singletons/Prelude/Bool.hs:66) Bool_ (src/Data/Singletons/Prelude/Bool.hs:66) sBool_ (src/Data/Singletons/Prelude/Bool.hs:66) Otherwise (src/Data/Singletons/Prelude/Bool.hs:72) sOtherwise (src/Data/Singletons/Prelude/Bool.hs:72) TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:27) FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:27) NotSym0 (src/Data/Singletons/Prelude/Bool.hs:72) NotSym1 (src/Data/Singletons/Prelude/Bool.hs:72) :&&$ (src/Data/Singletons/Prelude/Bool.hs:72) :&&$$ (src/Data/Singletons/Prelude/Bool.hs:72) :&&$$$ (src/Data/Singletons/Prelude/Bool.hs:72) :||$ (src/Data/Singletons/Prelude/Bool.hs:72) :||$$ (src/Data/Singletons/Prelude/Bool.hs:72) :||$$$ (src/Data/Singletons/Prelude/Bool.hs:72) Bool_Sym0 (src/Data/Singletons/Prelude/Bool.hs:66) Bool_Sym1 (src/Data/Singletons/Prelude/Bool.hs:66) Bool_Sym2 (src/Data/Singletons/Prelude/Bool.hs:66) Bool_Sym3 (src/Data/Singletons/Prelude/Bool.hs:66) OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:72) 33% ( 3 / 9) in 'Data.Singletons.Prelude.Eq' Missing documentation for: :==$ (src/Data/Singletons/Prelude/Eq.hs:47) :==$$ (src/Data/Singletons/Prelude/Eq.hs:47) :==$$$ (src/Data/Singletons/Prelude/Eq.hs:47) :/=$ (src/Data/Singletons/Prelude/Eq.hs:47) :/=$$ (src/Data/Singletons/Prelude/Eq.hs:47) :/=$$$ (src/Data/Singletons/Prelude/Eq.hs:47) 100% ( 4 / 4) in 'Data.Singletons.CustomStar' 25% ( 2 / 8) in 'Data.Promotion.Prelude.Eq' Missing documentation for: :==$ (src/Data/Singletons/Prelude/Eq.hs:47) :==$$ (src/Data/Singletons/Prelude/Eq.hs:47) :==$$$ (src/Data/Singletons/Prelude/Eq.hs:47) :/=$ (src/Data/Singletons/Prelude/Eq.hs:47) :/=$$ (src/Data/Singletons/Prelude/Eq.hs:47) :/=$$$ (src/Data/Singletons/Prelude/Eq.hs:47) 19% ( 5 / 26) in 'Data.Promotion.Prelude.Bool' Missing documentation for: Bool_ (src/Data/Singletons/Prelude/Bool.hs:66) bool_ (src/Data/Singletons/Prelude/Bool.hs:66) Not (src/Data/Singletons/Prelude/Bool.hs:72) :&& (src/Data/Singletons/Prelude/Bool.hs:72) :|| (src/Data/Singletons/Prelude/Bool.hs:72) Otherwise (src/Data/Singletons/Prelude/Bool.hs:72) TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:27) FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:27) NotSym0 (src/Data/Singletons/Prelude/Bool.hs:72) NotSym1 (src/Data/Singletons/Prelude/Bool.hs:72) :&&$ (src/Data/Singletons/Prelude/Bool.hs:72) :&&$$ (src/Data/Singletons/Prelude/Bool.hs:72) :&&$$$ (src/Data/Singletons/Prelude/Bool.hs:72) :||$ (src/Data/Singletons/Prelude/Bool.hs:72) :||$$ (src/Data/Singletons/Prelude/Bool.hs:72) :||$$$ (src/Data/Singletons/Prelude/Bool.hs:72) Bool_Sym0 (src/Data/Singletons/Prelude/Bool.hs:66) Bool_Sym1 (src/Data/Singletons/Prelude/Bool.hs:66) Bool_Sym2 (src/Data/Singletons/Prelude/Bool.hs:66) Bool_Sym3 (src/Data/Singletons/Prelude/Bool.hs:66) OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:72) 100% ( 3 / 3) in 'Data.Singletons.TypeRepStar' 11% ( 4 / 36) in 'Data.Singletons.Prelude.Ord' Missing documentation for: POrd (src/Data/Singletons/Prelude/Ord.hs:48) SOrd (src/Data/Singletons/Prelude/Ord.hs:78) thenCmp (src/Data/Singletons/Prelude/Ord.hs:124) ThenCmp (src/Data/Singletons/Prelude/Ord.hs:124) sThenCmp (src/Data/Singletons/Prelude/Ord.hs:124) ThenCmpSym0 (src/Data/Singletons/Prelude/Ord.hs:124) ThenCmpSym1 (src/Data/Singletons/Prelude/Ord.hs:124) ThenCmpSym2 (src/Data/Singletons/Prelude/Ord.hs:124) LTSym0 (src/Data/Singletons/Prelude/Instances.hs:27) EQSym0 (src/Data/Singletons/Prelude/Instances.hs:27) GTSym0 (src/Data/Singletons/Prelude/Instances.hs:27) CompareSym0 (src/Data/Singletons/Prelude/Ord.hs:48) CompareSym1 (src/Data/Singletons/Prelude/Ord.hs:48) CompareSym2 (src/Data/Singletons/Prelude/Ord.hs:48) :<$ (src/Data/Singletons/Prelude/Ord.hs:48) :<$$ (src/Data/Singletons/Prelude/Ord.hs:48) :<$$$ (src/Data/Singletons/Prelude/Ord.hs:48) :<=$ (src/Data/Singletons/Prelude/Ord.hs:48) :<=$$ (src/Data/Singletons/Prelude/Ord.hs:48) :<=$$$ (src/Data/Singletons/Prelude/Ord.hs:48) :>$ (src/Data/Singletons/Prelude/Ord.hs:48) :>$$ (src/Data/Singletons/Prelude/Ord.hs:48) :>$$$ (src/Data/Singletons/Prelude/Ord.hs:48) :>=$ (src/Data/Singletons/Prelude/Ord.hs:48) :>=$$ (src/Data/Singletons/Prelude/Ord.hs:48) :>=$$$ (src/Data/Singletons/Prelude/Ord.hs:48) MaxSym0 (src/Data/Singletons/Prelude/Ord.hs:48) MaxSym1 (src/Data/Singletons/Prelude/Ord.hs:48) MaxSym2 (src/Data/Singletons/Prelude/Ord.hs:48) MinSym0 (src/Data/Singletons/Prelude/Ord.hs:48) MinSym1 (src/Data/Singletons/Prelude/Ord.hs:48) MinSym2 (src/Data/Singletons/Prelude/Ord.hs:48) 4% ( 1 / 26) in 'Data.Promotion.Prelude.Ord' Missing documentation for: POrd (src/Data/Singletons/Prelude/Ord.hs:48) LTSym0 (src/Data/Singletons/Prelude/Instances.hs:27) EQSym0 (src/Data/Singletons/Prelude/Instances.hs:27) GTSym0 (src/Data/Singletons/Prelude/Instances.hs:27) CompareSym0 (src/Data/Singletons/Prelude/Ord.hs:48) CompareSym1 (src/Data/Singletons/Prelude/Ord.hs:48) CompareSym2 (src/Data/Singletons/Prelude/Ord.hs:48) :<$ (src/Data/Singletons/Prelude/Ord.hs:48) :<$$ (src/Data/Singletons/Prelude/Ord.hs:48) :<$$$ (src/Data/Singletons/Prelude/Ord.hs:48) :<=$ (src/Data/Singletons/Prelude/Ord.hs:48) :<=$$ (src/Data/Singletons/Prelude/Ord.hs:48) :<=$$$ (src/Data/Singletons/Prelude/Ord.hs:48) :>$ (src/Data/Singletons/Prelude/Ord.hs:48) :>$$ (src/Data/Singletons/Prelude/Ord.hs:48) :>$$$ (src/Data/Singletons/Prelude/Ord.hs:48) :>=$ (src/Data/Singletons/Prelude/Ord.hs:48) :>=$$ (src/Data/Singletons/Prelude/Ord.hs:48) :>=$$$ (src/Data/Singletons/Prelude/Ord.hs:48) MaxSym0 (src/Data/Singletons/Prelude/Ord.hs:48) MaxSym1 (src/Data/Singletons/Prelude/Ord.hs:48) MaxSym2 (src/Data/Singletons/Prelude/Ord.hs:48) MinSym0 (src/Data/Singletons/Prelude/Ord.hs:48) MinSym1 (src/Data/Singletons/Prelude/Ord.hs:48) MinSym2 (src/Data/Singletons/Prelude/Ord.hs:48) 50% ( 13 / 26) in 'Data.Singletons.TypeLits' Missing documentation for: ErrorSym0 (src/Data/Singletons/TypeLits.hs:208) :+ (src/Data/Singletons/TypeLits.hs:140) :- (src/Data/Singletons/TypeLits.hs:141) :* (src/Data/Singletons/TypeLits.hs:142) :^ (src/Data/Singletons/TypeLits.hs:143) :+$ (src/Data/Singletons/TypeLits.hs:145) :+$$ (src/Data/Singletons/TypeLits.hs:145) :-$ (src/Data/Singletons/TypeLits.hs:145) :-$$ (src/Data/Singletons/TypeLits.hs:145) :*$ (src/Data/Singletons/TypeLits.hs:145) :*$$ (src/Data/Singletons/TypeLits.hs:145) :^$ (src/Data/Singletons/TypeLits.hs:145) :^$$ (src/Data/Singletons/TypeLits.hs:145) 52% ( 46 / 88) in 'Data.Singletons.TH' Missing documentation for: :&& (src/Data/Singletons/Prelude/Bool.hs:72) POrd (src/Data/Singletons/Prelude/Ord.hs:48) ErrorSym0 (src/Data/Singletons/TypeLits.hs:208) TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:27) FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:27) LTSym0 (src/Data/Singletons/Prelude/Instances.hs:27) EQSym0 (src/Data/Singletons/Prelude/Instances.hs:27) GTSym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:27) 5% ( 3 / 60) in 'Data.Singletons.Prelude.Base' Missing documentation for: Foldr (src/Data/Singletons/Prelude/Base.hs:54) sFoldr (src/Data/Singletons/Prelude/Base.hs:54) Map (src/Data/Singletons/Prelude/Base.hs:54) sMap (src/Data/Singletons/Prelude/Base.hs:54) :++ (src/Data/Singletons/Prelude/Base.hs:54) %:++ (src/Data/Singletons/Prelude/Base.hs:54) Otherwise (src/Data/Singletons/Prelude/Bool.hs:72) sOtherwise (src/Data/Singletons/Prelude/Bool.hs:72) Id (src/Data/Singletons/Prelude/Base.hs:54) sId (src/Data/Singletons/Prelude/Base.hs:54) Const (src/Data/Singletons/Prelude/Base.hs:54) sConst (src/Data/Singletons/Prelude/Base.hs:54) :. (src/Data/Singletons/Prelude/Base.hs:54) %:. (src/Data/Singletons/Prelude/Base.hs:54) $ (src/Data/Singletons/Prelude/Base.hs:92) $! (src/Data/Singletons/Prelude/Base.hs:107) %$ (src/Data/Singletons/Prelude/Base.hs:103) %$! (src/Data/Singletons/Prelude/Base.hs:118) Flip (src/Data/Singletons/Prelude/Base.hs:54) sFlip (src/Data/Singletons/Prelude/Base.hs:54) AsTypeOf (src/Data/Singletons/Prelude/Base.hs:54) sAsTypeOf (src/Data/Singletons/Prelude/Base.hs:54) Seq (src/Data/Singletons/Prelude/Base.hs:54) sSeq (src/Data/Singletons/Prelude/Base.hs:54) FoldrSym0 (src/Data/Singletons/Prelude/Base.hs:54) FoldrSym1 (src/Data/Singletons/Prelude/Base.hs:54) FoldrSym2 (src/Data/Singletons/Prelude/Base.hs:54) FoldrSym3 (src/Data/Singletons/Prelude/Base.hs:54) MapSym0 (src/Data/Singletons/Prelude/Base.hs:54) MapSym1 (src/Data/Singletons/Prelude/Base.hs:54) MapSym2 (src/Data/Singletons/Prelude/Base.hs:54) :++$ (src/Data/Singletons/Prelude/Base.hs:54) :++$$ (src/Data/Singletons/Prelude/Base.hs:54) OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:72) IdSym0 (src/Data/Singletons/Prelude/Base.hs:54) IdSym1 (src/Data/Singletons/Prelude/Base.hs:54) ConstSym0 (src/Data/Singletons/Prelude/Base.hs:54) ConstSym1 (src/Data/Singletons/Prelude/Base.hs:54) ConstSym2 (src/Data/Singletons/Prelude/Base.hs:54) :.$ (src/Data/Singletons/Prelude/Base.hs:54) :.$$ (src/Data/Singletons/Prelude/Base.hs:54) :.$$$ (src/Data/Singletons/Prelude/Base.hs:54) $$ (src/Data/Singletons/Prelude/Base.hs:95) $$$ (src/Data/Singletons/Prelude/Base.hs:98) $$$$ (src/Data/Singletons/Prelude/Base.hs:101) $!$ (src/Data/Singletons/Prelude/Base.hs:110) $!$$ (src/Data/Singletons/Prelude/Base.hs:113) $!$$$ (src/Data/Singletons/Prelude/Base.hs:116) FlipSym0 (src/Data/Singletons/Prelude/Base.hs:54) FlipSym1 (src/Data/Singletons/Prelude/Base.hs:54) FlipSym2 (src/Data/Singletons/Prelude/Base.hs:54) AsTypeOfSym0 (src/Data/Singletons/Prelude/Base.hs:54) AsTypeOfSym1 (src/Data/Singletons/Prelude/Base.hs:54) AsTypeOfSym2 (src/Data/Singletons/Prelude/Base.hs:54) SeqSym0 (src/Data/Singletons/Prelude/Base.hs:54) SeqSym1 (src/Data/Singletons/Prelude/Base.hs:54) SeqSym2 (src/Data/Singletons/Prelude/Base.hs:54) 21% ( 8 / 38) in 'Data.Singletons.Prelude.Either' Missing documentation for: SEither (src/Data/Singletons/Prelude/Instances.hs:27) either_ (src/Data/Singletons/Prelude/Either.hs:64) Either_ (src/Data/Singletons/Prelude/Either.hs:64) sEither_ (src/Data/Singletons/Prelude/Either.hs:64) Lefts (src/Data/Singletons/Prelude/Either.hs:74) sLefts (src/Data/Singletons/Prelude/Either.hs:74) Rights (src/Data/Singletons/Prelude/Either.hs:74) sRights (src/Data/Singletons/Prelude/Either.hs:74) PartitionEithers (src/Data/Singletons/Prelude/Either.hs:74) sPartitionEithers (src/Data/Singletons/Prelude/Either.hs:74) IsLeft (src/Data/Singletons/Prelude/Either.hs:74) sIsLeft (src/Data/Singletons/Prelude/Either.hs:74) IsRight (src/Data/Singletons/Prelude/Either.hs:74) sIsRight (src/Data/Singletons/Prelude/Either.hs:74) LeftSym0 (src/Data/Singletons/Prelude/Instances.hs:27) LeftSym1 (src/Data/Singletons/Prelude/Instances.hs:27) RightSym0 (src/Data/Singletons/Prelude/Instances.hs:27) RightSym1 (src/Data/Singletons/Prelude/Instances.hs:27) Either_Sym0 (src/Data/Singletons/Prelude/Either.hs:64) Either_Sym1 (src/Data/Singletons/Prelude/Either.hs:64) Either_Sym2 (src/Data/Singletons/Prelude/Either.hs:64) Either_Sym3 (src/Data/Singletons/Prelude/Either.hs:64) LeftsSym0 (src/Data/Singletons/Prelude/Either.hs:74) LeftsSym1 (src/Data/Singletons/Prelude/Either.hs:74) RightsSym0 (src/Data/Singletons/Prelude/Either.hs:74) RightsSym1 (src/Data/Singletons/Prelude/Either.hs:74) IsLeftSym0 (src/Data/Singletons/Prelude/Either.hs:74) IsLeftSym1 (src/Data/Singletons/Prelude/Either.hs:74) IsRightSym0 (src/Data/Singletons/Prelude/Either.hs:74) IsRightSym1 (src/Data/Singletons/Prelude/Either.hs:74) 15% ( 4 / 27) in 'Data.Promotion.Prelude.Either' Missing documentation for: either_ (src/Data/Singletons/Prelude/Either.hs:64) Either_ (src/Data/Singletons/Prelude/Either.hs:64) Lefts (src/Data/Singletons/Prelude/Either.hs:74) Rights (src/Data/Singletons/Prelude/Either.hs:74) PartitionEithers (src/Data/Singletons/Prelude/Either.hs:74) IsLeft (src/Data/Singletons/Prelude/Either.hs:74) IsRight (src/Data/Singletons/Prelude/Either.hs:74) LeftSym0 (src/Data/Singletons/Prelude/Instances.hs:27) LeftSym1 (src/Data/Singletons/Prelude/Instances.hs:27) RightSym0 (src/Data/Singletons/Prelude/Instances.hs:27) RightSym1 (src/Data/Singletons/Prelude/Instances.hs:27) Either_Sym0 (src/Data/Singletons/Prelude/Either.hs:64) Either_Sym1 (src/Data/Singletons/Prelude/Either.hs:64) Either_Sym2 (src/Data/Singletons/Prelude/Either.hs:64) Either_Sym3 (src/Data/Singletons/Prelude/Either.hs:64) LeftsSym0 (src/Data/Singletons/Prelude/Either.hs:74) LeftsSym1 (src/Data/Singletons/Prelude/Either.hs:74) RightsSym0 (src/Data/Singletons/Prelude/Either.hs:74) RightsSym1 (src/Data/Singletons/Prelude/Either.hs:74) IsLeftSym0 (src/Data/Singletons/Prelude/Either.hs:74) IsLeftSym1 (src/Data/Singletons/Prelude/Either.hs:74) IsRightSym0 (src/Data/Singletons/Prelude/Either.hs:74) IsRightSym1 (src/Data/Singletons/Prelude/Either.hs:74) 9% ( 6 / 70) in 'Data.Singletons.Prelude.Tuple' Missing documentation for: STuple0 (src/Data/Singletons/Prelude/Instances.hs:27) STuple2 (src/Data/Singletons/Prelude/Instances.hs:27) STuple3 (src/Data/Singletons/Prelude/Instances.hs:27) STuple4 (src/Data/Singletons/Prelude/Instances.hs:27) STuple5 (src/Data/Singletons/Prelude/Instances.hs:27) STuple6 (src/Data/Singletons/Prelude/Instances.hs:27) STuple7 (src/Data/Singletons/Prelude/Instances.hs:27) Fst (src/Data/Singletons/Prelude/Tuple.hs:56) sFst (src/Data/Singletons/Prelude/Tuple.hs:56) Snd (src/Data/Singletons/Prelude/Tuple.hs:56) sSnd (src/Data/Singletons/Prelude/Tuple.hs:56) Curry (src/Data/Singletons/Prelude/Tuple.hs:56) sCurry (src/Data/Singletons/Prelude/Tuple.hs:56) Uncurry (src/Data/Singletons/Prelude/Tuple.hs:56) sUncurry (src/Data/Singletons/Prelude/Tuple.hs:56) Swap (src/Data/Singletons/Prelude/Tuple.hs:56) sSwap (src/Data/Singletons/Prelude/Tuple.hs:56) Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:27) FstSym0 (src/Data/Singletons/Prelude/Tuple.hs:56) FstSym1 (src/Data/Singletons/Prelude/Tuple.hs:56) SndSym0 (src/Data/Singletons/Prelude/Tuple.hs:56) SndSym1 (src/Data/Singletons/Prelude/Tuple.hs:56) CurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:56) CurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:56) CurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:56) CurrySym3 (src/Data/Singletons/Prelude/Tuple.hs:56) UncurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:56) UncurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:56) UncurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:56) SwapSym0 (src/Data/Singletons/Prelude/Tuple.hs:56) SwapSym1 (src/Data/Singletons/Prelude/Tuple.hs:56) 5% ( 3 / 55) in 'Data.Promotion.Prelude.Tuple' Missing documentation for: Fst (src/Data/Singletons/Prelude/Tuple.hs:56) Snd (src/Data/Singletons/Prelude/Tuple.hs:56) Curry (src/Data/Singletons/Prelude/Tuple.hs:56) Uncurry (src/Data/Singletons/Prelude/Tuple.hs:56) Swap (src/Data/Singletons/Prelude/Tuple.hs:56) Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:27) FstSym0 (src/Data/Singletons/Prelude/Tuple.hs:56) FstSym1 (src/Data/Singletons/Prelude/Tuple.hs:56) SndSym0 (src/Data/Singletons/Prelude/Tuple.hs:56) SndSym1 (src/Data/Singletons/Prelude/Tuple.hs:56) CurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:56) CurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:56) CurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:56) CurrySym3 (src/Data/Singletons/Prelude/Tuple.hs:56) UncurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:56) UncurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:56) UncurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:56) SwapSym0 (src/Data/Singletons/Prelude/Tuple.hs:56) SwapSym1 (src/Data/Singletons/Prelude/Tuple.hs:56) 6% ( 3 / 53) in 'Data.Promotion.Prelude.Base' Missing documentation for: Foldr (src/Data/Singletons/Prelude/Base.hs:54) Map (src/Data/Singletons/Prelude/Base.hs:54) :++ (src/Data/Singletons/Prelude/Base.hs:54) Otherwise (src/Data/Singletons/Prelude/Bool.hs:72) Id (src/Data/Singletons/Prelude/Base.hs:54) Const (src/Data/Singletons/Prelude/Base.hs:54) :. (src/Data/Singletons/Prelude/Base.hs:54) $ (src/Data/Singletons/Prelude/Base.hs:92) $! (src/Data/Singletons/Prelude/Base.hs:107) Flip (src/Data/Singletons/Prelude/Base.hs:54) Until (src/Data/Promotion/Prelude/Base.hs:48) AsTypeOf (src/Data/Singletons/Prelude/Base.hs:54) Seq (src/Data/Singletons/Prelude/Base.hs:54) FoldrSym0 (src/Data/Singletons/Prelude/Base.hs:54) FoldrSym1 (src/Data/Singletons/Prelude/Base.hs:54) FoldrSym2 (src/Data/Singletons/Prelude/Base.hs:54) FoldrSym3 (src/Data/Singletons/Prelude/Base.hs:54) MapSym0 (src/Data/Singletons/Prelude/Base.hs:54) MapSym1 (src/Data/Singletons/Prelude/Base.hs:54) MapSym2 (src/Data/Singletons/Prelude/Base.hs:54) :++$ (src/Data/Singletons/Prelude/Base.hs:54) :++$$ (src/Data/Singletons/Prelude/Base.hs:54) OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:72) IdSym0 (src/Data/Singletons/Prelude/Base.hs:54) IdSym1 (src/Data/Singletons/Prelude/Base.hs:54) ConstSym0 (src/Data/Singletons/Prelude/Base.hs:54) ConstSym1 (src/Data/Singletons/Prelude/Base.hs:54) ConstSym2 (src/Data/Singletons/Prelude/Base.hs:54) :.$ (src/Data/Singletons/Prelude/Base.hs:54) :.$$ (src/Data/Singletons/Prelude/Base.hs:54) :.$$$ (src/Data/Singletons/Prelude/Base.hs:54) $$ (src/Data/Singletons/Prelude/Base.hs:95) $$$ (src/Data/Singletons/Prelude/Base.hs:98) $$$$ (src/Data/Singletons/Prelude/Base.hs:101) $!$ (src/Data/Singletons/Prelude/Base.hs:110) $!$$ (src/Data/Singletons/Prelude/Base.hs:113) $!$$$ (src/Data/Singletons/Prelude/Base.hs:116) FlipSym0 (src/Data/Singletons/Prelude/Base.hs:54) FlipSym1 (src/Data/Singletons/Prelude/Base.hs:54) FlipSym2 (src/Data/Singletons/Prelude/Base.hs:54) UntilSym0 (src/Data/Promotion/Prelude/Base.hs:48) UntilSym1 (src/Data/Promotion/Prelude/Base.hs:48) UntilSym2 (src/Data/Promotion/Prelude/Base.hs:48) UntilSym3 (src/Data/Promotion/Prelude/Base.hs:48) AsTypeOfSym0 (src/Data/Singletons/Prelude/Base.hs:54) AsTypeOfSym1 (src/Data/Singletons/Prelude/Base.hs:54) AsTypeOfSym2 (src/Data/Singletons/Prelude/Base.hs:54) SeqSym0 (src/Data/Singletons/Prelude/Base.hs:54) SeqSym1 (src/Data/Singletons/Prelude/Base.hs:54) SeqSym2 (src/Data/Singletons/Prelude/Base.hs:54) 8% ( 25 /304) in 'Data.Singletons.Prelude.List' Missing documentation for: SList (src/Data/Singletons/Prelude/Instances.hs:27) :++ (src/Data/Singletons/Prelude/Base.hs:54) %:++ (src/Data/Singletons/Prelude/Base.hs:54) Head (src/Data/Singletons/Prelude/List.hs:188) sHead (src/Data/Singletons/Prelude/List.hs:188) Last (src/Data/Singletons/Prelude/List.hs:188) sLast (src/Data/Singletons/Prelude/List.hs:188) Tail (src/Data/Singletons/Prelude/List.hs:188) sTail (src/Data/Singletons/Prelude/List.hs:188) Init (src/Data/Singletons/Prelude/List.hs:188) sInit (src/Data/Singletons/Prelude/List.hs:188) Null (src/Data/Singletons/Prelude/List.hs:188) sNull (src/Data/Singletons/Prelude/List.hs:188) Map (src/Data/Singletons/Prelude/Base.hs:54) sMap (src/Data/Singletons/Prelude/Base.hs:54) Reverse (src/Data/Singletons/Prelude/List.hs:188) sReverse (src/Data/Singletons/Prelude/List.hs:188) Intersperse (src/Data/Singletons/Prelude/List.hs:188) sIntersperse (src/Data/Singletons/Prelude/List.hs:188) Intercalate (src/Data/Singletons/Prelude/List.hs:188) sIntercalate (src/Data/Singletons/Prelude/List.hs:188) Subsequences (src/Data/Singletons/Prelude/List.hs:188) sSubsequences (src/Data/Singletons/Prelude/List.hs:188) Permutations (src/Data/Singletons/Prelude/List.hs:188) sPermutations (src/Data/Singletons/Prelude/List.hs:188) Foldl (src/Data/Singletons/Prelude/List.hs:188) sFoldl (src/Data/Singletons/Prelude/List.hs:188) Foldl' (src/Data/Singletons/Prelude/List.hs:188) sFoldl' (src/Data/Singletons/Prelude/List.hs:188) Foldl1 (src/Data/Singletons/Prelude/List.hs:188) sFoldl1 (src/Data/Singletons/Prelude/List.hs:188) Foldl1' (src/Data/Singletons/Prelude/List.hs:188) sFoldl1' (src/Data/Singletons/Prelude/List.hs:188) Foldr (src/Data/Singletons/Prelude/Base.hs:54) sFoldr (src/Data/Singletons/Prelude/Base.hs:54) Foldr1 (src/Data/Singletons/Prelude/List.hs:188) sFoldr1 (src/Data/Singletons/Prelude/List.hs:188) Concat (src/Data/Singletons/Prelude/List.hs:188) sConcat (src/Data/Singletons/Prelude/List.hs:188) ConcatMap (src/Data/Singletons/Prelude/List.hs:188) sConcatMap (src/Data/Singletons/Prelude/List.hs:188) And (src/Data/Singletons/Prelude/List.hs:188) sAnd (src/Data/Singletons/Prelude/List.hs:188) Or (src/Data/Singletons/Prelude/List.hs:188) sOr (src/Data/Singletons/Prelude/List.hs:188) Any_ (src/Data/Singletons/Prelude/List.hs:182) sAny_ (src/Data/Singletons/Prelude/List.hs:182) All (src/Data/Singletons/Prelude/List.hs:188) sAll (src/Data/Singletons/Prelude/List.hs:188) any_ (src/Data/Singletons/Prelude/List.hs:182) Scanl (src/Data/Singletons/Prelude/List.hs:188) sScanl (src/Data/Singletons/Prelude/List.hs:188) Scanl1 (src/Data/Singletons/Prelude/List.hs:188) sScanl1 (src/Data/Singletons/Prelude/List.hs:188) Scanr (src/Data/Singletons/Prelude/List.hs:188) sScanr (src/Data/Singletons/Prelude/List.hs:188) Scanr1 (src/Data/Singletons/Prelude/List.hs:188) sScanr1 (src/Data/Singletons/Prelude/List.hs:188) MapAccumL (src/Data/Singletons/Prelude/List.hs:188) sMapAccumL (src/Data/Singletons/Prelude/List.hs:188) MapAccumR (src/Data/Singletons/Prelude/List.hs:188) sMapAccumR (src/Data/Singletons/Prelude/List.hs:188) Unfoldr (src/Data/Singletons/Prelude/List.hs:188) sUnfoldr (src/Data/Singletons/Prelude/List.hs:188) Inits (src/Data/Singletons/Prelude/List.hs:188) sInits (src/Data/Singletons/Prelude/List.hs:188) Tails (src/Data/Singletons/Prelude/List.hs:188) sTails (src/Data/Singletons/Prelude/List.hs:188) IsPrefixOf (src/Data/Singletons/Prelude/List.hs:188) sIsPrefixOf (src/Data/Singletons/Prelude/List.hs:188) IsSuffixOf (src/Data/Singletons/Prelude/List.hs:188) sIsSuffixOf (src/Data/Singletons/Prelude/List.hs:188) IsInfixOf (src/Data/Singletons/Prelude/List.hs:188) sIsInfixOf (src/Data/Singletons/Prelude/List.hs:188) Elem (src/Data/Singletons/Prelude/List.hs:188) sElem (src/Data/Singletons/Prelude/List.hs:188) NotElem (src/Data/Singletons/Prelude/List.hs:188) sNotElem (src/Data/Singletons/Prelude/List.hs:188) Zip (src/Data/Singletons/Prelude/List.hs:188) sZip (src/Data/Singletons/Prelude/List.hs:188) Zip3 (src/Data/Singletons/Prelude/List.hs:188) sZip3 (src/Data/Singletons/Prelude/List.hs:188) ZipWith (src/Data/Singletons/Prelude/List.hs:188) sZipWith (src/Data/Singletons/Prelude/List.hs:188) ZipWith3 (src/Data/Singletons/Prelude/List.hs:188) sZipWith3 (src/Data/Singletons/Prelude/List.hs:188) Unzip (src/Data/Singletons/Prelude/List.hs:188) sUnzip (src/Data/Singletons/Prelude/List.hs:188) Unzip3 (src/Data/Singletons/Prelude/List.hs:188) sUnzip3 (src/Data/Singletons/Prelude/List.hs:188) Unzip4 (src/Data/Singletons/Prelude/List.hs:188) sUnzip4 (src/Data/Singletons/Prelude/List.hs:188) Unzip5 (src/Data/Singletons/Prelude/List.hs:188) sUnzip5 (src/Data/Singletons/Prelude/List.hs:188) Unzip6 (src/Data/Singletons/Prelude/List.hs:188) sUnzip6 (src/Data/Singletons/Prelude/List.hs:188) Unzip7 (src/Data/Singletons/Prelude/List.hs:188) sUnzip7 (src/Data/Singletons/Prelude/List.hs:188) Delete (src/Data/Singletons/Prelude/List.hs:188) sDelete (src/Data/Singletons/Prelude/List.hs:188) :\\ (src/Data/Singletons/Prelude/List.hs:188) %:\\ (src/Data/Singletons/Prelude/List.hs:188) DeleteBy (src/Data/Singletons/Prelude/List.hs:188) sDeleteBy (src/Data/Singletons/Prelude/List.hs:188) DeleteFirstsBy (src/Data/Singletons/Prelude/List.hs:188) sDeleteFirstsBy (src/Data/Singletons/Prelude/List.hs:188) SortBy (src/Data/Singletons/Prelude/List.hs:188) sSortBy (src/Data/Singletons/Prelude/List.hs:188) InsertBy (src/Data/Singletons/Prelude/List.hs:188) sInsertBy (src/Data/Singletons/Prelude/List.hs:188) MaximumBy (src/Data/Singletons/Prelude/List.hs:188) sMaximumBy (src/Data/Singletons/Prelude/List.hs:188) MinimumBy (src/Data/Singletons/Prelude/List.hs:188) sMinimumBy (src/Data/Singletons/Prelude/List.hs:188) NilSym0 (src/Data/Singletons/Prelude/Instances.hs:27) :$ (src/Data/Singletons/Prelude/Instances.hs:27) :$$ (src/Data/Singletons/Prelude/Instances.hs:27) :$$$ (src/Data/Singletons/Prelude/Instances.hs:27) :++$$ (src/Data/Singletons/Prelude/Base.hs:54) :++$ (src/Data/Singletons/Prelude/Base.hs:54) HeadSym0 (src/Data/Singletons/Prelude/List.hs:188) HeadSym1 (src/Data/Singletons/Prelude/List.hs:188) LastSym0 (src/Data/Singletons/Prelude/List.hs:188) LastSym1 (src/Data/Singletons/Prelude/List.hs:188) TailSym0 (src/Data/Singletons/Prelude/List.hs:188) TailSym1 (src/Data/Singletons/Prelude/List.hs:188) InitSym0 (src/Data/Singletons/Prelude/List.hs:188) InitSym1 (src/Data/Singletons/Prelude/List.hs:188) NullSym0 (src/Data/Singletons/Prelude/List.hs:188) NullSym1 (src/Data/Singletons/Prelude/List.hs:188) MapSym0 (src/Data/Singletons/Prelude/Base.hs:54) MapSym1 (src/Data/Singletons/Prelude/Base.hs:54) MapSym2 (src/Data/Singletons/Prelude/Base.hs:54) ReverseSym0 (src/Data/Singletons/Prelude/List.hs:188) ReverseSym1 (src/Data/Singletons/Prelude/List.hs:188) IntersperseSym0 (src/Data/Singletons/Prelude/List.hs:188) IntersperseSym1 (src/Data/Singletons/Prelude/List.hs:188) IntersperseSym2 (src/Data/Singletons/Prelude/List.hs:188) IntercalateSym0 (src/Data/Singletons/Prelude/List.hs:188) IntercalateSym1 (src/Data/Singletons/Prelude/List.hs:188) IntercalateSym2 (src/Data/Singletons/Prelude/List.hs:188) SubsequencesSym0 (src/Data/Singletons/Prelude/List.hs:188) SubsequencesSym1 (src/Data/Singletons/Prelude/List.hs:188) PermutationsSym0 (src/Data/Singletons/Prelude/List.hs:188) PermutationsSym1 (src/Data/Singletons/Prelude/List.hs:188) FoldlSym0 (src/Data/Singletons/Prelude/List.hs:188) FoldlSym1 (src/Data/Singletons/Prelude/List.hs:188) FoldlSym2 (src/Data/Singletons/Prelude/List.hs:188) FoldlSym3 (src/Data/Singletons/Prelude/List.hs:188) Foldl'Sym0 (src/Data/Singletons/Prelude/List.hs:188) Foldl'Sym1 (src/Data/Singletons/Prelude/List.hs:188) Foldl'Sym2 (src/Data/Singletons/Prelude/List.hs:188) Foldl'Sym3 (src/Data/Singletons/Prelude/List.hs:188) Foldl1Sym0 (src/Data/Singletons/Prelude/List.hs:188) Foldl1Sym1 (src/Data/Singletons/Prelude/List.hs:188) Foldl1Sym2 (src/Data/Singletons/Prelude/List.hs:188) Foldl1'Sym0 (src/Data/Singletons/Prelude/List.hs:188) Foldl1'Sym1 (src/Data/Singletons/Prelude/List.hs:188) Foldl1'Sym2 (src/Data/Singletons/Prelude/List.hs:188) FoldrSym0 (src/Data/Singletons/Prelude/Base.hs:54) FoldrSym1 (src/Data/Singletons/Prelude/Base.hs:54) FoldrSym2 (src/Data/Singletons/Prelude/Base.hs:54) FoldrSym3 (src/Data/Singletons/Prelude/Base.hs:54) Foldr1Sym0 (src/Data/Singletons/Prelude/List.hs:188) Foldr1Sym1 (src/Data/Singletons/Prelude/List.hs:188) Foldr1Sym2 (src/Data/Singletons/Prelude/List.hs:188) ConcatSym0 (src/Data/Singletons/Prelude/List.hs:188) ConcatSym1 (src/Data/Singletons/Prelude/List.hs:188) ConcatMapSym0 (src/Data/Singletons/Prelude/List.hs:188) ConcatMapSym1 (src/Data/Singletons/Prelude/List.hs:188) ConcatMapSym2 (src/Data/Singletons/Prelude/List.hs:188) AndSym0 (src/Data/Singletons/Prelude/List.hs:188) AndSym1 (src/Data/Singletons/Prelude/List.hs:188) OrSym0 (src/Data/Singletons/Prelude/List.hs:188) OrSym1 (src/Data/Singletons/Prelude/List.hs:188) Any_Sym0 (src/Data/Singletons/Prelude/List.hs:182) Any_Sym1 (src/Data/Singletons/Prelude/List.hs:182) Any_Sym2 (src/Data/Singletons/Prelude/List.hs:182) AllSym0 (src/Data/Singletons/Prelude/List.hs:188) AllSym1 (src/Data/Singletons/Prelude/List.hs:188) AllSym2 (src/Data/Singletons/Prelude/List.hs:188) ScanlSym0 (src/Data/Singletons/Prelude/List.hs:188) ScanlSym1 (src/Data/Singletons/Prelude/List.hs:188) ScanlSym2 (src/Data/Singletons/Prelude/List.hs:188) ScanlSym3 (src/Data/Singletons/Prelude/List.hs:188) Scanl1Sym0 (src/Data/Singletons/Prelude/List.hs:188) Scanl1Sym1 (src/Data/Singletons/Prelude/List.hs:188) Scanl1Sym2 (src/Data/Singletons/Prelude/List.hs:188) ScanrSym0 (src/Data/Singletons/Prelude/List.hs:188) ScanrSym1 (src/Data/Singletons/Prelude/List.hs:188) ScanrSym2 (src/Data/Singletons/Prelude/List.hs:188) ScanrSym3 (src/Data/Singletons/Prelude/List.hs:188) Scanr1Sym0 (src/Data/Singletons/Prelude/List.hs:188) Scanr1Sym1 (src/Data/Singletons/Prelude/List.hs:188) Scanr1Sym2 (src/Data/Singletons/Prelude/List.hs:188) MapAccumLSym0 (src/Data/Singletons/Prelude/List.hs:188) MapAccumLSym1 (src/Data/Singletons/Prelude/List.hs:188) MapAccumLSym2 (src/Data/Singletons/Prelude/List.hs:188) MapAccumLSym3 (src/Data/Singletons/Prelude/List.hs:188) MapAccumRSym0 (src/Data/Singletons/Prelude/List.hs:188) MapAccumRSym1 (src/Data/Singletons/Prelude/List.hs:188) MapAccumRSym2 (src/Data/Singletons/Prelude/List.hs:188) MapAccumRSym3 (src/Data/Singletons/Prelude/List.hs:188) UnfoldrSym0 (src/Data/Singletons/Prelude/List.hs:188) UnfoldrSym1 (src/Data/Singletons/Prelude/List.hs:188) UnfoldrSym2 (src/Data/Singletons/Prelude/List.hs:188) InitsSym0 (src/Data/Singletons/Prelude/List.hs:188) InitsSym1 (src/Data/Singletons/Prelude/List.hs:188) TailsSym0 (src/Data/Singletons/Prelude/List.hs:188) TailsSym1 (src/Data/Singletons/Prelude/List.hs:188) IsPrefixOfSym0 (src/Data/Singletons/Prelude/List.hs:188) IsPrefixOfSym1 (src/Data/Singletons/Prelude/List.hs:188) IsPrefixOfSym2 (src/Data/Singletons/Prelude/List.hs:188) IsSuffixOfSym0 (src/Data/Singletons/Prelude/List.hs:188) IsSuffixOfSym1 (src/Data/Singletons/Prelude/List.hs:188) IsSuffixOfSym2 (src/Data/Singletons/Prelude/List.hs:188) IsInfixOfSym0 (src/Data/Singletons/Prelude/List.hs:188) IsInfixOfSym1 (src/Data/Singletons/Prelude/List.hs:188) IsInfixOfSym2 (src/Data/Singletons/Prelude/List.hs:188) ElemSym0 (src/Data/Singletons/Prelude/List.hs:188) ElemSym1 (src/Data/Singletons/Prelude/List.hs:188) ElemSym2 (src/Data/Singletons/Prelude/List.hs:188) NotElemSym0 (src/Data/Singletons/Prelude/List.hs:188) NotElemSym1 (src/Data/Singletons/Prelude/List.hs:188) NotElemSym2 (src/Data/Singletons/Prelude/List.hs:188) ZipSym0 (src/Data/Singletons/Prelude/List.hs:188) ZipSym1 (src/Data/Singletons/Prelude/List.hs:188) ZipSym2 (src/Data/Singletons/Prelude/List.hs:188) Zip3Sym0 (src/Data/Singletons/Prelude/List.hs:188) Zip3Sym1 (src/Data/Singletons/Prelude/List.hs:188) Zip3Sym2 (src/Data/Singletons/Prelude/List.hs:188) Zip3Sym3 (src/Data/Singletons/Prelude/List.hs:188) ZipWithSym0 (src/Data/Singletons/Prelude/List.hs:188) ZipWithSym1 (src/Data/Singletons/Prelude/List.hs:188) ZipWithSym2 (src/Data/Singletons/Prelude/List.hs:188) ZipWithSym3 (src/Data/Singletons/Prelude/List.hs:188) ZipWith3Sym0 (src/Data/Singletons/Prelude/List.hs:188) ZipWith3Sym1 (src/Data/Singletons/Prelude/List.hs:188) ZipWith3Sym2 (src/Data/Singletons/Prelude/List.hs:188) ZipWith3Sym3 (src/Data/Singletons/Prelude/List.hs:188) UnzipSym0 (src/Data/Singletons/Prelude/List.hs:188) UnzipSym1 (src/Data/Singletons/Prelude/List.hs:188) Unzip3Sym0 (src/Data/Singletons/Prelude/List.hs:188) Unzip3Sym1 (src/Data/Singletons/Prelude/List.hs:188) Unzip4Sym0 (src/Data/Singletons/Prelude/List.hs:188) Unzip4Sym1 (src/Data/Singletons/Prelude/List.hs:188) Unzip5Sym0 (src/Data/Singletons/Prelude/List.hs:188) Unzip5Sym1 (src/Data/Singletons/Prelude/List.hs:188) Unzip6Sym0 (src/Data/Singletons/Prelude/List.hs:188) Unzip6Sym1 (src/Data/Singletons/Prelude/List.hs:188) Unzip7Sym0 (src/Data/Singletons/Prelude/List.hs:188) Unzip7Sym1 (src/Data/Singletons/Prelude/List.hs:188) DeleteSym0 (src/Data/Singletons/Prelude/List.hs:188) DeleteSym1 (src/Data/Singletons/Prelude/List.hs:188) DeleteSym2 (src/Data/Singletons/Prelude/List.hs:188) :\\$ (src/Data/Singletons/Prelude/List.hs:188) :\\$$ (src/Data/Singletons/Prelude/List.hs:188) :\\$$$ (src/Data/Singletons/Prelude/List.hs:188) DeleteBySym0 (src/Data/Singletons/Prelude/List.hs:188) DeleteBySym1 (src/Data/Singletons/Prelude/List.hs:188) DeleteBySym2 (src/Data/Singletons/Prelude/List.hs:188) DeleteBySym3 (src/Data/Singletons/Prelude/List.hs:188) DeleteFirstsBySym0 (src/Data/Singletons/Prelude/List.hs:188) DeleteFirstsBySym1 (src/Data/Singletons/Prelude/List.hs:188) DeleteFirstsBySym2 (src/Data/Singletons/Prelude/List.hs:188) DeleteFirstsBySym3 (src/Data/Singletons/Prelude/List.hs:188) SortBySym0 (src/Data/Singletons/Prelude/List.hs:188) SortBySym1 (src/Data/Singletons/Prelude/List.hs:188) SortBySym2 (src/Data/Singletons/Prelude/List.hs:188) InsertBySym0 (src/Data/Singletons/Prelude/List.hs:188) InsertBySym1 (src/Data/Singletons/Prelude/List.hs:188) InsertBySym2 (src/Data/Singletons/Prelude/List.hs:188) InsertBySym3 (src/Data/Singletons/Prelude/List.hs:188) MaximumBySym0 (src/Data/Singletons/Prelude/List.hs:188) MaximumBySym1 (src/Data/Singletons/Prelude/List.hs:188) MaximumBySym2 (src/Data/Singletons/Prelude/List.hs:188) MinimumBySym0 (src/Data/Singletons/Prelude/List.hs:188) MinimumBySym1 (src/Data/Singletons/Prelude/List.hs:188) MinimumBySym2 (src/Data/Singletons/Prelude/List.hs:188) 13% ( 7 / 52) in 'Data.Singletons.Prelude.Maybe' Missing documentation for: SMaybe (src/Data/Singletons/Prelude/Instances.hs:27) maybe_ (src/Data/Singletons/Prelude/Maybe.hs:68) Maybe_ (src/Data/Singletons/Prelude/Maybe.hs:68) sMaybe_ (src/Data/Singletons/Prelude/Maybe.hs:68) IsJust (src/Data/Singletons/Prelude/Maybe.hs:79) sIsJust (src/Data/Singletons/Prelude/Maybe.hs:79) IsNothing (src/Data/Singletons/Prelude/Maybe.hs:79) sIsNothing (src/Data/Singletons/Prelude/Maybe.hs:79) FromJust (src/Data/Singletons/Prelude/Maybe.hs:79) sFromJust (src/Data/Singletons/Prelude/Maybe.hs:79) FromMaybe (src/Data/Singletons/Prelude/Maybe.hs:79) sFromMaybe (src/Data/Singletons/Prelude/Maybe.hs:79) ListToMaybe (src/Data/Singletons/Prelude/Maybe.hs:79) sListToMaybe (src/Data/Singletons/Prelude/Maybe.hs:79) MaybeToList (src/Data/Singletons/Prelude/Maybe.hs:79) sMaybeToList (src/Data/Singletons/Prelude/Maybe.hs:79) CatMaybes (src/Data/Singletons/Prelude/Maybe.hs:79) sCatMaybes (src/Data/Singletons/Prelude/Maybe.hs:79) MapMaybe (src/Data/Singletons/Prelude/Maybe.hs:79) sMapMaybe (src/Data/Singletons/Prelude/Maybe.hs:79) NothingSym0 (src/Data/Singletons/Prelude/Instances.hs:27) JustSym0 (src/Data/Singletons/Prelude/Instances.hs:27) JustSym1 (src/Data/Singletons/Prelude/Instances.hs:27) Maybe_Sym0 (src/Data/Singletons/Prelude/Maybe.hs:68) Maybe_Sym1 (src/Data/Singletons/Prelude/Maybe.hs:68) Maybe_Sym2 (src/Data/Singletons/Prelude/Maybe.hs:68) Maybe_Sym3 (src/Data/Singletons/Prelude/Maybe.hs:68) IsJustSym0 (src/Data/Singletons/Prelude/Maybe.hs:79) IsJustSym1 (src/Data/Singletons/Prelude/Maybe.hs:79) IsNothingSym0 (src/Data/Singletons/Prelude/Maybe.hs:79) IsNothingSym1 (src/Data/Singletons/Prelude/Maybe.hs:79) FromJustSym0 (src/Data/Singletons/Prelude/Maybe.hs:79) FromJustSym1 (src/Data/Singletons/Prelude/Maybe.hs:79) FromMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:79) FromMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:79) FromMaybeSym2 (src/Data/Singletons/Prelude/Maybe.hs:79) ListToMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:79) ListToMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:79) MaybeToListSym0 (src/Data/Singletons/Prelude/Maybe.hs:79) MaybeToListSym1 (src/Data/Singletons/Prelude/Maybe.hs:79) CatMaybesSym0 (src/Data/Singletons/Prelude/Maybe.hs:79) CatMaybesSym1 (src/Data/Singletons/Prelude/Maybe.hs:79) MapMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:79) MapMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:79) MapMaybeSym2 (src/Data/Singletons/Prelude/Maybe.hs:79) 9% ( 28 /322) in 'Data.Singletons.Prelude' Missing documentation for: SBool (src/Data/Singletons/Prelude/Instances.hs:27) SList (src/Data/Singletons/Prelude/Instances.hs:27) SMaybe (src/Data/Singletons/Prelude/Instances.hs:27) SEither (src/Data/Singletons/Prelude/Instances.hs:27) SOrdering (src/Data/Singletons/Prelude/Instances.hs:27) STuple0 (src/Data/Singletons/Prelude/Instances.hs:27) STuple2 (src/Data/Singletons/Prelude/Instances.hs:27) STuple3 (src/Data/Singletons/Prelude/Instances.hs:27) STuple4 (src/Data/Singletons/Prelude/Instances.hs:27) STuple5 (src/Data/Singletons/Prelude/Instances.hs:27) STuple6 (src/Data/Singletons/Prelude/Instances.hs:27) STuple7 (src/Data/Singletons/Prelude/Instances.hs:27) Not (src/Data/Singletons/Prelude/Bool.hs:72) sNot (src/Data/Singletons/Prelude/Bool.hs:72) :&& (src/Data/Singletons/Prelude/Bool.hs:72) :|| (src/Data/Singletons/Prelude/Bool.hs:72) %:&& (src/Data/Singletons/Prelude/Bool.hs:72) %:|| (src/Data/Singletons/Prelude/Bool.hs:72) Otherwise (src/Data/Singletons/Prelude/Bool.hs:72) sOtherwise (src/Data/Singletons/Prelude/Bool.hs:72) ErrorSym0 (src/Data/Singletons/TypeLits.hs:208) Id (src/Data/Singletons/Prelude/Base.hs:54) sId (src/Data/Singletons/Prelude/Base.hs:54) Const (src/Data/Singletons/Prelude/Base.hs:54) sConst (src/Data/Singletons/Prelude/Base.hs:54) :. (src/Data/Singletons/Prelude/Base.hs:54) %:. (src/Data/Singletons/Prelude/Base.hs:54) $ (src/Data/Singletons/Prelude/Base.hs:92) %$ (src/Data/Singletons/Prelude/Base.hs:103) $! (src/Data/Singletons/Prelude/Base.hs:107) %$! (src/Data/Singletons/Prelude/Base.hs:118) Flip (src/Data/Singletons/Prelude/Base.hs:54) sFlip (src/Data/Singletons/Prelude/Base.hs:54) AsTypeOf (src/Data/Singletons/Prelude/Base.hs:54) sAsTypeOf (src/Data/Singletons/Prelude/Base.hs:54) Seq (src/Data/Singletons/Prelude/Base.hs:54) sSeq (src/Data/Singletons/Prelude/Base.hs:54) Map (src/Data/Singletons/Prelude/Base.hs:54) sMap (src/Data/Singletons/Prelude/Base.hs:54) :++ (src/Data/Singletons/Prelude/Base.hs:54) %:++ (src/Data/Singletons/Prelude/Base.hs:54) Head (src/Data/Singletons/Prelude/List.hs:188) sHead (src/Data/Singletons/Prelude/List.hs:188) Last (src/Data/Singletons/Prelude/List.hs:188) sLast (src/Data/Singletons/Prelude/List.hs:188) Tail (src/Data/Singletons/Prelude/List.hs:188) sTail (src/Data/Singletons/Prelude/List.hs:188) Init (src/Data/Singletons/Prelude/List.hs:188) sInit (src/Data/Singletons/Prelude/List.hs:188) Null (src/Data/Singletons/Prelude/List.hs:188) sNull (src/Data/Singletons/Prelude/List.hs:188) Reverse (src/Data/Singletons/Prelude/List.hs:188) sReverse (src/Data/Singletons/Prelude/List.hs:188) Foldl (src/Data/Singletons/Prelude/List.hs:188) sFoldl (src/Data/Singletons/Prelude/List.hs:188) Foldl1 (src/Data/Singletons/Prelude/List.hs:188) sFoldl1 (src/Data/Singletons/Prelude/List.hs:188) Foldr (src/Data/Singletons/Prelude/Base.hs:54) sFoldr (src/Data/Singletons/Prelude/Base.hs:54) Foldr1 (src/Data/Singletons/Prelude/List.hs:188) sFoldr1 (src/Data/Singletons/Prelude/List.hs:188) And (src/Data/Singletons/Prelude/List.hs:188) sAnd (src/Data/Singletons/Prelude/List.hs:188) Or (src/Data/Singletons/Prelude/List.hs:188) sOr (src/Data/Singletons/Prelude/List.hs:188) Any_ (src/Data/Singletons/Prelude/List.hs:182) sAny_ (src/Data/Singletons/Prelude/List.hs:182) All (src/Data/Singletons/Prelude/List.hs:188) sAll (src/Data/Singletons/Prelude/List.hs:188) Concat (src/Data/Singletons/Prelude/List.hs:188) sConcat (src/Data/Singletons/Prelude/List.hs:188) ConcatMap (src/Data/Singletons/Prelude/List.hs:188) sConcatMap (src/Data/Singletons/Prelude/List.hs:188) Scanl (src/Data/Singletons/Prelude/List.hs:188) sScanl (src/Data/Singletons/Prelude/List.hs:188) Scanl1 (src/Data/Singletons/Prelude/List.hs:188) sScanl1 (src/Data/Singletons/Prelude/List.hs:188) Scanr (src/Data/Singletons/Prelude/List.hs:188) sScanr (src/Data/Singletons/Prelude/List.hs:188) Scanr1 (src/Data/Singletons/Prelude/List.hs:188) sScanr1 (src/Data/Singletons/Prelude/List.hs:188) Elem (src/Data/Singletons/Prelude/List.hs:188) sElem (src/Data/Singletons/Prelude/List.hs:188) NotElem (src/Data/Singletons/Prelude/List.hs:188) sNotElem (src/Data/Singletons/Prelude/List.hs:188) Zip (src/Data/Singletons/Prelude/List.hs:188) sZip (src/Data/Singletons/Prelude/List.hs:188) Zip3 (src/Data/Singletons/Prelude/List.hs:188) sZip3 (src/Data/Singletons/Prelude/List.hs:188) ZipWith (src/Data/Singletons/Prelude/List.hs:188) sZipWith (src/Data/Singletons/Prelude/List.hs:188) ZipWith3 (src/Data/Singletons/Prelude/List.hs:188) sZipWith3 (src/Data/Singletons/Prelude/List.hs:188) Unzip (src/Data/Singletons/Prelude/List.hs:188) sUnzip (src/Data/Singletons/Prelude/List.hs:188) Unzip3 (src/Data/Singletons/Prelude/List.hs:188) sUnzip3 (src/Data/Singletons/Prelude/List.hs:188) Maybe_ (src/Data/Singletons/Prelude/Maybe.hs:68) sMaybe_ (src/Data/Singletons/Prelude/Maybe.hs:68) Either_ (src/Data/Singletons/Prelude/Either.hs:64) sEither_ (src/Data/Singletons/Prelude/Either.hs:64) Fst (src/Data/Singletons/Prelude/Tuple.hs:56) sFst (src/Data/Singletons/Prelude/Tuple.hs:56) Snd (src/Data/Singletons/Prelude/Tuple.hs:56) sSnd (src/Data/Singletons/Prelude/Tuple.hs:56) Curry (src/Data/Singletons/Prelude/Tuple.hs:56) sCurry (src/Data/Singletons/Prelude/Tuple.hs:56) Uncurry (src/Data/Singletons/Prelude/Tuple.hs:56) sUncurry (src/Data/Singletons/Prelude/Tuple.hs:56) either_ (src/Data/Singletons/Prelude/Either.hs:64) maybe_ (src/Data/Singletons/Prelude/Maybe.hs:68) bool_ (src/Data/Singletons/Prelude/Bool.hs:66) any_ (src/Data/Singletons/Prelude/List.hs:182) FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:27) TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:27) NotSym0 (src/Data/Singletons/Prelude/Bool.hs:72) NotSym1 (src/Data/Singletons/Prelude/Bool.hs:72) :&&$ (src/Data/Singletons/Prelude/Bool.hs:72) :&&$$ (src/Data/Singletons/Prelude/Bool.hs:72) :&&$$$ (src/Data/Singletons/Prelude/Bool.hs:72) :||$ (src/Data/Singletons/Prelude/Bool.hs:72) :||$$ (src/Data/Singletons/Prelude/Bool.hs:72) :||$$$ (src/Data/Singletons/Prelude/Bool.hs:72) OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:72) NothingSym0 (src/Data/Singletons/Prelude/Instances.hs:27) JustSym0 (src/Data/Singletons/Prelude/Instances.hs:27) JustSym1 (src/Data/Singletons/Prelude/Instances.hs:27) Maybe_Sym0 (src/Data/Singletons/Prelude/Maybe.hs:68) Maybe_Sym1 (src/Data/Singletons/Prelude/Maybe.hs:68) Maybe_Sym2 (src/Data/Singletons/Prelude/Maybe.hs:68) Maybe_Sym3 (src/Data/Singletons/Prelude/Maybe.hs:68) LeftSym0 (src/Data/Singletons/Prelude/Instances.hs:27) LeftSym1 (src/Data/Singletons/Prelude/Instances.hs:27) RightSym0 (src/Data/Singletons/Prelude/Instances.hs:27) RightSym1 (src/Data/Singletons/Prelude/Instances.hs:27) Either_Sym0 (src/Data/Singletons/Prelude/Either.hs:64) Either_Sym1 (src/Data/Singletons/Prelude/Either.hs:64) Either_Sym2 (src/Data/Singletons/Prelude/Either.hs:64) Either_Sym3 (src/Data/Singletons/Prelude/Either.hs:64) Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:27) FstSym0 (src/Data/Singletons/Prelude/Tuple.hs:56) FstSym1 (src/Data/Singletons/Prelude/Tuple.hs:56) SndSym0 (src/Data/Singletons/Prelude/Tuple.hs:56) SndSym1 (src/Data/Singletons/Prelude/Tuple.hs:56) CurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:56) CurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:56) CurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:56) CurrySym3 (src/Data/Singletons/Prelude/Tuple.hs:56) UncurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:56) UncurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:56) UncurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:56) IdSym0 (src/Data/Singletons/Prelude/Base.hs:54) IdSym1 (src/Data/Singletons/Prelude/Base.hs:54) ConstSym0 (src/Data/Singletons/Prelude/Base.hs:54) ConstSym1 (src/Data/Singletons/Prelude/Base.hs:54) ConstSym2 (src/Data/Singletons/Prelude/Base.hs:54) :.$ (src/Data/Singletons/Prelude/Base.hs:54) :.$$ (src/Data/Singletons/Prelude/Base.hs:54) :.$$$ (src/Data/Singletons/Prelude/Base.hs:54) $$ (src/Data/Singletons/Prelude/Base.hs:95) $$$ (src/Data/Singletons/Prelude/Base.hs:98) $$$$ (src/Data/Singletons/Prelude/Base.hs:101) $!$ (src/Data/Singletons/Prelude/Base.hs:110) $!$$ (src/Data/Singletons/Prelude/Base.hs:113) $!$$$ (src/Data/Singletons/Prelude/Base.hs:116) FlipSym0 (src/Data/Singletons/Prelude/Base.hs:54) FlipSym1 (src/Data/Singletons/Prelude/Base.hs:54) FlipSym2 (src/Data/Singletons/Prelude/Base.hs:54) AsTypeOfSym0 (src/Data/Singletons/Prelude/Base.hs:54) AsTypeOfSym1 (src/Data/Singletons/Prelude/Base.hs:54) AsTypeOfSym2 (src/Data/Singletons/Prelude/Base.hs:54) SeqSym0 (src/Data/Singletons/Prelude/Base.hs:54) SeqSym1 (src/Data/Singletons/Prelude/Base.hs:54) SeqSym2 (src/Data/Singletons/Prelude/Base.hs:54) :$ (src/Data/Singletons/Prelude/Instances.hs:27) :$$ (src/Data/Singletons/Prelude/Instances.hs:27) :$$$ (src/Data/Singletons/Prelude/Instances.hs:27) NilSym0 (src/Data/Singletons/Prelude/Instances.hs:27) MapSym0 (src/Data/Singletons/Prelude/Base.hs:54) MapSym1 (src/Data/Singletons/Prelude/Base.hs:54) MapSym2 (src/Data/Singletons/Prelude/Base.hs:54) ReverseSym0 (src/Data/Singletons/Prelude/List.hs:188) ReverseSym1 (src/Data/Singletons/Prelude/List.hs:188) :++$$ (src/Data/Singletons/Prelude/Base.hs:54) :++$ (src/Data/Singletons/Prelude/Base.hs:54) HeadSym0 (src/Data/Singletons/Prelude/List.hs:188) HeadSym1 (src/Data/Singletons/Prelude/List.hs:188) LastSym0 (src/Data/Singletons/Prelude/List.hs:188) LastSym1 (src/Data/Singletons/Prelude/List.hs:188) TailSym0 (src/Data/Singletons/Prelude/List.hs:188) TailSym1 (src/Data/Singletons/Prelude/List.hs:188) InitSym0 (src/Data/Singletons/Prelude/List.hs:188) InitSym1 (src/Data/Singletons/Prelude/List.hs:188) NullSym0 (src/Data/Singletons/Prelude/List.hs:188) NullSym1 (src/Data/Singletons/Prelude/List.hs:188) FoldlSym0 (src/Data/Singletons/Prelude/List.hs:188) FoldlSym1 (src/Data/Singletons/Prelude/List.hs:188) FoldlSym2 (src/Data/Singletons/Prelude/List.hs:188) FoldlSym3 (src/Data/Singletons/Prelude/List.hs:188) Foldl1Sym0 (src/Data/Singletons/Prelude/List.hs:188) Foldl1Sym1 (src/Data/Singletons/Prelude/List.hs:188) Foldl1Sym2 (src/Data/Singletons/Prelude/List.hs:188) FoldrSym0 (src/Data/Singletons/Prelude/Base.hs:54) FoldrSym1 (src/Data/Singletons/Prelude/Base.hs:54) FoldrSym2 (src/Data/Singletons/Prelude/Base.hs:54) FoldrSym3 (src/Data/Singletons/Prelude/Base.hs:54) Foldr1Sym0 (src/Data/Singletons/Prelude/List.hs:188) Foldr1Sym1 (src/Data/Singletons/Prelude/List.hs:188) Foldr1Sym2 (src/Data/Singletons/Prelude/List.hs:188) ConcatSym0 (src/Data/Singletons/Prelude/List.hs:188) ConcatSym1 (src/Data/Singletons/Prelude/List.hs:188) ConcatMapSym0 (src/Data/Singletons/Prelude/List.hs:188) ConcatMapSym1 (src/Data/Singletons/Prelude/List.hs:188) ConcatMapSym2 (src/Data/Singletons/Prelude/List.hs:188) AndSym0 (src/Data/Singletons/Prelude/List.hs:188) AndSym1 (src/Data/Singletons/Prelude/List.hs:188) OrSym0 (src/Data/Singletons/Prelude/List.hs:188) OrSym1 (src/Data/Singletons/Prelude/List.hs:188) Any_Sym0 (src/Data/Singletons/Prelude/List.hs:182) Any_Sym1 (src/Data/Singletons/Prelude/List.hs:182) Any_Sym2 (src/Data/Singletons/Prelude/List.hs:182) AllSym0 (src/Data/Singletons/Prelude/List.hs:188) AllSym1 (src/Data/Singletons/Prelude/List.hs:188) AllSym2 (src/Data/Singletons/Prelude/List.hs:188) ScanlSym0 (src/Data/Singletons/Prelude/List.hs:188) ScanlSym1 (src/Data/Singletons/Prelude/List.hs:188) ScanlSym2 (src/Data/Singletons/Prelude/List.hs:188) ScanlSym3 (src/Data/Singletons/Prelude/List.hs:188) Scanl1Sym0 (src/Data/Singletons/Prelude/List.hs:188) Scanl1Sym1 (src/Data/Singletons/Prelude/List.hs:188) Scanl1Sym2 (src/Data/Singletons/Prelude/List.hs:188) ScanrSym0 (src/Data/Singletons/Prelude/List.hs:188) ScanrSym1 (src/Data/Singletons/Prelude/List.hs:188) ScanrSym2 (src/Data/Singletons/Prelude/List.hs:188) ScanrSym3 (src/Data/Singletons/Prelude/List.hs:188) Scanr1Sym0 (src/Data/Singletons/Prelude/List.hs:188) Scanr1Sym1 (src/Data/Singletons/Prelude/List.hs:188) Scanr1Sym2 (src/Data/Singletons/Prelude/List.hs:188) ElemSym0 (src/Data/Singletons/Prelude/List.hs:188) ElemSym1 (src/Data/Singletons/Prelude/List.hs:188) ElemSym2 (src/Data/Singletons/Prelude/List.hs:188) NotElemSym0 (src/Data/Singletons/Prelude/List.hs:188) NotElemSym1 (src/Data/Singletons/Prelude/List.hs:188) NotElemSym2 (src/Data/Singletons/Prelude/List.hs:188) ZipSym0 (src/Data/Singletons/Prelude/List.hs:188) ZipSym1 (src/Data/Singletons/Prelude/List.hs:188) ZipSym2 (src/Data/Singletons/Prelude/List.hs:188) Zip3Sym0 (src/Data/Singletons/Prelude/List.hs:188) Zip3Sym1 (src/Data/Singletons/Prelude/List.hs:188) Zip3Sym2 (src/Data/Singletons/Prelude/List.hs:188) Zip3Sym3 (src/Data/Singletons/Prelude/List.hs:188) ZipWithSym0 (src/Data/Singletons/Prelude/List.hs:188) ZipWithSym1 (src/Data/Singletons/Prelude/List.hs:188) ZipWithSym2 (src/Data/Singletons/Prelude/List.hs:188) ZipWithSym3 (src/Data/Singletons/Prelude/List.hs:188) ZipWith3Sym0 (src/Data/Singletons/Prelude/List.hs:188) ZipWith3Sym1 (src/Data/Singletons/Prelude/List.hs:188) ZipWith3Sym2 (src/Data/Singletons/Prelude/List.hs:188) ZipWith3Sym3 (src/Data/Singletons/Prelude/List.hs:188) UnzipSym0 (src/Data/Singletons/Prelude/List.hs:188) UnzipSym1 (src/Data/Singletons/Prelude/List.hs:188) 6% ( 27 /463) in 'Data.Promotion.Prelude.List' Missing documentation for: :++ (src/Data/Singletons/Prelude/Base.hs:54) Head (src/Data/Singletons/Prelude/List.hs:188) Last (src/Data/Singletons/Prelude/List.hs:188) Tail (src/Data/Singletons/Prelude/List.hs:188) Init (src/Data/Singletons/Prelude/List.hs:188) Null (src/Data/Singletons/Prelude/List.hs:188) Length (src/Data/Promotion/Prelude/List.hs:242) Map (src/Data/Singletons/Prelude/Base.hs:54) Reverse (src/Data/Singletons/Prelude/List.hs:188) Intersperse (src/Data/Singletons/Prelude/List.hs:188) Intercalate (src/Data/Singletons/Prelude/List.hs:188) Transpose (src/Data/Promotion/Prelude/List.hs:242) Subsequences (src/Data/Singletons/Prelude/List.hs:188) Permutations (src/Data/Singletons/Prelude/List.hs:188) Foldl (src/Data/Singletons/Prelude/List.hs:188) Foldl' (src/Data/Singletons/Prelude/List.hs:188) Foldl1 (src/Data/Singletons/Prelude/List.hs:188) Foldl1' (src/Data/Singletons/Prelude/List.hs:188) Foldr (src/Data/Singletons/Prelude/Base.hs:54) Foldr1 (src/Data/Singletons/Prelude/List.hs:188) Concat (src/Data/Singletons/Prelude/List.hs:188) ConcatMap (src/Data/Singletons/Prelude/List.hs:188) And (src/Data/Singletons/Prelude/List.hs:188) Or (src/Data/Singletons/Prelude/List.hs:188) Any_ (src/Data/Singletons/Prelude/List.hs:182) All (src/Data/Singletons/Prelude/List.hs:188) Sum (src/Data/Promotion/Prelude/List.hs:242) Product (src/Data/Promotion/Prelude/List.hs:242) Maximum (src/Data/Promotion/Prelude/List.hs:242) Minimum (src/Data/Promotion/Prelude/List.hs:242) any_ (src/Data/Singletons/Prelude/List.hs:182) Scanl (src/Data/Singletons/Prelude/List.hs:188) Scanl1 (src/Data/Singletons/Prelude/List.hs:188) Scanr (src/Data/Singletons/Prelude/List.hs:188) Scanr1 (src/Data/Singletons/Prelude/List.hs:188) MapAccumL (src/Data/Singletons/Prelude/List.hs:188) MapAccumR (src/Data/Singletons/Prelude/List.hs:188) Replicate (src/Data/Promotion/Prelude/List.hs:242) Unfoldr (src/Data/Singletons/Prelude/List.hs:188) Take (src/Data/Promotion/Prelude/List.hs:242) Drop (src/Data/Promotion/Prelude/List.hs:242) SplitAt (src/Data/Promotion/Prelude/List.hs:242) TakeWhile (src/Data/Promotion/Prelude/List.hs:242) DropWhile (src/Data/Promotion/Prelude/List.hs:242) DropWhileEnd (src/Data/Promotion/Prelude/List.hs:242) Span (src/Data/Promotion/Prelude/List.hs:242) Break (src/Data/Promotion/Prelude/List.hs:242) StripPrefix (src/Data/Promotion/Prelude/List.hs:242) Group (src/Data/Promotion/Prelude/List.hs:242) Inits (src/Data/Singletons/Prelude/List.hs:188) Tails (src/Data/Singletons/Prelude/List.hs:188) IsPrefixOf (src/Data/Singletons/Prelude/List.hs:188) IsSuffixOf (src/Data/Singletons/Prelude/List.hs:188) IsInfixOf (src/Data/Singletons/Prelude/List.hs:188) Elem (src/Data/Singletons/Prelude/List.hs:188) NotElem (src/Data/Singletons/Prelude/List.hs:188) Lookup (src/Data/Promotion/Prelude/List.hs:242) Find (src/Data/Promotion/Prelude/List.hs:242) Filter (src/Data/Promotion/Prelude/List.hs:242) Partition (src/Data/Promotion/Prelude/List.hs:242) :!! (src/Data/Promotion/Prelude/List.hs:242) ElemIndex (src/Data/Promotion/Prelude/List.hs:242) ElemIndices (src/Data/Promotion/Prelude/List.hs:242) FindIndex (src/Data/Promotion/Prelude/List.hs:242) FindIndices (src/Data/Promotion/Prelude/List.hs:242) Zip (src/Data/Singletons/Prelude/List.hs:188) Zip3 (src/Data/Singletons/Prelude/List.hs:188) Zip4 (src/Data/Promotion/Prelude/List.hs:242) Zip5 (src/Data/Promotion/Prelude/List.hs:242) Zip6 (src/Data/Promotion/Prelude/List.hs:242) Zip7 (src/Data/Promotion/Prelude/List.hs:242) ZipWith (src/Data/Singletons/Prelude/List.hs:188) ZipWith3 (src/Data/Singletons/Prelude/List.hs:188) ZipWith4 (src/Data/Promotion/Prelude/List.hs:242) ZipWith5 (src/Data/Promotion/Prelude/List.hs:242) ZipWith6 (src/Data/Promotion/Prelude/List.hs:242) ZipWith7 (src/Data/Promotion/Prelude/List.hs:242) Unzip (src/Data/Singletons/Prelude/List.hs:188) Unzip3 (src/Data/Singletons/Prelude/List.hs:188) Unzip4 (src/Data/Singletons/Prelude/List.hs:188) Unzip5 (src/Data/Singletons/Prelude/List.hs:188) Unzip6 (src/Data/Singletons/Prelude/List.hs:188) Unzip7 (src/Data/Singletons/Prelude/List.hs:188) Nub (src/Data/Promotion/Prelude/List.hs:242) Delete (src/Data/Singletons/Prelude/List.hs:188) :\\ (src/Data/Singletons/Prelude/List.hs:188) Union (src/Data/Promotion/Prelude/List.hs:242) Intersect (src/Data/Promotion/Prelude/List.hs:242) Sort (src/Data/Promotion/Prelude/List.hs:242) Insert (src/Data/Promotion/Prelude/List.hs:242) NubBy (src/Data/Promotion/Prelude/List.hs:242) DeleteBy (src/Data/Singletons/Prelude/List.hs:188) DeleteFirstsBy (src/Data/Singletons/Prelude/List.hs:188) UnionBy (src/Data/Promotion/Prelude/List.hs:242) GroupBy (src/Data/Promotion/Prelude/List.hs:242) IntersectBy (src/Data/Promotion/Prelude/List.hs:242) SortBy (src/Data/Singletons/Prelude/List.hs:188) InsertBy (src/Data/Singletons/Prelude/List.hs:188) MaximumBy (src/Data/Singletons/Prelude/List.hs:188) MinimumBy (src/Data/Singletons/Prelude/List.hs:188) GenericLength (src/Data/Promotion/Prelude/List.hs:242) GenericTake (src/Data/Promotion/Prelude/List.hs:242) GenericDrop (src/Data/Promotion/Prelude/List.hs:242) GenericSplitAt (src/Data/Promotion/Prelude/List.hs:242) GenericIndex (src/Data/Promotion/Prelude/List.hs:242) GenericReplicate (src/Data/Promotion/Prelude/List.hs:242) NilSym0 (src/Data/Singletons/Prelude/Instances.hs:27) :$ (src/Data/Singletons/Prelude/Instances.hs:27) :$$ (src/Data/Singletons/Prelude/Instances.hs:27) :$$$ (src/Data/Singletons/Prelude/Instances.hs:27) :++$$ (src/Data/Singletons/Prelude/Base.hs:54) :++$ (src/Data/Singletons/Prelude/Base.hs:54) HeadSym0 (src/Data/Singletons/Prelude/List.hs:188) HeadSym1 (src/Data/Singletons/Prelude/List.hs:188) LastSym0 (src/Data/Singletons/Prelude/List.hs:188) LastSym1 (src/Data/Singletons/Prelude/List.hs:188) TailSym0 (src/Data/Singletons/Prelude/List.hs:188) TailSym1 (src/Data/Singletons/Prelude/List.hs:188) InitSym0 (src/Data/Singletons/Prelude/List.hs:188) InitSym1 (src/Data/Singletons/Prelude/List.hs:188) NullSym0 (src/Data/Singletons/Prelude/List.hs:188) NullSym1 (src/Data/Singletons/Prelude/List.hs:188) MapSym0 (src/Data/Singletons/Prelude/Base.hs:54) MapSym1 (src/Data/Singletons/Prelude/Base.hs:54) MapSym2 (src/Data/Singletons/Prelude/Base.hs:54) ReverseSym0 (src/Data/Singletons/Prelude/List.hs:188) ReverseSym1 (src/Data/Singletons/Prelude/List.hs:188) IntersperseSym0 (src/Data/Singletons/Prelude/List.hs:188) IntersperseSym1 (src/Data/Singletons/Prelude/List.hs:188) IntersperseSym2 (src/Data/Singletons/Prelude/List.hs:188) IntercalateSym0 (src/Data/Singletons/Prelude/List.hs:188) IntercalateSym1 (src/Data/Singletons/Prelude/List.hs:188) IntercalateSym2 (src/Data/Singletons/Prelude/List.hs:188) SubsequencesSym0 (src/Data/Singletons/Prelude/List.hs:188) SubsequencesSym1 (src/Data/Singletons/Prelude/List.hs:188) PermutationsSym0 (src/Data/Singletons/Prelude/List.hs:188) PermutationsSym1 (src/Data/Singletons/Prelude/List.hs:188) FoldlSym0 (src/Data/Singletons/Prelude/List.hs:188) FoldlSym1 (src/Data/Singletons/Prelude/List.hs:188) FoldlSym2 (src/Data/Singletons/Prelude/List.hs:188) FoldlSym3 (src/Data/Singletons/Prelude/List.hs:188) Foldl'Sym0 (src/Data/Singletons/Prelude/List.hs:188) Foldl'Sym1 (src/Data/Singletons/Prelude/List.hs:188) Foldl'Sym2 (src/Data/Singletons/Prelude/List.hs:188) Foldl'Sym3 (src/Data/Singletons/Prelude/List.hs:188) Foldl1Sym0 (src/Data/Singletons/Prelude/List.hs:188) Foldl1Sym1 (src/Data/Singletons/Prelude/List.hs:188) Foldl1Sym2 (src/Data/Singletons/Prelude/List.hs:188) Foldl1'Sym0 (src/Data/Singletons/Prelude/List.hs:188) Foldl1'Sym1 (src/Data/Singletons/Prelude/List.hs:188) Foldl1'Sym2 (src/Data/Singletons/Prelude/List.hs:188) FoldrSym0 (src/Data/Singletons/Prelude/Base.hs:54) FoldrSym1 (src/Data/Singletons/Prelude/Base.hs:54) FoldrSym2 (src/Data/Singletons/Prelude/Base.hs:54) FoldrSym3 (src/Data/Singletons/Prelude/Base.hs:54) Foldr1Sym0 (src/Data/Singletons/Prelude/List.hs:188) Foldr1Sym1 (src/Data/Singletons/Prelude/List.hs:188) Foldr1Sym2 (src/Data/Singletons/Prelude/List.hs:188) ConcatSym0 (src/Data/Singletons/Prelude/List.hs:188) ConcatSym1 (src/Data/Singletons/Prelude/List.hs:188) ConcatMapSym0 (src/Data/Singletons/Prelude/List.hs:188) ConcatMapSym1 (src/Data/Singletons/Prelude/List.hs:188) ConcatMapSym2 (src/Data/Singletons/Prelude/List.hs:188) AndSym0 (src/Data/Singletons/Prelude/List.hs:188) AndSym1 (src/Data/Singletons/Prelude/List.hs:188) OrSym0 (src/Data/Singletons/Prelude/List.hs:188) OrSym1 (src/Data/Singletons/Prelude/List.hs:188) Any_Sym0 (src/Data/Singletons/Prelude/List.hs:182) Any_Sym1 (src/Data/Singletons/Prelude/List.hs:182) Any_Sym2 (src/Data/Singletons/Prelude/List.hs:182) AllSym0 (src/Data/Singletons/Prelude/List.hs:188) AllSym1 (src/Data/Singletons/Prelude/List.hs:188) AllSym2 (src/Data/Singletons/Prelude/List.hs:188) ScanlSym0 (src/Data/Singletons/Prelude/List.hs:188) ScanlSym1 (src/Data/Singletons/Prelude/List.hs:188) ScanlSym2 (src/Data/Singletons/Prelude/List.hs:188) ScanlSym3 (src/Data/Singletons/Prelude/List.hs:188) Scanl1Sym0 (src/Data/Singletons/Prelude/List.hs:188) Scanl1Sym1 (src/Data/Singletons/Prelude/List.hs:188) Scanl1Sym2 (src/Data/Singletons/Prelude/List.hs:188) ScanrSym0 (src/Data/Singletons/Prelude/List.hs:188) ScanrSym1 (src/Data/Singletons/Prelude/List.hs:188) ScanrSym2 (src/Data/Singletons/Prelude/List.hs:188) ScanrSym3 (src/Data/Singletons/Prelude/List.hs:188) Scanr1Sym0 (src/Data/Singletons/Prelude/List.hs:188) Scanr1Sym1 (src/Data/Singletons/Prelude/List.hs:188) Scanr1Sym2 (src/Data/Singletons/Prelude/List.hs:188) MapAccumLSym0 (src/Data/Singletons/Prelude/List.hs:188) MapAccumLSym1 (src/Data/Singletons/Prelude/List.hs:188) MapAccumLSym2 (src/Data/Singletons/Prelude/List.hs:188) MapAccumLSym3 (src/Data/Singletons/Prelude/List.hs:188) MapAccumRSym0 (src/Data/Singletons/Prelude/List.hs:188) MapAccumRSym1 (src/Data/Singletons/Prelude/List.hs:188) MapAccumRSym2 (src/Data/Singletons/Prelude/List.hs:188) MapAccumRSym3 (src/Data/Singletons/Prelude/List.hs:188) UnfoldrSym0 (src/Data/Singletons/Prelude/List.hs:188) UnfoldrSym1 (src/Data/Singletons/Prelude/List.hs:188) UnfoldrSym2 (src/Data/Singletons/Prelude/List.hs:188) InitsSym0 (src/Data/Singletons/Prelude/List.hs:188) InitsSym1 (src/Data/Singletons/Prelude/List.hs:188) TailsSym0 (src/Data/Singletons/Prelude/List.hs:188) TailsSym1 (src/Data/Singletons/Prelude/List.hs:188) IsPrefixOfSym0 (src/Data/Singletons/Prelude/List.hs:188) IsPrefixOfSym1 (src/Data/Singletons/Prelude/List.hs:188) IsPrefixOfSym2 (src/Data/Singletons/Prelude/List.hs:188) IsSuffixOfSym0 (src/Data/Singletons/Prelude/List.hs:188) IsSuffixOfSym1 (src/Data/Singletons/Prelude/List.hs:188) IsSuffixOfSym2 (src/Data/Singletons/Prelude/List.hs:188) IsInfixOfSym0 (src/Data/Singletons/Prelude/List.hs:188) IsInfixOfSym1 (src/Data/Singletons/Prelude/List.hs:188) IsInfixOfSym2 (src/Data/Singletons/Prelude/List.hs:188) ElemSym0 (src/Data/Singletons/Prelude/List.hs:188) ElemSym1 (src/Data/Singletons/Prelude/List.hs:188) ElemSym2 (src/Data/Singletons/Prelude/List.hs:188) NotElemSym0 (src/Data/Singletons/Prelude/List.hs:188) NotElemSym1 (src/Data/Singletons/Prelude/List.hs:188) NotElemSym2 (src/Data/Singletons/Prelude/List.hs:188) ZipSym0 (src/Data/Singletons/Prelude/List.hs:188) ZipSym1 (src/Data/Singletons/Prelude/List.hs:188) ZipSym2 (src/Data/Singletons/Prelude/List.hs:188) Zip3Sym0 (src/Data/Singletons/Prelude/List.hs:188) Zip3Sym1 (src/Data/Singletons/Prelude/List.hs:188) Zip3Sym2 (src/Data/Singletons/Prelude/List.hs:188) Zip3Sym3 (src/Data/Singletons/Prelude/List.hs:188) ZipWithSym0 (src/Data/Singletons/Prelude/List.hs:188) ZipWithSym1 (src/Data/Singletons/Prelude/List.hs:188) ZipWithSym2 (src/Data/Singletons/Prelude/List.hs:188) ZipWithSym3 (src/Data/Singletons/Prelude/List.hs:188) ZipWith3Sym0 (src/Data/Singletons/Prelude/List.hs:188) ZipWith3Sym1 (src/Data/Singletons/Prelude/List.hs:188) ZipWith3Sym2 (src/Data/Singletons/Prelude/List.hs:188) ZipWith3Sym3 (src/Data/Singletons/Prelude/List.hs:188) UnzipSym0 (src/Data/Singletons/Prelude/List.hs:188) UnzipSym1 (src/Data/Singletons/Prelude/List.hs:188) Unzip3Sym0 (src/Data/Singletons/Prelude/List.hs:188) Unzip3Sym1 (src/Data/Singletons/Prelude/List.hs:188) Unzip4Sym0 (src/Data/Singletons/Prelude/List.hs:188) Unzip4Sym1 (src/Data/Singletons/Prelude/List.hs:188) Unzip5Sym0 (src/Data/Singletons/Prelude/List.hs:188) Unzip5Sym1 (src/Data/Singletons/Prelude/List.hs:188) Unzip6Sym0 (src/Data/Singletons/Prelude/List.hs:188) Unzip6Sym1 (src/Data/Singletons/Prelude/List.hs:188) Unzip7Sym0 (src/Data/Singletons/Prelude/List.hs:188) Unzip7Sym1 (src/Data/Singletons/Prelude/List.hs:188) DeleteSym0 (src/Data/Singletons/Prelude/List.hs:188) DeleteSym1 (src/Data/Singletons/Prelude/List.hs:188) DeleteSym2 (src/Data/Singletons/Prelude/List.hs:188) :\\$ (src/Data/Singletons/Prelude/List.hs:188) :\\$$ (src/Data/Singletons/Prelude/List.hs:188) :\\$$$ (src/Data/Singletons/Prelude/List.hs:188) IntersectSym0 (src/Data/Promotion/Prelude/List.hs:242) IntersectSym1 (src/Data/Promotion/Prelude/List.hs:242) IntersectSym2 (src/Data/Promotion/Prelude/List.hs:242) InsertSym0 (src/Data/Promotion/Prelude/List.hs:242) InsertSym1 (src/Data/Promotion/Prelude/List.hs:242) InsertSym2 (src/Data/Promotion/Prelude/List.hs:242) SortSym0 (src/Data/Promotion/Prelude/List.hs:242) SortSym1 (src/Data/Promotion/Prelude/List.hs:242) DeleteBySym0 (src/Data/Singletons/Prelude/List.hs:188) DeleteBySym1 (src/Data/Singletons/Prelude/List.hs:188) DeleteBySym2 (src/Data/Singletons/Prelude/List.hs:188) DeleteBySym3 (src/Data/Singletons/Prelude/List.hs:188) DeleteFirstsBySym0 (src/Data/Singletons/Prelude/List.hs:188) DeleteFirstsBySym1 (src/Data/Singletons/Prelude/List.hs:188) DeleteFirstsBySym2 (src/Data/Singletons/Prelude/List.hs:188) DeleteFirstsBySym3 (src/Data/Singletons/Prelude/List.hs:188) IntersectBySym0 (src/Data/Promotion/Prelude/List.hs:242) IntersectBySym1 (src/Data/Promotion/Prelude/List.hs:242) IntersectBySym2 (src/Data/Promotion/Prelude/List.hs:242) SortBySym0 (src/Data/Singletons/Prelude/List.hs:188) SortBySym1 (src/Data/Singletons/Prelude/List.hs:188) SortBySym2 (src/Data/Singletons/Prelude/List.hs:188) InsertBySym0 (src/Data/Singletons/Prelude/List.hs:188) InsertBySym1 (src/Data/Singletons/Prelude/List.hs:188) InsertBySym2 (src/Data/Singletons/Prelude/List.hs:188) InsertBySym3 (src/Data/Singletons/Prelude/List.hs:188) MaximumBySym0 (src/Data/Singletons/Prelude/List.hs:188) MaximumBySym1 (src/Data/Singletons/Prelude/List.hs:188) MaximumBySym2 (src/Data/Singletons/Prelude/List.hs:188) MinimumBySym0 (src/Data/Singletons/Prelude/List.hs:188) MinimumBySym1 (src/Data/Singletons/Prelude/List.hs:188) MinimumBySym2 (src/Data/Singletons/Prelude/List.hs:188) LengthSym0 (src/Data/Promotion/Prelude/List.hs:242) LengthSym1 (src/Data/Promotion/Prelude/List.hs:242) SumSym0 (src/Data/Promotion/Prelude/List.hs:242) SumSym1 (src/Data/Promotion/Prelude/List.hs:242) ProductSym0 (src/Data/Promotion/Prelude/List.hs:242) ProductSym1 (src/Data/Promotion/Prelude/List.hs:242) ReplicateSym0 (src/Data/Promotion/Prelude/List.hs:242) ReplicateSym1 (src/Data/Promotion/Prelude/List.hs:242) ReplicateSym2 (src/Data/Promotion/Prelude/List.hs:242) TransposeSym0 (src/Data/Promotion/Prelude/List.hs:242) TransposeSym1 (src/Data/Promotion/Prelude/List.hs:242) TakeSym0 (src/Data/Promotion/Prelude/List.hs:242) TakeSym1 (src/Data/Promotion/Prelude/List.hs:242) TakeSym2 (src/Data/Promotion/Prelude/List.hs:242) DropSym0 (src/Data/Promotion/Prelude/List.hs:242) DropSym1 (src/Data/Promotion/Prelude/List.hs:242) DropSym2 (src/Data/Promotion/Prelude/List.hs:242) SplitAtSym0 (src/Data/Promotion/Prelude/List.hs:242) SplitAtSym1 (src/Data/Promotion/Prelude/List.hs:242) SplitAtSym2 (src/Data/Promotion/Prelude/List.hs:242) TakeWhileSym0 (src/Data/Promotion/Prelude/List.hs:242) TakeWhileSym1 (src/Data/Promotion/Prelude/List.hs:242) TakeWhileSym2 (src/Data/Promotion/Prelude/List.hs:242) DropWhileSym0 (src/Data/Promotion/Prelude/List.hs:242) DropWhileSym1 (src/Data/Promotion/Prelude/List.hs:242) DropWhileSym2 (src/Data/Promotion/Prelude/List.hs:242) DropWhileEndSym0 (src/Data/Promotion/Prelude/List.hs:242) DropWhileEndSym1 (src/Data/Promotion/Prelude/List.hs:242) DropWhileEndSym2 (src/Data/Promotion/Prelude/List.hs:242) SpanSym0 (src/Data/Promotion/Prelude/List.hs:242) SpanSym1 (src/Data/Promotion/Prelude/List.hs:242) SpanSym2 (src/Data/Promotion/Prelude/List.hs:242) BreakSym0 (src/Data/Promotion/Prelude/List.hs:242) BreakSym1 (src/Data/Promotion/Prelude/List.hs:242) BreakSym2 (src/Data/Promotion/Prelude/List.hs:242) StripPrefixSym0 (src/Data/Promotion/Prelude/List.hs:242) StripPrefixSym1 (src/Data/Promotion/Prelude/List.hs:242) MaximumSym0 (src/Data/Promotion/Prelude/List.hs:242) MaximumSym1 (src/Data/Promotion/Prelude/List.hs:242) MinimumSym0 (src/Data/Promotion/Prelude/List.hs:242) MinimumSym1 (src/Data/Promotion/Prelude/List.hs:242) GroupSym0 (src/Data/Promotion/Prelude/List.hs:242) GroupSym1 (src/Data/Promotion/Prelude/List.hs:242) GroupBySym0 (src/Data/Promotion/Prelude/List.hs:242) GroupBySym1 (src/Data/Promotion/Prelude/List.hs:242) GroupBySym2 (src/Data/Promotion/Prelude/List.hs:242) LookupSym0 (src/Data/Promotion/Prelude/List.hs:242) LookupSym1 (src/Data/Promotion/Prelude/List.hs:242) LookupSym2 (src/Data/Promotion/Prelude/List.hs:242) FindSym0 (src/Data/Promotion/Prelude/List.hs:242) FindSym1 (src/Data/Promotion/Prelude/List.hs:242) FindSym2 (src/Data/Promotion/Prelude/List.hs:242) FilterSym0 (src/Data/Promotion/Prelude/List.hs:242) FilterSym1 (src/Data/Promotion/Prelude/List.hs:242) FilterSym2 (src/Data/Promotion/Prelude/List.hs:242) PartitionSym0 (src/Data/Promotion/Prelude/List.hs:242) PartitionSym1 (src/Data/Promotion/Prelude/List.hs:242) PartitionSym2 (src/Data/Promotion/Prelude/List.hs:242) :!!$ (src/Data/Promotion/Prelude/List.hs:242) :!!$$ (src/Data/Promotion/Prelude/List.hs:242) :!!$$$ (src/Data/Promotion/Prelude/List.hs:242) ElemIndexSym0 (src/Data/Promotion/Prelude/List.hs:242) ElemIndexSym1 (src/Data/Promotion/Prelude/List.hs:242) ElemIndexSym2 (src/Data/Promotion/Prelude/List.hs:242) ElemIndicesSym0 (src/Data/Promotion/Prelude/List.hs:242) ElemIndicesSym1 (src/Data/Promotion/Prelude/List.hs:242) ElemIndicesSym2 (src/Data/Promotion/Prelude/List.hs:242) FindIndexSym0 (src/Data/Promotion/Prelude/List.hs:242) FindIndexSym1 (src/Data/Promotion/Prelude/List.hs:242) FindIndexSym2 (src/Data/Promotion/Prelude/List.hs:242) FindIndicesSym0 (src/Data/Promotion/Prelude/List.hs:242) FindIndicesSym1 (src/Data/Promotion/Prelude/List.hs:242) FindIndicesSym2 (src/Data/Promotion/Prelude/List.hs:242) Zip4Sym0 (src/Data/Promotion/Prelude/List.hs:242) Zip4Sym1 (src/Data/Promotion/Prelude/List.hs:242) Zip4Sym2 (src/Data/Promotion/Prelude/List.hs:242) Zip4Sym3 (src/Data/Promotion/Prelude/List.hs:242) Zip4Sym4 (src/Data/Promotion/Prelude/List.hs:242) Zip5Sym0 (src/Data/Promotion/Prelude/List.hs:242) Zip5Sym1 (src/Data/Promotion/Prelude/List.hs:242) Zip5Sym2 (src/Data/Promotion/Prelude/List.hs:242) Zip5Sym3 (src/Data/Promotion/Prelude/List.hs:242) Zip5Sym4 (src/Data/Promotion/Prelude/List.hs:242) Zip5Sym5 (src/Data/Promotion/Prelude/List.hs:242) Zip6Sym0 (src/Data/Promotion/Prelude/List.hs:242) Zip6Sym1 (src/Data/Promotion/Prelude/List.hs:242) Zip6Sym2 (src/Data/Promotion/Prelude/List.hs:242) Zip6Sym3 (src/Data/Promotion/Prelude/List.hs:242) Zip6Sym4 (src/Data/Promotion/Prelude/List.hs:242) Zip6Sym5 (src/Data/Promotion/Prelude/List.hs:242) Zip6Sym6 (src/Data/Promotion/Prelude/List.hs:242) Zip7Sym0 (src/Data/Promotion/Prelude/List.hs:242) Zip7Sym1 (src/Data/Promotion/Prelude/List.hs:242) Zip7Sym2 (src/Data/Promotion/Prelude/List.hs:242) Zip7Sym3 (src/Data/Promotion/Prelude/List.hs:242) Zip7Sym4 (src/Data/Promotion/Prelude/List.hs:242) Zip7Sym5 (src/Data/Promotion/Prelude/List.hs:242) Zip7Sym6 (src/Data/Promotion/Prelude/List.hs:242) Zip7Sym7 (src/Data/Promotion/Prelude/List.hs:242) ZipWith4Sym0 (src/Data/Promotion/Prelude/List.hs:242) ZipWith4Sym1 (src/Data/Promotion/Prelude/List.hs:242) ZipWith4Sym2 (src/Data/Promotion/Prelude/List.hs:242) ZipWith4Sym3 (src/Data/Promotion/Prelude/List.hs:242) ZipWith4Sym4 (src/Data/Promotion/Prelude/List.hs:242) ZipWith5Sym0 (src/Data/Promotion/Prelude/List.hs:242) ZipWith5Sym1 (src/Data/Promotion/Prelude/List.hs:242) ZipWith5Sym2 (src/Data/Promotion/Prelude/List.hs:242) ZipWith5Sym3 (src/Data/Promotion/Prelude/List.hs:242) ZipWith5Sym4 (src/Data/Promotion/Prelude/List.hs:242) ZipWith5Sym5 (src/Data/Promotion/Prelude/List.hs:242) ZipWith6Sym0 (src/Data/Promotion/Prelude/List.hs:242) ZipWith6Sym1 (src/Data/Promotion/Prelude/List.hs:242) ZipWith6Sym2 (src/Data/Promotion/Prelude/List.hs:242) ZipWith6Sym3 (src/Data/Promotion/Prelude/List.hs:242) ZipWith6Sym4 (src/Data/Promotion/Prelude/List.hs:242) ZipWith6Sym5 (src/Data/Promotion/Prelude/List.hs:242) ZipWith6Sym6 (src/Data/Promotion/Prelude/List.hs:242) ZipWith7Sym0 (src/Data/Promotion/Prelude/List.hs:242) ZipWith7Sym1 (src/Data/Promotion/Prelude/List.hs:242) ZipWith7Sym2 (src/Data/Promotion/Prelude/List.hs:242) ZipWith7Sym3 (src/Data/Promotion/Prelude/List.hs:242) ZipWith7Sym4 (src/Data/Promotion/Prelude/List.hs:242) ZipWith7Sym5 (src/Data/Promotion/Prelude/List.hs:242) ZipWith7Sym6 (src/Data/Promotion/Prelude/List.hs:242) ZipWith7Sym7 (src/Data/Promotion/Prelude/List.hs:242) NubSym0 (src/Data/Promotion/Prelude/List.hs:242) NubSym1 (src/Data/Promotion/Prelude/List.hs:242) NubBySym0 (src/Data/Promotion/Prelude/List.hs:242) NubBySym1 (src/Data/Promotion/Prelude/List.hs:242) NubBySym2 (src/Data/Promotion/Prelude/List.hs:242) UnionSym0 (src/Data/Promotion/Prelude/List.hs:242) UnionSym1 (src/Data/Promotion/Prelude/List.hs:242) UnionSym2 (src/Data/Promotion/Prelude/List.hs:242) UnionBySym0 (src/Data/Promotion/Prelude/List.hs:242) UnionBySym1 (src/Data/Promotion/Prelude/List.hs:242) UnionBySym2 (src/Data/Promotion/Prelude/List.hs:242) UnionBySym3 (src/Data/Promotion/Prelude/List.hs:242) GenericLengthSym0 (src/Data/Promotion/Prelude/List.hs:242) GenericLengthSym1 (src/Data/Promotion/Prelude/List.hs:242) GenericTakeSym0 (src/Data/Promotion/Prelude/List.hs:242) GenericTakeSym1 (src/Data/Promotion/Prelude/List.hs:242) GenericTakeSym2 (src/Data/Promotion/Prelude/List.hs:242) GenericDropSym0 (src/Data/Promotion/Prelude/List.hs:242) GenericDropSym1 (src/Data/Promotion/Prelude/List.hs:242) GenericDropSym2 (src/Data/Promotion/Prelude/List.hs:242) GenericSplitAtSym0 (src/Data/Promotion/Prelude/List.hs:242) GenericSplitAtSym1 (src/Data/Promotion/Prelude/List.hs:242) GenericSplitAtSym2 (src/Data/Promotion/Prelude/List.hs:242) GenericIndexSym0 (src/Data/Promotion/Prelude/List.hs:242) GenericIndexSym1 (src/Data/Promotion/Prelude/List.hs:242) GenericIndexSym2 (src/Data/Promotion/Prelude/List.hs:242) GenericReplicateSym0 (src/Data/Promotion/Prelude/List.hs:242) GenericReplicateSym1 (src/Data/Promotion/Prelude/List.hs:242) GenericReplicateSym2 (src/Data/Promotion/Prelude/List.hs:242) 10% ( 4 / 39) in 'Data.Promotion.Prelude.Maybe' Missing documentation for: maybe_ (src/Data/Singletons/Prelude/Maybe.hs:68) Maybe_ (src/Data/Singletons/Prelude/Maybe.hs:68) IsJust (src/Data/Singletons/Prelude/Maybe.hs:79) IsNothing (src/Data/Singletons/Prelude/Maybe.hs:79) FromJust (src/Data/Singletons/Prelude/Maybe.hs:79) FromMaybe (src/Data/Singletons/Prelude/Maybe.hs:79) MaybeToList (src/Data/Singletons/Prelude/Maybe.hs:79) ListToMaybe (src/Data/Singletons/Prelude/Maybe.hs:79) CatMaybes (src/Data/Singletons/Prelude/Maybe.hs:79) MapMaybe (src/Data/Singletons/Prelude/Maybe.hs:79) NothingSym0 (src/Data/Singletons/Prelude/Instances.hs:27) JustSym0 (src/Data/Singletons/Prelude/Instances.hs:27) JustSym1 (src/Data/Singletons/Prelude/Instances.hs:27) Maybe_Sym0 (src/Data/Singletons/Prelude/Maybe.hs:68) Maybe_Sym1 (src/Data/Singletons/Prelude/Maybe.hs:68) Maybe_Sym2 (src/Data/Singletons/Prelude/Maybe.hs:68) Maybe_Sym3 (src/Data/Singletons/Prelude/Maybe.hs:68) IsJustSym0 (src/Data/Singletons/Prelude/Maybe.hs:79) IsJustSym1 (src/Data/Singletons/Prelude/Maybe.hs:79) IsNothingSym0 (src/Data/Singletons/Prelude/Maybe.hs:79) IsNothingSym1 (src/Data/Singletons/Prelude/Maybe.hs:79) FromJustSym0 (src/Data/Singletons/Prelude/Maybe.hs:79) FromJustSym1 (src/Data/Singletons/Prelude/Maybe.hs:79) FromMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:79) FromMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:79) FromMaybeSym2 (src/Data/Singletons/Prelude/Maybe.hs:79) MaybeToListSym0 (src/Data/Singletons/Prelude/Maybe.hs:79) MaybeToListSym1 (src/Data/Singletons/Prelude/Maybe.hs:79) ListToMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:79) ListToMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:79) CatMaybesSym0 (src/Data/Singletons/Prelude/Maybe.hs:79) CatMaybesSym1 (src/Data/Singletons/Prelude/Maybe.hs:79) MapMaybeSym0 (src/Data/Singletons/Prelude/Maybe.hs:79) MapMaybeSym1 (src/Data/Singletons/Prelude/Maybe.hs:79) MapMaybeSym2 (src/Data/Singletons/Prelude/Maybe.hs:79) 8% ( 28 /339) in 'Data.Promotion.Prelude' Missing documentation for: Not (src/Data/Singletons/Prelude/Bool.hs:72) :&& (src/Data/Singletons/Prelude/Bool.hs:72) :|| (src/Data/Singletons/Prelude/Bool.hs:72) Otherwise (src/Data/Singletons/Prelude/Bool.hs:72) maybe_ (src/Data/Singletons/Prelude/Maybe.hs:68) Maybe_ (src/Data/Singletons/Prelude/Maybe.hs:68) either_ (src/Data/Singletons/Prelude/Either.hs:64) Either_ (src/Data/Singletons/Prelude/Either.hs:64) Fst (src/Data/Singletons/Prelude/Tuple.hs:56) Snd (src/Data/Singletons/Prelude/Tuple.hs:56) Curry (src/Data/Singletons/Prelude/Tuple.hs:56) Uncurry (src/Data/Singletons/Prelude/Tuple.hs:56) ErrorSym0 (src/Data/Singletons/TypeLits.hs:208) :+ (src/Data/Singletons/TypeLits.hs:140) :- (src/Data/Singletons/TypeLits.hs:141) :* (src/Data/Singletons/TypeLits.hs:142) :^ (src/Data/Singletons/TypeLits.hs:143) Id (src/Data/Singletons/Prelude/Base.hs:54) Const (src/Data/Singletons/Prelude/Base.hs:54) :. (src/Data/Singletons/Prelude/Base.hs:54) $ (src/Data/Singletons/Prelude/Base.hs:92) $! (src/Data/Singletons/Prelude/Base.hs:107) Flip (src/Data/Singletons/Prelude/Base.hs:54) AsTypeOf (src/Data/Singletons/Prelude/Base.hs:54) Until (src/Data/Promotion/Prelude/Base.hs:48) Seq (src/Data/Singletons/Prelude/Base.hs:54) Map (src/Data/Singletons/Prelude/Base.hs:54) :++ (src/Data/Singletons/Prelude/Base.hs:54) Filter (src/Data/Promotion/Prelude/List.hs:242) Head (src/Data/Singletons/Prelude/List.hs:188) Last (src/Data/Singletons/Prelude/List.hs:188) Tail (src/Data/Singletons/Prelude/List.hs:188) Init (src/Data/Singletons/Prelude/List.hs:188) Null (src/Data/Singletons/Prelude/List.hs:188) Length (src/Data/Promotion/Prelude/List.hs:242) :!! (src/Data/Promotion/Prelude/List.hs:242) Reverse (src/Data/Singletons/Prelude/List.hs:188) Foldl (src/Data/Singletons/Prelude/List.hs:188) Foldl1 (src/Data/Singletons/Prelude/List.hs:188) Foldr (src/Data/Singletons/Prelude/Base.hs:54) Foldr1 (src/Data/Singletons/Prelude/List.hs:188) And (src/Data/Singletons/Prelude/List.hs:188) Or (src/Data/Singletons/Prelude/List.hs:188) any_ (src/Data/Singletons/Prelude/List.hs:182) Any_ (src/Data/Singletons/Prelude/List.hs:182) All (src/Data/Singletons/Prelude/List.hs:188) Sum (src/Data/Promotion/Prelude/List.hs:242) Product (src/Data/Promotion/Prelude/List.hs:242) Concat (src/Data/Singletons/Prelude/List.hs:188) ConcatMap (src/Data/Singletons/Prelude/List.hs:188) Maximum (src/Data/Promotion/Prelude/List.hs:242) Minimum (src/Data/Promotion/Prelude/List.hs:242) Scanl (src/Data/Singletons/Prelude/List.hs:188) Scanl1 (src/Data/Singletons/Prelude/List.hs:188) Scanr (src/Data/Singletons/Prelude/List.hs:188) Scanr1 (src/Data/Singletons/Prelude/List.hs:188) Replicate (src/Data/Promotion/Prelude/List.hs:242) Take (src/Data/Promotion/Prelude/List.hs:242) Drop (src/Data/Promotion/Prelude/List.hs:242) SplitAt (src/Data/Promotion/Prelude/List.hs:242) TakeWhile (src/Data/Promotion/Prelude/List.hs:242) DropWhile (src/Data/Promotion/Prelude/List.hs:242) Span (src/Data/Promotion/Prelude/List.hs:242) Break (src/Data/Promotion/Prelude/List.hs:242) Elem (src/Data/Singletons/Prelude/List.hs:188) NotElem (src/Data/Singletons/Prelude/List.hs:188) Lookup (src/Data/Promotion/Prelude/List.hs:242) Zip (src/Data/Singletons/Prelude/List.hs:188) Zip3 (src/Data/Singletons/Prelude/List.hs:188) ZipWith (src/Data/Singletons/Prelude/List.hs:188) ZipWith3 (src/Data/Singletons/Prelude/List.hs:188) Unzip (src/Data/Singletons/Prelude/List.hs:188) Unzip3 (src/Data/Singletons/Prelude/List.hs:188) FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:27) TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:27) NotSym0 (src/Data/Singletons/Prelude/Bool.hs:72) NotSym1 (src/Data/Singletons/Prelude/Bool.hs:72) :&&$ (src/Data/Singletons/Prelude/Bool.hs:72) :&&$$ (src/Data/Singletons/Prelude/Bool.hs:72) :&&$$$ (src/Data/Singletons/Prelude/Bool.hs:72) :||$ (src/Data/Singletons/Prelude/Bool.hs:72) :||$$ (src/Data/Singletons/Prelude/Bool.hs:72) :||$$$ (src/Data/Singletons/Prelude/Bool.hs:72) OtherwiseSym0 (src/Data/Singletons/Prelude/Bool.hs:72) NothingSym0 (src/Data/Singletons/Prelude/Instances.hs:27) JustSym0 (src/Data/Singletons/Prelude/Instances.hs:27) JustSym1 (src/Data/Singletons/Prelude/Instances.hs:27) Maybe_Sym0 (src/Data/Singletons/Prelude/Maybe.hs:68) Maybe_Sym1 (src/Data/Singletons/Prelude/Maybe.hs:68) Maybe_Sym2 (src/Data/Singletons/Prelude/Maybe.hs:68) Maybe_Sym3 (src/Data/Singletons/Prelude/Maybe.hs:68) LeftSym0 (src/Data/Singletons/Prelude/Instances.hs:27) LeftSym1 (src/Data/Singletons/Prelude/Instances.hs:27) RightSym0 (src/Data/Singletons/Prelude/Instances.hs:27) RightSym1 (src/Data/Singletons/Prelude/Instances.hs:27) Either_Sym0 (src/Data/Singletons/Prelude/Either.hs:64) Either_Sym1 (src/Data/Singletons/Prelude/Either.hs:64) Either_Sym2 (src/Data/Singletons/Prelude/Either.hs:64) Either_Sym3 (src/Data/Singletons/Prelude/Either.hs:64) Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:27) FstSym0 (src/Data/Singletons/Prelude/Tuple.hs:56) FstSym1 (src/Data/Singletons/Prelude/Tuple.hs:56) SndSym0 (src/Data/Singletons/Prelude/Tuple.hs:56) SndSym1 (src/Data/Singletons/Prelude/Tuple.hs:56) CurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:56) CurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:56) CurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:56) CurrySym3 (src/Data/Singletons/Prelude/Tuple.hs:56) UncurrySym0 (src/Data/Singletons/Prelude/Tuple.hs:56) UncurrySym1 (src/Data/Singletons/Prelude/Tuple.hs:56) UncurrySym2 (src/Data/Singletons/Prelude/Tuple.hs:56) :+$ (src/Data/Singletons/TypeLits.hs:145) :+$$ (src/Data/Singletons/TypeLits.hs:145) :-$ (src/Data/Singletons/TypeLits.hs:145) :-$$ (src/Data/Singletons/TypeLits.hs:145) :*$ (src/Data/Singletons/TypeLits.hs:145) :*$$ (src/Data/Singletons/TypeLits.hs:145) :^$ (src/Data/Singletons/TypeLits.hs:145) :^$$ (src/Data/Singletons/TypeLits.hs:145) IdSym0 (src/Data/Singletons/Prelude/Base.hs:54) IdSym1 (src/Data/Singletons/Prelude/Base.hs:54) ConstSym0 (src/Data/Singletons/Prelude/Base.hs:54) ConstSym1 (src/Data/Singletons/Prelude/Base.hs:54) ConstSym2 (src/Data/Singletons/Prelude/Base.hs:54) :.$ (src/Data/Singletons/Prelude/Base.hs:54) :.$$ (src/Data/Singletons/Prelude/Base.hs:54) :.$$$ (src/Data/Singletons/Prelude/Base.hs:54) $$ (src/Data/Singletons/Prelude/Base.hs:95) $$$ (src/Data/Singletons/Prelude/Base.hs:98) $$$$ (src/Data/Singletons/Prelude/Base.hs:101) $!$ (src/Data/Singletons/Prelude/Base.hs:110) $!$$ (src/Data/Singletons/Prelude/Base.hs:113) $!$$$ (src/Data/Singletons/Prelude/Base.hs:116) FlipSym0 (src/Data/Singletons/Prelude/Base.hs:54) FlipSym1 (src/Data/Singletons/Prelude/Base.hs:54) FlipSym2 (src/Data/Singletons/Prelude/Base.hs:54) AsTypeOfSym0 (src/Data/Singletons/Prelude/Base.hs:54) AsTypeOfSym1 (src/Data/Singletons/Prelude/Base.hs:54) AsTypeOfSym2 (src/Data/Singletons/Prelude/Base.hs:54) SeqSym0 (src/Data/Singletons/Prelude/Base.hs:54) SeqSym1 (src/Data/Singletons/Prelude/Base.hs:54) SeqSym2 (src/Data/Singletons/Prelude/Base.hs:54) :$ (src/Data/Singletons/Prelude/Instances.hs:27) :$$ (src/Data/Singletons/Prelude/Instances.hs:27) :$$$ (src/Data/Singletons/Prelude/Instances.hs:27) NilSym0 (src/Data/Singletons/Prelude/Instances.hs:27) MapSym0 (src/Data/Singletons/Prelude/Base.hs:54) MapSym1 (src/Data/Singletons/Prelude/Base.hs:54) MapSym2 (src/Data/Singletons/Prelude/Base.hs:54) ReverseSym0 (src/Data/Singletons/Prelude/List.hs:188) ReverseSym1 (src/Data/Singletons/Prelude/List.hs:188) :++$$ (src/Data/Singletons/Prelude/Base.hs:54) :++$ (src/Data/Singletons/Prelude/Base.hs:54) HeadSym0 (src/Data/Singletons/Prelude/List.hs:188) HeadSym1 (src/Data/Singletons/Prelude/List.hs:188) LastSym0 (src/Data/Singletons/Prelude/List.hs:188) LastSym1 (src/Data/Singletons/Prelude/List.hs:188) TailSym0 (src/Data/Singletons/Prelude/List.hs:188) TailSym1 (src/Data/Singletons/Prelude/List.hs:188) InitSym0 (src/Data/Singletons/Prelude/List.hs:188) InitSym1 (src/Data/Singletons/Prelude/List.hs:188) NullSym0 (src/Data/Singletons/Prelude/List.hs:188) NullSym1 (src/Data/Singletons/Prelude/List.hs:188) FoldlSym0 (src/Data/Singletons/Prelude/List.hs:188) FoldlSym1 (src/Data/Singletons/Prelude/List.hs:188) FoldlSym2 (src/Data/Singletons/Prelude/List.hs:188) FoldlSym3 (src/Data/Singletons/Prelude/List.hs:188) Foldl1Sym0 (src/Data/Singletons/Prelude/List.hs:188) Foldl1Sym1 (src/Data/Singletons/Prelude/List.hs:188) Foldl1Sym2 (src/Data/Singletons/Prelude/List.hs:188) FoldrSym0 (src/Data/Singletons/Prelude/Base.hs:54) FoldrSym1 (src/Data/Singletons/Prelude/Base.hs:54) FoldrSym2 (src/Data/Singletons/Prelude/Base.hs:54) FoldrSym3 (src/Data/Singletons/Prelude/Base.hs:54) Foldr1Sym0 (src/Data/Singletons/Prelude/List.hs:188) Foldr1Sym1 (src/Data/Singletons/Prelude/List.hs:188) Foldr1Sym2 (src/Data/Singletons/Prelude/List.hs:188) ConcatSym0 (src/Data/Singletons/Prelude/List.hs:188) ConcatSym1 (src/Data/Singletons/Prelude/List.hs:188) ConcatMapSym0 (src/Data/Singletons/Prelude/List.hs:188) ConcatMapSym1 (src/Data/Singletons/Prelude/List.hs:188) ConcatMapSym2 (src/Data/Singletons/Prelude/List.hs:188) MaximumBySym0 (src/Data/Singletons/Prelude/List.hs:188) MaximumBySym1 (src/Data/Singletons/Prelude/List.hs:188) MaximumBySym2 (src/Data/Singletons/Prelude/List.hs:188) MinimumBySym0 (src/Data/Singletons/Prelude/List.hs:188) MinimumBySym1 (src/Data/Singletons/Prelude/List.hs:188) MinimumBySym2 (src/Data/Singletons/Prelude/List.hs:188) AndSym0 (src/Data/Singletons/Prelude/List.hs:188) AndSym1 (src/Data/Singletons/Prelude/List.hs:188) OrSym0 (src/Data/Singletons/Prelude/List.hs:188) OrSym1 (src/Data/Singletons/Prelude/List.hs:188) Any_Sym0 (src/Data/Singletons/Prelude/List.hs:182) Any_Sym1 (src/Data/Singletons/Prelude/List.hs:182) Any_Sym2 (src/Data/Singletons/Prelude/List.hs:182) AllSym0 (src/Data/Singletons/Prelude/List.hs:188) AllSym1 (src/Data/Singletons/Prelude/List.hs:188) AllSym2 (src/Data/Singletons/Prelude/List.hs:188) ScanlSym0 (src/Data/Singletons/Prelude/List.hs:188) ScanlSym1 (src/Data/Singletons/Prelude/List.hs:188) ScanlSym2 (src/Data/Singletons/Prelude/List.hs:188) ScanlSym3 (src/Data/Singletons/Prelude/List.hs:188) Scanl1Sym0 (src/Data/Singletons/Prelude/List.hs:188) Scanl1Sym1 (src/Data/Singletons/Prelude/List.hs:188) Scanl1Sym2 (src/Data/Singletons/Prelude/List.hs:188) ScanrSym0 (src/Data/Singletons/Prelude/List.hs:188) ScanrSym1 (src/Data/Singletons/Prelude/List.hs:188) ScanrSym2 (src/Data/Singletons/Prelude/List.hs:188) ScanrSym3 (src/Data/Singletons/Prelude/List.hs:188) Scanr1Sym0 (src/Data/Singletons/Prelude/List.hs:188) Scanr1Sym1 (src/Data/Singletons/Prelude/List.hs:188) Scanr1Sym2 (src/Data/Singletons/Prelude/List.hs:188) ElemSym0 (src/Data/Singletons/Prelude/List.hs:188) ElemSym1 (src/Data/Singletons/Prelude/List.hs:188) ElemSym2 (src/Data/Singletons/Prelude/List.hs:188) NotElemSym0 (src/Data/Singletons/Prelude/List.hs:188) NotElemSym1 (src/Data/Singletons/Prelude/List.hs:188) NotElemSym2 (src/Data/Singletons/Prelude/List.hs:188) ZipSym0 (src/Data/Singletons/Prelude/List.hs:188) ZipSym1 (src/Data/Singletons/Prelude/List.hs:188) ZipSym2 (src/Data/Singletons/Prelude/List.hs:188) Zip3Sym0 (src/Data/Singletons/Prelude/List.hs:188) Zip3Sym1 (src/Data/Singletons/Prelude/List.hs:188) Zip3Sym2 (src/Data/Singletons/Prelude/List.hs:188) Zip3Sym3 (src/Data/Singletons/Prelude/List.hs:188) ZipWithSym0 (src/Data/Singletons/Prelude/List.hs:188) ZipWithSym1 (src/Data/Singletons/Prelude/List.hs:188) ZipWithSym2 (src/Data/Singletons/Prelude/List.hs:188) ZipWithSym3 (src/Data/Singletons/Prelude/List.hs:188) ZipWith3Sym0 (src/Data/Singletons/Prelude/List.hs:188) ZipWith3Sym1 (src/Data/Singletons/Prelude/List.hs:188) ZipWith3Sym2 (src/Data/Singletons/Prelude/List.hs:188) ZipWith3Sym3 (src/Data/Singletons/Prelude/List.hs:188) UnzipSym0 (src/Data/Singletons/Prelude/List.hs:188) UnzipSym1 (src/Data/Singletons/Prelude/List.hs:188) UntilSym0 (src/Data/Promotion/Prelude/Base.hs:48) UntilSym1 (src/Data/Promotion/Prelude/Base.hs:48) UntilSym2 (src/Data/Promotion/Prelude/Base.hs:48) UntilSym3 (src/Data/Promotion/Prelude/Base.hs:48) LengthSym0 (src/Data/Promotion/Prelude/List.hs:242) LengthSym1 (src/Data/Promotion/Prelude/List.hs:242) SumSym0 (src/Data/Promotion/Prelude/List.hs:242) SumSym1 (src/Data/Promotion/Prelude/List.hs:242) ProductSym0 (src/Data/Promotion/Prelude/List.hs:242) ProductSym1 (src/Data/Promotion/Prelude/List.hs:242) ReplicateSym0 (src/Data/Promotion/Prelude/List.hs:242) ReplicateSym1 (src/Data/Promotion/Prelude/List.hs:242) ReplicateSym2 (src/Data/Promotion/Prelude/List.hs:242) TakeSym0 (src/Data/Promotion/Prelude/List.hs:242) TakeSym1 (src/Data/Promotion/Prelude/List.hs:242) TakeSym2 (src/Data/Promotion/Prelude/List.hs:242) DropSym0 (src/Data/Promotion/Prelude/List.hs:242) DropSym1 (src/Data/Promotion/Prelude/List.hs:242) DropSym2 (src/Data/Promotion/Prelude/List.hs:242) SplitAtSym0 (src/Data/Promotion/Prelude/List.hs:242) SplitAtSym1 (src/Data/Promotion/Prelude/List.hs:242) SplitAtSym2 (src/Data/Promotion/Prelude/List.hs:242) TakeWhileSym0 (src/Data/Promotion/Prelude/List.hs:242) TakeWhileSym1 (src/Data/Promotion/Prelude/List.hs:242) TakeWhileSym2 (src/Data/Promotion/Prelude/List.hs:242) DropWhileSym0 (src/Data/Promotion/Prelude/List.hs:242) DropWhileSym1 (src/Data/Promotion/Prelude/List.hs:242) DropWhileSym2 (src/Data/Promotion/Prelude/List.hs:242) SpanSym0 (src/Data/Promotion/Prelude/List.hs:242) SpanSym1 (src/Data/Promotion/Prelude/List.hs:242) SpanSym2 (src/Data/Promotion/Prelude/List.hs:242) BreakSym0 (src/Data/Promotion/Prelude/List.hs:242) BreakSym1 (src/Data/Promotion/Prelude/List.hs:242) BreakSym2 (src/Data/Promotion/Prelude/List.hs:242) LookupSym0 (src/Data/Promotion/Prelude/List.hs:242) LookupSym1 (src/Data/Promotion/Prelude/List.hs:242) LookupSym2 (src/Data/Promotion/Prelude/List.hs:242) FilterSym0 (src/Data/Promotion/Prelude/List.hs:242) FilterSym1 (src/Data/Promotion/Prelude/List.hs:242) FilterSym2 (src/Data/Promotion/Prelude/List.hs:242) :!!$ (src/Data/Promotion/Prelude/List.hs:242) :!!$$ (src/Data/Promotion/Prelude/List.hs:242) :!!$$$ (src/Data/Promotion/Prelude/List.hs:242) 39% ( 28 / 71) in 'Data.Promotion.TH' Missing documentation for: :&& (src/Data/Singletons/Prelude/Bool.hs:72) POrd (src/Data/Singletons/Prelude/Ord.hs:48) ThenCmp (src/Data/Singletons/Prelude/Ord.hs:124) ErrorSym0 (src/Data/Singletons/TypeLits.hs:208) TrueSym0 (src/Data/Singletons/Prelude/Instances.hs:27) FalseSym0 (src/Data/Singletons/Prelude/Instances.hs:27) LTSym0 (src/Data/Singletons/Prelude/Instances.hs:27) EQSym0 (src/Data/Singletons/Prelude/Instances.hs:27) GTSym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple0Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple2Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple2Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple2Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple3Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple4Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple5Sym5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple6Sym6 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym0 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym1 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym2 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym3 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym4 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym5 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym6 (src/Data/Singletons/Prelude/Instances.hs:27) Tuple7Sym7 (src/Data/Singletons/Prelude/Instances.hs:27) Warning: Data.Singletons.Types: could not find link destinations for: D1Proxy C1_0Proxy Warning: Data.Singletons: could not find link destinations for: TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Warning: Data.Singletons.Prelude.Bool: could not find link destinations for: TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Warning: Data.Singletons.TypeRepStar: could not find link destinations for: TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Warning: Data.Singletons.Prelude.Ord: could not find link destinations for: Case_1627555667 Let1627555659Scrutinee_1627555568Sym2 Case_1627555702 Let1627555694Scrutinee_1627555572Sym2 Case_1627555726 Let1627555718Scrutinee_1627555574Sym2 Case_1627555750 Let1627555742Scrutinee_1627555576Sym2 Case_1627555774 Let1627555766Scrutinee_1627555578Sym2 Case_1627555798 Let1627555790Scrutinee_1627555580Sym2 Case_1627555821 Let1627555813Scrutinee_1627555582Sym2 TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Warning: Data.Promotion.Prelude.Ord: could not find link destinations for: Case_1627555667 Let1627555659Scrutinee_1627555568Sym2 Case_1627555702 Let1627555694Scrutinee_1627555572Sym2 Case_1627555726 Let1627555718Scrutinee_1627555574Sym2 Case_1627555750 Let1627555742Scrutinee_1627555576Sym2 Case_1627555774 Let1627555766Scrutinee_1627555578Sym2 Case_1627555798 Let1627555790Scrutinee_1627555580Sym2 Case_1627555821 Let1627555813Scrutinee_1627555582Sym2 Warning: Data.Singletons.TypeLits: could not find link destinations for: TFCo:R:SingNatn SNat EqNat TFCo:R:SingSymboln SSym EqSymbol natSing symbolSing Warning: Data.Singletons.TH: could not find link destinations for: TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Case_1627555667 Let1627555659Scrutinee_1627555568Sym2 Case_1627555702 Let1627555694Scrutinee_1627555572Sym2 Case_1627555726 Let1627555718Scrutinee_1627555574Sym2 Case_1627555750 Let1627555742Scrutinee_1627555576Sym2 Case_1627555774 Let1627555766Scrutinee_1627555578Sym2 Case_1627555798 Let1627555790Scrutinee_1627555580Sym2 Case_1627555821 Let1627555813Scrutinee_1627555582Sym2 D1Proxy C1_0Proxy Warning: Data.Singletons.Prelude.Base: could not find link destinations for: Let1627572264GoSym3 Lambda_1627572164Sym0 Warning: Data.Singletons.Prelude.Either: could not find link destinations for: TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Let1627583878LeftSym1 Let1627583878RightSym1 PartitionEithersSym0 Warning: Data.Promotion.Prelude.Either: could not find link destinations for: Let1627583878LeftSym1 Let1627583878RightSym1 Warning: Data.Singletons.Prelude.Tuple: could not find link destinations for: TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Warning: Data.Promotion.Prelude.Base: could not find link destinations for: Let1627572264GoSym3 Lambda_1627572164Sym0 Let1627595346GoSym3 Warning: Data.Singletons.Prelude.List: could not find link destinations for: TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Let1627606900Last'Sym2 Let1627606863Init'Sym2 Let1627606821RevSym1 PrependToAllSym0 NonEmptySubsequencesSym0 Let1627606385PermsSym1 Let1627606126LgoSym3 Let1627606029LgoSym3 Let1627572264GoSym3 Let1627605991XsSym4 Case_1627605912 Let1627605899Scrutinee_1627604784Sym3 Case_1627605875 Let1627605856Scrutinee_1627604786Sym4 Case_1627605829 Let1627605810Scrutinee_1627604788Sym4 Let1627605630S''Sym4 Let1627605630YSym4 Let1627605630YsSym4 Let1627605464S''Sym4 Let1627605464YSym4 Let1627605464YsSym4 Case_1627605437 Let1627605429Scrutinee_1627604794Sym2 Case_1627605412 Let1627605408Scrutinee_1627604796Sym1 Case_1627605386 Let1627605382Scrutinee_1627604798Sym1 Lambda_1627605170Sym0 Lambda_1627605136Sym0 Lambda_1627605100Sym0 Lambda_1627605062Sym0 Lambda_1627605022Sym0 Lambda_1627604980Sym0 Case_1627604956 Let1627604937Scrutinee_1627604824Sym4 Case_1627604899 Let1627604880Scrutinee_1627604826Sym4 Let1627606197MaxBySym3 Let1627606184XsSym3 Let1627606283MinBySym3 Let1627606270XsSym3 Warning: Data.Singletons.Prelude.Maybe: could not find link destinations for: TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Case_1627745598 Let1627745590Scrutinee_1627745513Sym2 Case_1627745556 Let1627745543Scrutinee_1627745515Sym3 Warning: Data.Singletons.Prelude: could not find link destinations for: TFCo:R:SingBoolz SFalse STrue TFCo:R:SingOrderingz SLT SEQ SGT TFCo:R:Sing*a STypeRep TFCo:R:SingNatn SNat TFCo:R:SingSymboln SSym TFCo:R:Sing()z STuple0 TFCo:R:Sing[]z SNil SCons TFCo:R:SingMaybez SNothing SJust TFCo:R:Sing(->)f SLambda applySing TFCo:R:SingEitherz SLeft SRight TFCo:R:Sing(,)z STuple2 TFCo:R:Sing(,,)z STuple3 TFCo:R:Sing(,,,)z STuple4 TFCo:R:Sing(,,,,)z STuple5 TFCo:R:Sing(,,,,,)z STuple6 TFCo:R:Sing(,,,,,,)z STuple7 Lambda_1627572164Sym0 Let1627606900Last'Sym2 Let1627606863Init'Sym2 Let1627606821RevSym1 Let1627606126LgoSym3 Let1627572264GoSym3 Let1627605991XsSym4 Case_1627605912 Let1627605899Scrutinee_1627604784Sym3 Case_1627605875 Let1627605856Scrutinee_1627604786Sym4 Case_1627605829 Let1627605810Scrutinee_1627604788Sym4 Lambda_1627605170Sym0 Lambda_1627605136Sym0 EqSymbol Warning: Data.Promotion.Prelude.List: could not find link destinations for: Let1627606900Last'Sym2 Let1627606863Init'Sym2 Let1627606821RevSym1 PrependToAllSym0 NonEmptySubsequencesSym0 Let1627606385PermsSym1 Let1627606126LgoSym3 Let1627606029LgoSym3 Let1627572264GoSym3 Let1627605991XsSym4 Let1627760775Sum'Sym1 Let1627760751ProdSym1 Case_1627605912 Let1627605899Scrutinee_1627604784Sym3 Case_1627605875 Let1627605856Scrutinee_1627604786Sym4 Case_1627605829 Let1627605810Scrutinee_1627604788Sym4 Let1627605630S''Sym4 Let1627605630YSym4 Let1627605630YsSym4 Let1627605464S''Sym4 Let1627605464YSym4 Let1627605464YsSym4 Case_1627605437 Let1627605429Scrutinee_1627604794Sym2 Let1627760629XsSym2 Case_1627760606 Case_1627760557 Lambda_1627760497Sym0 Let1627760277XsSym0 Case_1627760280 Let1627760133XsSym0 Case_1627760136 Case_1627760103 Case_1627605412 Let1627605408Scrutinee_1627604796Sym1 Case_1627605386 Let1627605382Scrutinee_1627604798Sym1 Case_1627760051 Case_1627759952 SelectSym0 Case_1627759880 Lambda_1627760835Sym0 Let1627760811BuildListSym2 Lambda_1627605170Sym0 Lambda_1627605136Sym0 Lambda_1627605100Sym0 Lambda_1627605062Sym0 Lambda_1627605022Sym0 Lambda_1627604980Sym0 Let1627759380Nub'Sym1 Let1627759307NubBy'Sym2 Case_1627604956 Let1627604937Scrutinee_1627604824Sym4 Let1627760424YsSym3 Let1627760424ZsSym3 Lambda_1627759988Sym0 Case_1627604899 Let1627604880Scrutinee_1627604826Sym4 Let1627606197MaxBySym3 Let1627606184XsSym3 Let1627606283MinBySym3 Let1627606270XsSym3 Warning: Data.Promotion.Prelude.Maybe: could not find link destinations for: Case_1627745598 Let1627745590Scrutinee_1627745513Sym2 Case_1627745556 Let1627745543Scrutinee_1627745515Sym3 Warning: Data.Promotion.Prelude: could not find link destinations for: TFCo:R:SingSymboln SSym EqSymbol TFCo:R:SingNatn SNat EqNat Lambda_1627572164Sym0 Let1627595346GoSym3 Case_1627759952 Let1627606900Last'Sym2 Let1627606863Init'Sym2 Case_1627759880 Let1627606821RevSym1 Let1627606126LgoSym3 Let1627572264GoSym3 Let1627605991XsSym4 Let1627760775Sum'Sym1 Let1627760751ProdSym1 Case_1627605912 Let1627605899Scrutinee_1627604784Sym3 Case_1627605875 Let1627605856Scrutinee_1627604786Sym4 Case_1627605829 Let1627605810Scrutinee_1627604788Sym4 Let1627760629XsSym2 Case_1627760606 Case_1627760557 Let1627760277XsSym0 Case_1627760280 Let1627760133XsSym0 Case_1627760136 Case_1627760051 Lambda_1627605170Sym0 Lambda_1627605136Sym0 Warning: Data.Promotion.TH: could not find link destinations for: TFCo:R:Sing(->)f SLambda applySing Case_1627555667 Let1627555659Scrutinee_1627555568Sym2 Case_1627555702 Let1627555694Scrutinee_1627555572Sym2 Case_1627555726 Let1627555718Scrutinee_1627555574Sym2 Case_1627555750 Let1627555742Scrutinee_1627555576Sym2 Case_1627555774 Let1627555766Scrutinee_1627555578Sym2 Case_1627555798 Let1627555790Scrutinee_1627555580Sym2 Case_1627555821 Let1627555813Scrutinee_1627555582Sym2 D1Proxy C1_0Proxy Documentation created: dist/doc/html/singletons/index.html, dist/doc/html/singletons/singletons.txt Creating package registration file: /tmp/pkgConf-singletons-1.1.2530788967773446912.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/singletons-1.1.2.1-KNamMymDT43LCP5rF1ygL5 Registering singletons-1.1.2.1... Installed singletons-1.1.2.1 Downloading type-list-0.3.0.0... Configuring type-list-0.3.0.0... Building type-list-0.3.0.0... Preprocessing library type-list-0.3.0.0... [1 of 1] Compiling Data.Type.List ( src/Data/Type/List.hs, dist/build/Data/Type/List.o ) In-place registering type-list-0.3.0.0... Running Haddock for type-list-0.3.0.0... Running hscolour for type-list-0.3.0.0... Preprocessing library type-list-0.3.0.0... Preprocessing library type-list-0.3.0.0... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: nats-1 Haddock coverage: 40% ( 20 / 50) in 'Data.Type.List' Missing documentation for: Map'' (src/Data/Type/List.hs:36) Map' (src/Data/Type/List.hs:39) ZipWith''' (src/Data/Type/List.hs:50) ZipWith'' (src/Data/Type/List.hs:53) ZipWith' (src/Data/Type/List.hs:56) Length' (src/Data/Type/List.hs:72) Insert'' (src/Data/Type/List.hs:83) Insert' (src/Data/Type/List.hs:86) Union'' (src/Data/Type/List.hs:97) Union' (src/Data/Type/List.hs:100) Remove'' (src/Data/Type/List.hs:112) Remove' (src/Data/Type/List.hs:115) Difference'' (src/Data/Type/List.hs:126) Difference' (src/Data/Type/List.hs:129) Reverse' (src/Data/Type/List.hs:144) Find'' (src/Data/Type/List.hs:155) Find' (src/Data/Type/List.hs:158) Intersection'' (src/Data/Type/List.hs:170) Intersection' (src/Data/Type/List.hs:173) Distinct'' (src/Data/Type/List.hs:185) Distinct' (src/Data/Type/List.hs:188) Lookup'' (src/Data/Type/List.hs:199) Lookup' (src/Data/Type/List.hs:202) Fst' (src/Data/Type/List.hs:212) Snd' (src/Data/Type/List.hs:220) AsFst'' (src/Data/Type/List.hs:229) AsFst' (src/Data/Type/List.hs:232) AsSnd'' (src/Data/Type/List.hs:242) AsSnd' (src/Data/Type/List.hs:245) Swap' (src/Data/Type/List.hs:255) Documentation created: dist/doc/html/type-list/index.html, dist/doc/html/type-list/type-list.txt Creating package registration file: /tmp/pkgConf-type-list-0.3.0382926234129183332.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/type-list-0.3.0.0-EZkh593POq47xmntpXfEZ5 Registering type-list-0.3.0.0... Installed type-list-0.3.0.0