Skip to content

Schedule a list of automata efficiently #828

Schedule a list of automata efficiently

Schedule a list of automata efficiently #828

Triggered via pull request August 13, 2024 19:52
Status Success
Total duration 11m 26s
Artifacts

ci.yml

on: pull_request
Matrix: Nix Flake
Generate matrix from cabal
5s
Generate matrix from cabal
Run hlint
9s
Run hlint
Run fourmolu
5s
Run fourmolu
Check and format all cabal files
7s
Check and format all cabal files
Matrix: build-cabal
Successfully build and test on all systems
0s
Successfully build and test on all systems
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Run hlint: rhine/src/FRP/Rhine/Schedule/Internal.hs#L33
Suggestion in apInjs_NPNonEmpty in module FRP.Rhine.Schedule.Internal: Use camelCase ▫︎ Found: "apInjs_NPNonEmpty ::\n (SListI xs) => NP f (x ': xs) -> NonEmpty (NS f (x ': xs))" ▫︎ Perhaps: "apInjsNPNonEmpty ::\n (SListI xs) => NP f (x ': xs) -> NonEmpty (NS f (x ': xs))"
Run hlint: rhine/src/FRP/Rhine/Schedule/Internal.hs#L34
Suggestion in apInjs_NPNonEmpty in module FRP.Rhine.Schedule.Internal: Use camelCase ▫︎ Found: "apInjs_NPNonEmpty (fx :* fxs) = ..." ▫︎ Perhaps: "apInjsNPNonEmpty (fx :* fxs) = ..."
Run hlint: rhine/src/FRP/Rhine/Schedule/Internal.hs#L61
Suggestion in scheduleStreams in module FRP.Rhine.Schedule.Internal: Redundant bracket ▫︎ Found: "finished <&> (hliftA (getRunningResult >>> resultState >>> I))" ▫︎ Perhaps: "finished <&> hliftA (getRunningResult >>> resultState >>> I)"