[all reports]
Package |
exotic-list-monads-1.1.0 |
Install |
InstallOk |
Docs |
Ok |
Tests |
Ok |
Time submitted |
2023-08-30 23:29:35.369665302 UTC
|
Compiler |
ghc-9.2.4 |
OS |
linux |
Arch |
x86_64 |
Dependencies |
base-4.16.3.0 |
Flags |
none
|
Code Coverage
expressions | 78% (1141/1453) |
boolean | guards | 62% (34/54) |
conditions | 100% (1/1) |
qualifiers | 100% (1/1) |
alternatives | 88% (68/77) |
local declarations | 100% (34/34) |
top-level declarations | 44% (187/422) |
Build log
[view raw]
Resolving dependencies...
Downloading exotic-list-monads-1.1.0
Downloaded exotic-list-monads-1.1.0
Starting exotic-list-monads-1.1.0
Building exotic-list-monads-1.1.0
Completed exotic-list-monads-1.1.0
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.2.4 -O0
In order, the following will be built (use -v for more details):
- exotic-list-monads-1.1.0 (first run)
Configuring exotic-list-monads-1.1.0...
Preprocessing library for exotic-list-monads-1.1.0..
Building library for exotic-list-monads-1.1.0..
[1 of 3] Compiling Control.Monad.List.Exotic ( src/Control/Monad/List/Exotic.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/exotic-list-monads-1.1.0/noopt/build/Control/Monad/List/Exotic.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/exotic-list-monads-1.1.0/noopt/build/Control/Monad/List/Exotic.dyn_o )
src/Control/Monad/List/Exotic.hs:229:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (DualListMonad m).
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
229 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:233:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (DualListMonad m).
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
233 | return = DualListMonad . liftListFun reverse . return
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:324:41: warning: [-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.
|
324 | class (ListMonad m) => FreeRBPM m (c :: * -> Constraint) | m -> c where
| ^
src/Control/Monad/List/Exotic.hs:368:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative GlobalFailure.
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
368 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:372:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad GlobalFailure.
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
372 | return x = GlobalFailure [x]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:463:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative MazeWalk.
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
463 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:467:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad MazeWalk.
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
467 | return x = MazeWalk [x]
| ^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:535:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative DiscreteHybrid.
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
535 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:539:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad DiscreteHybrid.
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
539 | return x = DiscreteHybrid [x]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:604:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative ListUnfold.
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
604 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:608:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad ListUnfold.
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
608 | return x = ListUnfold [x]
| ^^^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:693:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (Stutter n).
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
693 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:697:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (Stutter n).
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
697 | return x = Stutter [x]
| ^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:768:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (StutterKeeper n).
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
768 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:772:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (StutterKeeper n).
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
772 | return x = StutterKeeper [x]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:847:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (StutterStutter n m).
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
847 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:851:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (StutterStutter n m).
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
851 | return x = StutterStutter [x]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:961:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative Mini.
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
961 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:965:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad Mini.
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
965 | return x = Mini [x]
| ^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:1014:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative Odd.
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
1014 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:1018:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad Odd.
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
1018 | return x = Odd [x]
| ^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:1074:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (AtLeast n).
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
1074 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:1078:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (AtLeast n).
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
1078 | return x = AtLeast [x]
| ^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:1151:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for
Applicative (NumericalMonoidMonad ns).
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
1151 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:1155:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (NumericalMonoidMonad ns).
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
1155 | return x = NumericalMonoidMonad [x]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:1207:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (AtMost n).
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
1207 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:1211:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (AtMost n).
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
1211 | return x = AtMost [x]
| ^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:1301:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for
Applicative (ContinuumOfMonads s).
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
1301 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:1305:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (ContinuumOfMonads s).
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
1305 | return x = ContinuumOfMonads [x]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:1355:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for
Applicative (ShortStutterKeeper n p).
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
1355 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/Exotic.hs:1359:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (ShortStutterKeeper n p).
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
1359 | return x = ShortStutterKeeper [x]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[2 of 3] Compiling Control.Monad.List.NonEmpty.Exotic ( src/Control/Monad/List/NonEmpty/Exotic.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/exotic-list-monads-1.1.0/noopt/build/Control/Monad/List/NonEmpty/Exotic.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/exotic-list-monads-1.1.0/noopt/build/Control/Monad/List/NonEmpty/Exotic.dyn_o )
src/Control/Monad/List/NonEmpty/Exotic.hs:287:44: warning: [-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.
|
287 | class (NonEmptyMonad m) => FreeRBM m (c :: * -> Constraint) | m -> c where
| ^
src/Control/Monad/List/NonEmpty/Exotic.hs:322:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative Keeper.
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
322 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:326:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad Keeper.
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
326 | return a = Keeper $ [a] -- OverloadedLists
| ^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:383:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative DiscreteHybridNE.
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
383 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:387:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad DiscreteHybridNE.
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
387 | return a = DiscreteHybridNE $ [a] -- OverloadedLists
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:442:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative OpDiscreteHybridNE.
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
442 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:446:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad OpDiscreteHybridNE.
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
446 | return a = OpDiscreteHybridNE $ [a] -- OverloadedLists
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:502:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative MazeWalkNE.
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
502 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:506:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad MazeWalkNE.
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
506 | return a = MazeWalkNE $ [a] -- OverloadedLists
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:562:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (StutterNE n).
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
562 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:566:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (StutterNE n).
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
566 | return a = StutterNE $ [a] -- OverloadedLists
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:668:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative HeadTails.
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
668 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:672:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad HeadTails.
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
672 | return a = HeadTails $ [a,a] -- OverloadedLists
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:773:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative HeadsTail.
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
773 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:777:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad HeadsTail.
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
777 | return a = HeadsTail $ [a,a] -- OverloadedLists
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:843:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative AlphaOmega.
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
843 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:847:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad AlphaOmega.
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
847 | return a = AlphaOmega [a] -- OverloadedLists
| ^^^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:900:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for
Applicative (DualNonEmptyMonad m).
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
900 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:904:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (DualNonEmptyMonad m).
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
904 | return = DualNonEmptyMonad . liftNEFun NonEmpty.reverse . return
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:937:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (IdXList m).
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
937 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:941:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (IdXList m).
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
941 | return x = IdXList x (return x)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:1013:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (ShortFront m p).
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
1013 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:1017:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (ShortFront m p).
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
1017 | return = ShortFront . return
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:1078:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical pure = return definition detected
in the instance declaration for Applicative (ShortRear m p).
Move definition from return to pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
1078 | pure = return
| ^^^^^^^^^^^^^^
src/Control/Monad/List/NonEmpty/Exotic.hs:1085:3: warning: [-Wnoncanonical-monad-instances]
Noncanonical return definition detected
in the instance declaration for Monad (ShortRear m p).
return will eventually be removed in favour of pure
Either remove definition for return (recommended) or define as return = pure
See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
|
1085 | return = ShortRear . return
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[3 of 3] Compiling Paths_exotic_list_monads ( /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/exotic-list-monads-1.1.0/noopt/build/autogen/Paths_exotic_list_monads.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/exotic-list-monads-1.1.0/noopt/build/Paths_exotic_list_monads.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/exotic-list-monads-1.1.0/noopt/build/Paths_exotic_list_monads.dyn_o )
Preprocessing test suite 'spec' for exotic-list-monads-1.1.0..
Building test suite 'spec' for exotic-list-monads-1.1.0..
[1 of 4] Compiling Control.Monad.List.ExoticSpec ( test/Control/Monad/List/ExoticSpec.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/exotic-list-monads-1.1.0/noopt/build/spec/spec-tmp/Control/Monad/List/ExoticSpec.o )
[2 of 4] Compiling Control.Monad.List.NonEmpty.ExoticSpec ( test/Control/Monad/List/NonEmpty/ExoticSpec.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/exotic-list-monads-1.1.0/noopt/build/spec/spec-tmp/Control/Monad/List/NonEmpty/ExoticSpec.o )
[3 of 4] Compiling Main ( test/Spec.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/exotic-list-monads-1.1.0/noopt/build/spec/spec-tmp/Main.o )
[4 of 4] Compiling Paths_exotic_list_monads ( /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/exotic-list-monads-1.1.0/noopt/build/spec/autogen/Paths_exotic_list_monads.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/exotic-list-monads-1.1.0/noopt/build/spec/spec-tmp/Paths_exotic_list_monads.o )
Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/exotic-list-monads-1.1.0/noopt/build/spec/spec ...
Running 1 test suites...
Test suite spec: RUNNING...
Test suite spec: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/exotic-list-monads-1.1.0.test
Writing: exotic-list-monads-1.1.0-inplace/Control.Monad.List.NonEmpty.Exotic.hs.html
Writing: exotic-list-monads-1.1.0-inplace/Control.Monad.List.Exotic.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/exotic-list-monads-1.1.0/noopt/hpc/vanilla/html/spec/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: exotic-list-monads-1.1.0-inplace/Control.Monad.List.NonEmpty.Exotic.hs.html
Writing: exotic-list-monads-1.1.0-inplace/Control.Monad.List.Exotic.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Package coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/exotic-list-monads-1.1.0/noopt/hpc/vanilla/html/exotic-list-monads-1.1.0/hpc_index.html