Resolving dependencies... Configuring StateVar-1.2.2... Preprocessing library for StateVar-1.2.2.. Building library for StateVar-1.2.2.. [1 of 1] Compiling Data.StateVar ( src/Data/StateVar.hs, dist/build/Data/StateVar.o, dist/build/Data/StateVar.dyn_o ) src/Data/StateVar.hs:220:33: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 220 | default ($~) :: (MonadIO m, a ~ b, HasGetter t a) => t -> (a -> b) -> m () | ^ src/Data/StateVar.hs:226:34: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 226 | default ($~!) :: (MonadIO m, a ~ b, HasGetter t a) => t -> (a -> b) -> m () | ^ src/Data/StateVar.hs:230:32: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 230 | defaultUpdate :: (MonadIO m, a ~ b, HasGetter t a, HasSetter t a) => t -> (a -> b) -> m () | ^ src/Data/StateVar.hs:235:38: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 235 | defaultUpdateStrict :: (MonadIO m, a ~ b, HasGetter t a, HasSetter t a) => t -> (a -> b) -> m () | ^ Preprocessing library for StateVar-1.2.2.. Running Haddock on library for StateVar-1.2.2.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. [1 of 1] Compiling Data.StateVar ( src/Data/StateVar.hs, nothing ) src/Data/StateVar.hs:220:33: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 220 | default ($~) :: (MonadIO m, a ~ b, HasGetter t a) => t -> (a -> b) -> m () | ^ src/Data/StateVar.hs:226:34: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 226 | default ($~!) :: (MonadIO m, a ~ b, HasGetter t a) => t -> (a -> b) -> m () | ^ src/Data/StateVar.hs:230:32: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 230 | defaultUpdate :: (MonadIO m, a ~ b, HasGetter t a, HasSetter t a) => t -> (a -> b) -> m () | ^ src/Data/StateVar.hs:235:38: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 235 | defaultUpdateStrict :: (MonadIO m, a ~ b, HasGetter t a, HasSetter t a) => t -> (a -> b) -> m () | ^ Haddock coverage: Warning: 'StateVar' is ambiguous. It is defined * at src/Data/StateVar.hs:125:19 * at src/Data/StateVar.hs:125: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/Data/StateVar.hs:125:1 Warning: 'SettableStateVar' is ambiguous. It is defined * at src/Data/StateVar.hs:148:30 * at src/Data/StateVar.hs:148: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/Data/StateVar.hs:148:1 100% ( 15 / 15) in 'Data.StateVar' Documentation created: dist/doc/html/StateVar/, dist/doc/html/StateVar/StateVar.txt Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/StateVar-1.2.2-FkX29h2fwdP2Mo2NQELJhZ Completed StateVar-1.2.2 Configuring fail-4.9.0.0... Preprocessing library for fail-4.9.0.0.. Building library for fail-4.9.0.0.. Preprocessing library for fail-4.9.0.0.. Running Haddock on library for fail-4.9.0.0.. Warning: Haddocks are being requested, but there aren't any modules given to create documentation for. Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/fail-4.9.0.0-BAHmj60kS5K7NVhhKpm9J5 Completed fail-4.9.0.0 Configuring semigroups-0.20... Preprocessing library for semigroups-0.20.. Building library for semigroups-0.20.. [1 of 1] Compiling Data.Semigroup.Generic ( src/Data/Semigroup/Generic.hs, dist/build/Data/Semigroup/Generic.o, dist/build/Data/Semigroup/Generic.dyn_o ) Preprocessing library for semigroups-0.20.. Running Haddock on library for semigroups-0.20.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. [1 of 1] Compiling Data.Semigroup.Generic ( src/Data/Semigroup/Generic.hs, nothing ) Haddock coverage: Warning: 'GenericSemigroupMonoid' is ambiguous. It is defined * at src/Data/Semigroup/Generic.hs:111:3 * at src/Data/Semigroup/Generic.hs:110: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/Data/Semigroup/Generic.hs:110:1 77% ( 7 / 9) in 'Data.Semigroup.Generic' Missing documentation for: GSemigroup (src/Data/Semigroup/Generic.hs:54) GMonoid (src/Data/Semigroup/Generic.hs:84) Warning: Data.Semigroup.Generic: could not find link destinations for: - Data.Semigroup.Generic.gmempty' - Data.Semigroup.Generic.gmappend' Documentation created: dist/doc/html/semigroups/, dist/doc/html/semigroups/semigroups.txt Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/semigroups-0.20-FhfuFxVvP7ZBtA37SUthhH Completed semigroups-0.20 Configuring tagged-0.8.9... Preprocessing library for tagged-0.8.9.. Building library for tagged-0.8.9.. [1 of 2] Compiling Data.Proxy.TH ( src/Data/Proxy/TH.hs, dist/build/Data/Proxy/TH.o, dist/build/Data/Proxy/TH.dyn_o ) [2 of 2] Compiling Data.Tagged ( src/Data/Tagged.hs, dist/build/Data/Tagged.o, dist/build/Data/Tagged.dyn_o ) Preprocessing library for tagged-0.8.9.. Running Haddock on library for tagged-0.8.9.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. [1 of 2] Compiling Data.Proxy.TH ( src/Data/Proxy/TH.hs, nothing ) [2 of 2] Compiling Data.Tagged ( src/Data/Tagged.hs, nothing ) Haddock coverage: Warning: 'Proxy' is ambiguous. It is defined * in Data.Proxy * in Data.Proxy 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.Proxy 66% ( 2 / 3) in 'Data.Proxy.TH' Missing documentation for: Module header Warning: 'Tagged' is ambiguous. It is defined * at src/Data/Tagged.hs:82:22 * at src/Data/Tagged.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/Data/Tagged.hs:82:1 Warning: 'Proxy' is ambiguous. It is defined * in Data.Proxy * in Data.Proxy 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.Proxy 93% ( 14 / 15) in 'Data.Tagged' Missing documentation for: witness (src/Data/Tagged.hs:386) Warning: Data.Tagged: could not find link destinations for: - Data.Tagged.Rep_Tagged - Data.Tagged.Rep1_Tagged Documentation created: dist/doc/html/tagged/, dist/doc/html/tagged/tagged.txt Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/tagged-0.8.9-6aZuwRISGvIHng66Gvw0LY Completed tagged-0.8.9 Configuring trivial-constraint-0.7.0.0... Preprocessing library for trivial-constraint-0.7.0.0.. Building library for trivial-constraint-0.7.0.0.. src/Data/Constraint/Trivial.hs:15:14: warning: [GHC-53692] [-Wdeprecated-flags] -XTypeInType is deprecated: use -XDataKinds and -XPolyKinds instead | 15 | {-# LANGUAGE TypeInType #-} | ^^^^^^^^^^ [1 of 1] Compiling Data.Constraint.Trivial ( src/Data/Constraint/Trivial.hs, dist/build/Data/Constraint/Trivial.o, dist/build/Data/Constraint/Trivial.dyn_o ) Preprocessing library for trivial-constraint-0.7.0.0.. Running Haddock on library for trivial-constraint-0.7.0.0.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. src/Data/Constraint/Trivial.hs:15:14: warning: [GHC-53692] [-Wdeprecated-flags] -XTypeInType is deprecated: use -XDataKinds and -XPolyKinds instead | 15 | {-# LANGUAGE TypeInType #-} | ^^^^^^^^^^ [1 of 1] Compiling Data.Constraint.Trivial ( src/Data/Constraint/Trivial.hs, nothing ) Haddock coverage: 36% ( 9 / 25) in 'Data.Constraint.Trivial' Missing documentation for: Impossible2 (src/Data/Constraint/Trivial.hs:126) Unconstrained3 (src/Data/Constraint/Trivial.hs:129) Impossible3 (src/Data/Constraint/Trivial.hs:132) Unconstrained4 (src/Data/Constraint/Trivial.hs:135) Impossible4 (src/Data/Constraint/Trivial.hs:138) Unconstrained5 (src/Data/Constraint/Trivial.hs:141) Impossible5 (src/Data/Constraint/Trivial.hs:144) Unconstrained6 (src/Data/Constraint/Trivial.hs:147) Impossible6 (src/Data/Constraint/Trivial.hs:150) Unconstrained7 (src/Data/Constraint/Trivial.hs:153) Impossible7 (src/Data/Constraint/Trivial.hs:156) Unconstrained8 (src/Data/Constraint/Trivial.hs:159) Impossible8 (src/Data/Constraint/Trivial.hs:162) Unconstrained9 (src/Data/Constraint/Trivial.hs:165) Impossible9 (src/Data/Constraint/Trivial.hs:168) Disallowed (src/Data/Constraint/Trivial.hs:42) Warning: Data.Constraint.Trivial: could not find link destinations for: - Data.Constraint.Trivial.Bottom Documentation created: dist/doc/html/trivial-constraint/, dist/doc/html/trivial-constraint/trivial-constraint.txt Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/trivial-constraint-0.7.0.0-KlWrZxXX6luINvNJqUFWfM Completed trivial-constraint-0.7.0.0 Configuring void-0.7.3... Preprocessing library for void-0.7.3.. Building library for void-0.7.3.. [1 of 1] Compiling Data.Void.Unsafe ( src/Data/Void/Unsafe.hs, dist/build/Data/Void/Unsafe.o, dist/build/Data/Void/Unsafe.dyn_o ) Preprocessing library for void-0.7.3.. Running Haddock on library for void-0.7.3.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. [1 of 1] Compiling Data.Void.Unsafe ( src/Data/Void/Unsafe.hs, nothing ) Haddock coverage: 100% ( 3 / 3) in 'Data.Void.Unsafe' Documentation created: dist/doc/html/void/, dist/doc/html/void/void.txt Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/void-0.7.3-F687xIBHTdI3hx1dnappcQ Completed void-0.7.3 Configuring contravariant-1.5.5... Preprocessing library for contravariant-1.5.5.. Building library for contravariant-1.5.5.. [1 of 3] Compiling Data.Functor.Contravariant.Divisible ( src/Data/Functor/Contravariant/Divisible.hs, dist/build/Data/Functor/Contravariant/Divisible.o, dist/build/Data/Functor/Contravariant/Divisible.dyn_o ) [2 of 3] Compiling Data.Functor.Contravariant.Compose ( src/Data/Functor/Contravariant/Compose.hs, dist/build/Data/Functor/Contravariant/Compose.o, dist/build/Data/Functor/Contravariant/Compose.dyn_o ) [3 of 3] Compiling Data.Functor.Contravariant.Generic ( src/Data/Functor/Contravariant/Generic.hs, dist/build/Data/Functor/Contravariant/Generic.o, dist/build/Data/Functor/Contravariant/Generic.dyn_o ) Preprocessing library for contravariant-1.5.5.. Running Haddock on library for contravariant-1.5.5.. Warning: --source-* options are ignored when --hyperlinked-source is enabled. [1 of 3] Compiling Data.Functor.Contravariant.Divisible ( src/Data/Functor/Contravariant/Divisible.hs, nothing ) [2 of 3] Compiling Data.Functor.Contravariant.Compose ( src/Data/Functor/Contravariant/Compose.hs, nothing ) [3 of 3] Compiling Data.Functor.Contravariant.Generic ( src/Data/Functor/Contravariant/Generic.hs, nothing ) Haddock coverage: Warning: 'delta' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 17 / 17) in 'Data.Functor.Contravariant.Divisible' 100% ( 4 / 4) in 'Data.Functor.Contravariant.Compose' Warning: 'Comparison' is ambiguous. It is defined * in Data.Functor.Contravariant * in Data.Functor.Contravariant 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.Functor.Contravariant Warning: 'Equivalence' is ambiguous. It is defined * in Data.Functor.Contravariant * in Data.Functor.Contravariant 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.Functor.Contravariant 100% ( 3 / 3) in 'Data.Functor.Contravariant.Generic' Warning: Data.Functor.Contravariant.Generic: could not find link destinations for: - Data.Functor.Contravariant.Generic.GDeciding1 - Data.Functor.Contravariant.Generic.GDeciding - Data.Functor.Contravariant.Generic.GG - Data.Functor.Contravariant.Generic.Rep1' - Data.Functor.Contravariant.Generic.Rep' Documentation created: dist/doc/html/contravariant/, dist/doc/html/contravariant/contravariant.txt Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/contravariant-1.5.5-9OZxSMGmONm3FLxTwjX4ym Completed contravariant-1.5.5 Downloading constrained-categories-0.4.2.0 Downloaded constrained-categories-0.4.2.0 Configuring constrained-categories-0.4.2.0... Preprocessing library for constrained-categories-0.4.2.0.. Building library for constrained-categories-0.4.2.0.. [ 1 of 13] Compiling Control.Category.Discrete ( Control/Category/Discrete.hs, dist/build/Control/Category/Discrete.o, dist/build/Control/Category/Discrete.dyn_o ) [ 2 of 13] Compiling Control.Category.Hask ( Control/Category/Hask.hs, dist/build/Control/Category/Hask.o, dist/build/Control/Category/Hask.dyn_o ) [ 3 of 13] Compiling Data.CategoryObject.Product ( Data/CategoryObject/Product.hs, dist/build/Data/CategoryObject/Product.o, dist/build/Data/CategoryObject/Product.dyn_o ) Data/CategoryObject/Product.hs:48:3: warning: [GHC-50928] [-Wnoncanonical-monoid-instances] Noncanonical mappend definition detected in the instance declaration for Monoid (ProductCatObj a b). mappend will eventually be removed in favour of (<>) Suggested fix: Either remove definition for mappend (recommended) or define as mappend = (<>) See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 48 | mappend (ProductCatObj x y) (ProductCatObj w z) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [ 4 of 13] Compiling Control.Category.Constrained ( Control/Category/Constrained.hs, dist/build/Control/Category/Constrained.o, dist/build/Control/Category/Constrained.dyn_o ) Control/Category/Constrained.hs:135:35: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 135 | newtype ConstrainedCategory (k :: * -> * -> *) (o :: * -> Constraint) (a :: *) (b :: *) | ^ Control/Category/Constrained.hs:135:40: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 135 | newtype ConstrainedCategory (k :: * -> * -> *) (o :: * -> Constraint) (a :: *) (b :: *) | ^ Control/Category/Constrained.hs:135:45: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 135 | newtype ConstrainedCategory (k :: * -> * -> *) (o :: * -> Constraint) (a :: *) (b :: *) | ^ Control/Category/Constrained.hs:135:54: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 135 | newtype ConstrainedCategory (k :: * -> * -> *) (o :: * -> Constraint) (a :: *) (b :: *) | ^ Control/Category/Constrained.hs:135:77: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 135 | newtype ConstrainedCategory (k :: * -> * -> *) (o :: * -> Constraint) (a :: *) (b :: *) | ^ Control/Category/Constrained.hs:135:86: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 135 | newtype ConstrainedCategory (k :: * -> * -> *) (o :: * -> Constraint) (a :: *) (b :: *) | ^ Control/Category/Constrained.hs:253:24: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 253 | type UnitObject k :: * | ^ Control/Category/Constrained.hs:318:24: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 318 | type ZeroObject k :: * | ^ Control/Category/Constrained.hs:460:26: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 460 | type AgentVal k a v :: * | ^ [ 5 of 13] Compiling Control.Functor.Constrained ( Control/Functor/Constrained.hs, dist/build/Control/Functor/Constrained.o, dist/build/Control/Functor/Constrained.dyn_o ) [ 6 of 13] Compiling Control.Arrow.Constrained ( Control/Arrow/Constrained.hs, dist/build/Control/Arrow/Constrained.o, dist/build/Control/Arrow/Constrained.dyn_o ) [ 7 of 13] Compiling Control.Applicative.Constrained ( Control/Applicative/Constrained.hs, dist/build/Control/Applicative/Constrained.o, dist/build/Control/Applicative/Constrained.dyn_o ) [ 8 of 13] Compiling Data.Foldable.Constrained ( Data/Foldable/Constrained.hs, dist/build/Data/Foldable/Constrained.o, dist/build/Data/Foldable/Constrained.dyn_o ) Data/Foldable/Constrained.hs:86:25: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 86 | newtype Monoidal_ (r :: * -> * -> *) (s :: * -> * -> *) (f :: * -> *) (u :: *) | ^ Data/Foldable/Constrained.hs:86:30: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 86 | newtype Monoidal_ (r :: * -> * -> *) (s :: * -> * -> *) (f :: * -> *) (u :: *) | ^ Data/Foldable/Constrained.hs:86:35: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 86 | newtype Monoidal_ (r :: * -> * -> *) (s :: * -> * -> *) (f :: * -> *) (u :: *) | ^ Data/Foldable/Constrained.hs:86:44: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 86 | newtype Monoidal_ (r :: * -> * -> *) (s :: * -> * -> *) (f :: * -> *) (u :: *) | ^ Data/Foldable/Constrained.hs:86:49: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 86 | newtype Monoidal_ (r :: * -> * -> *) (s :: * -> * -> *) (f :: * -> *) (u :: *) | ^ Data/Foldable/Constrained.hs:86:54: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 86 | newtype Monoidal_ (r :: * -> * -> *) (s :: * -> * -> *) (f :: * -> *) (u :: *) | ^ Data/Foldable/Constrained.hs:86:63: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 86 | newtype Monoidal_ (r :: * -> * -> *) (s :: * -> * -> *) (f :: * -> *) (u :: *) | ^ Data/Foldable/Constrained.hs:86:68: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 86 | newtype Monoidal_ (r :: * -> * -> *) (s :: * -> * -> *) (f :: * -> *) (u :: *) | ^ Data/Foldable/Constrained.hs:86:77: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 86 | newtype Monoidal_ (r :: * -> * -> *) (s :: * -> * -> *) (f :: * -> *) (u :: *) | ^ [ 9 of 13] Compiling Data.Traversable.Constrained ( Data/Traversable/Constrained.hs, dist/build/Data/Traversable/Constrained.o, dist/build/Data/Traversable/Constrained.dyn_o ) [10 of 13] Compiling Control.Monad.Constrained ( Control/Monad/Constrained.hs, dist/build/Control/Monad/Constrained.o, dist/build/Control/Monad/Constrained.dyn_o ) Control/Monad/Constrained.hs:195:46: warning: [GHC-47082] [-Woperator-whitespace-ext-conflict] The prefix use of a $ would denote an untyped splice were the TemplateHaskell extension enabled. Suggested fix: Add whitespace after the $. | 195 | \(b,c) -> join . fmap (arr $ ($c) . runKleisli) . fCur $ b | ^ [11 of 13] Compiling Control.Category.Constrained.Prelude ( Control/Category/Constrained/Prelude.hs, dist/build/Control/Category/Constrained/Prelude.o, dist/build/Control/Category/Constrained/Prelude.dyn_o ) [12 of 13] Compiling Control.Category.Constrained.Reified ( Control/Category/Constrained/Reified.hs, dist/build/Control/Category/Constrained/Reified.o, dist/build/Control/Category/Constrained/Reified.dyn_o ) Control/Category/Constrained/Reified.hs:90:23: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 90 | data ReCategory (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:90:28: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 90 | data ReCategory (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:90:33: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 90 | data ReCategory (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:90:42: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 90 | data ReCategory (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:90:51: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 90 | data ReCategory (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:134:24: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 134 | data ReCartesian (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:134:29: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 134 | data ReCartesian (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:134:34: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 134 | data ReCartesian (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:134:43: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 134 | data ReCartesian (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:134:52: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 134 | data ReCartesian (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:135:322: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 135 | RECARTESIAN(Cartesian) | ^ Control/Category/Constrained/Reified.hs:135:420: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 135 | RECARTESIAN(Cartesian) | ^ Control/Category/Constrained/Reified.hs:181:23: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 181 | data ReMorphism (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:181:28: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 181 | data ReMorphism (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:181:33: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 181 | data ReMorphism (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:181:42: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 181 | data ReMorphism (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:181:51: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 181 | data ReMorphism (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:182:311: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 182 | REMORPHISM(Morphism) | ^ Control/Category/Constrained/Reified.hs:182:407: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 182 | REMORPHISM(Morphism) | ^ Control/Category/Constrained/Reified.hs:234:23: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 234 | data RePreArrow (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:234:28: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 234 | data RePreArrow (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:234:33: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 234 | data RePreArrow (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:234:42: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 234 | data RePreArrow (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:234:51: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 234 | data RePreArrow (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:235:311: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 235 | REPREARROW(PreArrow) | ^ Control/Category/Constrained/Reified.hs:235:407: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 235 | REPREARROW(PreArrow) | ^ Control/Category/Constrained/Reified.hs:298:26: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 298 | data ReWellPointed (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:298:31: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 298 | data ReWellPointed (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:298:36: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 298 | data ReWellPointed (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:298:45: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 298 | data ReWellPointed (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:298:54: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 298 | data ReWellPointed (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:299:344: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 299 | REWELLPOINTED(WellPointed) | ^ Control/Category/Constrained/Reified.hs:299:446: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 299 | REWELLPOINTED(WellPointed) | ^ [13 of 13] Compiling Control.Category.Constrained.Reified.PolyPattern ( Control/Category/Constrained/Reified/PolyPattern.hs, dist/build/Control/Category/Constrained/Reified/PolyPattern.o, dist/build/Control/Category/Constrained/Reified/PolyPattern.dyn_o ) Control/Category/Constrained/Reified/PolyPattern.hs:66:25: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 66 | type SpecificCat k :: * -> * -> * | ^ Control/Category/Constrained/Reified/PolyPattern.hs:66:30: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 66 | type SpecificCat k :: * -> * -> * | ^ Control/Category/Constrained/Reified/PolyPattern.hs:66:35: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 66 | type SpecificCat k :: * -> * -> * | ^ Control/Category/Constrained/Reified/PolyPattern.hs:106:47: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 106 | IsAttachUnit :: (Object k ±, UnitObject k ~ u, ObjectPair k ± u) | ^ Control/Category/Constrained/Reified/PolyPattern.hs:110:47: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 110 | IsDetachUnit :: (Object k ±, UnitObject k ~ u, ObjectPair k ± u) | ^ Control/Category/Constrained/Reified/PolyPattern.hs:236:45: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 236 | IsTerminal :: (Object k ±, UnitObject k ~ u) | ^ Preprocessing library for constrained-categories-0.4.2.0.. Running Haddock on library for constrained-categories-0.4.2.0.. Warning: The documentation for the following packages are not installed. No links will be generated to these packages: fail-4.9.0.0 Warning: --source-* options are ignored when --hyperlinked-source is enabled. [ 1 of 13] Compiling Control.Category.Discrete ( Control/Category/Discrete.hs, nothing ) [ 2 of 13] Compiling Control.Category.Hask ( Control/Category/Hask.hs, nothing ) [ 3 of 13] Compiling Data.CategoryObject.Product ( Data/CategoryObject/Product.hs, nothing ) Data/CategoryObject/Product.hs:48:3: warning: [GHC-50928] [-Wnoncanonical-monoid-instances] Noncanonical mappend definition detected in the instance declaration for Monoid (ProductCatObj a b). mappend will eventually be removed in favour of (<>) Suggested fix: Either remove definition for mappend (recommended) or define as mappend = (<>) See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 48 | mappend (ProductCatObj x y) (ProductCatObj w z) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [ 4 of 13] Compiling Control.Category.Constrained ( Control/Category/Constrained.hs, nothing ) Control/Category/Constrained.hs:135:35: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 135 | newtype ConstrainedCategory (k :: * -> * -> *) (o :: * -> Constraint) (a :: *) (b :: *) | ^ Control/Category/Constrained.hs:135:40: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 135 | newtype ConstrainedCategory (k :: * -> * -> *) (o :: * -> Constraint) (a :: *) (b :: *) | ^ Control/Category/Constrained.hs:135:45: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 135 | newtype ConstrainedCategory (k :: * -> * -> *) (o :: * -> Constraint) (a :: *) (b :: *) | ^ Control/Category/Constrained.hs:135:54: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 135 | newtype ConstrainedCategory (k :: * -> * -> *) (o :: * -> Constraint) (a :: *) (b :: *) | ^ Control/Category/Constrained.hs:135:77: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 135 | newtype ConstrainedCategory (k :: * -> * -> *) (o :: * -> Constraint) (a :: *) (b :: *) | ^ Control/Category/Constrained.hs:135:86: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 135 | newtype ConstrainedCategory (k :: * -> * -> *) (o :: * -> Constraint) (a :: *) (b :: *) | ^ Control/Category/Constrained.hs:253:24: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 253 | type UnitObject k :: * | ^ Control/Category/Constrained.hs:318:24: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 318 | type ZeroObject k :: * | ^ Control/Category/Constrained.hs:460:26: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 460 | type AgentVal k a v :: * | ^ [ 5 of 13] Compiling Control.Functor.Constrained ( Control/Functor/Constrained.hs, nothing ) [ 6 of 13] Compiling Control.Arrow.Constrained ( Control/Arrow/Constrained.hs, nothing ) [ 7 of 13] Compiling Control.Applicative.Constrained ( Control/Applicative/Constrained.hs, nothing ) [ 8 of 13] Compiling Data.Foldable.Constrained ( Data/Foldable/Constrained.hs, nothing ) Data/Foldable/Constrained.hs:86:25: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 86 | newtype Monoidal_ (r :: * -> * -> *) (s :: * -> * -> *) (f :: * -> *) (u :: *) | ^ Data/Foldable/Constrained.hs:86:30: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 86 | newtype Monoidal_ (r :: * -> * -> *) (s :: * -> * -> *) (f :: * -> *) (u :: *) | ^ Data/Foldable/Constrained.hs:86:35: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 86 | newtype Monoidal_ (r :: * -> * -> *) (s :: * -> * -> *) (f :: * -> *) (u :: *) | ^ Data/Foldable/Constrained.hs:86:44: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 86 | newtype Monoidal_ (r :: * -> * -> *) (s :: * -> * -> *) (f :: * -> *) (u :: *) | ^ Data/Foldable/Constrained.hs:86:49: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 86 | newtype Monoidal_ (r :: * -> * -> *) (s :: * -> * -> *) (f :: * -> *) (u :: *) | ^ Data/Foldable/Constrained.hs:86:54: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 86 | newtype Monoidal_ (r :: * -> * -> *) (s :: * -> * -> *) (f :: * -> *) (u :: *) | ^ Data/Foldable/Constrained.hs:86:63: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 86 | newtype Monoidal_ (r :: * -> * -> *) (s :: * -> * -> *) (f :: * -> *) (u :: *) | ^ Data/Foldable/Constrained.hs:86:68: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 86 | newtype Monoidal_ (r :: * -> * -> *) (s :: * -> * -> *) (f :: * -> *) (u :: *) | ^ Data/Foldable/Constrained.hs:86:77: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 86 | newtype Monoidal_ (r :: * -> * -> *) (s :: * -> * -> *) (f :: * -> *) (u :: *) | ^ [ 9 of 13] Compiling Data.Traversable.Constrained ( Data/Traversable/Constrained.hs, nothing ) [10 of 13] Compiling Control.Monad.Constrained ( Control/Monad/Constrained.hs, nothing ) Control/Monad/Constrained.hs:195:46: warning: [GHC-47082] [-Woperator-whitespace-ext-conflict] The prefix use of a $ would denote an untyped splice were the TemplateHaskell extension enabled. Suggested fix: Add whitespace after the $. | 195 | \(b,c) -> join . fmap (arr $ ($c) . runKleisli) . fCur $ b | ^ [11 of 13] Compiling Control.Category.Constrained.Prelude ( Control/Category/Constrained/Prelude.hs, nothing ) [12 of 13] Compiling Control.Category.Constrained.Reified ( Control/Category/Constrained/Reified.hs, nothing ) Control/Category/Constrained/Reified.hs:90:23: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 90 | data ReCategory (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:90:28: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 90 | data ReCategory (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:90:33: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 90 | data ReCategory (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:90:42: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 90 | data ReCategory (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:90:51: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 90 | data ReCategory (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:134:24: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 134 | data ReCartesian (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:134:29: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 134 | data ReCartesian (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:134:34: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 134 | data ReCartesian (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:134:43: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 134 | data ReCartesian (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:134:52: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 134 | data ReCartesian (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:135:322: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 135 | RECARTESIAN(Cartesian) | ^ Control/Category/Constrained/Reified.hs:135:420: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 135 | RECARTESIAN(Cartesian) | ^ Control/Category/Constrained/Reified.hs:181:23: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 181 | data ReMorphism (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:181:28: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 181 | data ReMorphism (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:181:33: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 181 | data ReMorphism (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:181:42: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 181 | data ReMorphism (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:181:51: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 181 | data ReMorphism (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:182:311: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 182 | REMORPHISM(Morphism) | ^ Control/Category/Constrained/Reified.hs:182:407: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 182 | REMORPHISM(Morphism) | ^ Control/Category/Constrained/Reified.hs:234:23: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 234 | data RePreArrow (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:234:28: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 234 | data RePreArrow (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:234:33: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 234 | data RePreArrow (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:234:42: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 234 | data RePreArrow (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:234:51: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 234 | data RePreArrow (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:235:311: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 235 | REPREARROW(PreArrow) | ^ Control/Category/Constrained/Reified.hs:235:407: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 235 | REPREARROW(PreArrow) | ^ Control/Category/Constrained/Reified.hs:298:26: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 298 | data ReWellPointed (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:298:31: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 298 | data ReWellPointed (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:298:36: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 298 | data ReWellPointed (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:298:45: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 298 | data ReWellPointed (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:298:54: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 298 | data ReWellPointed (k :: * -> * -> *) (± :: *) (² :: *) where | ^ Control/Category/Constrained/Reified.hs:299:344: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 299 | REWELLPOINTED(WellPointed) | ^ Control/Category/Constrained/Reified.hs:299:446: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 299 | REWELLPOINTED(WellPointed) | ^ [13 of 13] Compiling Control.Category.Constrained.Reified.PolyPattern ( Control/Category/Constrained/Reified/PolyPattern.hs, nothing ) Control/Category/Constrained/Reified/PolyPattern.hs:66:25: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 66 | type SpecificCat k :: * -> * -> * | ^ Control/Category/Constrained/Reified/PolyPattern.hs:66:30: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 66 | type SpecificCat k :: * -> * -> * | ^ Control/Category/Constrained/Reified/PolyPattern.hs:66:35: warning: [GHC-39567] [-Wstar-is-type] Using * (or its Unicode variant) to mean Data.Kind.Type relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use Type from Data.Kind instead. | 66 | type SpecificCat k :: * -> * -> * | ^ Control/Category/Constrained/Reified/PolyPattern.hs:106:47: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 106 | IsAttachUnit :: (Object k ±, UnitObject k ~ u, ObjectPair k ± u) | ^ Control/Category/Constrained/Reified/PolyPattern.hs:110:47: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 110 | IsDetachUnit :: (Object k ±, UnitObject k ~ u, ObjectPair k ± u) | ^ Control/Category/Constrained/Reified/PolyPattern.hs:236:45: warning: [GHC-58520] [-Wtype-equality-requires-operators] The use of ~ without TypeOperators will become an error in a future GHC release. Suggested fix: Perhaps you intended to use TypeOperators | 236 | IsTerminal :: (Object k ±, UnitObject k ~ u) | ^ Haddock coverage: Warning: 'id' is ambiguous. It is defined * in Control.Category * in GHC.Base 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.Base 100% ( 2 / 2) in 'Control.Category.Discrete' 97% (137 /141) in 'Control.Category.Hask' Missing documentation for: Bool Ordering even odd 20% ( 1 / 5) in 'Data.CategoryObject.Product' Missing documentation for: ProductCatObj (Data/CategoryObject/Product.hs:20) LFactor (Data/CategoryObject/Product.hs:22) RFactor (Data/CategoryObject/Product.hs:26) IsProduct (Data/CategoryObject/Product.hs:30) Warning: '->' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: '()' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Monoidal' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Functors' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: '(->)' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Function' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'SPDistribute' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 69% ( 23 / 33) in 'Control.Category.Constrained' Missing documentation for: Curry (Control/Category/Constrained.hs:418) + (Control/Category/Constrained.hs:297) ObjectSum (Control/Category/Constrained.hs:341) ¢ (Control/Category/Constrained.hs:138) ConstrainedFunction (Control/Category/Constrained.hs:164) ProductCategory (Control/Category/Constrained.hs:497) × (Control/Category/Constrained.hs:499) genericAlg (Control/Category/Constrained.hs:473) genericAgentMap (Control/Category/Constrained.hs:477) GenericAgent (Control/Category/Constrained.hs:468) 57% ( 4 / 7) in 'Control.Functor.Constrained' Missing documentation for: Functor (Control/Functor/Constrained.hs:44) <$> (Control/Functor/Constrained.hs:88) constrainedFmap (Control/Functor/Constrained.hs:94) Warning: 'Arrow' is ambiguous. It is defined * in Control.Arrow * at Control/Arrow/Constrained.hs:277: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 Control/Arrow/Constrained.hs:277:1 60% ( 24 / 40) in 'Control.Arrow.Constrained' Missing documentation for: Arrow (Control/Arrow/Constrained.hs:277) Morphism (Control/Arrow/Constrained.hs:99) ObjectPoint (Control/Arrow/Constrained.hs:215) ArrowChoice (Control/Arrow/Constrained.hs:278) $ (Control/Arrow/Constrained.hs:265) >>> (Control/Arrow/Constrained.hs:94) <<< (Control/Arrow/Constrained.hs:97) CartesianAgent (Control/Arrow/Constrained.hs:439) genericAgentCombine (Control/Arrow/Constrained.hs:431) genericUnit (Control/Arrow/Constrained.hs:436) genericAlg1to2 (Control/Arrow/Constrained.hs:458) genericAlg2to1 (Control/Arrow/Constrained.hs:465) genericAlg2to2 (Control/Arrow/Constrained.hs:473) PointAgent (Control/Arrow/Constrained.hs:477) genericPoint (Control/Arrow/Constrained.hs:483) ifThenElse (Control/Arrow/Constrained.hs:423) 35% ( 5 / 14) in 'Control.Applicative.Constrained' Missing documentation for: Monoidal (Control/Applicative/Constrained.hs:40) Applicative (Control/Applicative/Constrained.hs:54) constrainedFZipWith (Control/Applicative/Constrained.hs:98) constPure (Control/Applicative/Constrained.hs:48) fzip (Control/Applicative/Constrained.hs:52) <**> (Control/Applicative/Constrained.hs:70) liftA (Control/Applicative/Constrained.hs:74) liftA2 (Control/Applicative/Constrained.hs:80) liftA3 (Control/Applicative/Constrained.hs:91) Warning: 'Foldable' is ambiguous. It is defined * in Data.Foldable * at Data/Foldable/Constrained.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 Data/Foldable/Constrained.hs:62:1 Warning: 'foldMap' is ambiguous. It is defined * in Data.Foldable * at Data/Foldable/Constrained.hs:73:3 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 Data/Foldable/Constrained.hs:73:3 Warning: 'Monoidal' is ambiguous. It is defined * at Control/Applicative/Constrained.hs:40:1 * at Data/Foldable/Constrained.hs:87:9 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 Control/Applicative/Constrained.hs:40:1 Warning: 'Applicative' is ambiguous. It is defined * in GHC.Base * at Control/Applicative/Constrained.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 Control/Applicative/Constrained.hs:54:1 50% ( 4 / 8) in 'Data.Foldable.Constrained' Missing documentation for: fold (Data/Foldable/Constrained.hs:77) forM_ (Data/Foldable/Constrained.hs:175) sequence_ (Data/Foldable/Constrained.hs:188) concatMap (Data/Foldable/Constrained.hs:194) Warning: 'traverse' is ambiguous. It is defined * in Data.Traversable * at Data/Traversable/Constrained.hs:58:3 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 Data/Traversable/Constrained.hs:58:3 80% ( 4 / 5) in 'Data.Traversable.Constrained' Missing documentation for: Traversable (Data/Traversable/Constrained.hs:53) Warning: 'return' is ambiguous. It is defined * in GHC.Base * at Control/Monad/Constrained.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 Control/Monad/Constrained.hs:71:1 34% ( 11 / 32) in 'Control.Monad.Constrained' Missing documentation for: Monad (Control/Monad/Constrained.hs:57) >>= (Control/Monad/Constrained.hs:85) =<< (Control/Monad/Constrained.hs:79) >> (Control/Monad/Constrained.hs:100) << (Control/Monad/Constrained.hs:91) >=> (Control/Monad/Constrained.hs:146) <=< (Control/Monad/Constrained.hs:150) Kleisli (Control/Monad/Constrained.hs:152) mzero (Control/Monad/Constrained.hs:119) MonadPlus (Control/Monad/Constrained.hs:121) mplus (Control/Monad/Constrained.hs:125) MonadFail (Control/Monad/Constrained.hs:133) forM_ (Data/Foldable/Constrained.hs:175) sequence sequence_ (Data/Foldable/Constrained.hs:188) guard (Control/Monad/Constrained.hs:253) when (Control/Monad/Constrained.hs:260) unless (Control/Monad/Constrained.hs:265) forever (Control/Monad/Constrained.hs:283) void (Control/Monad/Constrained.hs:290) filterM (Control/Monad/Constrained.hs:276) 75% (154 /204) in 'Control.Category.Constrained.Prelude' Missing documentation for: Curry (Control/Category/Constrained.hs:418) + (Control/Category/Constrained.hs:297) ObjectSum (Control/Category/Constrained.hs:341) ¢ (Control/Category/Constrained.hs:138) ConstrainedFunction (Control/Category/Constrained.hs:164) ProductCategory (Control/Category/Constrained.hs:497) × (Control/Category/Constrained.hs:499) genericAlg (Control/Category/Constrained.hs:473) genericAgentMap (Control/Category/Constrained.hs:477) GenericAgent (Control/Category/Constrained.hs:468) Object (Control/Category/Constrained.hs:92) SumObjects (Control/Category/Constrained.hs:315) MorphObjects (Control/Category/Constrained.hs:419) AgentVal (Control/Category/Constrained.hs:460) MonadFail (Control/Monad/Constrained.hs:133) <$> (Control/Functor/Constrained.hs:88) >>= (Control/Monad/Constrained.hs:85) sequence sequence_ (Data/Foldable/Constrained.hs:188) forM_ (Data/Foldable/Constrained.hs:175) >> (Control/Monad/Constrained.hs:100) Functor (Control/Functor/Constrained.hs:44) Monad (Control/Monad/Constrained.hs:57) Applicative (Control/Applicative/Constrained.hs:54) mzero (Control/Monad/Constrained.hs:119) mplus (Control/Monad/Constrained.hs:125) liftA2 (Control/Applicative/Constrained.hs:80) <**> (Control/Applicative/Constrained.hs:70) liftA (Control/Applicative/Constrained.hs:74) liftA3 (Control/Applicative/Constrained.hs:91) =<< (Control/Monad/Constrained.hs:79) when (Control/Monad/Constrained.hs:260) Kleisli (Control/Monad/Constrained.hs:152) filterM (Control/Monad/Constrained.hs:276) unless (Control/Monad/Constrained.hs:265) constrainedFmap (Control/Functor/Constrained.hs:94) Monoidal (Control/Applicative/Constrained.hs:40) constrainedFZipWith (Control/Applicative/Constrained.hs:98) constPure (Control/Applicative/Constrained.hs:48) fzip (Control/Applicative/Constrained.hs:52) << (Control/Monad/Constrained.hs:91) $ (Control/Arrow/Constrained.hs:265) const fst snd ifThenElse (Control/Arrow/Constrained.hs:423) Bool Ordering even odd 28% ( 2 / 7) in 'Control.Category.Constrained.Reified' Missing documentation for: ReCategory (Control/Category/Constrained/Reified.hs:90) ReCartesian (Control/Category/Constrained/Reified.hs:134) ReMorphism (Control/Category/Constrained/Reified.hs:181) RePreArrow (Control/Category/Constrained/Reified.hs:234) ReWellPointed (Control/Category/Constrained/Reified.hs:298) 28% ( 8 / 28) in 'Control.Category.Constrained.Reified.PolyPattern' Missing documentation for: Specific (Control/Category/Constrained/Reified/PolyPattern.hs:83) Id (Control/Category/Constrained/Reified/PolyPattern.hs:85) :<<< (Control/Category/Constrained/Reified/PolyPattern.hs:87) :>>> (Control/Category/Constrained/Reified/PolyPattern.hs:88) Swap (Control/Category/Constrained/Reified/PolyPattern.hs:143) AttachUnit (Control/Category/Constrained/Reified/PolyPattern.hs:144) DetachUnit (Control/Category/Constrained/Reified/PolyPattern.hs:145) Regroup (Control/Category/Constrained/Reified/PolyPattern.hs:146) Regroup' (Control/Category/Constrained/Reified/PolyPattern.hs:147) :*** (Control/Category/Constrained/Reified/PolyPattern.hs:188) :&&& (Control/Category/Constrained/Reified/PolyPattern.hs:246) Fst (Control/Category/Constrained/Reified/PolyPattern.hs:247) Snd (Control/Category/Constrained/Reified/PolyPattern.hs:248) Terminal (Control/Category/Constrained/Reified/PolyPattern.hs:249) Const (Control/Category/Constrained/Reified/PolyPattern.hs:307) CRCategory (Control/Category/Constrained/Reified/PolyPattern.hs:65) CRCartesian (Control/Category/Constrained/Reified/PolyPattern.hs:123) CRMorphism (Control/Category/Constrained/Reified/PolyPattern.hs:180) CRPreArrow (Control/Category/Constrained/Reified/PolyPattern.hs:239) CRWellPointed (Control/Category/Constrained/Reified/PolyPattern.hs:303) Warning: Control.Category.Discrete: could not find link destinations for: - Control.Category.Constrained.R:AgentValDiscreteav Warning: Control.Category.Hask: could not find link destinations for: - GHC.Prim.~# - GHC.Generics.SingKind - GHC.Generics.DemoteRep - GHC.Generics.fromSing - GHC.Generics.SingI - GHC.Generics.sing - GHC.Generics.Sing - GHC.Generics.D:R:UReckWordp0 - GHC.Generics.D:R:UReckIntp0 - GHC.Generics.D:R:UReckFloatp0 - GHC.Generics.D:R:UReckDoublep0 - GHC.Generics.D:R:UReckCharp0 - GHC.Generics.Rep1_Either - GHC.Generics.Rep1_Maybe - GHC.Generics.Rep_Ordering - GHC.Generics.Rep_Bool - GHC.Generics.Rep_Either - GHC.Generics.Rep_Maybe - GHC.Generics.Rep_R:UReckWordp - GHC.Generics.Rep1_R:UReckWordp - GHC.Generics.Rep_R:UReckIntp - GHC.Generics.Rep1_R:UReckIntp - GHC.Generics.Rep1_R:UReckFloatp - GHC.Generics.Rep_R:UReckDoublep - GHC.Generics.Rep1_R:UReckDoublep - GHC.Generics.Rep_R:UReckCharp - GHC.Generics.Rep1_R:UReckCharp - GHC.IOPort.IOPort - Data.Foldable1.JoinWith - Data.Foldable1.FromMaybe - Data.Foldable1.NonEmptyDList - Text.ParserCombinators.ReadP.P - GHC.Generics.D:R:SingBoola0 - GHC.Generics.STrue - GHC.Generics.D:R:DemoteRepBool - GHC.Generics.SFalse - GHC.Generics.Rep_R:UReckFloatp - GHC.Generics.D:R:SingMaybeb0 - GHC.Generics.SNothing - GHC.Generics.SJust - GHC.Generics.D:R:DemoteRepMaybe - GHC.IOPort.IOPortException - Text.Printf.UPrintf - Text.Printf.hspr - Text.Printf.spr Warning: Control.Category.Constrained: could not find link destinations for: - Control.Category.Constrained.R:ObjectTYPEOpo - Control.Category.Constrained.R:ObjectTYPEFUNo - Control.Category.Constrained.D:R:UnitObjectConstrainedCategory - Control.Category.Constrained.R:PairObjectsOpab - Control.Category.Constrained.R:UnitObjectOp - Control.Category.Constrained.R:PairObjectsFUNab - Control.Category.Constrained.R:UnitObjectFUN - Control.Category.Constrained.D:R:ZeroObjectConstrainedCategory - Control.Category.Constrained.R:SumObjectsOpab - Control.Category.Constrained.R:ZeroObjectOp - Control.Category.Constrained.R:SumObjectsFUNab - Control.Category.Constrained.R:ZeroObjectFUN - Control.Category.Constrained.R:MorphObjectsFUNbc - Control.Category.Constrained.R:AgentValDiscreteav - Control.Category.Constrained.D:R:AgentValFUNab - Control.Category.Constrained.D:R:UnitObjectProductCategory - Control.Monad.Constrained.D:R:ZeroObjectKleisli - Control.Monad.Constrained.D:R:UnitObjectKleisli - Control.Category.Constrained.Reified.D:R:UnitObjectReCartesian - Control.Category.Constrained.Reified.D:R:UnitObjectReMorphism - Control.Category.Constrained.Reified.D:R:UnitObjectRePreArrow - Control.Category.Constrained.Reified.D:R:UnitObjectReWellPointed Warning: Control.Arrow.Constrained: could not find link destinations for: - Control.Arrow.Constrained.R:PointObjectFUNx Warning: Control.Monad.Constrained: could not find link destinations for: - Control.Monad.Constrained.D:R:ZeroObjectKleisli - Control.Monad.Constrained.D:R:UnitObjectKleisli Warning: Control.Category.Constrained.Prelude: could not find link destinations for: - GHC.Prim.~# - GHC.Generics.SingKind - GHC.Generics.DemoteRep - GHC.Generics.fromSing - GHC.Generics.SingI - GHC.Generics.sing - GHC.Generics.Sing - GHC.Generics.D:R:UReckWordp0 - GHC.Generics.D:R:UReckIntp0 - GHC.Generics.D:R:UReckFloatp0 - GHC.Generics.D:R:UReckDoublep0 - GHC.Generics.D:R:UReckCharp0 - GHC.Generics.Rep1_Either - GHC.Generics.Rep1_Maybe - GHC.Generics.Rep_Ordering - GHC.Generics.Rep_Bool - GHC.Generics.Rep_Either - GHC.Generics.Rep_Maybe - GHC.Generics.Rep_R:UReckWordp - GHC.Generics.Rep1_R:UReckWordp - GHC.Generics.Rep_R:UReckIntp - GHC.Generics.Rep1_R:UReckIntp - GHC.Generics.Rep1_R:UReckFloatp - GHC.Generics.Rep_R:UReckDoublep - GHC.Generics.Rep1_R:UReckDoublep - GHC.Generics.Rep_R:UReckCharp - GHC.Generics.Rep1_R:UReckCharp - GHC.IOPort.IOPort - Data.Foldable1.JoinWith - Data.Foldable1.FromMaybe - Data.Foldable1.NonEmptyDList - GHC.Generics.D:R:SingBoola0 - GHC.Generics.STrue - GHC.Generics.D:R:DemoteRepBool - GHC.Generics.SFalse - GHC.Generics.Rep_R:UReckFloatp - GHC.Generics.D:R:SingMaybeb0 - GHC.Generics.SNothing - GHC.Generics.SJust - GHC.Generics.D:R:DemoteRepMaybe - Control.Category.Constrained.R:ObjectTYPEOpo - Control.Category.Constrained.R:ObjectTYPEFUNo - Control.Category.Constrained.D:R:UnitObjectConstrainedCategory - Control.Category.Constrained.R:PairObjectsOpab - Control.Category.Constrained.R:UnitObjectOp - Control.Category.Constrained.R:PairObjectsFUNab - Control.Category.Constrained.R:UnitObjectFUN - Control.Category.Constrained.D:R:ZeroObjectConstrainedCategory - Control.Category.Constrained.R:SumObjectsOpab - Control.Category.Constrained.R:ZeroObjectOp - Control.Category.Constrained.R:SumObjectsFUNab - Control.Category.Constrained.R:ZeroObjectFUN - Control.Category.Constrained.R:MorphObjectsFUNbc - Control.Category.Constrained.R:AgentValDiscreteav - Control.Category.Constrained.D:R:AgentValFUNab - Control.Category.Constrained.D:R:UnitObjectProductCategory - Control.Monad.Constrained.D:R:ZeroObjectKleisli - Control.Monad.Constrained.D:R:UnitObjectKleisli - Control.Category.Constrained.Reified.D:R:UnitObjectReCartesian - Control.Category.Constrained.Reified.D:R:UnitObjectReMorphism - Control.Category.Constrained.Reified.D:R:UnitObjectRePreArrow - Control.Category.Constrained.Reified.D:R:UnitObjectReWellPointed - GHC.IOPort.IOPortException - Text.Printf.UPrintf - Text.Printf.hspr - Text.Printf.spr Warning: Control.Category.Constrained.Reified: could not find link destinations for: - Control.Category.Constrained.Reified.D:R:UnitObjectReCartesian - Control.Category.Constrained.Reified.D:R:UnitObjectReMorphism - Control.Category.Constrained.Reified.D:R:UnitObjectRePreArrow - Control.Category.Constrained.Reified.D:R:UnitObjectReWellPointed - Control.Category.Constrained.Reified.PolyPattern.ConstPattern - Control.Category.Constrained.Reified.PolyPattern.TerminalPattern - Control.Category.Constrained.Reified.PolyPattern.SndPattern - Control.Category.Constrained.Reified.PolyPattern.FstPattern - Control.Category.Constrained.Reified.PolyPattern.FanPattern - Control.Category.Constrained.Reified.PolyPattern.ParPattern - Control.Category.Constrained.Reified.PolyPattern.Regroup'Pattern - Control.Category.Constrained.Reified.PolyPattern.RegroupPattern - Control.Category.Constrained.Reified.PolyPattern.DetachUnitPattern - Control.Category.Constrained.Reified.PolyPattern.AttachUnitPattern - Control.Category.Constrained.Reified.PolyPattern.SwapPattern - Control.Category.Constrained.Reified.PolyPattern.CompoPattern - Control.Category.Constrained.Reified.PolyPattern.IdPattern - Control.Category.Constrained.Reified.PolyPattern.D:R:SpecificCatReWellPointed - Control.Category.Constrained.Reified.PolyPattern.D:R:SpecificCatRePreArrow - Control.Category.Constrained.Reified.PolyPattern.D:R:SpecificCatReMorphism - Control.Category.Constrained.Reified.PolyPattern.D:R:SpecificCatReCartesian - Control.Category.Constrained.Reified.PolyPattern.D:R:SpecificCatReCategory Warning: Control.Category.Constrained.Reified.PolyPattern: could not find link destinations for: - Control.Category.Constrained.Reified.PolyPattern.ConstPattern - Control.Category.Constrained.Reified.PolyPattern.TerminalPattern - Control.Category.Constrained.Reified.PolyPattern.SndPattern - Control.Category.Constrained.Reified.PolyPattern.FstPattern - Control.Category.Constrained.Reified.PolyPattern.FanPattern - Control.Category.Constrained.Reified.PolyPattern.ParPattern - Control.Category.Constrained.Reified.PolyPattern.Regroup'Pattern - Control.Category.Constrained.Reified.PolyPattern.RegroupPattern - Control.Category.Constrained.Reified.PolyPattern.DetachUnitPattern - Control.Category.Constrained.Reified.PolyPattern.AttachUnitPattern - Control.Category.Constrained.Reified.PolyPattern.SwapPattern - Control.Category.Constrained.Reified.PolyPattern.CompoPattern - Control.Category.Constrained.Reified.PolyPattern.IdPattern - Control.Category.Constrained.Reified.PolyPattern.D:R:SpecificCatReWellPointed - Control.Category.Constrained.Reified.PolyPattern.D:R:SpecificCatRePreArrow - Control.Category.Constrained.Reified.PolyPattern.D:R:SpecificCatReMorphism - Control.Category.Constrained.Reified.PolyPattern.D:R:SpecificCatReCartesian - Control.Category.Constrained.Reified.PolyPattern.D:R:SpecificCatReCategory Documentation created: dist/doc/html/constrained-categories/, dist/doc/html/constrained-categories/constrained-categories.txt Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/constrained-categories-0.4.2.0-BB7NUZ7kDvD3O7F67ooAgp Completed constrained-categories-0.4.2.0