-
Notifications
You must be signed in to change notification settings - Fork 45
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add the 'isRoot' predicate #67
Comments
Depends on #18. |
I'm surprised that I couldn't find an analogous function in either I'm not against adding it, but if it's added, I'd suggest adding it at some place where it doesn't distract from more useful functions. |
Nevermind, my idea wouldn't work without dependent types. |
I overlooked |
I felt the need for this predicate for searching parent folders. Say you want to search for the .gitignore for a project. I would recursively look at the parent folder searching for the gitignore, until i reach the root folder. Seems like a pretty common use-case? |
This should return
True
when given path is root (upper level) directory.The text was updated successfully, but these errors were encountered: