Remove SN GADT in favour of inlinable functions #912
Triggered via pull request
November 27, 2024 12:25
turion
Status
Success
Total duration
18m 17s
Artifacts
–
ci.yml
on: pull_request
Matrix: Nix Flake
Generate matrix from cabal
3s
Run hlint
7s
Run fourmolu
5s
Check and format all cabal files
6s
Matrix: Nix Flake Develop
Matrix: build-cabal
Successfully build and test on all systems
0s
Annotations
4 warnings
|
Run hlint:
rhine/src/FRP/Rhine/Reactimation/ClockErasure.hs#L50
Suggestion in eraseClockSN in module FRP.Rhine.Reactimation.ClockErasure: Redundant bracket ▫︎ Found: "SN m cl a b -> (Automaton m (Time cl, Tag cl, Maybe a) (Maybe b))" ▫︎ Perhaps: "SN m cl a b -> Automaton m (Time cl, Tag cl, Maybe a) (Maybe b)"
|
|
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)"
|