Simplify <> for SpaceStatus
This commit is contained in:
parent
057cc714b3
commit
a6efd02807
|
@ -1804,13 +1804,11 @@ prop_checkSpacefulness40= verifyNotTree checkSpacefulness "a=$((x+1)); echo $a"
|
||||||
|
|
||||||
data SpaceStatus = SpaceSome | SpaceNone | SpaceEmpty deriving (Eq)
|
data SpaceStatus = SpaceSome | SpaceNone | SpaceEmpty deriving (Eq)
|
||||||
instance Semigroup SpaceStatus where
|
instance Semigroup SpaceStatus where
|
||||||
(<>) x y =
|
SpaceNone <> SpaceNone = SpaceNone
|
||||||
case (x,y) of
|
SpaceSome <> _ = SpaceSome
|
||||||
(SpaceNone, SpaceNone) -> SpaceNone
|
_ <> SpaceSome = SpaceSome
|
||||||
(SpaceSome, _) -> SpaceSome
|
SpaceEmpty <> x = x
|
||||||
(_, SpaceSome) -> SpaceSome
|
x <> SpaceEmpty = x
|
||||||
(SpaceEmpty, x) -> x
|
|
||||||
(x, SpaceEmpty) -> x
|
|
||||||
instance Monoid SpaceStatus where
|
instance Monoid SpaceStatus where
|
||||||
mempty = SpaceEmpty
|
mempty = SpaceEmpty
|
||||||
mappend = (<>)
|
mappend = (<>)
|
||||||
|
|
Loading…
Reference in New Issue