Resolving dependencies... Configuring splitmix-0.1.3.1... Preprocessing library for splitmix-0.1.3.1.. Building library for splitmix-0.1.3.1.. [1 of 4] Compiling Data.Bits.Compat ( src-compat/Data/Bits/Compat.hs, dist/build/Data/Bits/Compat.o, dist/build/Data/Bits/Compat.dyn_o ) [2 of 4] Compiling System.Random.SplitMix.Init ( src/System/Random/SplitMix/Init.hs, dist/build/System/Random/SplitMix/Init.o, dist/build/System/Random/SplitMix/Init.dyn_o ) [3 of 4] Compiling System.Random.SplitMix ( src/System/Random/SplitMix.hs, dist/build/System/Random/SplitMix.o, dist/build/System/Random/SplitMix.dyn_o ) [4 of 4] Compiling System.Random.SplitMix32 ( src/System/Random/SplitMix32.hs, dist/build/System/Random/SplitMix32.o, dist/build/System/Random/SplitMix32.dyn_o ) Preprocessing library for splitmix-0.1.3.1.. Running Haddock on library for splitmix-0.1.3.1.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. [1 of 4] Compiling Data.Bits.Compat ( src-compat/Data/Bits/Compat.hs, nothing ) [2 of 4] Compiling System.Random.SplitMix.Init ( src/System/Random/SplitMix/Init.hs, nothing ) [3 of 4] Compiling System.Random.SplitMix ( src/System/Random/SplitMix.hs, nothing ) [4 of 4] Compiling System.Random.SplitMix32 ( src/System/Random/SplitMix32.hs, nothing ) Haddock coverage: Warning: 'SMGen' is ambiguous. It is defined * at src/System/Random/SplitMix.hs:77:14 * at src/System/Random/SplitMix.hs:77:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/System/Random/SplitMix.hs:77:1 100% ( 22 / 22) in 'System.Random.SplitMix' Warning: 'SMGen' is ambiguous. It is defined * at src/System/Random/SplitMix32.hs:61:14 * at src/System/Random/SplitMix32.hs:61:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/System/Random/SplitMix32.hs:61:1 100% ( 22 / 22) in 'System.Random.SplitMix32' Documentation created: dist/doc/html/splitmix/, dist/doc/html/splitmix/splitmix.txt Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/splitmix-0.1.3.1-FLXrwOMCBr82OHyMQoNXPe Completed splitmix-0.1.3.1 Configuring random-1.3.1... Preprocessing library for random-1.3.1.. Building library for random-1.3.1.. [1 of 6] Compiling System.Random.Array ( src/System/Random/Array.hs, dist/build/System/Random/Array.o, dist/build/System/Random/Array.dyn_o ) [2 of 6] Compiling System.Random.GFinite ( src/System/Random/GFinite.hs, dist/build/System/Random/GFinite.o, dist/build/System/Random/GFinite.dyn_o ) [3 of 6] Compiling System.Random.Internal ( src/System/Random/Internal.hs, dist/build/System/Random/Internal.o, dist/build/System/Random/Internal.dyn_o ) [4 of 6] Compiling System.Random.Seed ( src/System/Random/Seed.hs, dist/build/System/Random/Seed.o, dist/build/System/Random/Seed.dyn_o ) [5 of 6] Compiling System.Random ( src/System/Random.hs, dist/build/System/Random.o, dist/build/System/Random.dyn_o ) [6 of 6] Compiling System.Random.Stateful ( src/System/Random/Stateful.hs, dist/build/System/Random/Stateful.o, dist/build/System/Random/Stateful.dyn_o ) Preprocessing library for random-1.3.1.. Running Haddock on library for random-1.3.1.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. [1 of 6] Compiling System.Random.Array ( src/System/Random/Array.hs, nothing ) [2 of 6] Compiling System.Random.GFinite ( src/System/Random/GFinite.hs, nothing ) [3 of 6] Compiling System.Random.Internal ( src/System/Random/Internal.hs, nothing ) [4 of 6] Compiling System.Random.Seed ( src/System/Random/Seed.hs, nothing ) [5 of 6] Compiling System.Random ( src/System/Random.hs, nothing ) [6 of 6] Compiling System.Random.Stateful ( src/System/Random/Stateful.hs, nothing ) Haddock coverage: Warning: 'ST' is ambiguous. It is defined * in GHC.ST * in GHC.ST You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined in GHC.ST Warning: 'StateGenM' is ambiguous. It is defined * at src/System/Random/Internal.hs:606:20 * at src/System/Random/Internal.hs:606:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/System/Random/Internal.hs:606:1 Warning: 'StateGen' is ambiguous. It is defined * at src/System/Random/Internal.hs:612:22 * at src/System/Random/Internal.hs:612:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/System/Random/Internal.hs:612:1 Warning: 'ByteArray' is ambiguous. It is defined * in Data.Array.Byte * in Data.Array.Byte You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined in Data.Array.Byte Warning: 'StdGen' is ambiguous. It is defined * at src/System/Random/Internal.hs:749:18 * at src/System/Random/Internal.hs:749:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/System/Random/Internal.hs:749:1 Warning: 'MutableByteArray' is ambiguous. It is defined * in Data.Array.Byte * in Data.Array.Byte You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined in Data.Array.Byte Warning: 'ST' is ambiguous. It is defined * in GHC.ST * in GHC.ST You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined in GHC.ST Warning: 'StateT' is ambiguous. It is defined * in Control.Monad.Trans.State.Strict * in Control.Monad.Trans.State.Strict You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined in Control.Monad.Trans.State.Strict Warning: 'Seed' is ambiguous. It is defined * at src/System/Random/Internal.hs:134:18 * at src/System/Random/Internal.hs:134:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/System/Random/Internal.hs:134:1 Warning: 'StdGen' is ambiguous. It is defined * at src/System/Random/Internal.hs:749:18 * at src/System/Random/Internal.hs:749:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/System/Random/Internal.hs:749:1 Warning: 'ByteArray' is ambiguous. It is defined * in Data.Array.Byte * in Data.Array.Byte You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined in Data.Array.Byte Warning: 'ByteString' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'uniformByteStringM' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'ShortByteString' is ambiguous. It is defined * in Data.ByteString.Short.Internal * in Data.ByteString.Short.Internal You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined in Data.ByteString.Short.Internal Warning: 'StdGen' is ambiguous. It is defined * at src/System/Random/Internal.hs:749:18 * at src/System/Random/Internal.hs:749:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/System/Random/Internal.hs:749:1 100% ( 71 / 71) in 'System.Random' Warning: 'TGenM' is ambiguous. It is defined * at src/System/Random/Stateful.hs:719:19 * at src/System/Random/Stateful.hs:719:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/System/Random/Stateful.hs:719:1 Warning: 'STGenM' is ambiguous. It is defined * at src/System/Random/Stateful.hs:618:22 * at src/System/Random/Stateful.hs:618:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/System/Random/Stateful.hs:618:1 Warning: 'StateGenM' is ambiguous. It is defined * at src/System/Random/Internal.hs:606:20 * at src/System/Random/Internal.hs:606:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/System/Random/Internal.hs:606:1 Warning: 'IOGenM' is ambiguous. It is defined * at src/System/Random/Stateful.hs:542:20 * at src/System/Random/Stateful.hs:542:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/System/Random/Stateful.hs:542:1 Warning: 'AtomicGenM' is ambiguous. It is defined * at src/System/Random/Stateful.hs:428:24 * at src/System/Random/Stateful.hs:428:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/System/Random/Stateful.hs:428:1 Warning: 'Seed' is ambiguous. It is defined * at src/System/Random/Internal.hs:134:18 * at src/System/Random/Internal.hs:134:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/System/Random/Internal.hs:134:1 Warning: 'StdGen' is ambiguous. It is defined * at src/System/Random/Internal.hs:749:18 * at src/System/Random/Internal.hs:749:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/System/Random/Internal.hs:749:1 Warning: 'IOGen' is ambiguous. It is defined * at src/System/Random/Stateful.hs:547:19 * at src/System/Random/Stateful.hs:547:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/System/Random/Stateful.hs:547:1 Warning: 'STGenM' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'STM' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'STGen' is ambiguous. It is defined * at src/System/Random/Stateful.hs:623:19 * at src/System/Random/Stateful.hs:623:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/System/Random/Stateful.hs:623:1 Warning: 'clearBit' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'testBit' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% (137 /137) in 'System.Random.Stateful' Warning: System.Random: could not find link destinations for: - System.Random.GFinite.cardinality - System.Random.GFinite.toFinite - System.Random.GFinite.fromFinite - System.Random.GFinite.Cardinality - System.Random.Seed.D:R:SeedSizeSMGen - System.Random.Seed.D:R:SeedSizeSMGen0 - System.Random.Seed.D:R:SeedSizeStateGen - System.Random.Seed.D:R:SeedSizeStdGen - System.Random.Stateful.D:R:SeedSizeAtomicGen - System.Random.Stateful.D:R:SeedSizeIOGen - System.Random.Stateful.D:R:SeedSizeSTGen - System.Random.Stateful.D:R:SeedSizeTGen Warning: System.Random.Stateful: could not find link destinations for: - System.Random.GFinite.GFinite - System.Random.GFinite.cardinality - System.Random.GFinite.toFinite - System.Random.GFinite.fromFinite - System.Random.GFinite.Cardinality - System.Random.Internal.GUniformRange - System.Random.Internal.GUniform - System.Random.Internal.D:R:MutableGenStateGenm - System.Random.Seed.D:R:SeedSizeSMGen - System.Random.Seed.D:R:SeedSizeSMGen0 - System.Random.Seed.D:R:SeedSizeStateGen - System.Random.Seed.D:R:SeedSizeStdGen - System.Random.Stateful.D:R:MutableGenAtomicGenm - System.Random.Stateful.D:R:SeedSizeAtomicGen - System.Random.Stateful.D:R:MutableGenIOGenm - System.Random.Stateful.D:R:SeedSizeIOGen - System.Random.Stateful.D:R:MutableGenSTGenST - System.Random.Stateful.D:R:SeedSizeSTGen - System.Random.Stateful.D:R:MutableGenTGenSTM - System.Random.Stateful.D:R:SeedSizeTGen Documentation created: dist/doc/html/random/, dist/doc/html/random/random.txt Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/random-1.3.1-3HmCudIQHVrG4RNMrw37d7 Completed random-1.3.1 Configuring oalg-base-3.0.0.0... Preprocessing library for oalg-base-3.0.0.0.. Building library for oalg-base-3.0.0.0.. [ 1 of 182] Compiling OAlg.Control.Action ( src/OAlg/Control/Action.hs, dist/build/OAlg/Control/Action.o, dist/build/OAlg/Control/Action.dyn_o ) [ 2 of 182] Compiling OAlg.Control.Exception ( src/OAlg/Control/Exception.hs, dist/build/OAlg/Control/Exception.o, dist/build/OAlg/Control/Exception.dyn_o ) [ 3 of 182] Compiling OAlg.Control.HNFData ( src/OAlg/Control/HNFData.hs, dist/build/OAlg/Control/HNFData.o, dist/build/OAlg/Control/HNFData.dyn_o ) [ 4 of 182] Compiling OAlg.Control.Solver ( src/OAlg/Control/Solver.hs, dist/build/OAlg/Control/Solver.o, dist/build/OAlg/Control/Solver.dyn_o ) [ 5 of 182] Compiling OAlg.Data.Constructable ( src/OAlg/Data/Constructable.hs, dist/build/OAlg/Data/Constructable.o, dist/build/OAlg/Data/Constructable.dyn_o ) [ 6 of 182] Compiling OAlg.Data.Dualisable ( src/OAlg/Data/Dualisable.hs, dist/build/OAlg/Data/Dualisable.o, dist/build/OAlg/Data/Dualisable.dyn_o ) [ 7 of 182] Compiling OAlg.Data.Equal ( src/OAlg/Data/Equal.hs, dist/build/OAlg/Data/Equal.o, dist/build/OAlg/Data/Equal.dyn_o ) [ 8 of 182] Compiling OAlg.Data.Filterable ( src/OAlg/Data/Filterable.hs, dist/build/OAlg/Data/Filterable.o, dist/build/OAlg/Data/Filterable.dyn_o ) [ 9 of 182] Compiling OAlg.Data.Logical ( src/OAlg/Data/Logical.hs, dist/build/OAlg/Data/Logical.o, dist/build/OAlg/Data/Logical.dyn_o ) [ 10 of 182] Compiling OAlg.Data.Boolean.Definition ( src/OAlg/Data/Boolean/Definition.hs, dist/build/OAlg/Data/Boolean/Definition.o, dist/build/OAlg/Data/Boolean/Definition.dyn_o ) [ 11 of 182] Compiling OAlg.Data.Canonical ( src/OAlg/Data/Canonical.hs, dist/build/OAlg/Data/Canonical.o, dist/build/OAlg/Data/Canonical.dyn_o ) [ 12 of 182] Compiling OAlg.Data.Maybe ( src/OAlg/Data/Maybe.hs, dist/build/OAlg/Data/Maybe.o, dist/build/OAlg/Data/Maybe.dyn_o ) [ 13 of 182] Compiling OAlg.Data.Number ( src/OAlg/Data/Number.hs, dist/build/OAlg/Data/Number.o, dist/build/OAlg/Data/Number.dyn_o ) [ 14 of 182] Compiling OAlg.Data.Ord ( src/OAlg/Data/Ord.hs, dist/build/OAlg/Data/Ord.o, dist/build/OAlg/Data/Ord.dyn_o ) [ 15 of 182] Compiling OAlg.Data.Proxy ( src/OAlg/Data/Proxy.hs, dist/build/OAlg/Data/Proxy.o, dist/build/OAlg/Data/Proxy.dyn_o ) [ 16 of 182] Compiling OAlg.Data.Reducible ( src/OAlg/Data/Reducible.hs, dist/build/OAlg/Data/Reducible.o, dist/build/OAlg/Data/Reducible.dyn_o ) [ 17 of 182] Compiling OAlg.Data.Relation ( src/OAlg/Data/Relation.hs, dist/build/OAlg/Data/Relation.o, dist/build/OAlg/Data/Relation.dyn_o ) [ 18 of 182] Compiling OAlg.Data.Show ( src/OAlg/Data/Show.hs, dist/build/OAlg/Data/Show.o, dist/build/OAlg/Data/Show.dyn_o ) [ 19 of 182] Compiling OAlg.Data.Either ( src/OAlg/Data/Either.hs, dist/build/OAlg/Data/Either.o, dist/build/OAlg/Data/Either.dyn_o ) [ 20 of 182] Compiling OAlg.Control.Verbose ( src/OAlg/Control/Verbose.hs, dist/build/OAlg/Control/Verbose.o, dist/build/OAlg/Control/Verbose.dyn_o ) [ 21 of 182] Compiling OAlg.Data.Singleton ( src/OAlg/Data/Singleton.hs, dist/build/OAlg/Data/Singleton.o, dist/build/OAlg/Data/Singleton.dyn_o ) [ 22 of 182] Compiling OAlg.Data.Singular ( src/OAlg/Data/Singular.hs, dist/build/OAlg/Data/Singular.o, dist/build/OAlg/Data/Singular.dyn_o ) [ 23 of 182] Compiling OAlg.Data.Statistics ( src/OAlg/Data/Statistics.hs, dist/build/OAlg/Data/Statistics.o, dist/build/OAlg/Data/Statistics.dyn_o ) src/OAlg/Data/Statistics.hs:49:9: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for aggr: Patterns of type [(Int, (b, c))] not matched: [] | 49 | aggr axs@((_,(a,x)):_) = (w,a,x) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [ 24 of 182] Compiling OAlg.Data.Tree ( src/OAlg/Data/Tree.hs, dist/build/OAlg/Data/Tree.o, dist/build/OAlg/Data/Tree.dyn_o ) [ 25 of 182] Compiling OAlg.Data.TypeLits ( src/OAlg/Data/TypeLits.hs, dist/build/OAlg/Data/TypeLits.o, dist/build/OAlg/Data/TypeLits.dyn_o ) [ 26 of 182] Compiling OAlg.Data.X ( src/OAlg/Data/X.hs, dist/build/OAlg/Data/X.o, dist/build/OAlg/Data/X.dyn_o ) src/OAlg/Data/X.hs:193:50: warning: [GHC-68441] [-Wdeprecations] In the use of split (imported from System.Random, but defined in System.Random.Internal): Deprecated: "In favor of `splitGen`" | 193 | xOmega = X $ Action (\(Omega g) -> let (g1,g2) = R.split g in (Omega g1,Omega g2)) | ^^^^^^^ [ 27 of 182] Compiling OAlg.Data.Statement.Definition ( src/OAlg/Data/Statement/Definition.hs, dist/build/OAlg/Data/Statement/Definition.o, dist/build/OAlg/Data/Statement/Definition.dyn_o ) [ 28 of 182] Compiling OAlg.Data.EqualExtensional ( src/OAlg/Data/EqualExtensional.hs, dist/build/OAlg/Data/EqualExtensional.o, dist/build/OAlg/Data/EqualExtensional.dyn_o ) [ 29 of 182] Compiling OAlg.Category.Applicative ( src/OAlg/Category/Applicative.hs, dist/build/OAlg/Category/Applicative.o, dist/build/OAlg/Category/Applicative.dyn_o ) [ 30 of 182] Compiling OAlg.Structure.Definition ( src/OAlg/Structure/Definition.hs, dist/build/OAlg/Structure/Definition.o, dist/build/OAlg/Structure/Definition.dyn_o ) [ 31 of 182] Compiling OAlg.Category.Definition ( src/OAlg/Category/Definition.hs, dist/build/OAlg/Category/Definition.o, dist/build/OAlg/Category/Definition.dyn_o ) [ 32 of 182] Compiling OAlg.Data.Identity ( src/OAlg/Data/Identity.hs, dist/build/OAlg/Data/Identity.o, dist/build/OAlg/Data/Identity.dyn_o ) [ 33 of 182] Compiling OAlg.Data.Validable ( src/OAlg/Data/Validable.hs, dist/build/OAlg/Data/Validable.o, dist/build/OAlg/Data/Validable.dyn_o ) [ 34 of 182] Compiling OAlg.Entity.Definition ( src/OAlg/Entity/Definition.hs, dist/build/OAlg/Entity/Definition.o, dist/build/OAlg/Entity/Definition.dyn_o ) [ 35 of 182] Compiling OAlg.Data.Symbol ( src/OAlg/Data/Symbol.hs, dist/build/OAlg/Data/Symbol.o, dist/build/OAlg/Data/Symbol.dyn_o ) [ 36 of 182] Compiling OAlg.Data.Boolean.Proposition ( src/OAlg/Data/Boolean/Proposition.hs, dist/build/OAlg/Data/Boolean/Proposition.o, dist/build/OAlg/Data/Boolean/Proposition.dyn_o ) [ 37 of 182] Compiling OAlg.Data.Boolean ( src/OAlg/Data/Boolean.hs, dist/build/OAlg/Data/Boolean.o, dist/build/OAlg/Data/Boolean.dyn_o ) [ 38 of 182] Compiling OAlg.Data.Statement.Proposition ( src/OAlg/Data/Statement/Proposition.hs, dist/build/OAlg/Data/Statement/Proposition.o, dist/build/OAlg/Data/Statement/Proposition.dyn_o ) [ 39 of 182] Compiling OAlg.Data.Statement ( src/OAlg/Data/Statement.hs, dist/build/OAlg/Data/Statement.o, dist/build/OAlg/Data/Statement.dyn_o ) [ 40 of 182] Compiling OAlg.Control.Validate ( src/OAlg/Control/Validate.hs, dist/build/OAlg/Control/Validate.o, dist/build/OAlg/Control/Validate.dyn_o ) [ 41 of 182] Compiling OAlg.Category.Path ( src/OAlg/Category/Path.hs, dist/build/OAlg/Category/Path.o, dist/build/OAlg/Category/Path.dyn_o ) [ 42 of 182] Compiling OAlg.Category.Unify ( src/OAlg/Category/Unify.hs, dist/build/OAlg/Category/Unify.o, dist/build/OAlg/Category/Unify.dyn_o ) [ 43 of 182] Compiling OAlg.Category.Proposition ( src/OAlg/Category/Proposition.hs, dist/build/OAlg/Category/Proposition.o, dist/build/OAlg/Category/Proposition.dyn_o ) [ 44 of 182] Compiling OAlg.Prelude ( src/OAlg/Prelude.hs, dist/build/OAlg/Prelude.o, dist/build/OAlg/Prelude.dyn_o ) [ 45 of 182] Compiling OAlg.Limes.Perspective ( src/OAlg/Limes/Perspective.hs, dist/build/OAlg/Limes/Perspective.o, dist/build/OAlg/Limes/Perspective.dyn_o ) [ 46 of 182] Compiling OAlg.Category.NaturalTransformable ( src/OAlg/Category/NaturalTransformable.hs, dist/build/OAlg/Category/NaturalTransformable.o, dist/build/OAlg/Category/NaturalTransformable.dyn_o ) [ 47 of 182] Compiling OAlg.Category.Map ( src/OAlg/Category/Map.hs, dist/build/OAlg/Category/Map.o, dist/build/OAlg/Category/Map.dyn_o ) [ 48 of 182] Compiling OAlg.Structure.Exception ( src/OAlg/Structure/Exception.hs, dist/build/OAlg/Structure/Exception.o, dist/build/OAlg/Structure/Exception.dyn_o ) [ 49 of 182] Compiling OAlg.Structure.Oriented.Point ( src/OAlg/Structure/Oriented/Point.hs, dist/build/OAlg/Structure/Oriented/Point.o, dist/build/OAlg/Structure/Oriented/Point.dyn_o ) [ 50 of 182] Compiling OAlg.Structure.Oriented.Orientation ( src/OAlg/Structure/Oriented/Orientation.hs, dist/build/OAlg/Structure/Oriented/Orientation.o, dist/build/OAlg/Structure/Oriented/Orientation.dyn_o ) [ 51 of 182] Compiling OAlg.Structure.Oriented.Definition ( src/OAlg/Structure/Oriented/Definition.hs, dist/build/OAlg/Structure/Oriented/Definition.o, dist/build/OAlg/Structure/Oriented/Definition.dyn_o ) [ 52 of 182] Compiling OAlg.Structure.Oriented.Opposite ( src/OAlg/Structure/Oriented/Opposite.hs, dist/build/OAlg/Structure/Oriented/Opposite.o, dist/build/OAlg/Structure/Oriented/Opposite.dyn_o ) [ 53 of 182] Compiling OAlg.Structure.Oriented.Path ( src/OAlg/Structure/Oriented/Path.hs, dist/build/OAlg/Structure/Oriented/Path.o, dist/build/OAlg/Structure/Oriented/Path.dyn_o ) [ 54 of 182] Compiling OAlg.Structure.Oriented.X ( src/OAlg/Structure/Oriented/X.hs, dist/build/OAlg/Structure/Oriented/X.o, dist/build/OAlg/Structure/Oriented/X.dyn_o ) [ 55 of 182] Compiling OAlg.Structure.Oriented.Proposition ( src/OAlg/Structure/Oriented/Proposition.hs, dist/build/OAlg/Structure/Oriented/Proposition.o, dist/build/OAlg/Structure/Oriented/Proposition.dyn_o ) [ 56 of 182] Compiling OAlg.Structure.Oriented ( src/OAlg/Structure/Oriented.hs, dist/build/OAlg/Structure/Oriented.o, dist/build/OAlg/Structure/Oriented.dyn_o ) [ 57 of 182] Compiling OAlg.Structure.Multiplicative.Definition ( src/OAlg/Structure/Multiplicative/Definition.hs, dist/build/OAlg/Structure/Multiplicative/Definition.o, dist/build/OAlg/Structure/Multiplicative/Definition.dyn_o ) [ 58 of 182] Compiling OAlg.Structure.Operational ( src/OAlg/Structure/Operational.hs, dist/build/OAlg/Structure/Operational.o, dist/build/OAlg/Structure/Operational.dyn_o ) [ 59 of 182] Compiling OAlg.Structure.Multiplicative.Proposition ( src/OAlg/Structure/Multiplicative/Proposition.hs, dist/build/OAlg/Structure/Multiplicative/Proposition.o, dist/build/OAlg/Structure/Multiplicative/Proposition.dyn_o ) [ 60 of 182] Compiling OAlg.Structure.Multiplicative ( src/OAlg/Structure/Multiplicative.hs, dist/build/OAlg/Structure/Multiplicative.o, dist/build/OAlg/Structure/Multiplicative.dyn_o ) [ 61 of 182] Compiling OAlg.Structure.Fibred.Root ( src/OAlg/Structure/Fibred/Root.hs, dist/build/OAlg/Structure/Fibred/Root.o, dist/build/OAlg/Structure/Fibred/Root.dyn_o ) [ 62 of 182] Compiling OAlg.Structure.Fibred.Definition ( src/OAlg/Structure/Fibred/Definition.hs, dist/build/OAlg/Structure/Fibred/Definition.o, dist/build/OAlg/Structure/Fibred/Definition.dyn_o ) [ 63 of 182] Compiling OAlg.Structure.FibredOriented ( src/OAlg/Structure/FibredOriented.hs, dist/build/OAlg/Structure/FibredOriented.o, dist/build/OAlg/Structure/FibredOriented.dyn_o ) [ 64 of 182] Compiling OAlg.Structure.Fibred.Proposition ( src/OAlg/Structure/Fibred/Proposition.hs, dist/build/OAlg/Structure/Fibred/Proposition.o, dist/build/OAlg/Structure/Fibred/Proposition.dyn_o ) [ 65 of 182] Compiling OAlg.Structure.Fibred ( src/OAlg/Structure/Fibred.hs, dist/build/OAlg/Structure/Fibred.o, dist/build/OAlg/Structure/Fibred.dyn_o ) [ 66 of 182] Compiling OAlg.Structure.Additive.Definition ( src/OAlg/Structure/Additive/Definition.hs, dist/build/OAlg/Structure/Additive/Definition.o, dist/build/OAlg/Structure/Additive/Definition.dyn_o ) [ 67 of 182] Compiling OAlg.Structure.Distributive.Definition ( src/OAlg/Structure/Distributive/Definition.hs, dist/build/OAlg/Structure/Distributive/Definition.o, dist/build/OAlg/Structure/Distributive/Definition.dyn_o ) [ 68 of 182] Compiling OAlg.Structure.Additive.Proposition ( src/OAlg/Structure/Additive/Proposition.hs, dist/build/OAlg/Structure/Additive/Proposition.o, dist/build/OAlg/Structure/Additive/Proposition.dyn_o ) [ 69 of 182] Compiling OAlg.Structure.Additive ( src/OAlg/Structure/Additive.hs, dist/build/OAlg/Structure/Additive.o, dist/build/OAlg/Structure/Additive.dyn_o ) [ 70 of 182] Compiling OAlg.Structure.Distributive.Proposition ( src/OAlg/Structure/Distributive/Proposition.hs, dist/build/OAlg/Structure/Distributive/Proposition.o, dist/build/OAlg/Structure/Distributive/Proposition.dyn_o ) [ 71 of 182] Compiling OAlg.Structure.Distributive ( src/OAlg/Structure/Distributive.hs, dist/build/OAlg/Structure/Distributive.o, dist/build/OAlg/Structure/Distributive.dyn_o ) [ 72 of 182] Compiling OAlg.Entity.Natural ( src/OAlg/Entity/Natural.hs, dist/build/OAlg/Entity/Natural.o, dist/build/OAlg/Entity/Natural.dyn_o ) [ 73 of 182] Compiling OAlg.Entity.FinList ( src/OAlg/Entity/FinList.hs, dist/build/OAlg/Entity/FinList.o, dist/build/OAlg/Entity/FinList.dyn_o ) [ 74 of 182] Compiling OAlg.Entity.Diagram.Quiver ( src/OAlg/Entity/Diagram/Quiver.hs, dist/build/OAlg/Entity/Diagram/Quiver.o, dist/build/OAlg/Entity/Diagram/Quiver.dyn_o ) [ 75 of 182] Compiling OAlg.Category.Dualisable ( src/OAlg/Category/Dualisable.hs, dist/build/OAlg/Category/Dualisable.o, dist/build/OAlg/Category/Dualisable.dyn_o ) [ 76 of 182] Compiling OAlg.Limes.Cone.Structure ( src/OAlg/Limes/Cone/Structure.hs, dist/build/OAlg/Limes/Cone/Structure.o, dist/build/OAlg/Limes/Cone/Structure.dyn_o ) [ 77 of 182] Compiling OAlg.Structure.PartiallyOrdered.Definition ( src/OAlg/Structure/PartiallyOrdered/Definition.hs, dist/build/OAlg/Structure/PartiallyOrdered/Definition.o, dist/build/OAlg/Structure/PartiallyOrdered/Definition.dyn_o ) [ 78 of 182] Compiling OAlg.Structure.Lattice.Definition ( src/OAlg/Structure/Lattice/Definition.hs, dist/build/OAlg/Structure/Lattice/Definition.o, dist/build/OAlg/Structure/Lattice/Definition.dyn_o ) [ 79 of 182] Compiling OAlg.Structure.PartiallyOrdered.Proposition ( src/OAlg/Structure/PartiallyOrdered/Proposition.hs, dist/build/OAlg/Structure/PartiallyOrdered/Proposition.o, dist/build/OAlg/Structure/PartiallyOrdered/Proposition.dyn_o ) [ 80 of 182] Compiling OAlg.Structure.PartiallyOrdered ( src/OAlg/Structure/PartiallyOrdered.hs, dist/build/OAlg/Structure/PartiallyOrdered.o, dist/build/OAlg/Structure/PartiallyOrdered.dyn_o ) [ 81 of 182] Compiling OAlg.Structure.Lattice.Proposition ( src/OAlg/Structure/Lattice/Proposition.hs, dist/build/OAlg/Structure/Lattice/Proposition.o, dist/build/OAlg/Structure/Lattice/Proposition.dyn_o ) [ 82 of 182] Compiling OAlg.Structure.Lattice ( src/OAlg/Structure/Lattice.hs, dist/build/OAlg/Structure/Lattice.o, dist/build/OAlg/Structure/Lattice.dyn_o ) [ 83 of 182] Compiling OAlg.Structure.Proposition ( src/OAlg/Structure/Proposition.hs, dist/build/OAlg/Structure/Proposition.o, dist/build/OAlg/Structure/Proposition.dyn_o ) [ 84 of 182] Compiling OAlg.Structure.Ring.Definition ( src/OAlg/Structure/Ring/Definition.hs, dist/build/OAlg/Structure/Ring/Definition.o, dist/build/OAlg/Structure/Ring/Definition.dyn_o ) [ 85 of 182] Compiling OAlg.Structure.Ring ( src/OAlg/Structure/Ring.hs, dist/build/OAlg/Structure/Ring.o, dist/build/OAlg/Structure/Ring.dyn_o ) [ 86 of 182] Compiling OAlg.Structure.Number.Definition ( src/OAlg/Structure/Number/Definition.hs, dist/build/OAlg/Structure/Number/Definition.o, dist/build/OAlg/Structure/Number/Definition.dyn_o ) src/OAlg/Structure/Number/Definition.hs:232:9: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for filterPrime: Patterns of type [a] not matched: [] | 232 | where filterPrime (p:xs) = p : filterPrime [x | x <- xs, x `mod` p /= 0] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 87 of 182] Compiling OAlg.Structure.Number ( src/OAlg/Structure/Number.hs, dist/build/OAlg/Structure/Number.o, dist/build/OAlg/Structure/Number.dyn_o ) [ 88 of 182] Compiling OAlg.Entity.Sequence.Set ( src/OAlg/Entity/Sequence/Set.hs, dist/build/OAlg/Entity/Sequence/Set.o, dist/build/OAlg/Entity/Sequence/Set.dyn_o ) src/OAlg/Entity/Sequence/Set.hs:88:19: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 88 | set = Set . amap1 head . group . sort | ^^^^ src/OAlg/Entity/Sequence/Set.hs:262:27: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 262 | lt xis = Node (fst $ head xisR) (lt xisL) (lt xisR) where | ^^^^ src/OAlg/Entity/Sequence/Set.hs:290:22: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 290 | return $ Set $ map head $ group $ sort xs | ^^^^ [ 89 of 182] Compiling OAlg.Entity.Sequence.Graph ( src/OAlg/Entity/Sequence/Graph.hs, dist/build/OAlg/Entity/Sequence/Graph.o, dist/build/OAlg/Entity/Sequence/Graph.dyn_o ) src/OAlg/Entity/Sequence/Graph.hs:152:27: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 152 | aggr abs = (fst $ head abs,Set $ amap1 snd abs) | ^^^^ [ 90 of 182] Compiling OAlg.Entity.Sequence.Definition ( src/OAlg/Entity/Sequence/Definition.hs, dist/build/OAlg/Entity/Sequence/Definition.o, dist/build/OAlg/Entity/Sequence/Definition.dyn_o ) src/OAlg/Entity/Sequence/Definition.hs:171:24: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 171 | image p xs = Set $ map head $ group $ sort $ map snd $ gphxs $ graph p xs | ^^^^ [ 91 of 182] Compiling OAlg.Entity.Sequence.PSequence ( src/OAlg/Entity/Sequence/PSequence.hs, dist/build/OAlg/Entity/Sequence/PSequence.o, dist/build/OAlg/Entity/Sequence/PSequence.dyn_o ) src/OAlg/Entity/Sequence/PSequence.hs:257:3: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for aggrBy: Patterns of type x -> x -> x, [(x, i)] not matched: _ [] | 257 | aggrBy (+) ((x,i):xis) = (foldl (+) x (map fst xis),i) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/OAlg/Entity/Sequence/PSequence.hs:264:26: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 264 | psqHead (PSequence xs) = head xs | ^^^^ src/OAlg/Entity/Sequence/PSequence.hs:271:37: warning: [GHC-63394] [-Wx-partial] In the use of tail (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 271 | psqTail (PSequence xs) = PSequence (tail xs) | ^^^^ src/OAlg/Entity/Sequence/PSequence.hs:465:29: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 465 | toTree xis = Node (snd $ head r) (toTree l) (toTree r) where | ^^^^ [ 92 of 182] Compiling OAlg.Entity.Sequence.FSequence ( src/OAlg/Entity/Sequence/FSequence.hs, dist/build/OAlg/Entity/Sequence/FSequence.o, dist/build/OAlg/Entity/Sequence/FSequence.dyn_o ) [ 93 of 182] Compiling OAlg.Data.Variant ( src/OAlg/Data/Variant.hs, dist/build/OAlg/Data/Variant.o, dist/build/OAlg/Data/Variant.dyn_o ) src/OAlg/Data/Variant.hs:216:10: warning: [GHC-30606] [-Wredundant-constraints] Redundant constraint: CategoryDisjunctive c In the type signature for: vInv2 :: forall (c :: * -> * -> *) (v :: Variant) x y. CategoryDisjunctive c => Variant2 v (Inv2 c) x y -> Variant2 v (Inv2 c) y x | 216 | vInv2 :: CategoryDisjunctive c => Variant2 v (Inv2 c) x y -> Variant2 v (Inv2 c) y x | ^^^^^^^^^^^^^^^^^^^^^ [ 94 of 182] Compiling OAlg.Category.SDuality ( src/OAlg/Category/SDuality.hs, dist/build/OAlg/Category/SDuality.o, dist/build/OAlg/Category/SDuality.dyn_o ) [ 95 of 182] Compiling OAlg.Hom.Definition ( src/OAlg/Hom/Definition.hs, dist/build/OAlg/Hom/Definition.o, dist/build/OAlg/Hom/Definition.dyn_o ) [ 96 of 182] Compiling OAlg.Hom.Oriented.Definition ( src/OAlg/Hom/Oriented/Definition.hs, dist/build/OAlg/Hom/Oriented/Definition.o, dist/build/OAlg/Hom/Oriented/Definition.dyn_o ) [ 97 of 182] Compiling OAlg.Hom.Oriented.Proposition ( src/OAlg/Hom/Oriented/Proposition.hs, dist/build/OAlg/Hom/Oriented/Proposition.o, dist/build/OAlg/Hom/Oriented/Proposition.dyn_o ) [ 98 of 182] Compiling OAlg.Hom.Oriented ( src/OAlg/Hom/Oriented.hs, dist/build/OAlg/Hom/Oriented.o, dist/build/OAlg/Hom/Oriented.dyn_o ) [ 99 of 182] Compiling OAlg.Hom.Multiplicative ( src/OAlg/Hom/Multiplicative.hs, dist/build/OAlg/Hom/Multiplicative.o, dist/build/OAlg/Hom/Multiplicative.dyn_o ) src/OAlg/Hom/Multiplicative.hs:82:1: warning: [GHC-90177] [-Worphans] Orphan family instance: type instance Hom Mlt h = HomMultiplicative h -- Defined at src/OAlg/Hom/Multiplicative.hs:82:15 Suggested fix: Move the instance declaration to the module of the type family or of the type, or wrap the type with a newtype and declare the instance on the new type. | 82 | type instance Hom Mlt h = HomMultiplicative h | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/OAlg/Hom/Multiplicative.hs:127:1: warning: [GHC-90177] [-Worphans] Orphan family instance: type instance HomD Mlt h = HomMultiplicativeDisjunctive h -- Defined at src/OAlg/Hom/Multiplicative.hs:127:15 Suggested fix: Move the instance declaration to the module of the type family or of the type, or wrap the type with a newtype and declare the instance on the new type. | 127 | type instance HomD Mlt h = HomMultiplicativeDisjunctive h | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [100 of 182] Compiling OAlg.Hom.Fibred ( src/OAlg/Hom/Fibred.hs, dist/build/OAlg/Hom/Fibred.o, dist/build/OAlg/Hom/Fibred.dyn_o ) src/OAlg/Hom/Fibred.hs:72:10: warning: [GHC-30606] [-Wredundant-constraints] " Redundant constraint: Disjunctive2 h " In the instance declaration for HomFibred (Variant2 v h) | 72 | instance (HomFibred h, Disjunctive2 h) => HomFibred (Variant2 v h) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [101 of 182] Compiling OAlg.Hom.FibredOriented ( src/OAlg/Hom/FibredOriented.hs, dist/build/OAlg/Hom/FibredOriented.o, dist/build/OAlg/Hom/FibredOriented.dyn_o ) [102 of 182] Compiling OAlg.Hom.Additive ( src/OAlg/Hom/Additive.hs, dist/build/OAlg/Hom/Additive.o, dist/build/OAlg/Hom/Additive.dyn_o ) [103 of 182] Compiling OAlg.Hom.Distributive ( src/OAlg/Hom/Distributive.hs, dist/build/OAlg/Hom/Distributive.o, dist/build/OAlg/Hom/Distributive.dyn_o ) src/OAlg/Hom/Distributive.hs:62:1: warning: [GHC-90177] [-Worphans] Orphan family instance: type instance Hom Dst h = HomDistributive h -- Defined at src/OAlg/Hom/Distributive.hs:62:15 Suggested fix: Move the instance declaration to the module of the type family or of the type, or wrap the type with a newtype and declare the instance on the new type. | 62 | type instance Hom Dst h = HomDistributive h | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/OAlg/Hom/Distributive.hs:89:1: warning: [GHC-90177] [-Worphans] Orphan family instance: type instance HomD Dst h = HomDistributiveDisjunctive h -- Defined at src/OAlg/Hom/Distributive.hs:89:15 Suggested fix: Move the instance declaration to the module of the type family or of the type, or wrap the type with a newtype and declare the instance on the new type. | 89 | type instance HomD Dst h = HomDistributiveDisjunctive h | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [104 of 182] Compiling OAlg.Entity.Slice.Sliced ( src/OAlg/Entity/Slice/Sliced.hs, dist/build/OAlg/Entity/Slice/Sliced.o, dist/build/OAlg/Entity/Slice/Sliced.dyn_o ) [105 of 182] Compiling OAlg.Data.Ornt ( src/OAlg/Data/Ornt.hs, dist/build/OAlg/Data/Ornt.o, dist/build/OAlg/Data/Ornt.dyn_o ) [106 of 182] Compiling OAlg.Entity.Diagram.Definition ( src/OAlg/Entity/Diagram/Definition.hs, dist/build/OAlg/Entity/Diagram/Definition.o, dist/build/OAlg/Entity/Diagram/Definition.dyn_o ) [107 of 182] Compiling OAlg.Entity.Diagram.Proposition ( src/OAlg/Entity/Diagram/Proposition.hs, dist/build/OAlg/Entity/Diagram/Proposition.o, dist/build/OAlg/Entity/Diagram/Proposition.dyn_o ) [108 of 182] Compiling OAlg.Entity.Diagram.Diagrammatic ( src/OAlg/Entity/Diagram/Diagrammatic.hs, dist/build/OAlg/Entity/Diagram/Diagrammatic.o, dist/build/OAlg/Entity/Diagram/Diagrammatic.dyn_o ) [109 of 182] Compiling OAlg.Data.HomCo ( src/OAlg/Data/HomCo.hs, dist/build/OAlg/Data/HomCo.o, dist/build/OAlg/Data/HomCo.dyn_o ) [110 of 182] Compiling OAlg.Structure.Exponential ( src/OAlg/Structure/Exponential.hs, dist/build/OAlg/Structure/Exponential.o, dist/build/OAlg/Structure/Exponential.dyn_o ) [111 of 182] Compiling OAlg.Structure.Vectorial.Definition ( src/OAlg/Structure/Vectorial/Definition.hs, dist/build/OAlg/Structure/Vectorial/Definition.o, dist/build/OAlg/Structure/Vectorial/Definition.dyn_o ) [112 of 182] Compiling OAlg.Structure.Algebraic.Definition ( src/OAlg/Structure/Algebraic/Definition.hs, dist/build/OAlg/Structure/Algebraic/Definition.o, dist/build/OAlg/Structure/Algebraic/Definition.dyn_o ) [113 of 182] Compiling OAlg.Structure.Algebraic.Proposition ( src/OAlg/Structure/Algebraic/Proposition.hs, dist/build/OAlg/Structure/Algebraic/Proposition.o, dist/build/OAlg/Structure/Algebraic/Proposition.dyn_o ) [114 of 182] Compiling OAlg.Structure.Algebraic ( src/OAlg/Structure/Algebraic.hs, dist/build/OAlg/Structure/Algebraic.o, dist/build/OAlg/Structure/Algebraic.dyn_o ) [115 of 182] Compiling OAlg.Entity.Sum.Definition ( src/OAlg/Entity/Sum/Definition.hs, dist/build/OAlg/Entity/Sum/Definition.o, dist/build/OAlg/Entity/Sum/Definition.dyn_o ) src/OAlg/Entity/Sum/Definition.hs:192:3: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for aggr: Patterns of type [(b, b1)] not matched: [] | 192 | aggr as@((_,a):_) = (foldr (+) rZero $ map fst as,a) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [116 of 182] Compiling OAlg.Structure.Vectorial.Proposition ( src/OAlg/Structure/Vectorial/Proposition.hs, dist/build/OAlg/Structure/Vectorial/Proposition.o, dist/build/OAlg/Structure/Vectorial/Proposition.dyn_o ) [117 of 182] Compiling OAlg.Structure.Vectorial ( src/OAlg/Structure/Vectorial.hs, dist/build/OAlg/Structure/Vectorial.o, dist/build/OAlg/Structure/Vectorial.dyn_o ) [118 of 182] Compiling OAlg.Hom.Vectorial ( src/OAlg/Hom/Vectorial.hs, dist/build/OAlg/Hom/Vectorial.o, dist/build/OAlg/Hom/Vectorial.dyn_o ) [119 of 182] Compiling OAlg.Hom.Proposition ( src/OAlg/Hom/Proposition.hs, dist/build/OAlg/Hom/Proposition.o, dist/build/OAlg/Hom/Proposition.dyn_o ) [120 of 182] Compiling OAlg.Hom.Algebraic ( src/OAlg/Hom/Algebraic.hs, dist/build/OAlg/Hom/Algebraic.o, dist/build/OAlg/Hom/Algebraic.dyn_o ) [121 of 182] Compiling OAlg.Hom ( src/OAlg/Hom.hs, dist/build/OAlg/Hom.o, dist/build/OAlg/Hom.dyn_o ) [122 of 182] Compiling OAlg.Entity.Product.Definition ( src/OAlg/Entity/Product/Definition.hs, dist/build/OAlg/Entity/Product/Definition.o, dist/build/OAlg/Entity/Product/Definition.dyn_o ) src/OAlg/Entity/Product/Definition.hs:307:3: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for aggr: Patterns of type [(a, b)] not matched: [] | 307 | aggr as@((a,_):_) = (a,foldl (+) rZero $ map snd as) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/OAlg/Entity/Product/Definition.hs:317:3: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for fct: Patterns of type [t], t not matched: [] p where p is not one of {1} | 317 | fct _ 1 = [] | ^^^^^^^^^^^^^^... src/OAlg/Entity/Product/Definition.hs:330:3: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for fct: Patterns of type [N], N not matched: [] p where p is not one of {1} | 330 | fct _ 1 = [] | ^^^^^^^^^^^^... [123 of 182] Compiling OAlg.Entity.Product.Proposition ( src/OAlg/Entity/Product/Proposition.hs, dist/build/OAlg/Entity/Product/Proposition.o, dist/build/OAlg/Entity/Product/Proposition.dyn_o ) [124 of 182] Compiling OAlg.Entity.Product.ProductSymbol ( src/OAlg/Entity/Product/ProductSymbol.hs, dist/build/OAlg/Entity/Product/ProductSymbol.o, dist/build/OAlg/Entity/Product/ProductSymbol.dyn_o ) [125 of 182] Compiling OAlg.Entity.Sequence.CSequence ( src/OAlg/Entity/Sequence/CSequence.hs, dist/build/OAlg/Entity/Sequence/CSequence.o, dist/build/OAlg/Entity/Sequence/CSequence.dyn_o ) [126 of 182] Compiling OAlg.Entity.Product ( src/OAlg/Entity/Product.hs, dist/build/OAlg/Entity/Product.o, dist/build/OAlg/Entity/Product.dyn_o ) [127 of 182] Compiling OAlg.Entity.Sequence.Permutation ( src/OAlg/Entity/Sequence/Permutation.hs, dist/build/OAlg/Entity/Sequence/Permutation.o, dist/build/OAlg/Entity/Sequence/Permutation.dyn_o ) src/OAlg/Entity/Sequence/Permutation.hs:575:40: warning: [GHC-63394] [-Wx-partial] In the use of tail (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 575 | is''' <- xp (pred l) (is' ++ tail is'') | ^^^^ src/OAlg/Entity/Sequence/Permutation.hs:576:19: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 576 | return (head is'':is''') | ^^^^ [128 of 182] Compiling OAlg.Entity.Sequence ( src/OAlg/Entity/Sequence.hs, dist/build/OAlg/Entity/Sequence.o, dist/build/OAlg/Entity/Sequence.dyn_o ) [129 of 182] Compiling OAlg.Entity.Matrix.Entries ( src/OAlg/Entity/Matrix/Entries.hs, dist/build/OAlg/Entity/Matrix/Entries.o, dist/build/OAlg/Entity/Matrix/Entries.dyn_o ) src/OAlg/Entity/Matrix/Entries.hs:620:3: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for join: Patterns of type [(o, i)], [(o, j)], [(Row j (Entries i j x), i)] not matched: [] _ (_:_) | 620 | join _ _ [] = colEmpty | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/OAlg/Entity/Matrix/Entries.hs:632:5: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for shRow: Patterns of type [(j, j)], [(Entries o j x, j)] not matched: [] (_:_) | 632 | shRow _ [] = [] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [130 of 182] Compiling OAlg.Entity.Matrix.Dim ( src/OAlg/Entity/Matrix/Dim.hs, dist/build/OAlg/Entity/Matrix/Dim.o, dist/build/OAlg/Entity/Matrix/Dim.dyn_o ) [131 of 182] Compiling OAlg.Adjunction.Definition ( src/OAlg/Adjunction/Definition.hs, dist/build/OAlg/Adjunction/Definition.o, dist/build/OAlg/Adjunction/Definition.dyn_o ) [132 of 182] Compiling OAlg.Entity.Sum.SumSymbol ( src/OAlg/Entity/Sum/SumSymbol.hs, dist/build/OAlg/Entity/Sum/SumSymbol.o, dist/build/OAlg/Entity/Sum/SumSymbol.dyn_o ) [133 of 182] Compiling OAlg.Entity.Sum ( src/OAlg/Entity/Sum.hs, dist/build/OAlg/Entity/Sum.o, dist/build/OAlg/Entity/Sum.dyn_o ) [134 of 182] Compiling OAlg.Entity.Diagram.Transformation ( src/OAlg/Entity/Diagram/Transformation.hs, dist/build/OAlg/Entity/Diagram/Transformation.o, dist/build/OAlg/Entity/Diagram/Transformation.dyn_o ) [135 of 182] Compiling OAlg.Entity.Diagram ( src/OAlg/Entity/Diagram.hs, dist/build/OAlg/Entity/Diagram.o, dist/build/OAlg/Entity/Diagram.dyn_o ) [136 of 182] Compiling OAlg.Limes.Exact.ConsecutiveZero ( src/OAlg/Limes/Exact/ConsecutiveZero.hs, dist/build/OAlg/Limes/Exact/ConsecutiveZero.o, dist/build/OAlg/Limes/Exact/ConsecutiveZero.dyn_o ) [137 of 182] Compiling OAlg.Limes.Cone.Core ( src/OAlg/Limes/Cone/Core.hs, dist/build/OAlg/Limes/Cone/Core.o, dist/build/OAlg/Limes/Cone/Core.dyn_o ) [138 of 182] Compiling OAlg.Limes.Cone.Duality ( src/OAlg/Limes/Cone/Duality.hs, dist/build/OAlg/Limes/Cone/Duality.o, dist/build/OAlg/Limes/Cone/Duality.dyn_o ) [139 of 182] Compiling OAlg.Limes.Cone.Definition ( src/OAlg/Limes/Cone/Definition.hs, dist/build/OAlg/Limes/Cone/Definition.o, dist/build/OAlg/Limes/Cone/Definition.dyn_o ) [140 of 182] Compiling OAlg.Limes.Cone.FactorChain ( src/OAlg/Limes/Cone/FactorChain.hs, dist/build/OAlg/Limes/Cone/FactorChain.o, dist/build/OAlg/Limes/Cone/FactorChain.dyn_o ) [141 of 182] Compiling OAlg.Limes.Cone.Conic.Core ( src/OAlg/Limes/Cone/Conic/Core.hs, dist/build/OAlg/Limes/Cone/Conic/Core.o, dist/build/OAlg/Limes/Cone/Conic/Core.dyn_o ) [142 of 182] Compiling OAlg.Limes.Cone.Conic.Duality ( src/OAlg/Limes/Cone/Conic/Duality.hs, dist/build/OAlg/Limes/Cone/Conic/Duality.o, dist/build/OAlg/Limes/Cone/Conic/Duality.dyn_o ) [143 of 182] Compiling OAlg.Limes.Cone.Conic ( src/OAlg/Limes/Cone/Conic.hs, dist/build/OAlg/Limes/Cone/Conic.o, dist/build/OAlg/Limes/Cone/Conic.dyn_o ) [144 of 182] Compiling OAlg.Limes.Cone.ZeroHead.Core ( src/OAlg/Limes/Cone/ZeroHead/Core.hs, dist/build/OAlg/Limes/Cone/ZeroHead/Core.o, dist/build/OAlg/Limes/Cone/ZeroHead/Core.dyn_o ) [145 of 182] Compiling OAlg.Limes.Cone.ZeroHead.Duality ( src/OAlg/Limes/Cone/ZeroHead/Duality.hs, dist/build/OAlg/Limes/Cone/ZeroHead/Duality.o, dist/build/OAlg/Limes/Cone/ZeroHead/Duality.dyn_o ) [146 of 182] Compiling OAlg.Limes.Cone.ZeroHead ( src/OAlg/Limes/Cone/ZeroHead.hs, dist/build/OAlg/Limes/Cone/ZeroHead.o, dist/build/OAlg/Limes/Cone/ZeroHead.dyn_o ) [147 of 182] Compiling OAlg.Limes.Cone ( src/OAlg/Limes/Cone.hs, dist/build/OAlg/Limes/Cone.o, dist/build/OAlg/Limes/Cone.dyn_o ) [148 of 182] Compiling OAlg.Limes.Definition.Core ( src/OAlg/Limes/Definition/Core.hs, dist/build/OAlg/Limes/Definition/Core.o, dist/build/OAlg/Limes/Definition/Core.dyn_o ) [149 of 182] Compiling OAlg.Limes.Definition.Duality ( src/OAlg/Limes/Definition/Duality.hs, dist/build/OAlg/Limes/Definition/Duality.o, dist/build/OAlg/Limes/Definition/Duality.dyn_o ) [150 of 182] Compiling OAlg.Limes.Definition.Proposition ( src/OAlg/Limes/Definition/Proposition.hs, dist/build/OAlg/Limes/Definition/Proposition.o, dist/build/OAlg/Limes/Definition/Proposition.dyn_o ) [151 of 182] Compiling OAlg.Limes.Definition ( src/OAlg/Limes/Definition.hs, dist/build/OAlg/Limes/Definition.o, dist/build/OAlg/Limes/Definition.dyn_o ) [152 of 182] Compiling OAlg.Limes.Limits.Core ( src/OAlg/Limes/Limits/Core.hs, dist/build/OAlg/Limes/Limits/Core.o, dist/build/OAlg/Limes/Limits/Core.dyn_o ) [153 of 182] Compiling OAlg.Limes.Limits.Proposition ( src/OAlg/Limes/Limits/Proposition.hs, dist/build/OAlg/Limes/Limits/Proposition.o, dist/build/OAlg/Limes/Limits/Proposition.dyn_o ) [154 of 182] Compiling OAlg.Limes.Limits.Duality ( src/OAlg/Limes/Limits/Duality.hs, dist/build/OAlg/Limes/Limits/Duality.o, dist/build/OAlg/Limes/Limits/Duality.dyn_o ) [155 of 182] Compiling OAlg.Limes.Limits ( src/OAlg/Limes/Limits.hs, dist/build/OAlg/Limes/Limits.o, dist/build/OAlg/Limes/Limits.dyn_o ) [156 of 182] Compiling OAlg.Limes.TerminalAndInitialPoint ( src/OAlg/Limes/TerminalAndInitialPoint.hs, dist/build/OAlg/Limes/TerminalAndInitialPoint.o, dist/build/OAlg/Limes/TerminalAndInitialPoint.dyn_o ) [157 of 182] Compiling OAlg.Limes.MinimaAndMaxima ( src/OAlg/Limes/MinimaAndMaxima.hs, dist/build/OAlg/Limes/MinimaAndMaxima.o, dist/build/OAlg/Limes/MinimaAndMaxima.dyn_o ) [158 of 182] Compiling OAlg.Limes.ProductsAndSums ( src/OAlg/Limes/ProductsAndSums.hs, dist/build/OAlg/Limes/ProductsAndSums.o, dist/build/OAlg/Limes/ProductsAndSums.dyn_o ) [159 of 182] Compiling OAlg.Limes.Exact.ZeroPoint ( src/OAlg/Limes/Exact/ZeroPoint.hs, dist/build/OAlg/Limes/Exact/ZeroPoint.o, dist/build/OAlg/Limes/Exact/ZeroPoint.dyn_o ) [160 of 182] Compiling OAlg.Limes.EqualizersAndCoequalizers ( src/OAlg/Limes/EqualizersAndCoequalizers.hs, dist/build/OAlg/Limes/EqualizersAndCoequalizers.o, dist/build/OAlg/Limes/EqualizersAndCoequalizers.dyn_o ) [161 of 182] Compiling OAlg.Limes.PullbacksAndPushouts ( src/OAlg/Limes/PullbacksAndPushouts.hs, dist/build/OAlg/Limes/PullbacksAndPushouts.o, dist/build/OAlg/Limes/PullbacksAndPushouts.dyn_o ) [162 of 182] Compiling OAlg.Limes.KernelsAndCokernels ( src/OAlg/Limes/KernelsAndCokernels.hs, dist/build/OAlg/Limes/KernelsAndCokernels.o, dist/build/OAlg/Limes/KernelsAndCokernels.dyn_o ) [163 of 182] Compiling OAlg.Limes.Exact.Deviation ( src/OAlg/Limes/Exact/Deviation.hs, dist/build/OAlg/Limes/Exact/Deviation.o, dist/build/OAlg/Limes/Exact/Deviation.dyn_o ) [164 of 182] Compiling OAlg.Limes.Proposition ( src/OAlg/Limes/Proposition.hs, dist/build/OAlg/Limes/Proposition.o, dist/build/OAlg/Limes/Proposition.dyn_o ) [165 of 182] Compiling OAlg.Entity.Slice.Definition ( src/OAlg/Entity/Slice/Definition.hs, dist/build/OAlg/Entity/Slice/Definition.o, dist/build/OAlg/Entity/Slice/Definition.dyn_o ) [166 of 182] Compiling OAlg.Entity.Slice.Liftable ( src/OAlg/Entity/Slice/Liftable.hs, dist/build/OAlg/Entity/Slice/Liftable.o, dist/build/OAlg/Entity/Slice/Liftable.dyn_o ) [167 of 182] Compiling OAlg.Entity.Slice.Free ( src/OAlg/Entity/Slice/Free.hs, dist/build/OAlg/Entity/Slice/Free.o, dist/build/OAlg/Entity/Slice/Free.dyn_o ) [168 of 182] Compiling OAlg.Entity.Matrix.Definition ( src/OAlg/Entity/Matrix/Definition.hs, dist/build/OAlg/Entity/Matrix/Definition.o, dist/build/OAlg/Entity/Matrix/Definition.dyn_o ) [169 of 182] Compiling OAlg.Entity.Matrix.Vector ( src/OAlg/Entity/Matrix/Vector.hs, dist/build/OAlg/Entity/Matrix/Vector.o, dist/build/OAlg/Entity/Matrix/Vector.dyn_o ) [170 of 182] Compiling OAlg.Entity.Matrix.ProductsAndSums ( src/OAlg/Entity/Matrix/ProductsAndSums.hs, dist/build/OAlg/Entity/Matrix/ProductsAndSums.o, dist/build/OAlg/Entity/Matrix/ProductsAndSums.dyn_o ) [171 of 182] Compiling OAlg.Entity.Matrix.Proposition ( src/OAlg/Entity/Matrix/Proposition.hs, dist/build/OAlg/Entity/Matrix/Proposition.o, dist/build/OAlg/Entity/Matrix/Proposition.dyn_o ) [172 of 182] Compiling OAlg.Entity.Matrix.GeneralLinearGroup ( src/OAlg/Entity/Matrix/GeneralLinearGroup.hs, dist/build/OAlg/Entity/Matrix/GeneralLinearGroup.o, dist/build/OAlg/Entity/Matrix/GeneralLinearGroup.dyn_o ) [173 of 182] Compiling OAlg.Entity.Matrix.Transformation ( src/OAlg/Entity/Matrix/Transformation.hs, dist/build/OAlg/Entity/Matrix/Transformation.o, dist/build/OAlg/Entity/Matrix/Transformation.dyn_o ) [174 of 182] Compiling OAlg.Entity.Matrix ( src/OAlg/Entity/Matrix.hs, dist/build/OAlg/Entity/Matrix.o, dist/build/OAlg/Entity/Matrix.dyn_o ) [175 of 182] Compiling OAlg.Proposition ( src/OAlg/Proposition.hs, dist/build/OAlg/Proposition.o, dist/build/OAlg/Proposition.dyn_o ) [176 of 182] Compiling OAlg.Adjunction.Limes ( src/OAlg/Adjunction/Limes.hs, dist/build/OAlg/Adjunction/Limes.o, dist/build/OAlg/Adjunction/Limes.dyn_o ) [177 of 182] Compiling OAlg.Adjunction ( src/OAlg/Adjunction.hs, dist/build/OAlg/Adjunction.o, dist/build/OAlg/Adjunction.dyn_o ) [178 of 182] Compiling OAlg.Entity.Slice.Adjunction ( src/OAlg/Entity/Slice/Adjunction.hs, dist/build/OAlg/Entity/Slice/Adjunction.o, dist/build/OAlg/Entity/Slice/Adjunction.dyn_o ) [179 of 182] Compiling OAlg.Entity.Slice ( src/OAlg/Entity/Slice.hs, dist/build/OAlg/Entity/Slice.o, dist/build/OAlg/Entity/Slice.dyn_o ) [180 of 182] Compiling OAlg.Limes.Exact.Free ( src/OAlg/Limes/Exact/Free.hs, dist/build/OAlg/Limes/Exact/Free.o, dist/build/OAlg/Limes/Exact/Free.dyn_o ) [181 of 182] Compiling OAlg.Data.FinitelyPresentable ( src/OAlg/Data/FinitelyPresentable.hs, dist/build/OAlg/Data/FinitelyPresentable.o, dist/build/OAlg/Data/FinitelyPresentable.dyn_o ) [182 of 182] Compiling Paths_oalg_base ( dist/build/autogen/Paths_oalg_base.hs, dist/build/Paths_oalg_base.o, dist/build/Paths_oalg_base.dyn_o ) Preprocessing library for oalg-base-3.0.0.0.. Running Haddock on library for oalg-base-3.0.0.0.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. [ 1 of 182] Compiling OAlg.Control.Action ( src/OAlg/Control/Action.hs, nothing ) [ 2 of 182] Compiling OAlg.Control.Exception ( src/OAlg/Control/Exception.hs, nothing ) [ 3 of 182] Compiling OAlg.Control.HNFData ( src/OAlg/Control/HNFData.hs, nothing ) [ 4 of 182] Compiling OAlg.Control.Solver ( src/OAlg/Control/Solver.hs, nothing ) [ 5 of 182] Compiling OAlg.Data.Constructable ( src/OAlg/Data/Constructable.hs, nothing ) [ 6 of 182] Compiling OAlg.Data.Dualisable ( src/OAlg/Data/Dualisable.hs, nothing ) [ 7 of 182] Compiling OAlg.Data.Equal ( src/OAlg/Data/Equal.hs, nothing ) [ 8 of 182] Compiling OAlg.Data.Filterable ( src/OAlg/Data/Filterable.hs, nothing ) [ 9 of 182] Compiling OAlg.Data.Logical ( src/OAlg/Data/Logical.hs, nothing ) [ 10 of 182] Compiling OAlg.Data.Boolean.Definition ( src/OAlg/Data/Boolean/Definition.hs, nothing ) [ 11 of 182] Compiling OAlg.Data.Canonical ( src/OAlg/Data/Canonical.hs, nothing ) [ 12 of 182] Compiling OAlg.Data.Maybe ( src/OAlg/Data/Maybe.hs, nothing ) [ 13 of 182] Compiling OAlg.Data.Number ( src/OAlg/Data/Number.hs, nothing ) [ 14 of 182] Compiling OAlg.Data.Ord ( src/OAlg/Data/Ord.hs, nothing ) [ 15 of 182] Compiling OAlg.Data.Proxy ( src/OAlg/Data/Proxy.hs, nothing ) [ 16 of 182] Compiling OAlg.Data.Reducible ( src/OAlg/Data/Reducible.hs, nothing ) [ 17 of 182] Compiling OAlg.Data.Relation ( src/OAlg/Data/Relation.hs, nothing ) [ 18 of 182] Compiling OAlg.Data.Show ( src/OAlg/Data/Show.hs, nothing ) [ 19 of 182] Compiling OAlg.Data.Either ( src/OAlg/Data/Either.hs, nothing ) [ 20 of 182] Compiling OAlg.Control.Verbose ( src/OAlg/Control/Verbose.hs, nothing ) [ 21 of 182] Compiling OAlg.Data.Singleton ( src/OAlg/Data/Singleton.hs, nothing ) [ 22 of 182] Compiling OAlg.Data.Singular ( src/OAlg/Data/Singular.hs, nothing ) [ 23 of 182] Compiling OAlg.Data.Statistics ( src/OAlg/Data/Statistics.hs, nothing ) [ 24 of 182] Compiling OAlg.Data.Tree ( src/OAlg/Data/Tree.hs, nothing ) [ 25 of 182] Compiling OAlg.Data.TypeLits ( src/OAlg/Data/TypeLits.hs, nothing ) [ 26 of 182] Compiling OAlg.Data.X ( src/OAlg/Data/X.hs, nothing ) src/OAlg/Data/X.hs:193:50: warning: [GHC-68441] [-Wdeprecations] In the use of split (imported from System.Random, but defined in System.Random.Internal): Deprecated: "In favor of `splitGen`" | 193 | xOmega = X $ Action (\(Omega g) -> let (g1,g2) = R.split g in (Omega g1,Omega g2)) | ^^^^^^^ [ 27 of 182] Compiling OAlg.Data.Statement.Definition ( src/OAlg/Data/Statement/Definition.hs, nothing ) [ 28 of 182] Compiling OAlg.Data.EqualExtensional ( src/OAlg/Data/EqualExtensional.hs, nothing ) [ 29 of 182] Compiling OAlg.Category.Applicative ( src/OAlg/Category/Applicative.hs, nothing ) [ 30 of 182] Compiling OAlg.Structure.Definition ( src/OAlg/Structure/Definition.hs, nothing ) [ 31 of 182] Compiling OAlg.Category.Definition ( src/OAlg/Category/Definition.hs, nothing ) [ 32 of 182] Compiling OAlg.Data.Identity ( src/OAlg/Data/Identity.hs, nothing ) [ 33 of 182] Compiling OAlg.Data.Validable ( src/OAlg/Data/Validable.hs, nothing ) [ 34 of 182] Compiling OAlg.Entity.Definition ( src/OAlg/Entity/Definition.hs, nothing ) [ 35 of 182] Compiling OAlg.Data.Symbol ( src/OAlg/Data/Symbol.hs, nothing ) [ 36 of 182] Compiling OAlg.Data.Boolean.Proposition ( src/OAlg/Data/Boolean/Proposition.hs, nothing ) [ 37 of 182] Compiling OAlg.Data.Boolean ( src/OAlg/Data/Boolean.hs, nothing ) [ 38 of 182] Compiling OAlg.Data.Statement.Proposition ( src/OAlg/Data/Statement/Proposition.hs, nothing ) [ 39 of 182] Compiling OAlg.Data.Statement ( src/OAlg/Data/Statement.hs, nothing ) [ 40 of 182] Compiling OAlg.Control.Validate ( src/OAlg/Control/Validate.hs, nothing ) [ 41 of 182] Compiling OAlg.Category.Path ( src/OAlg/Category/Path.hs, nothing ) [ 42 of 182] Compiling OAlg.Category.Unify ( src/OAlg/Category/Unify.hs, nothing ) [ 43 of 182] Compiling OAlg.Category.Proposition ( src/OAlg/Category/Proposition.hs, nothing ) [ 44 of 182] Compiling OAlg.Prelude ( src/OAlg/Prelude.hs, nothing ) [ 45 of 182] Compiling OAlg.Limes.Perspective ( src/OAlg/Limes/Perspective.hs, nothing ) [ 46 of 182] Compiling OAlg.Category.NaturalTransformable ( src/OAlg/Category/NaturalTransformable.hs, nothing ) [ 47 of 182] Compiling OAlg.Category.Map ( src/OAlg/Category/Map.hs, nothing ) [ 48 of 182] Compiling OAlg.Structure.Exception ( src/OAlg/Structure/Exception.hs, nothing ) [ 49 of 182] Compiling OAlg.Structure.Oriented.Point ( src/OAlg/Structure/Oriented/Point.hs, nothing ) [ 50 of 182] Compiling OAlg.Structure.Oriented.Orientation ( src/OAlg/Structure/Oriented/Orientation.hs, nothing ) [ 51 of 182] Compiling OAlg.Structure.Oriented.Definition ( src/OAlg/Structure/Oriented/Definition.hs, nothing ) [ 52 of 182] Compiling OAlg.Structure.Oriented.Opposite ( src/OAlg/Structure/Oriented/Opposite.hs, nothing ) [ 53 of 182] Compiling OAlg.Structure.Oriented.Path ( src/OAlg/Structure/Oriented/Path.hs, nothing ) [ 54 of 182] Compiling OAlg.Structure.Oriented.X ( src/OAlg/Structure/Oriented/X.hs, nothing ) [ 55 of 182] Compiling OAlg.Structure.Oriented.Proposition ( src/OAlg/Structure/Oriented/Proposition.hs, nothing ) [ 56 of 182] Compiling OAlg.Structure.Oriented ( src/OAlg/Structure/Oriented.hs, nothing ) [ 57 of 182] Compiling OAlg.Structure.Multiplicative.Definition ( src/OAlg/Structure/Multiplicative/Definition.hs, nothing ) [ 58 of 182] Compiling OAlg.Structure.Operational ( src/OAlg/Structure/Operational.hs, nothing ) [ 59 of 182] Compiling OAlg.Structure.Multiplicative.Proposition ( src/OAlg/Structure/Multiplicative/Proposition.hs, nothing ) [ 60 of 182] Compiling OAlg.Structure.Multiplicative ( src/OAlg/Structure/Multiplicative.hs, nothing ) [ 61 of 182] Compiling OAlg.Structure.Fibred.Root ( src/OAlg/Structure/Fibred/Root.hs, nothing ) [ 62 of 182] Compiling OAlg.Structure.Fibred.Definition ( src/OAlg/Structure/Fibred/Definition.hs, nothing ) [ 63 of 182] Compiling OAlg.Structure.FibredOriented ( src/OAlg/Structure/FibredOriented.hs, nothing ) [ 64 of 182] Compiling OAlg.Structure.Fibred.Proposition ( src/OAlg/Structure/Fibred/Proposition.hs, nothing ) [ 65 of 182] Compiling OAlg.Structure.Fibred ( src/OAlg/Structure/Fibred.hs, nothing ) [ 66 of 182] Compiling OAlg.Structure.Additive.Definition ( src/OAlg/Structure/Additive/Definition.hs, nothing ) [ 67 of 182] Compiling OAlg.Structure.Distributive.Definition ( src/OAlg/Structure/Distributive/Definition.hs, nothing ) [ 68 of 182] Compiling OAlg.Structure.Additive.Proposition ( src/OAlg/Structure/Additive/Proposition.hs, nothing ) [ 69 of 182] Compiling OAlg.Structure.Additive ( src/OAlg/Structure/Additive.hs, nothing ) [ 70 of 182] Compiling OAlg.Structure.Distributive.Proposition ( src/OAlg/Structure/Distributive/Proposition.hs, nothing ) [ 71 of 182] Compiling OAlg.Structure.Distributive ( src/OAlg/Structure/Distributive.hs, nothing ) [ 72 of 182] Compiling OAlg.Entity.Natural ( src/OAlg/Entity/Natural.hs, nothing ) [ 73 of 182] Compiling OAlg.Entity.FinList ( src/OAlg/Entity/FinList.hs, nothing ) [ 74 of 182] Compiling OAlg.Entity.Diagram.Quiver ( src/OAlg/Entity/Diagram/Quiver.hs, nothing ) [ 75 of 182] Compiling OAlg.Category.Dualisable ( src/OAlg/Category/Dualisable.hs, nothing ) [ 76 of 182] Compiling OAlg.Limes.Cone.Structure ( src/OAlg/Limes/Cone/Structure.hs, nothing ) [ 77 of 182] Compiling OAlg.Structure.PartiallyOrdered.Definition ( src/OAlg/Structure/PartiallyOrdered/Definition.hs, nothing ) [ 78 of 182] Compiling OAlg.Structure.Lattice.Definition ( src/OAlg/Structure/Lattice/Definition.hs, nothing ) [ 79 of 182] Compiling OAlg.Structure.PartiallyOrdered.Proposition ( src/OAlg/Structure/PartiallyOrdered/Proposition.hs, nothing ) [ 80 of 182] Compiling OAlg.Structure.PartiallyOrdered ( src/OAlg/Structure/PartiallyOrdered.hs, nothing ) [ 81 of 182] Compiling OAlg.Structure.Lattice.Proposition ( src/OAlg/Structure/Lattice/Proposition.hs, nothing ) [ 82 of 182] Compiling OAlg.Structure.Lattice ( src/OAlg/Structure/Lattice.hs, nothing ) [ 83 of 182] Compiling OAlg.Structure.Proposition ( src/OAlg/Structure/Proposition.hs, nothing ) [ 84 of 182] Compiling OAlg.Structure.Ring.Definition ( src/OAlg/Structure/Ring/Definition.hs, nothing ) [ 85 of 182] Compiling OAlg.Structure.Ring ( src/OAlg/Structure/Ring.hs, nothing ) [ 86 of 182] Compiling OAlg.Structure.Number.Definition ( src/OAlg/Structure/Number/Definition.hs, nothing ) [ 87 of 182] Compiling OAlg.Structure.Number ( src/OAlg/Structure/Number.hs, nothing ) [ 88 of 182] Compiling OAlg.Entity.Sequence.Set ( src/OAlg/Entity/Sequence/Set.hs, nothing ) src/OAlg/Entity/Sequence/Set.hs:88:19: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 88 | set = Set . amap1 head . group . sort | ^^^^ src/OAlg/Entity/Sequence/Set.hs:262:27: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 262 | lt xis = Node (fst $ head xisR) (lt xisL) (lt xisR) where | ^^^^ src/OAlg/Entity/Sequence/Set.hs:290:22: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 290 | return $ Set $ map head $ group $ sort xs | ^^^^ [ 89 of 182] Compiling OAlg.Entity.Sequence.Graph ( src/OAlg/Entity/Sequence/Graph.hs, nothing ) src/OAlg/Entity/Sequence/Graph.hs:152:27: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 152 | aggr abs = (fst $ head abs,Set $ amap1 snd abs) | ^^^^ [ 90 of 182] Compiling OAlg.Entity.Sequence.Definition ( src/OAlg/Entity/Sequence/Definition.hs, nothing ) src/OAlg/Entity/Sequence/Definition.hs:171:24: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 171 | image p xs = Set $ map head $ group $ sort $ map snd $ gphxs $ graph p xs | ^^^^ [ 91 of 182] Compiling OAlg.Entity.Sequence.PSequence ( src/OAlg/Entity/Sequence/PSequence.hs, nothing ) src/OAlg/Entity/Sequence/PSequence.hs:264:26: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 264 | psqHead (PSequence xs) = head xs | ^^^^ src/OAlg/Entity/Sequence/PSequence.hs:271:37: warning: [GHC-63394] [-Wx-partial] In the use of tail (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 271 | psqTail (PSequence xs) = PSequence (tail xs) | ^^^^ src/OAlg/Entity/Sequence/PSequence.hs:465:29: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 465 | toTree xis = Node (snd $ head r) (toTree l) (toTree r) where | ^^^^ [ 92 of 182] Compiling OAlg.Entity.Sequence.FSequence ( src/OAlg/Entity/Sequence/FSequence.hs, nothing ) [ 93 of 182] Compiling OAlg.Data.Variant ( src/OAlg/Data/Variant.hs, nothing ) src/OAlg/Data/Variant.hs:216:10: warning: [GHC-30606] [-Wredundant-constraints] Redundant constraint: CategoryDisjunctive c In the type signature for: vInv2 :: forall (c :: * -> * -> *) (v :: Variant) x y. CategoryDisjunctive c => Variant2 v (Inv2 c) x y -> Variant2 v (Inv2 c) y x | 216 | vInv2 :: CategoryDisjunctive c => Variant2 v (Inv2 c) x y -> Variant2 v (Inv2 c) y x | ^^^^^^^^^^^^^^^^^^^^^ [ 94 of 182] Compiling OAlg.Category.SDuality ( src/OAlg/Category/SDuality.hs, nothing ) [ 95 of 182] Compiling OAlg.Hom.Definition ( src/OAlg/Hom/Definition.hs, nothing ) [ 96 of 182] Compiling OAlg.Hom.Oriented.Definition ( src/OAlg/Hom/Oriented/Definition.hs, nothing ) [ 97 of 182] Compiling OAlg.Hom.Oriented.Proposition ( src/OAlg/Hom/Oriented/Proposition.hs, nothing ) [ 98 of 182] Compiling OAlg.Hom.Oriented ( src/OAlg/Hom/Oriented.hs, nothing ) [ 99 of 182] Compiling OAlg.Hom.Multiplicative ( src/OAlg/Hom/Multiplicative.hs, nothing ) src/OAlg/Hom/Multiplicative.hs:82:1: warning: [GHC-90177] [-Worphans] Orphan family instance: type instance Hom Mlt h = HomMultiplicative h -- Defined at src/OAlg/Hom/Multiplicative.hs:82:15 Suggested fix: Move the instance declaration to the module of the type family or of the type, or wrap the type with a newtype and declare the instance on the new type. | 82 | type instance Hom Mlt h = HomMultiplicative h | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/OAlg/Hom/Multiplicative.hs:127:1: warning: [GHC-90177] [-Worphans] Orphan family instance: type instance HomD Mlt h = HomMultiplicativeDisjunctive h -- Defined at src/OAlg/Hom/Multiplicative.hs:127:15 Suggested fix: Move the instance declaration to the module of the type family or of the type, or wrap the type with a newtype and declare the instance on the new type. | 127 | type instance HomD Mlt h = HomMultiplicativeDisjunctive h | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [100 of 182] Compiling OAlg.Hom.Fibred ( src/OAlg/Hom/Fibred.hs, nothing ) src/OAlg/Hom/Fibred.hs:72:10: warning: [GHC-30606] [-Wredundant-constraints] " Redundant constraint: Disjunctive2 h " In the instance declaration for HomFibred (Variant2 v h) | 72 | instance (HomFibred h, Disjunctive2 h) => HomFibred (Variant2 v h) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [101 of 182] Compiling OAlg.Hom.FibredOriented ( src/OAlg/Hom/FibredOriented.hs, nothing ) [102 of 182] Compiling OAlg.Hom.Additive ( src/OAlg/Hom/Additive.hs, nothing ) [103 of 182] Compiling OAlg.Hom.Distributive ( src/OAlg/Hom/Distributive.hs, nothing ) src/OAlg/Hom/Distributive.hs:62:1: warning: [GHC-90177] [-Worphans] Orphan family instance: type instance Hom Dst h = HomDistributive h -- Defined at src/OAlg/Hom/Distributive.hs:62:15 Suggested fix: Move the instance declaration to the module of the type family or of the type, or wrap the type with a newtype and declare the instance on the new type. | 62 | type instance Hom Dst h = HomDistributive h | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/OAlg/Hom/Distributive.hs:89:1: warning: [GHC-90177] [-Worphans] Orphan family instance: type instance HomD Dst h = HomDistributiveDisjunctive h -- Defined at src/OAlg/Hom/Distributive.hs:89:15 Suggested fix: Move the instance declaration to the module of the type family or of the type, or wrap the type with a newtype and declare the instance on the new type. | 89 | type instance HomD Dst h = HomDistributiveDisjunctive h | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [104 of 182] Compiling OAlg.Entity.Slice.Sliced ( src/OAlg/Entity/Slice/Sliced.hs, nothing ) [105 of 182] Compiling OAlg.Data.Ornt ( src/OAlg/Data/Ornt.hs, nothing ) [106 of 182] Compiling OAlg.Entity.Diagram.Definition ( src/OAlg/Entity/Diagram/Definition.hs, nothing ) [107 of 182] Compiling OAlg.Entity.Diagram.Proposition ( src/OAlg/Entity/Diagram/Proposition.hs, nothing ) [108 of 182] Compiling OAlg.Entity.Diagram.Diagrammatic ( src/OAlg/Entity/Diagram/Diagrammatic.hs, nothing ) [109 of 182] Compiling OAlg.Data.HomCo ( src/OAlg/Data/HomCo.hs, nothing ) [110 of 182] Compiling OAlg.Structure.Exponential ( src/OAlg/Structure/Exponential.hs, nothing ) [111 of 182] Compiling OAlg.Structure.Vectorial.Definition ( src/OAlg/Structure/Vectorial/Definition.hs, nothing ) [112 of 182] Compiling OAlg.Structure.Algebraic.Definition ( src/OAlg/Structure/Algebraic/Definition.hs, nothing ) [113 of 182] Compiling OAlg.Structure.Algebraic.Proposition ( src/OAlg/Structure/Algebraic/Proposition.hs, nothing ) [114 of 182] Compiling OAlg.Structure.Algebraic ( src/OAlg/Structure/Algebraic.hs, nothing ) [115 of 182] Compiling OAlg.Entity.Sum.Definition ( src/OAlg/Entity/Sum/Definition.hs, nothing ) [116 of 182] Compiling OAlg.Structure.Vectorial.Proposition ( src/OAlg/Structure/Vectorial/Proposition.hs, nothing ) [117 of 182] Compiling OAlg.Structure.Vectorial ( src/OAlg/Structure/Vectorial.hs, nothing ) [118 of 182] Compiling OAlg.Hom.Vectorial ( src/OAlg/Hom/Vectorial.hs, nothing ) [119 of 182] Compiling OAlg.Hom.Proposition ( src/OAlg/Hom/Proposition.hs, nothing ) [120 of 182] Compiling OAlg.Hom.Algebraic ( src/OAlg/Hom/Algebraic.hs, nothing ) [121 of 182] Compiling OAlg.Hom ( src/OAlg/Hom.hs, nothing ) [122 of 182] Compiling OAlg.Entity.Product.Definition ( src/OAlg/Entity/Product/Definition.hs, nothing ) [123 of 182] Compiling OAlg.Entity.Product.Proposition ( src/OAlg/Entity/Product/Proposition.hs, nothing ) [124 of 182] Compiling OAlg.Entity.Product.ProductSymbol ( src/OAlg/Entity/Product/ProductSymbol.hs, nothing ) [125 of 182] Compiling OAlg.Entity.Sequence.CSequence ( src/OAlg/Entity/Sequence/CSequence.hs, nothing ) [126 of 182] Compiling OAlg.Entity.Product ( src/OAlg/Entity/Product.hs, nothing ) [127 of 182] Compiling OAlg.Entity.Sequence.Permutation ( src/OAlg/Entity/Sequence/Permutation.hs, nothing ) src/OAlg/Entity/Sequence/Permutation.hs:575:40: warning: [GHC-63394] [-Wx-partial] In the use of tail (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Replace it with drop 1, or use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 575 | is''' <- xp (pred l) (is' ++ tail is'') | ^^^^ src/OAlg/Entity/Sequence/Permutation.hs:576:19: warning: [GHC-63394] [-Wx-partial] In the use of head (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 576 | return (head is'':is''') | ^^^^ [128 of 182] Compiling OAlg.Entity.Sequence ( src/OAlg/Entity/Sequence.hs, nothing ) [129 of 182] Compiling OAlg.Entity.Matrix.Entries ( src/OAlg/Entity/Matrix/Entries.hs, nothing ) [130 of 182] Compiling OAlg.Entity.Matrix.Dim ( src/OAlg/Entity/Matrix/Dim.hs, nothing ) [131 of 182] Compiling OAlg.Adjunction.Definition ( src/OAlg/Adjunction/Definition.hs, nothing ) [132 of 182] Compiling OAlg.Entity.Sum.SumSymbol ( src/OAlg/Entity/Sum/SumSymbol.hs, nothing ) [133 of 182] Compiling OAlg.Entity.Sum ( src/OAlg/Entity/Sum.hs, nothing ) [134 of 182] Compiling OAlg.Entity.Diagram.Transformation ( src/OAlg/Entity/Diagram/Transformation.hs, nothing ) [135 of 182] Compiling OAlg.Entity.Diagram ( src/OAlg/Entity/Diagram.hs, nothing ) [136 of 182] Compiling OAlg.Limes.Exact.ConsecutiveZero ( src/OAlg/Limes/Exact/ConsecutiveZero.hs, nothing ) [137 of 182] Compiling OAlg.Limes.Cone.Core ( src/OAlg/Limes/Cone/Core.hs, nothing ) [138 of 182] Compiling OAlg.Limes.Cone.Duality ( src/OAlg/Limes/Cone/Duality.hs, nothing ) [139 of 182] Compiling OAlg.Limes.Cone.Definition ( src/OAlg/Limes/Cone/Definition.hs, nothing ) [140 of 182] Compiling OAlg.Limes.Cone.FactorChain ( src/OAlg/Limes/Cone/FactorChain.hs, nothing ) [141 of 182] Compiling OAlg.Limes.Cone.Conic.Core ( src/OAlg/Limes/Cone/Conic/Core.hs, nothing ) [142 of 182] Compiling OAlg.Limes.Cone.Conic.Duality ( src/OAlg/Limes/Cone/Conic/Duality.hs, nothing ) [143 of 182] Compiling OAlg.Limes.Cone.Conic ( src/OAlg/Limes/Cone/Conic.hs, nothing ) [144 of 182] Compiling OAlg.Limes.Cone.ZeroHead.Core ( src/OAlg/Limes/Cone/ZeroHead/Core.hs, nothing ) [145 of 182] Compiling OAlg.Limes.Cone.ZeroHead.Duality ( src/OAlg/Limes/Cone/ZeroHead/Duality.hs, nothing ) [146 of 182] Compiling OAlg.Limes.Cone.ZeroHead ( src/OAlg/Limes/Cone/ZeroHead.hs, nothing ) [147 of 182] Compiling OAlg.Limes.Cone ( src/OAlg/Limes/Cone.hs, nothing ) [148 of 182] Compiling OAlg.Limes.Definition.Core ( src/OAlg/Limes/Definition/Core.hs, nothing ) [149 of 182] Compiling OAlg.Limes.Definition.Duality ( src/OAlg/Limes/Definition/Duality.hs, nothing ) [150 of 182] Compiling OAlg.Limes.Definition.Proposition ( src/OAlg/Limes/Definition/Proposition.hs, nothing ) [151 of 182] Compiling OAlg.Limes.Definition ( src/OAlg/Limes/Definition.hs, nothing ) [152 of 182] Compiling OAlg.Limes.Limits.Core ( src/OAlg/Limes/Limits/Core.hs, nothing ) [153 of 182] Compiling OAlg.Limes.Limits.Proposition ( src/OAlg/Limes/Limits/Proposition.hs, nothing ) [154 of 182] Compiling OAlg.Limes.Limits.Duality ( src/OAlg/Limes/Limits/Duality.hs, nothing ) [155 of 182] Compiling OAlg.Limes.Limits ( src/OAlg/Limes/Limits.hs, nothing ) [156 of 182] Compiling OAlg.Limes.TerminalAndInitialPoint ( src/OAlg/Limes/TerminalAndInitialPoint.hs, nothing ) [157 of 182] Compiling OAlg.Limes.MinimaAndMaxima ( src/OAlg/Limes/MinimaAndMaxima.hs, nothing ) [158 of 182] Compiling OAlg.Limes.ProductsAndSums ( src/OAlg/Limes/ProductsAndSums.hs, nothing ) [159 of 182] Compiling OAlg.Limes.Exact.ZeroPoint ( src/OAlg/Limes/Exact/ZeroPoint.hs, nothing ) [160 of 182] Compiling OAlg.Limes.EqualizersAndCoequalizers ( src/OAlg/Limes/EqualizersAndCoequalizers.hs, nothing ) [161 of 182] Compiling OAlg.Limes.PullbacksAndPushouts ( src/OAlg/Limes/PullbacksAndPushouts.hs, nothing ) [162 of 182] Compiling OAlg.Limes.KernelsAndCokernels ( src/OAlg/Limes/KernelsAndCokernels.hs, nothing ) [163 of 182] Compiling OAlg.Limes.Exact.Deviation ( src/OAlg/Limes/Exact/Deviation.hs, nothing ) [164 of 182] Compiling OAlg.Limes.Proposition ( src/OAlg/Limes/Proposition.hs, nothing ) [165 of 182] Compiling OAlg.Entity.Slice.Definition ( src/OAlg/Entity/Slice/Definition.hs, nothing ) [166 of 182] Compiling OAlg.Entity.Slice.Liftable ( src/OAlg/Entity/Slice/Liftable.hs, nothing ) [167 of 182] Compiling OAlg.Entity.Slice.Free ( src/OAlg/Entity/Slice/Free.hs, nothing ) [168 of 182] Compiling OAlg.Entity.Matrix.Definition ( src/OAlg/Entity/Matrix/Definition.hs, nothing ) [169 of 182] Compiling OAlg.Entity.Matrix.Vector ( src/OAlg/Entity/Matrix/Vector.hs, nothing ) [170 of 182] Compiling OAlg.Entity.Matrix.ProductsAndSums ( src/OAlg/Entity/Matrix/ProductsAndSums.hs, nothing ) [171 of 182] Compiling OAlg.Entity.Matrix.Proposition ( src/OAlg/Entity/Matrix/Proposition.hs, nothing ) [172 of 182] Compiling OAlg.Entity.Matrix.GeneralLinearGroup ( src/OAlg/Entity/Matrix/GeneralLinearGroup.hs, nothing ) [173 of 182] Compiling OAlg.Entity.Matrix.Transformation ( src/OAlg/Entity/Matrix/Transformation.hs, nothing ) [174 of 182] Compiling OAlg.Entity.Matrix ( src/OAlg/Entity/Matrix.hs, nothing ) [175 of 182] Compiling OAlg.Proposition ( src/OAlg/Proposition.hs, nothing ) [176 of 182] Compiling OAlg.Adjunction.Limes ( src/OAlg/Adjunction/Limes.hs, nothing ) [177 of 182] Compiling OAlg.Adjunction ( src/OAlg/Adjunction.hs, nothing ) [178 of 182] Compiling OAlg.Entity.Slice.Adjunction ( src/OAlg/Entity/Slice/Adjunction.hs, nothing ) [179 of 182] Compiling OAlg.Entity.Slice ( src/OAlg/Entity/Slice.hs, nothing ) [180 of 182] Compiling OAlg.Limes.Exact.Free ( src/OAlg/Limes/Exact/Free.hs, nothing ) [181 of 182] Compiling OAlg.Data.FinitelyPresentable ( src/OAlg/Data/FinitelyPresentable.hs, nothing ) [182 of 182] Compiling Paths_oalg_base ( dist/build/autogen/Paths_oalg_base.hs, nothing ) Haddock coverage: 100% ( 5 / 5) in 'OAlg.Control.Action' Warning: 'SomeOAlgException' is ambiguous. It is defined * at src/OAlg/Control/Exception.hs:31:26 * at src/OAlg/Control/Exception.hs:31:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Control/Exception.hs:31:1 100% ( 10 / 10) in 'OAlg.Control.Exception' Warning: 'HNFValue' is ambiguous. It is defined * at src/OAlg/Control/HNFData.hs:27:19 * at src/OAlg/Control/HNFData.hs:27:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Control/HNFData.hs:27:1 Warning: 'SomeException' is ambiguous. It is defined * in GHC.Exception.Type * in GHC.Exception.Type You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined in GHC.Exception.Type 100% ( 5 / 5) in 'OAlg.Control.HNFData' 100% ( 7 / 7) in 'OAlg.Control.Solver' 100% ( 7 / 7) in 'OAlg.Data.Constructable' Warning: 'Dl1' is ambiguous. It is defined * at src/OAlg/Data/Dualisable.hs:63:19 * at src/OAlg/Data/Dualisable.hs:63:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Data/Dualisable.hs:63:1 Warning: 'Proxy' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 24 / 24) in 'OAlg.Data.Dualisable' 100% ( 10 / 10) in 'OAlg.Data.Equal' 100% ( 2 / 2) in 'OAlg.Data.Filterable' 100% ( 4 / 4) in 'OAlg.Data.Logical' 85% ( 6 / 7) in 'OAlg.Data.Boolean.Definition' Missing documentation for: Bool 100% ( 4 / 4) in 'OAlg.Data.Canonical' 100% ( 4 / 4) in 'OAlg.Data.Maybe' 100% ( 21 / 21) in 'OAlg.Data.Number' 100% ( 16 / 16) in 'OAlg.Data.Ord' 100% ( 4 / 4) in 'OAlg.Data.Proxy' Warning: 'Action' is ambiguous. It is defined * at src/OAlg/Control/Action.hs:19:22 * at src/OAlg/Control/Action.hs:19:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Control/Action.hs:19:1 100% ( 8 / 8) in 'OAlg.Data.Reducible' 100% ( 3 / 3) in 'OAlg.Data.Relation' 100% ( 12 / 12) in 'OAlg.Data.Show' 100% ( 9 / 9) in 'OAlg.Data.Either' 100% ( 11 / 11) in 'OAlg.Control.Verbose' 100% ( 6 / 6) in 'OAlg.Data.Singleton' 100% ( 3 / 3) in 'OAlg.Data.Singular' 100% ( 6 / 6) in 'OAlg.Data.Statistics' 100% ( 4 / 4) in 'OAlg.Data.Tree' 100% ( 2 / 2) in 'OAlg.Data.TypeLits' Warning: 'X' is ambiguous. It is defined * at src/OAlg/Data/X.hs:120:12 * at src/OAlg/Data/X.hs:120:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Data/X.hs:120:1 Warning: 'Omega' is ambiguous. It is defined * at src/OAlg/Data/X.hs:81:14 * at src/OAlg/Data/X.hs:81:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Data/X.hs:81:1 100% ( 50 / 50) in 'OAlg.Data.X' Warning: 'Valid' is ambiguous. It is defined * at src/OAlg/Data/Statement/Definition.hs:289:58 * at src/OAlg/Data/Statement/Definition.hs:289:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Data/Statement/Definition.hs:289:1 Warning: 'SomeOAlgException' is ambiguous. It is defined * at src/OAlg/Control/Exception.hs:31:26 * at src/OAlg/Control/Exception.hs:31:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Control/Exception.hs:31:1 Warning: 'SomeException' is ambiguous. It is defined * in GHC.Exception.Type * in GHC.Exception.Type You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined in GHC.Exception.Type Warning: 'Label' is ambiguous. It is defined * at src/OAlg/Data/Statement/Definition.hs:112:5 * at src/OAlg/Data/Statement/Definition.hs:111:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Data/Statement/Definition.hs:111:1 100% ( 44 / 44) in 'OAlg.Data.Statement.Definition' 100% ( 3 / 3) in 'OAlg.Data.EqualExtensional' Warning: '->' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 11 / 11) in 'OAlg.Category.Applicative' 100% ( 27 / 27) in 'OAlg.Structure.Definition' Warning: 'Inv2' is ambiguous. It is defined * at src/OAlg/Category/Definition.hs:451:19 * at src/OAlg/Category/Definition.hs:451:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Category/Definition.hs:451:1 Warning: '->' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Struct' is ambiguous. It is defined * at src/OAlg/Structure/Definition.hs:71:3 * at src/OAlg/Structure/Definition.hs:70:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Definition.hs:70:1 Warning: 'Sub' is ambiguous. It is defined * at src/OAlg/Category/Definition.hs:358:3 * at src/OAlg/Category/Definition.hs:357:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Category/Definition.hs:357:1 100% ( 50 / 50) in 'OAlg.Category.Definition' Warning: '->' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Id' is ambiguous. It is defined * at src/OAlg/Data/Identity.hs:50:16 * at src/OAlg/Data/Identity.hs:50:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Data/Identity.hs:50:1 100% ( 17 / 17) in 'OAlg.Data.Identity' 100% ( 18 / 18) in 'OAlg.Data.Validable' 100% ( 16 / 16) in 'OAlg.Entity.Definition' 100% ( 3 / 3) in 'OAlg.Data.Symbol' Warning: ':' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 30 / 30) in 'OAlg.Data.Boolean.Proposition' 100% ( 3 / 3) in 'OAlg.Data.Boolean' Warning: 'Valid' is ambiguous. It is defined * at src/OAlg/Data/Statement/Definition.hs:289:58 * at src/OAlg/Data/Statement/Definition.hs:289:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Data/Statement/Definition.hs:289:1 100% ( 11 / 11) in 'OAlg.Data.Statement.Proposition' 100% ( 3 / 3) in 'OAlg.Data.Statement' 100% ( 11 / 11) in 'OAlg.Control.Validate' 100% ( 10 / 10) in 'OAlg.Category.Path' 100% ( 18 / 18) in 'OAlg.Category.Unify' Warning: 'SomeObjectClass' is ambiguous. It is defined * at src/OAlg/Category/Unify.hs:159:3 * at src/OAlg/Category/Unify.hs:158:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Category/Unify.hs:158:1 Warning: 'SomeOAlgException' is ambiguous. It is defined * at src/OAlg/Control/Exception.hs:31:26 * at src/OAlg/Control/Exception.hs:31:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Control/Exception.hs:31:1 Warning: 'Inv2' is ambiguous. It is defined * at src/OAlg/Category/Definition.hs:451:19 * at src/OAlg/Category/Definition.hs:451:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Category/Definition.hs:451:1 100% ( 34 / 34) in 'OAlg.Category.Proposition' 100% ( 43 / 43) in 'OAlg.Prelude' 100% ( 3 / 3) in 'OAlg.Limes.Perspective' 100% ( 14 / 14) in 'OAlg.Category.NaturalTransformable' 100% ( 2 / 2) in 'OAlg.Category.Map' Warning: 'SomeOAlgException' is ambiguous. It is defined * at src/OAlg/Control/Exception.hs:31:26 * at src/OAlg/Control/Exception.hs:31:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Control/Exception.hs:31:1 100% ( 2 / 2) in 'OAlg.Structure.Exception' Warning: 'Pnt' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Point.hs:174:17 * at src/OAlg/Structure/Oriented/Point.hs:174:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Point.hs:174:1 100% ( 26 / 26) in 'OAlg.Structure.Oriented.Point' 100% ( 7 / 7) in 'OAlg.Structure.Oriented.Orientation' Warning: 'SomeMorphism' is ambiguous. It is defined * at src/OAlg/Category/Unify.hs:83:3 * at src/OAlg/Category/Unify.hs:82:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Category/Unify.hs:82:1 100% ( 18 / 18) in 'OAlg.Structure.Oriented.Definition' Warning: 'Op' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Opposite.hs:40:16 * at src/OAlg/Structure/Oriented/Opposite.hs:40:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1 100% ( 11 / 11) in 'OAlg.Structure.Oriented.Opposite' Warning: 'Path' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Path.hs:52:15 * at src/OAlg/Structure/Oriented/Path.hs:52:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Path.hs:52:1 100% ( 6 / 6) in 'OAlg.Structure.Oriented.Path' Warning: 'XOrtOrientation' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/X.hs:321:5 * at src/OAlg/Structure/Oriented/X.hs:320:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/X.hs:320:1 Warning: 'Op' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Opposite.hs:40:16 * at src/OAlg/Structure/Oriented/Opposite.hs:40:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1 Warning: 'Id' is ambiguous. It is defined * at src/OAlg/Data/Identity.hs:50:16 * at src/OAlg/Data/Identity.hs:50:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Data/Identity.hs:50:1 Warning: 'U' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Point.hs:217:15 * at src/OAlg/Structure/Oriented/Point.hs:217:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Point.hs:217:1 100% ( 28 / 28) in 'OAlg.Structure.Oriented.X' 100% ( 12 / 12) in 'OAlg.Structure.Oriented.Proposition' 100% ( 6 / 6) in 'OAlg.Structure.Oriented' Warning: 'Inv' is ambiguous. It is defined * at src/OAlg/Structure/Multiplicative/Definition.hs:343:14 * at src/OAlg/Structure/Multiplicative/Definition.hs:343:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Multiplicative/Definition.hs:343:1 100% ( 21 / 21) in 'OAlg.Structure.Multiplicative.Definition' 100% ( 10 / 10) in 'OAlg.Structure.Operational' Warning: 'Endo' is ambiguous. It is defined * at src/OAlg/Structure/Multiplicative/Proposition.hs:65:18 * at src/OAlg/Structure/Multiplicative/Proposition.hs:65:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Multiplicative/Proposition.hs:65:1 100% ( 28 / 28) in 'OAlg.Structure.Multiplicative.Proposition' 100% ( 3 / 3) in 'OAlg.Structure.Multiplicative' Warning: 'Rt' is ambiguous. It is defined * at src/OAlg/Structure/Fibred/Root.hs:160:16 * at src/OAlg/Structure/Fibred/Root.hs:160:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Fibred/Root.hs:160:1 100% ( 22 / 22) in 'OAlg.Structure.Fibred.Root' Warning: 'Sheaf' is ambiguous. It is defined * at src/OAlg/Structure/Fibred/Definition.hs:106:16 * at src/OAlg/Structure/Fibred/Definition.hs:106:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Fibred/Definition.hs:106:1 Warning: 'XStalk' is ambiguous. It is defined * at src/OAlg/Structure/Fibred/Definition.hs:184:17 * at src/OAlg/Structure/Fibred/Definition.hs:184:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Fibred/Definition.hs:184:1 100% ( 19 / 19) in 'OAlg.Structure.Fibred.Definition' 100% ( 13 / 13) in 'OAlg.Structure.FibredOriented' 100% ( 3 / 3) in 'OAlg.Structure.Fibred.Proposition' 100% ( 3 / 3) in 'OAlg.Structure.Fibred' 100% ( 15 / 15) in 'OAlg.Structure.Additive.Definition' 100% ( 8 / 8) in 'OAlg.Structure.Distributive.Definition' 100% ( 44 / 44) in 'OAlg.Structure.Additive.Proposition' 100% ( 3 / 3) in 'OAlg.Structure.Additive' Warning: 'XDst' is ambiguous. It is defined * at src/OAlg/Structure/Distributive/Proposition.hs:174:15 * at src/OAlg/Structure/Distributive/Proposition.hs:174:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Distributive/Proposition.hs:174:1 100% ( 22 / 22) in 'OAlg.Structure.Distributive.Proposition' 100% ( 3 / 3) in 'OAlg.Structure.Distributive' Warning: the type '*' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: the type '+' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'SomeNatural' is ambiguous. It is defined * at src/OAlg/Entity/Natural.hs:353:3 * at src/OAlg/Entity/Natural.hs:352:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Natural.hs:352:1 Warning: 'W'' is ambiguous. It is defined * at src/OAlg/Entity/Natural.hs:406:11 * at src/OAlg/Entity/Natural.hs:406:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Natural.hs:406:1 100% ( 87 / 87) in 'OAlg.Entity.Natural' 100% ( 25 / 25) in 'OAlg.Entity.FinList' Warning: 'Quiver' is ambiguous. It is defined * at src/OAlg/Entity/Diagram/Quiver.hs:39:19 * at src/OAlg/Entity/Diagram/Quiver.hs:39:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Diagram/Quiver.hs:39:1 100% ( 7 / 7) in 'OAlg.Entity.Diagram.Quiver' Warning: 'Struct' is ambiguous. It is defined * at src/OAlg/Structure/Definition.hs:71:3 * at src/OAlg/Structure/Definition.hs:70:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Definition.hs:70:1 Warning: 'Inv2' is ambiguous. It is defined * at src/OAlg/Category/Definition.hs:451:19 * at src/OAlg/Category/Definition.hs:451:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Category/Definition.hs:451:1 100% ( 15 / 15) in 'OAlg.Category.Dualisable' 100% ( 7 / 7) in 'OAlg.Limes.Cone.Structure' 100% ( 5 / 5) in 'OAlg.Structure.PartiallyOrdered.Definition' 100% ( 2 / 2) in 'OAlg.Structure.Lattice.Definition' 100% ( 3 / 3) in 'OAlg.Structure.PartiallyOrdered.Proposition' 100% ( 3 / 3) in 'OAlg.Structure.PartiallyOrdered' 100% ( 8 / 8) in 'OAlg.Structure.Lattice.Proposition' 100% ( 3 / 3) in 'OAlg.Structure.Lattice' 100% ( 7 / 7) in 'OAlg.Structure.Proposition' 100% ( 12 / 12) in 'OAlg.Structure.Ring.Definition' 100% ( 2 / 2) in 'OAlg.Structure.Ring' Warning: 'Digits' is ambiguous. It is defined * at src/OAlg/Structure/Number/Definition.hs:311:3 * at src/OAlg/Structure/Number/Definition.hs:310:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Number/Definition.hs:310:1 Warning: '^' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 21 / 21) in 'OAlg.Structure.Number.Definition' 100% ( 2 / 2) in 'OAlg.Structure.Number' Warning: 'Set' is ambiguous. It is defined * at src/OAlg/Entity/Sequence/Set.hs:67:17 * at src/OAlg/Entity/Sequence/Set.hs:67:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Sequence/Set.hs:67:1 Warning: ':' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 24 / 24) in 'OAlg.Entity.Sequence.Set' Warning: 'Graph' is ambiguous. It is defined * at src/OAlg/Entity/Sequence/Graph.hs:54:21 * at src/OAlg/Entity/Sequence/Graph.hs:54:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Sequence/Graph.hs:54:1 Warning: ':' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Set' is ambiguous. It is defined * at src/OAlg/Entity/Sequence/Set.hs:67:17 * at src/OAlg/Entity/Sequence/Set.hs:67:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Sequence/Set.hs:67:1 100% ( 17 / 17) in 'OAlg.Entity.Sequence.Graph' Warning: ':' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'SomeOAlgException' is ambiguous. It is defined * at src/OAlg/Control/Exception.hs:31:26 * at src/OAlg/Control/Exception.hs:31:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Control/Exception.hs:31:1 100% ( 14 / 14) in 'OAlg.Entity.Sequence.Definition' Warning: 'Monotone' is ambiguous. It is defined * at src/OAlg/Entity/Sequence/PSequence.hs:192:24 * at src/OAlg/Entity/Sequence/PSequence.hs:192:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Sequence/PSequence.hs:192:1 Warning: 'PSequence' is ambiguous. It is defined * at src/OAlg/Entity/Sequence/PSequence.hs:106:25 * at src/OAlg/Entity/Sequence/PSequence.hs:106:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Sequence/PSequence.hs:106:1 Warning: ':' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'PTree' is ambiguous. It is defined * at src/OAlg/Entity/Sequence/PSequence.hs:420:21 * at src/OAlg/Entity/Sequence/PSequence.hs:420:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Sequence/PSequence.hs:420:1 100% ( 42 / 42) in 'OAlg.Entity.Sequence.PSequence' 100% ( 30 / 30) in 'OAlg.Entity.Sequence.FSequence' Warning: 'Struct' is ambiguous. It is defined * at src/OAlg/Structure/Definition.hs:71:3 * at src/OAlg/Structure/Definition.hs:70:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Definition.hs:70:1 100% ( 16 / 16) in 'OAlg.Data.Variant' Warning: 'SHom' is ambiguous. It is defined * at src/OAlg/Category/SDuality.hs:189:28 * at src/OAlg/Category/SDuality.hs:189:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Category/SDuality.hs:189:1 Warning: 'SDualBi' is ambiguous. It is defined * at src/OAlg/Category/SDuality.hs:324:23 * at src/OAlg/Category/SDuality.hs:324:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Category/SDuality.hs:324:1 100% ( 27 / 27) in 'OAlg.Category.SDuality' Warning: 'Id' is ambiguous. It is defined * at src/OAlg/Data/Identity.hs:50:16 * at src/OAlg/Data/Identity.hs:50:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Data/Identity.hs:50:1 Warning: 'HomDisj' is ambiguous. It is defined * at src/OAlg/Hom/Definition.hs:62:29 * at src/OAlg/Hom/Definition.hs:62:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Hom/Definition.hs:62:1 Warning: 'HomEmpty' is ambiguous. It is defined * at src/OAlg/Hom/Definition.hs:108:26 * at src/OAlg/Hom/Definition.hs:108:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Hom/Definition.hs:108:1 100% ( 24 / 24) in 'OAlg.Hom.Definition' Warning: 'Struct' is ambiguous. It is defined * at src/OAlg/Structure/Definition.hs:71:3 * at src/OAlg/Structure/Definition.hs:70:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Definition.hs:70:1 Warning: 'Id' is ambiguous. It is defined * at src/OAlg/Data/Identity.hs:50:16 * at src/OAlg/Data/Identity.hs:50:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Data/Identity.hs:50:1 Warning: 'Pnt' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Point.hs:174:17 * at src/OAlg/Structure/Oriented/Point.hs:174:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Point.hs:174:1 Warning: 'Op' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Opposite.hs:40:16 * at src/OAlg/Structure/Oriented/Opposite.hs:40:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1 100% ( 16 / 16) in 'OAlg.Hom.Oriented.Definition' Warning: 'Op' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Opposite.hs:40:16 * at src/OAlg/Structure/Oriented/Opposite.hs:40:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1 100% ( 8 / 8) in 'OAlg.Hom.Oriented.Proposition' 100% ( 3 / 3) in 'OAlg.Hom.Oriented' Warning: 'Struct' is ambiguous. It is defined * at src/OAlg/Structure/Definition.hs:71:3 * at src/OAlg/Structure/Definition.hs:70:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Definition.hs:70:1 Warning: 'Op' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Opposite.hs:40:16 * at src/OAlg/Structure/Oriented/Opposite.hs:40:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1 Warning: 'XHomMlt' is ambiguous. It is defined * at src/OAlg/Hom/Multiplicative.hs:208:18 * at src/OAlg/Hom/Multiplicative.hs:208:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Hom/Multiplicative.hs:208:1 Warning: 'HomDisj' is ambiguous. It is defined * at src/OAlg/Hom/Definition.hs:62:29 * at src/OAlg/Hom/Definition.hs:62:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Hom/Definition.hs:62:1 100% ( 23 / 23) in 'OAlg.Hom.Multiplicative' Warning: 'Struct' is ambiguous. It is defined * at src/OAlg/Structure/Definition.hs:71:3 * at src/OAlg/Structure/Definition.hs:70:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Definition.hs:70:1 Warning: 'Id' is ambiguous. It is defined * at src/OAlg/Data/Identity.hs:50:16 * at src/OAlg/Data/Identity.hs:50:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Data/Identity.hs:50:1 Warning: 'Rt' is ambiguous. It is defined * at src/OAlg/Structure/Fibred/Root.hs:160:16 * at src/OAlg/Structure/Fibred/Root.hs:160:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Fibred/Root.hs:160:1 Warning: 'Op' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Opposite.hs:40:16 * at src/OAlg/Structure/Oriented/Opposite.hs:40:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1 100% ( 14 / 14) in 'OAlg.Hom.Fibred' Warning: 'Struct' is ambiguous. It is defined * at src/OAlg/Structure/Definition.hs:71:3 * at src/OAlg/Structure/Definition.hs:70:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Definition.hs:70:1 Warning: 'Op' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Opposite.hs:40:16 * at src/OAlg/Structure/Oriented/Opposite.hs:40:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1 100% ( 14 / 14) in 'OAlg.Hom.FibredOriented' Warning: 'Struct' is ambiguous. It is defined * at src/OAlg/Structure/Definition.hs:71:3 * at src/OAlg/Structure/Definition.hs:70:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Definition.hs:70:1 Warning: 'Op' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Opposite.hs:40:16 * at src/OAlg/Structure/Oriented/Opposite.hs:40:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1 100% ( 12 / 12) in 'OAlg.Hom.Additive' Warning: 'HomDisj' is ambiguous. It is defined * at src/OAlg/Hom/Definition.hs:62:29 * at src/OAlg/Hom/Definition.hs:62:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Hom/Definition.hs:62:1 Warning: 'Op' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Opposite.hs:40:16 * at src/OAlg/Structure/Oriented/Opposite.hs:40:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1 100% ( 8 / 8) in 'OAlg.Hom.Distributive' 100% ( 23 / 23) in 'OAlg.Entity.Slice.Sliced' Warning: 'Ornt' is ambiguous. It is defined * at src/OAlg/Data/Ornt.hs:45:3 * at src/OAlg/Data/Ornt.hs:44:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Data/Ornt.hs:44:1 100% ( 3 / 3) in 'OAlg.Data.Ornt' Warning: 'Op' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Opposite.hs:40:16 * at src/OAlg/Structure/Oriented/Opposite.hs:40:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1 Warning: 'SDualBi' is ambiguous. It is defined * at src/OAlg/Category/SDuality.hs:324:23 * at src/OAlg/Category/SDuality.hs:324:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Category/SDuality.hs:324:1 100% ( 34 / 34) in 'OAlg.Entity.Diagram.Definition' 100% ( 4 / 4) in 'OAlg.Entity.Diagram.Proposition' Warning: 'SDualBi' is ambiguous. It is defined * at src/OAlg/Category/SDuality.hs:324:23 * at src/OAlg/Category/SDuality.hs:324:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Category/SDuality.hs:324:1 Warning: 'DiagramG' is ambiguous. It is defined * at src/OAlg/Entity/Diagram/Diagrammatic.hs:77:63 * at src/OAlg/Entity/Diagram/Diagrammatic.hs:77:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Diagram/Diagrammatic.hs:77:1 Warning: 'Op' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Opposite.hs:40:16 * at src/OAlg/Structure/Oriented/Opposite.hs:40:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1 100% ( 14 / 14) in 'OAlg.Entity.Diagram.Diagrammatic' Warning: 'HomCo' is ambiguous. It is defined * at src/OAlg/Data/HomCo.hs:138:27 * at src/OAlg/Data/HomCo.hs:138:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Data/HomCo.hs:138:1 Warning: 'Struct' is ambiguous. It is defined * at src/OAlg/Structure/Definition.hs:71:3 * at src/OAlg/Structure/Definition.hs:70:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Definition.hs:70:1 Warning: 'PathCo' is ambiguous. It is defined * at src/OAlg/Data/HomCo.hs:106:28 * at src/OAlg/Data/HomCo.hs:106:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Data/HomCo.hs:106:1 100% ( 23 / 23) in 'OAlg.Data.HomCo' 100% ( 6 / 6) in 'OAlg.Structure.Exponential' Warning: 'VectorSheaf' is ambiguous. It is defined * at src/OAlg/Structure/Vectorial/Definition.hs:87:22 * at src/OAlg/Structure/Vectorial/Definition.hs:87:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Vectorial/Definition.hs:87:1 100% ( 9 / 9) in 'OAlg.Structure.Vectorial.Definition' 100% ( 9 / 9) in 'OAlg.Structure.Algebraic.Definition' 100% ( 8 / 8) in 'OAlg.Structure.Algebraic.Proposition' 100% ( 3 / 3) in 'OAlg.Structure.Algebraic' Warning: 'Sum' is ambiguous. It is defined * at src/OAlg/Entity/Sum/Definition.hs:250:19 * at src/OAlg/Entity/Sum/Definition.hs:250:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Sum/Definition.hs:250:1 100% ( 22 / 22) in 'OAlg.Entity.Sum.Definition' 100% ( 14 / 14) in 'OAlg.Structure.Vectorial.Proposition' 100% ( 3 / 3) in 'OAlg.Structure.Vectorial' Warning: 'Struct' is ambiguous. It is defined * at src/OAlg/Structure/Definition.hs:71:3 * at src/OAlg/Structure/Definition.hs:70:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Definition.hs:70:1 Warning: 'Op' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Opposite.hs:40:16 * at src/OAlg/Structure/Oriented/Opposite.hs:40:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1 100% ( 8 / 8) in 'OAlg.Hom.Vectorial' 100% ( 2 / 2) in 'OAlg.Hom.Proposition' 100% ( 3 / 3) in 'OAlg.Hom.Algebraic' 100% ( 9 / 9) in 'OAlg.Hom' Warning: 'Path' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Path.hs:52:15 * at src/OAlg/Structure/Oriented/Path.hs:52:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Path.hs:52:1 Warning: 'Product' is ambiguous. It is defined * at src/OAlg/Entity/Product/Definition.hs:472:23 * at src/OAlg/Entity/Product/Definition.hs:472:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Product/Definition.hs:472:1 Warning: 'Op' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Opposite.hs:40:16 * at src/OAlg/Structure/Oriented/Opposite.hs:40:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1 Warning: 'Word' is ambiguous. It is defined * at src/OAlg/Entity/Product/Definition.hs:289:20 * at src/OAlg/Entity/Product/Definition.hs:289:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Product/Definition.hs:289:1 100% ( 38 / 38) in 'OAlg.Entity.Product.Definition' 100% ( 15 / 15) in 'OAlg.Entity.Product.Proposition' 100% ( 16 / 16) in 'OAlg.Entity.Product.ProductSymbol' 100% ( 6 / 6) in 'OAlg.Entity.Sequence.CSequence' 100% ( 4 / 4) in 'OAlg.Entity.Product' Warning: 'Cycle' is ambiguous. It is defined * at src/OAlg/Entity/Sequence/Permutation.hs:496:19 * at src/OAlg/Entity/Sequence/Permutation.hs:496:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Sequence/Permutation.hs:496:1 Warning: 'Permutation' is ambiguous. It is defined * at src/OAlg/Entity/Sequence/Permutation.hs:325:25 * at src/OAlg/Entity/Sequence/Permutation.hs:325:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Sequence/Permutation.hs:325:1 Warning: 'PermutationForm' is ambiguous. It is defined * at src/OAlg/Entity/Sequence/Permutation.hs:80:29 * at src/OAlg/Entity/Sequence/Permutation.hs:80:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Sequence/Permutation.hs:80:1 Warning: 'PSequence' is ambiguous. It is defined * at src/OAlg/Entity/Sequence/PSequence.hs:106:25 * at src/OAlg/Entity/Sequence/PSequence.hs:106:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Sequence/PSequence.hs:106:1 Warning: 'zip' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 25 / 25) in 'OAlg.Entity.Sequence.Permutation' Warning: 'ProductSymbol' is ambiguous. It is defined * at src/OAlg/Entity/Product/ProductSymbol.hs:99:27 * at src/OAlg/Entity/Product/ProductSymbol.hs:99:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Product/ProductSymbol.hs:99:1 Warning: 'PSequence' is ambiguous. It is defined * at src/OAlg/Entity/Sequence/PSequence.hs:106:25 * at src/OAlg/Entity/Sequence/PSequence.hs:106:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Sequence/PSequence.hs:106:1 Warning: 'Set' is ambiguous. It is defined * at src/OAlg/Entity/Sequence/Set.hs:67:17 * at src/OAlg/Entity/Sequence/Set.hs:67:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Sequence/Set.hs:67:1 Warning: 'Graph' is ambiguous. It is defined * at src/OAlg/Entity/Sequence/Graph.hs:54:21 * at src/OAlg/Entity/Sequence/Graph.hs:54:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Sequence/Graph.hs:54:1 100% ( 8 / 8) in 'OAlg.Entity.Sequence' Warning: 'Entries' is ambiguous. It is defined * at src/OAlg/Entity/Matrix/Entries.hs:417:25 * at src/OAlg/Entity/Matrix/Entries.hs:417:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Matrix/Entries.hs:417:1 100% ( 56 / 56) in 'OAlg.Entity.Matrix.Entries' Warning: 'Dim' is ambiguous. It is defined * at src/OAlg/Entity/Matrix/Dim.hs:46:20 * at src/OAlg/Entity/Matrix/Dim.hs:46:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Matrix/Dim.hs:46:1 100% ( 9 / 9) in 'OAlg.Entity.Matrix.Dim' Warning: 'Adjunction' is ambiguous. It is defined * at src/OAlg/Adjunction/Definition.hs:143:3 * at src/OAlg/Adjunction/Definition.hs:142:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Adjunction/Definition.hs:142:1 Warning: 'Op' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Opposite.hs:40:16 * at src/OAlg/Structure/Oriented/Opposite.hs:40:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1 100% ( 17 / 17) in 'OAlg.Adjunction.Definition' Warning: 'SumSymbol' is ambiguous. It is defined * at src/OAlg/Entity/Sum/SumSymbol.hs:48:25 * at src/OAlg/Entity/Sum/SumSymbol.hs:48:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Sum/SumSymbol.hs:48:1 Warning: 'Set' is ambiguous. It is defined * at src/OAlg/Entity/Sequence/Set.hs:67:17 * at src/OAlg/Entity/Sequence/Set.hs:67:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Sequence/Set.hs:67:1 100% ( 13 / 13) in 'OAlg.Entity.Sum.SumSymbol' 100% ( 3 / 3) in 'OAlg.Entity.Sum' Warning: 'DiagramTrafo' is ambiguous. It is defined * at src/OAlg/Entity/Diagram/Transformation.hs:83:5 * at src/OAlg/Entity/Diagram/Transformation.hs:82:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Diagram/Transformation.hs:82:1 100% ( 7 / 7) in 'OAlg.Entity.Diagram.Transformation' 100% ( 6 / 6) in 'OAlg.Entity.Diagram' Warning: 'ConsecutiveZeroHom' is ambiguous. It is defined * at src/OAlg/Limes/Exact/ConsecutiveZero.hs:220:5 * at src/OAlg/Limes/Exact/ConsecutiveZero.hs:219:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Limes/Exact/ConsecutiveZero.hs:219:1 Warning: 'ConsecutiveZero' is ambiguous. It is defined * at src/OAlg/Limes/Exact/ConsecutiveZero.hs:82:33 * at src/OAlg/Limes/Exact/ConsecutiveZero.hs:82:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Limes/Exact/ConsecutiveZero.hs:82:1 100% ( 26 / 26) in 'OAlg.Limes.Exact.ConsecutiveZero' Warning: 'DiagramG' is ambiguous. It is defined * at src/OAlg/Entity/Diagram/Diagrammatic.hs:77:63 * at src/OAlg/Entity/Diagram/Diagrammatic.hs:77:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Diagram/Diagrammatic.hs:77:1 100% ( 13 / 13) in 'OAlg.Limes.Cone.Core' 100% ( 14 / 14) in 'OAlg.Limes.Cone.Duality' 100% ( 26 / 26) in 'OAlg.Limes.Cone.Definition' Warning: 'FactorChain' is ambiguous. It is defined * at src/OAlg/Limes/Cone/FactorChain.hs:52:28 * at src/OAlg/Limes/Cone/FactorChain.hs:52:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Limes/Cone/FactorChain.hs:52:1 100% ( 7 / 7) in 'OAlg.Limes.Cone.FactorChain' Warning: 'SDualBi' is ambiguous. It is defined * at src/OAlg/Category/SDuality.hs:324:23 * at src/OAlg/Category/SDuality.hs:324:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Category/SDuality.hs:324:1 Warning: 'ConeG' is ambiguous. It is defined * at src/OAlg/Limes/Cone/Conic/Core.hs:66:5 * at src/OAlg/Limes/Cone/Conic/Core.hs:60:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Limes/Cone/Conic/Core.hs:60:1 100% ( 7 / 7) in 'OAlg.Limes.Cone.Conic.Core' 100% ( 6 / 6) in 'OAlg.Limes.Cone.Conic.Duality' 100% ( 9 / 9) in 'OAlg.Limes.Cone.Conic' 100% ( 2 / 2) in 'OAlg.Limes.Cone.ZeroHead.Core' Warning: 'ConeZeroHead' is ambiguous. It is defined * at src/OAlg/Limes/Cone/ZeroHead/Core.hs:42:3 * at src/OAlg/Limes/Cone/ZeroHead/Core.hs:41:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Limes/Cone/ZeroHead/Core.hs:41:1 100% ( 5 / 5) in 'OAlg.Limes.Cone.ZeroHead.Duality' 100% ( 8 / 8) in 'OAlg.Limes.Cone.ZeroHead' 100% ( 6 / 6) in 'OAlg.Limes.Cone' 100% ( 13 / 13) in 'OAlg.Limes.Definition.Core' 100% ( 5 / 5) in 'OAlg.Limes.Definition.Duality' Warning: 'XEligibleConeG' is ambiguous. It is defined * at src/OAlg/Limes/Definition/Proposition.hs:69:5 * at src/OAlg/Limes/Definition/Proposition.hs:68:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Limes/Definition/Proposition.hs:68:1 Warning: 'Op' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Opposite.hs:40:16 * at src/OAlg/Structure/Oriented/Opposite.hs:40:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1 Warning: 'XEligibleConeFactorG' is ambiguous. It is defined * at src/OAlg/Limes/Definition/Proposition.hs:209:5 * at src/OAlg/Limes/Definition/Proposition.hs:208:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Limes/Definition/Proposition.hs:208:1 100% ( 27 / 27) in 'OAlg.Limes.Definition.Proposition' 100% ( 17 / 17) in 'OAlg.Limes.Definition' Warning: 'LimitsG' is ambiguous. It is defined * at src/OAlg/Limes/Limits/Core.hs:49:35 * at src/OAlg/Limes/Limits/Core.hs:49:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Limes/Limits/Core.hs:49:1 100% ( 10 / 10) in 'OAlg.Limes.Limits.Core' Warning: 'LimitsG' is ambiguous. It is defined * at src/OAlg/Limes/Limits/Core.hs:49:35 * at src/OAlg/Limes/Limits/Core.hs:49:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Limes/Limits/Core.hs:49:1 100% ( 3 / 3) in 'OAlg.Limes.Limits.Proposition' Warning: 'LimitsG' is ambiguous. It is defined * at src/OAlg/Limes/Limits/Core.hs:49:35 * at src/OAlg/Limes/Limits/Core.hs:49:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Limes/Limits/Core.hs:49:1 100% ( 5 / 5) in 'OAlg.Limes.Limits.Duality' 100% ( 14 / 14) in 'OAlg.Limes.Limits' Warning: the type 'Empty' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 44 / 44) in 'OAlg.Limes.TerminalAndInitialPoint' Warning: the type 'Chain' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 31 / 31) in 'OAlg.Limes.MinimaAndMaxima' Warning: the type 'Discrete' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 46 / 46) in 'OAlg.Limes.ProductsAndSums' Warning: 'ZeroPoint' is ambiguous. It is defined * at src/OAlg/Limes/Exact/ZeroPoint.hs:61:23 * at src/OAlg/Limes/Exact/ZeroPoint.hs:61:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Limes/Exact/ZeroPoint.hs:61:1 100% ( 9 / 9) in 'OAlg.Limes.Exact.ZeroPoint' 100% ( 31 / 31) in 'OAlg.Limes.EqualizersAndCoequalizers' 100% ( 32 / 32) in 'OAlg.Limes.PullbacksAndPushouts' 100% ( 51 / 51) in 'OAlg.Limes.KernelsAndCokernels' Warning: 'VarianceGHom' is ambiguous. It is defined * at src/OAlg/Limes/Exact/Deviation.hs:494:5 * at src/OAlg/Limes/Exact/Deviation.hs:493:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Limes/Exact/Deviation.hs:493:1 Warning: 'VarianceG' is ambiguous. It is defined * at src/OAlg/Limes/Exact/Deviation.hs:145:3 * at src/OAlg/Limes/Exact/Deviation.hs:144:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Limes/Exact/Deviation.hs:144:1 Warning: 'ConsecutiveZero' is ambiguous. It is defined * at src/OAlg/Limes/Exact/ConsecutiveZero.hs:82:33 * at src/OAlg/Limes/Exact/ConsecutiveZero.hs:82:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Limes/Exact/ConsecutiveZero.hs:82:1 Warning: 'ConsecutiveZeroHom' is ambiguous. It is defined * at src/OAlg/Limes/Exact/ConsecutiveZero.hs:220:5 * at src/OAlg/Limes/Exact/ConsecutiveZero.hs:219:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Limes/Exact/ConsecutiveZero.hs:219:1 Warning: 'ZeroPoint' is ambiguous. It is defined * at src/OAlg/Limes/Exact/ZeroPoint.hs:61:23 * at src/OAlg/Limes/Exact/ZeroPoint.hs:61:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Limes/Exact/ZeroPoint.hs:61:1 100% ( 41 / 41) in 'OAlg.Limes.Exact.Deviation' 100% ( 2 / 2) in 'OAlg.Limes.Proposition' Warning: 'LimesSlicedTip' is ambiguous. It is defined * at src/OAlg/Entity/Slice/Definition.hs:425:3 * at src/OAlg/Entity/Slice/Definition.hs:424:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Slice/Definition.hs:424:1 Warning: 'DiagramSlicedCenter' is ambiguous. It is defined * at src/OAlg/Entity/Slice/Definition.hs:376:3 * at src/OAlg/Entity/Slice/Definition.hs:375:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Slice/Definition.hs:375:1 Warning: 'SliceFactor' is ambiguous. It is defined * at src/OAlg/Entity/Slice/Definition.hs:238:26 * at src/OAlg/Entity/Slice/Definition.hs:238:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Slice/Definition.hs:238:1 Warning: 'Op' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Opposite.hs:40:16 * at src/OAlg/Structure/Oriented/Opposite.hs:40:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1 100% ( 37 / 37) in 'OAlg.Entity.Slice.Definition' Warning: 'SomeOAlgException' is ambiguous. It is defined * at src/OAlg/Control/Exception.hs:31:26 * at src/OAlg/Control/Exception.hs:31:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Control/Exception.hs:31:1 100% ( 27 / 27) in 'OAlg.Entity.Slice.Liftable' Warning: 'KernelSliceFromSomeFreeTip' is ambiguous. It is defined * at src/OAlg/Entity/Slice/Free.hs:930:3 * at src/OAlg/Entity/Slice/Free.hs:929:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Slice/Free.hs:929:1 Warning: 'ConicFreeTip' is ambiguous. It is defined * at src/OAlg/Entity/Slice/Free.hs:850:3 * at src/OAlg/Entity/Slice/Free.hs:845:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Slice/Free.hs:845:1 Warning: 'LiftableFree' is ambiguous. It is defined * at src/OAlg/Entity/Slice/Free.hs:477:3 * at src/OAlg/Entity/Slice/Free.hs:476:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Slice/Free.hs:476:1 Warning: 'Free' is ambiguous. It is defined * at src/OAlg/Entity/Slice/Free.hs:108:20 * at src/OAlg/Entity/Slice/Free.hs:108:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Slice/Free.hs:108:1 Warning: 'Op' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Opposite.hs:40:16 * at src/OAlg/Structure/Oriented/Opposite.hs:40:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1 Warning: 'SomeFree' is ambiguous. It is defined * at src/OAlg/Entity/Slice/Free.hs:154:3 * at src/OAlg/Entity/Slice/Free.hs:153:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Slice/Free.hs:153:1 Warning: 'DiagramFree' is ambiguous. It is defined * at src/OAlg/Entity/Slice/Free.hs:247:28 * at src/OAlg/Entity/Slice/Free.hs:247:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Slice/Free.hs:247:1 100% ( 49 / 49) in 'OAlg.Entity.Slice.Free' Warning: 'Matrix' is ambiguous. It is defined * at src/OAlg/Entity/Matrix/Definition.hs:115:17 * at src/OAlg/Entity/Matrix/Definition.hs:115:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Matrix/Definition.hs:115:1 Warning: 'Op' is ambiguous. It is defined * at src/OAlg/Structure/Oriented/Opposite.hs:40:16 * at src/OAlg/Structure/Oriented/Opposite.hs:40:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Oriented/Opposite.hs:40:1 100% ( 32 / 32) in 'OAlg.Entity.Matrix.Definition' Warning: 'Vector' is ambiguous. It is defined * at src/OAlg/Entity/Matrix/Vector.hs:77:20 * at src/OAlg/Entity/Matrix/Vector.hs:77:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Matrix/Vector.hs:77:1 Warning: 'SumSymbol' is ambiguous. It is defined * at src/OAlg/Entity/Sum/SumSymbol.hs:48:25 * at src/OAlg/Entity/Sum/SumSymbol.hs:48:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Sum/SumSymbol.hs:48:1 Warning: 'LinearCombination' is ambiguous. It is defined * at src/OAlg/Entity/Sum/Definition.hs:171:33 * at src/OAlg/Entity/Sum/Definition.hs:171:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Sum/Definition.hs:171:1 Warning: 'Set' is ambiguous. It is defined * at src/OAlg/Entity/Sequence/Set.hs:67:17 * at src/OAlg/Entity/Sequence/Set.hs:67:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Sequence/Set.hs:67:1 Warning: 'Representable' is ambiguous. It is defined * at src/OAlg/Entity/Matrix/Vector.hs:284:3 * at src/OAlg/Entity/Matrix/Vector.hs:283:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Matrix/Vector.hs:283:1 100% ( 21 / 21) in 'OAlg.Entity.Matrix.Vector' 100% ( 3 / 3) in 'OAlg.Entity.Matrix.ProductsAndSums' 100% ( 5 / 5) in 'OAlg.Entity.Matrix.Proposition' Warning: 'GLT' is ambiguous. It is defined * at src/OAlg/Entity/Matrix/GeneralLinearGroup.hs:458:17 * at src/OAlg/Entity/Matrix/GeneralLinearGroup.hs:458:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Matrix/GeneralLinearGroup.hs:458:1 Warning: 'GL2' is ambiguous. It is defined * at src/OAlg/Entity/Matrix/GeneralLinearGroup.hs:116:14 * at src/OAlg/Entity/Matrix/GeneralLinearGroup.hs:116:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Matrix/GeneralLinearGroup.hs:116:1 Warning: 'Inv' is ambiguous. It is defined * at src/OAlg/Structure/Multiplicative/Definition.hs:343:14 * at src/OAlg/Structure/Multiplicative/Definition.hs:343:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Structure/Multiplicative/Definition.hs:343:1 100% ( 23 / 23) in 'OAlg.Entity.Matrix.GeneralLinearGroup' Warning: 'Matrix' is ambiguous. It is defined * at src/OAlg/Entity/Matrix/Definition.hs:115:17 * at src/OAlg/Entity/Matrix/Definition.hs:115:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Matrix/Definition.hs:115:1 Warning: 'DiagonalFormStrictPositive' is ambiguous. It is defined * at src/OAlg/Entity/Matrix/Transformation.hs:282:5 * at src/OAlg/Entity/Matrix/Transformation.hs:281:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Matrix/Transformation.hs:281:1 Warning: 'DiagonalForm' is ambiguous. It is defined * at src/OAlg/Entity/Matrix/Transformation.hs:243:23 * at src/OAlg/Entity/Matrix/Transformation.hs:243:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Matrix/Transformation.hs:243:1 100% ( 11 / 11) in 'OAlg.Entity.Matrix.Transformation' 100% ( 9 / 9) in 'OAlg.Entity.Matrix' 100% ( 2 / 2) in 'OAlg.Proposition' Warning: 'Adjunction' is ambiguous. It is defined * at src/OAlg/Adjunction/Definition.hs:143:3 * at src/OAlg/Adjunction/Definition.hs:142:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Adjunction/Definition.hs:142:1 100% ( 7 / 7) in 'OAlg.Adjunction.Limes' Warning: 'Adjunction' is ambiguous. It is defined * at src/OAlg/Adjunction/Definition.hs:143:3 * at src/OAlg/Adjunction/Definition.hs:142:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Adjunction/Definition.hs:142:1 100% ( 3 / 3) in 'OAlg.Adjunction' Warning: 'Adjunction' is ambiguous. It is defined * at src/OAlg/Adjunction/Definition.hs:143:3 * at src/OAlg/Adjunction/Definition.hs:142:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Adjunction/Definition.hs:142:1 Warning: 'SliceFactor' is ambiguous. It is defined * at src/OAlg/Entity/Slice/Definition.hs:238:26 * at src/OAlg/Entity/Slice/Definition.hs:238:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Slice/Definition.hs:238:1 100% ( 23 / 23) in 'OAlg.Entity.Slice.Adjunction' 100% ( 5 / 5) in 'OAlg.Entity.Slice' Warning: 'ConicFreeTip' is ambiguous. It is defined * at src/OAlg/Entity/Slice/Free.hs:850:3 * at src/OAlg/Entity/Slice/Free.hs:845:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Slice/Free.hs:845:1 Warning: 'ConsecutiveZeroFree' is ambiguous. It is defined * at src/OAlg/Limes/Exact/Free.hs:72:3 * at src/OAlg/Limes/Exact/Free.hs:71:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Limes/Exact/Free.hs:71:1 100% ( 12 / 12) in 'OAlg.Limes.Exact.Free' Warning: 'SomeFreeSlice' is ambiguous. It is defined * at src/OAlg/Entity/Slice/Free.hs:909:3 * at src/OAlg/Entity/Slice/Free.hs:908:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Slice/Free.hs:908:1 Warning: 'KernelSliceFromSomeFreeTip' is ambiguous. It is defined * at src/OAlg/Entity/Slice/Free.hs:930:3 * at src/OAlg/Entity/Slice/Free.hs:929:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Entity/Slice/Free.hs:929:1 Warning: 'Splitable' is ambiguous. It is defined * at src/OAlg/Data/FinitelyPresentable.hs:67:5 * at src/OAlg/Data/FinitelyPresentable.hs:66:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/Data/FinitelyPresentable.hs:66:1 100% ( 17 / 17) in 'OAlg.Data.FinitelyPresentable' Warning: OAlg.Control.Exception: could not find link destinations for: - GHC.IOPort.IOPortException Warning: OAlg.Data.Constructable: could not find link destinations for: - OAlg.Entity.Sequence.FSequence.D:R:FormFSequence - OAlg.Category.SDuality.D:R:FormSHom - OAlg.Data.HomCo.D:R:FormHomCo - OAlg.Entity.Sum.Definition.D:R:FormSum - OAlg.Entity.Product.Definition.D:R:FormProduct - OAlg.Entity.Product.ProductSymbol.D:R:FormProductSymbol - OAlg.Entity.Sequence.Permutation.D:R:FormPermutation - OAlg.Entity.Matrix.GeneralLinearGroup.D:R:FormGLT Warning: OAlg.Data.Equal: could not find link destinations for: - GHC.IOPort.IOPort Warning: OAlg.Data.Boolean.Definition: could not find link destinations for: - GHC.Generics.SingKind - GHC.Generics.DemoteRep - GHC.Generics.fromSing - GHC.Generics.SingI - GHC.Generics.sing - GHC.Generics.Sing - GHC.Generics.Rep_Bool - GHC.Generics.D:R:SingBoola0 - GHC.Generics.STrue - GHC.Generics.D:R:DemoteRepBool - GHC.Generics.SFalse Warning: OAlg.Data.Number: could not find link destinations for: - GHC.Generics.D:R:UReckIntp0 - GHC.Generics.Rep_R:UReckIntp - GHC.Generics.Rep1_R:UReckIntp - OAlg.Structure.Vectorial.Definition.D:R:ScalarQ - OAlg.Structure.Vectorial.Definition.D:R:ScalarZ - OAlg.Structure.Vectorial.Definition.D:R:ScalarN - OAlg.Structure.Vectorial.Definition.D:R:ScalarInteger - OAlg.Structure.Vectorial.Definition.D:R:ScalarInt Warning: OAlg.Data.Show: could not find link destinations for: - GHC.Generics.D:R:UReckCharp0 - GHC.Generics.Rep_R:UReckCharp - GHC.Generics.Rep1_R:UReckCharp - GHC.IOPort.IOPortException Warning: OAlg.Data.Either: could not find link destinations for: - GHC.Generics.Rep1_Either - GHC.Generics.Rep_Either - OAlg.Category.Definition.D:R:ObjectClassEither2 Warning: OAlg.Data.Statement.Definition: could not find link destinations for: - OAlg.Data.Statement.Definition.Indent - OAlg.Data.Statement.Definition.VForall - OAlg.Data.Statement.Definition.VExist Warning: OAlg.Category.Definition: could not find link destinations for: - OAlg.Category.Definition.D:R:ObjectClassEither2 - OAlg.Category.Definition.D:R:ObjectClassFUN - OAlg.Category.Definition.D:R:ObjectClassHomomorphous - OAlg.Category.Definition.D:R:ObjectClassOp2 - OAlg.Category.Definition.D:R:ObjectClassSub - OAlg.Category.Definition.D:R:ObjectClassInv2 - OAlg.Data.Identity.D:R:ObjectClassId2 - OAlg.Category.Path.D:R:ObjectClassPath - OAlg.Category.Map.D:R:ObjectClassMap - OAlg.Data.Variant.D:R:ObjectClassVariant2 - OAlg.Category.SDuality.D:R:ObjectClassSMorphism - OAlg.Category.SDuality.D:R:ObjectClassSHom - OAlg.Hom.Definition.D:R:ObjectClassHomDisj - OAlg.Hom.Definition.D:R:ObjectClassHomEmpty - OAlg.Hom.Definition.D:R:ObjectClassHomId - OAlg.Data.Ornt.D:R:ObjectClassOrnt - OAlg.Data.HomCo.D:R:ObjectClassMorCo - OAlg.Data.HomCo.D:R:ObjectClassHomCo - OAlg.Entity.Slice.Definition.D:R:ObjectClassSliceFactorDrop - OAlg.Entity.Matrix.Vector.D:R:ObjectClassHomSymbol - OAlg.Entity.Matrix.GeneralLinearGroup.D:R:ObjectClassTrApp - OAlg.Entity.Matrix.GeneralLinearGroup.D:R:ObjectClassGLApp - OAlg.Entity.Slice.Adjunction.D:R:ObjectClassSliceAdjunction Warning: OAlg.Data.Identity: could not find link destinations for: - OAlg.Data.Identity.D:R:ObjectClassId2 Warning: OAlg.Category.Path: could not find link destinations for: - OAlg.Category.Path.D:R:ObjectClassPath Warning: OAlg.Prelude: could not find link destinations for: - GHC.Prim.~# - Text.Printf.UPrintf - Text.Printf.hspr - Text.Printf.spr Warning: OAlg.Category.Map: could not find link destinations for: - OAlg.Category.Map.D:R:ObjectClassMap Warning: OAlg.Structure.Oriented.Orientation: could not find link destinations for: - OAlg.Structure.Vectorial.Definition.D:R:ScalarOrientation Warning: OAlg.Structure.Oriented.Opposite: could not find link destinations for: - OAlg.Structure.Vectorial.Definition.D:R:ScalarOp Warning: OAlg.Structure.Multiplicative.Definition: could not find link destinations for: - OAlg.Structure.Exponential.D:R:ExponentInv Warning: OAlg.Structure.Multiplicative.Proposition: could not find link destinations for: - OAlg.Structure.Multiplicative.Proposition.coXMltInv Warning: OAlg.Category.Dualisable: could not find link destinations for: - OAlg.Category.Dualisable.fromDualG' Warning: OAlg.Entity.Sequence.FSequence: could not find link destinations for: - OAlg.Entity.Sequence.FSequence.D:R:FormFSequence Warning: OAlg.Data.Variant: could not find link destinations for: - OAlg.Data.Variant.D:R:ObjectClassVariant2 Warning: OAlg.Category.SDuality: could not find link destinations for: - OAlg.Category.SDuality.D:R:ObjectClassSMorphism - OAlg.Category.SDuality.D:R:ObjectClassSHom - OAlg.Category.SDuality.D:R:FormSHom Warning: OAlg.Hom.Definition: could not find link destinations for: - OAlg.Hom.Definition.D:R:ObjectClassHomDisj - OAlg.Hom.Definition.D:R:ObjectClassHomEmpty - OAlg.Hom.Definition.D:R:ObjectClassHomId Warning: OAlg.Data.Ornt: could not find link destinations for: - OAlg.Data.Ornt.D:R:ObjectClassOrnt Warning: OAlg.Entity.Diagram.Diagrammatic: could not find link destinations for: - OAlg.Entity.Diagram.Diagrammatic.droh Warning: OAlg.Data.HomCo: could not find link destinations for: - OAlg.Data.HomCo.cOneDOM - OAlg.Data.HomCo.cOneDMO - OAlg.Data.HomCo.D:R:ObjectClassMorCo - OAlg.Data.HomCo.D:R:ObjectClassHomCo - OAlg.Data.HomCo.D:R:FormHomCo Warning: OAlg.Structure.Exponential: could not find link destinations for: - OAlg.Structure.Exponential.D:R:ExponentInv - OAlg.Entity.Product.Definition.D:R:ExponentProduct - OAlg.Entity.Product.ProductSymbol.D:R:ExponentProductSymbol - OAlg.Entity.Sequence.Permutation.D:R:ExponentPermutation - OAlg.Entity.Matrix.Dim.D:R:ExponentDim - OAlg.Entity.Matrix.GeneralLinearGroup.D:R:ExponentGL2 - OAlg.Entity.Matrix.GeneralLinearGroup.D:R:ExponentGLT - OAlg.Entity.Matrix.Transformation.D:R:ExponentColTrafo - OAlg.Entity.Matrix.Transformation.D:R:ExponentRowTrafo Warning: OAlg.Structure.Vectorial.Definition: could not find link destinations for: - OAlg.Structure.Vectorial.Definition.D:R:ScalarOp - OAlg.Structure.Vectorial.Definition.D:R:ScalarOrientation - OAlg.Structure.Vectorial.Definition.D:R:ScalarQ - OAlg.Structure.Vectorial.Definition.D:R:ScalarZ - OAlg.Structure.Vectorial.Definition.D:R:ScalarN - OAlg.Structure.Vectorial.Definition.D:R:ScalarInteger - OAlg.Structure.Vectorial.Definition.D:R:ScalarInt - OAlg.Structure.Vectorial.Definition.D:R:ScalarUnit - OAlg.Entity.Sum.Definition.D:R:ScalarSum - OAlg.Entity.Sum.SumSymbol.D:R:ScalarSumSymbol - OAlg.Entity.Diagram.Transformation.D:R:ScalarDiagramTrafo - OAlg.Limes.Exact.ConsecutiveZero.D:R:ScalarConsecutiveZeroHom - OAlg.Entity.Slice.Definition.D:R:ScalarSlice - OAlg.Entity.Matrix.Definition.D:R:ScalarMatrix - OAlg.Entity.Matrix.Vector.D:R:ScalarVector Warning: OAlg.Entity.Sum.Definition: could not find link destinations for: - OAlg.Entity.Sum.Definition.D:R:ScalarSum - OAlg.Entity.Sum.Definition.D:R:FormSum Warning: OAlg.Entity.Product.Definition: could not find link destinations for: - OAlg.Entity.Product.Definition.D:R:ExponentProduct - OAlg.Entity.Product.Definition.D:R:FormProduct Warning: OAlg.Entity.Product.ProductSymbol: could not find link destinations for: - OAlg.Entity.Product.ProductSymbol.D:R:FormProductSymbol - OAlg.Entity.Product.ProductSymbol.D:R:ExponentProductSymbol Warning: OAlg.Entity.Sequence.Permutation: could not find link destinations for: - OAlg.Entity.Sequence.Permutation.D:R:ExponentPermutation - OAlg.Entity.Sequence.Permutation.D:R:FormPermutation Warning: OAlg.Entity.Matrix.Dim: could not find link destinations for: - OAlg.Entity.Matrix.Dim.D:R:ExponentDim Warning: OAlg.Entity.Sum.SumSymbol: could not find link destinations for: - OAlg.Entity.Sum.SumSymbol.D:R:ScalarSumSymbol Warning: OAlg.Entity.Diagram.Transformation: could not find link destinations for: - OAlg.Entity.Diagram.Transformation.D:R:ScalarDiagramTrafo Warning: OAlg.Limes.Exact.ConsecutiveZero: could not find link destinations for: - OAlg.Limes.Exact.ConsecutiveZero.D:R:ScalarConsecutiveZeroHom Warning: OAlg.Limes.Cone.Conic.Core: could not find link destinations for: - OAlg.Limes.Cone.Conic.Core.croh Warning: OAlg.Limes.Cone.Conic: could not find link destinations for: - OAlg.Limes.Cone.Conic.Core.croh Warning: OAlg.Entity.Slice.Definition: could not find link destinations for: - OAlg.Entity.Slice.Definition.D:R:ScalarSlice - OAlg.Entity.Slice.Definition.D:R:ObjectClassSliceFactorDrop Warning: OAlg.Entity.Matrix.Definition: could not find link destinations for: - OAlg.Entity.Matrix.Definition.D:R:ScalarMatrix Warning: OAlg.Entity.Matrix.Vector: could not find link destinations for: - OAlg.Entity.Matrix.Vector.vector - OAlg.Entity.Matrix.Vector.D:R:ScalarVector - OAlg.Entity.Matrix.Vector.D:R:ObjectClassHomSymbol Warning: OAlg.Entity.Matrix.GeneralLinearGroup: could not find link destinations for: - OAlg.Entity.Matrix.GeneralLinearGroup.D:R:ExponentGL2 - OAlg.Entity.Matrix.GeneralLinearGroup.D:R:ExponentGLT - OAlg.Entity.Matrix.GeneralLinearGroup.D:R:FormGLT - OAlg.Entity.Matrix.GeneralLinearGroup.D:R:ObjectClassTrApp - OAlg.Entity.Matrix.GeneralLinearGroup.D:R:ObjectClassGLApp Warning: OAlg.Entity.Matrix.Transformation: could not find link destinations for: - OAlg.Entity.Matrix.Transformation.D:R:ExponentColTrafo - OAlg.Entity.Matrix.Transformation.D:R:ExponentRowTrafo Warning: OAlg.Entity.Slice.Adjunction: could not find link destinations for: - OAlg.Entity.Slice.Adjunction.D:R:ObjectClassSliceAdjunction Documentation created: dist/doc/html/oalg-base/, dist/doc/html/oalg-base/oalg-base.txt Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/oalg-base-3.0.0.0-2pBdYmA7DZtECoHVLYfsRS Completed oalg-base-3.0.0.0 Downloading oalg-abg-2.0.0.0 Downloaded oalg-abg-2.0.0.0 Configuring oalg-abg-2.0.0.0... Preprocessing library for oalg-abg-2.0.0.0.. Building library for oalg-abg-2.0.0.0.. [ 1 of 10] Compiling OAlg.AbelianGroup.Euclid ( src/OAlg/AbelianGroup/Euclid.hs, dist/build/OAlg/AbelianGroup/Euclid.o, dist/build/OAlg/AbelianGroup/Euclid.dyn_o ) [ 2 of 10] Compiling OAlg.AbelianGroup.Free.SmithNormalForm ( src/OAlg/AbelianGroup/Free/SmithNormalForm.hs, dist/build/OAlg/AbelianGroup/Free/SmithNormalForm.o, dist/build/OAlg/AbelianGroup/Free/SmithNormalForm.dyn_o ) [ 3 of 10] Compiling OAlg.AbelianGroup.Free.Limes ( src/OAlg/AbelianGroup/Free/Limes.hs, dist/build/OAlg/AbelianGroup/Free/Limes.o, dist/build/OAlg/AbelianGroup/Free/Limes.dyn_o ) [ 4 of 10] Compiling OAlg.AbelianGroup.Free ( src/OAlg/AbelianGroup/Free.hs, dist/build/OAlg/AbelianGroup/Free.o, dist/build/OAlg/AbelianGroup/Free.dyn_o ) [ 5 of 10] Compiling OAlg.AbelianGroup.Liftable ( src/OAlg/AbelianGroup/Liftable.hs, dist/build/OAlg/AbelianGroup/Liftable.o, dist/build/OAlg/AbelianGroup/Liftable.dyn_o ) src/OAlg/AbelianGroup/Liftable.hs:86:16: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns of type Closure N not matched: PosInf | 86 | where j' = case yClsReached of | ^^^^^^^^^^^^^^^^^^^^... src/OAlg/AbelianGroup/Liftable.hs:104:42: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns of type Ordering not matched: GT | 104 | lftCol ((d,i):dis) yis@((y,i'):yis') = case i `compare` i' of | ^^^^^^^^^^^^^^^^^^^^^^^... [ 6 of 10] Compiling OAlg.AbelianGroup.ZMod ( src/OAlg/AbelianGroup/ZMod.hs, dist/build/OAlg/AbelianGroup/ZMod.o, dist/build/OAlg/AbelianGroup/ZMod.dyn_o ) [ 7 of 10] Compiling OAlg.AbelianGroup.Definition ( src/OAlg/AbelianGroup/Definition.hs, dist/build/OAlg/AbelianGroup/Definition.o, dist/build/OAlg/AbelianGroup/Definition.dyn_o ) [ 8 of 10] Compiling OAlg.AbelianGroup.KernelsAndCokernels ( src/OAlg/AbelianGroup/KernelsAndCokernels.hs, dist/build/OAlg/AbelianGroup/KernelsAndCokernels.o, dist/build/OAlg/AbelianGroup/KernelsAndCokernels.dyn_o ) [ 9 of 10] Compiling OAlg.AbelianGroup.Proposition ( src/OAlg/AbelianGroup/Proposition.hs, dist/build/OAlg/AbelianGroup/Proposition.o, dist/build/OAlg/AbelianGroup/Proposition.dyn_o ) [10 of 10] Compiling Paths_oalg_abg ( dist/build/autogen/Paths_oalg_abg.hs, dist/build/Paths_oalg_abg.o, dist/build/Paths_oalg_abg.dyn_o ) Preprocessing library for oalg-abg-2.0.0.0.. Running Haddock on library for oalg-abg-2.0.0.0.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. [ 1 of 10] Compiling OAlg.AbelianGroup.Euclid ( src/OAlg/AbelianGroup/Euclid.hs, nothing ) [ 2 of 10] Compiling OAlg.AbelianGroup.Free.SmithNormalForm ( src/OAlg/AbelianGroup/Free/SmithNormalForm.hs, nothing ) [ 3 of 10] Compiling OAlg.AbelianGroup.Free.Limes ( src/OAlg/AbelianGroup/Free/Limes.hs, nothing ) [ 4 of 10] Compiling OAlg.AbelianGroup.Free ( src/OAlg/AbelianGroup/Free.hs, nothing ) [ 5 of 10] Compiling OAlg.AbelianGroup.Liftable ( src/OAlg/AbelianGroup/Liftable.hs, nothing ) [ 6 of 10] Compiling OAlg.AbelianGroup.ZMod ( src/OAlg/AbelianGroup/ZMod.hs, nothing ) [ 7 of 10] Compiling OAlg.AbelianGroup.Definition ( src/OAlg/AbelianGroup/Definition.hs, nothing ) [ 8 of 10] Compiling OAlg.AbelianGroup.KernelsAndCokernels ( src/OAlg/AbelianGroup/KernelsAndCokernels.hs, nothing ) [ 9 of 10] Compiling OAlg.AbelianGroup.Proposition ( src/OAlg/AbelianGroup/Proposition.hs, nothing ) [10 of 10] Compiling Paths_oalg_abg ( dist/build/autogen/Paths_oalg_abg.hs, nothing ) Haddock coverage: 100% ( 8 / 8) in 'OAlg.AbelianGroup.Euclid' Warning: 'SmithNormalForm' is ambiguous. It is defined * at src/OAlg/AbelianGroup/Free/SmithNormalForm.hs:242:26 * at src/OAlg/AbelianGroup/Free/SmithNormalForm.hs:242:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/AbelianGroup/Free/SmithNormalForm.hs:242:1 Warning: ':' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Col' is ambiguous. It is defined * in OAlg.Entity.Matrix.Entries * in OAlg.Entity.Matrix.Entries You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined in OAlg.Entity.Matrix.Entries Warning: 'Row' is ambiguous. It is defined * in OAlg.Entity.Matrix.Entries * in OAlg.Entity.Matrix.Entries You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined in OAlg.Entity.Matrix.Entries Warning: 'Matrix' is ambiguous. It is defined * in OAlg.Entity.Matrix.Definition * in OAlg.Entity.Matrix.Definition You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined in OAlg.Entity.Matrix.Definition Warning: 'RowTrafo' is ambiguous. It is defined * in OAlg.Entity.Matrix.Transformation * in OAlg.Entity.Matrix.Transformation You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined in OAlg.Entity.Matrix.Transformation Warning: 'ColTrafo' is ambiguous. It is defined * in OAlg.Entity.Matrix.Transformation * in OAlg.Entity.Matrix.Transformation You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined in OAlg.Entity.Matrix.Transformation Warning: 'DiagonalFormStrictPositive' is ambiguous. It is defined * in OAlg.Entity.Matrix.Transformation * in OAlg.Entity.Matrix.Transformation You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined in OAlg.Entity.Matrix.Transformation Warning: 'DiagonalForm' is ambiguous. It is defined * in OAlg.Entity.Matrix.Transformation * in OAlg.Entity.Matrix.Transformation You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined in OAlg.Entity.Matrix.Transformation 100% ( 11 / 11) in 'OAlg.AbelianGroup.Free.SmithNormalForm' 100% ( 4 / 4) in 'OAlg.AbelianGroup.Free.Limes' 100% ( 3 / 3) in 'OAlg.AbelianGroup.Free' Warning: 'Matrix' is ambiguous. It is defined * in OAlg.Entity.Matrix.Definition * in OAlg.Entity.Matrix.Definition You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined in OAlg.Entity.Matrix.Definition 100% ( 9 / 9) in 'OAlg.AbelianGroup.Liftable' Warning: 'ZMod' is ambiguous. It is defined * at src/OAlg/AbelianGroup/ZMod.hs:93:16 * at src/OAlg/AbelianGroup/ZMod.hs:93:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/AbelianGroup/ZMod.hs:93:1 Warning: 'ZModHom' is ambiguous. It is defined * at src/OAlg/AbelianGroup/ZMod.hs:122:16 * at src/OAlg/AbelianGroup/ZMod.hs:122:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/AbelianGroup/ZMod.hs:122:1 Warning: 'SomeOAlgException' is ambiguous. It is defined * in OAlg.Control.Exception * in OAlg.Control.Exception You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined in OAlg.Control.Exception 100% ( 23 / 23) in 'OAlg.AbelianGroup.ZMod' Warning: 'AbGroup' is ambiguous. It is defined * at src/OAlg/AbelianGroup/Definition.hs:207:19 * at src/OAlg/AbelianGroup/Definition.hs:207:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/AbelianGroup/Definition.hs:207:1 Warning: 'AbElement' is ambiguous. It is defined * at src/OAlg/AbelianGroup/Definition.hs:819:21 * at src/OAlg/AbelianGroup/Definition.hs:819:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/AbelianGroup/Definition.hs:819:1 Warning: 'Matrix' is ambiguous. It is defined * in OAlg.Entity.Matrix.Definition * in OAlg.Entity.Matrix.Definition You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined in OAlg.Entity.Matrix.Definition Warning: 'AbHom' is ambiguous. It is defined * at src/OAlg/AbelianGroup/Definition.hs:259:17 * at src/OAlg/AbelianGroup/Definition.hs:259:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/AbelianGroup/Definition.hs:259:1 Warning: 'IsoAbHomMap' is ambiguous. It is defined * at src/OAlg/AbelianGroup/Definition.hs:438:27 * at src/OAlg/AbelianGroup/Definition.hs:438:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/AbelianGroup/Definition.hs:438:1 Warning: 'ZMod' is ambiguous. It is defined * at src/OAlg/AbelianGroup/ZMod.hs:93:16 * at src/OAlg/AbelianGroup/ZMod.hs:93:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/AbelianGroup/ZMod.hs:93:1 Warning: 'AbHomFree' is ambiguous. It is defined * at src/OAlg/AbelianGroup/Definition.hs:608:3 * at src/OAlg/AbelianGroup/Definition.hs:607:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/AbelianGroup/Definition.hs:607:1 100% ( 37 / 37) in 'OAlg.AbelianGroup.Definition' Warning: 'DiagramFree' is ambiguous. It is defined * in OAlg.Entity.Slice.Free * in OAlg.Entity.Slice.Free You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined in OAlg.Entity.Slice.Free Warning: 'AbHom' is ambiguous. It is defined * at src/OAlg/AbelianGroup/Definition.hs:259:17 * at src/OAlg/AbelianGroup/Definition.hs:259:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/AbelianGroup/Definition.hs:259:1 Warning: 'Free' is ambiguous. It is defined * in OAlg.Entity.Slice.Free * in OAlg.Entity.Slice.Free You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined in OAlg.Entity.Slice.Free Warning: 'AbGroup' is ambiguous. It is defined * at src/OAlg/AbelianGroup/Definition.hs:207:19 * at src/OAlg/AbelianGroup/Definition.hs:207:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/OAlg/AbelianGroup/Definition.hs:207:1 100% ( 14 / 14) in 'OAlg.AbelianGroup.KernelsAndCokernels' 100% ( 2 / 2) in 'OAlg.AbelianGroup.Proposition' Warning: OAlg.AbelianGroup.ZMod: could not find link destinations for: - OAlg.AbelianGroup.ZMod.D:R:ScalarZModHom Warning: OAlg.AbelianGroup.Definition: could not find link destinations for: - OAlg.AbelianGroup.Definition.D:R:ExponentAbGroup - OAlg.AbelianGroup.Definition.D:R:ScalarAbHom - OAlg.AbelianGroup.Definition.D:R:ObjectClassAbHomFree - OAlg.AbelianGroup.Definition.D:R:ScalarAbElement - OAlg.AbelianGroup.Definition.D:R:FormAbElement Documentation created: dist/doc/html/oalg-abg/, dist/doc/html/oalg-abg/oalg-abg.txt Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/oalg-abg-2.0.0.0-6IqbYV2Dpwo5vYHbjh4epA Completed oalg-abg-2.0.0.0