mirror of
https://github.com/github/semantic.git
synced 2024-11-28 18:23:44 +03:00
Avoid needless $s.
This commit is contained in:
parent
671904cf61
commit
cbc1240946
@ -168,6 +168,6 @@ spec = do
|
|||||||
offsetInfo by (Info (Range start end) categories) = Info (Range (start + by) (end + by)) categories
|
offsetInfo by (Info (Range start end) categories) = Info (Range (start + by) (end + by)) categories
|
||||||
offsetAnnotated by1 by2 (Annotated (left, right) syntax) = Annotated (offsetInfo by1 left, offsetInfo by2 right) syntax
|
offsetAnnotated by1 by2 (Annotated (left, right) syntax) = Annotated (offsetInfo by1 left, offsetInfo by2 right) syntax
|
||||||
span = Span (Just "category-leaf")
|
span = Span (Just "category-leaf")
|
||||||
isOpen (Row a b) = (Maybe.isJust $ openLineBy openElement [ a ]) && (Maybe.isJust $ openLineBy openElement [ b ])
|
isOpen (Row a b) = Maybe.isJust (openLineBy openElement [ a ]) && Maybe.isJust (openLineBy openElement [ b ])
|
||||||
isClosed (Row a@(Line _ _) b@(Line _ _)) = (Maybe.isNothing $ openLineBy openElement [ a ]) && (Maybe.isNothing $ openLineBy openElement [ b ])
|
isClosed (Row a@(Line _ _) b@(Line _ _)) = Maybe.isNothing (openLineBy openElement [ a ]) && Maybe.isNothing (openLineBy openElement [ b ])
|
||||||
isClosed (Row _ _) = False
|
isClosed (Row _ _) = False
|
||||||
|
Loading…
Reference in New Issue
Block a user