src/Diagrams/RubiksCube/Model.hs
Unused LANGUAGE pragma Open
Open
{-# LANGUAGE KindSignatures #-}
- Read upRead up
- Exclude checks
Found
{-# LANGUAGE KindSignatures #-}
Perhaps
Applying this change:
- Extension KindSignatures is implied by TypeFamilies
Redundant bracket Open
Open
(\upSide' upRows' -> c & upSide .~ upSide' & upRows .~ upRows')
<$> (traverse f (c ^. upSide))
<*> (traverse (traverse f) (c ^. upRows))
- Read upRead up
- Exclude checks
Found
(\ upSide' upRows' -> c & upSide .~ upSide' & upRows .~ upRows')
<$> (traverse f (c ^. upSide))
<*> (traverse (traverse f) (c ^. upRows))
Perhaps
(\ upSide' upRows' -> c & upSide .~ upSide' & upRows .~ upRows')
<$> (traverse f (c ^. upSide))
<*> traverse (traverse f) (c ^. upRows)
Redundant bracket Open
Open
(\upSide' upRows' -> c & upSide .~ upSide' & upRows .~ upRows')
<$> (traverse f (c ^. upSide))
- Read upRead up
- Exclude checks
Found
(\ upSide' upRows' -> c & upSide .~ upSide' & upRows .~ upRows')
<$> (traverse f (c ^. upSide))
Perhaps
(\ upSide' upRows' -> c & upSide .~ upSide' & upRows .~ upRows')
<$> traverse f (c ^. upSide)
Redundant bracket Open
Open
(\downSide' downRows' -> c & downSide .~ downSide' & downRows .~ downRows')
<$> (traverse f (c ^. downSide))
- Read upRead up
- Exclude checks
Found
(\ downSide' downRows' ->
c & downSide .~ downSide' & downRows .~ downRows')
<$> (traverse f (c ^. downSide))
Perhaps
(\ downSide' downRows' ->
c & downSide .~ downSide' & downRows .~ downRows')
<$> traverse f (c ^. downSide)
Redundant bracket Open
Open
(\downSide' downRows' -> c & downSide .~ downSide' & downRows .~ downRows')
<$> (traverse f (c ^. downSide))
<*> (traverse (traverse f) (c ^. downRows))
- Read upRead up
- Exclude checks
Found
(\ downSide' downRows' ->
c & downSide .~ downSide' & downRows .~ downRows')
<$> (traverse f (c ^. downSide))
<*> (traverse (traverse f) (c ^. downRows))
Perhaps
(\ downSide' downRows' ->
c & downSide .~ downSide' & downRows .~ downRows')
<$> (traverse f (c ^. downSide))
<*> traverse (traverse f) (c ^. downRows)
Use foldr Open
Open
doMoves [] = iso id id
doMoves (m:ms) = move m . doMoves ms
- Read upRead up
- Exclude checks
Found
doMoves [] = iso id id
doMoves (m : ms) = move m . doMoves ms
Perhaps
doMoves ms = foldr ((.) . move) (iso id id) ms
Avoid lambda Open
Open
_3 f (Vec3 a b c) = (\c' -> Vec3 a b c') <$> f c
- Read upRead up
- Exclude checks
Found
\ c' -> Vec3 a b c'
Perhaps
Vec3 a b