Build #2 for constrained-categories-0.4.2.0
| Package | constrained-categories-0.4.2.0 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2025-11-28 20:01:26.616833416 UTC |
|---|---|
| Compiler | ghc-9.8.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.19.2.0, contravariant-1.5.5, fail-4.9.0.0, semigroups-0.20, tagged-0.8.9, trivial-constraint-0.7.0.0, void-0.7.3 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
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
Test log
[view raw]
Resolving dependencies... No tests to run for all the packages in the project