branches | Zipper.Recursive.Internal, Zipper.Recursive |
branches_ | Zipper.Recursive.Internal, Zipper.Recursive |
children_ | Zipper.Recursive.Internal, Zipper.Recursive |
currentIndex | Zipper.Recursive.Internal, Zipper.Recursive |
currentPath | Zipper.Recursive.Internal |
down | Zipper.Recursive.Internal, Zipper.Recursive |
flatten | Zipper.Recursive.Internal, Zipper.Recursive |
focus | Zipper.Recursive.Internal, Zipper.Recursive |
focus_ | Zipper.Recursive.Internal, Zipper.Recursive |
fold | Zipper.Recursive.Internal, Zipper.Recursive |
fromRecursive | Zipper.Recursive.Internal, Zipper.Recursive |
ichildren_ | Zipper.Recursive.Internal, Zipper.Recursive |
Idx | Zipper.Recursive.Internal, Zipper.Recursive |
parents | Zipper.Recursive.Internal |
rezip | Zipper.Recursive.Internal, Zipper.Recursive |
sibling | Zipper.Recursive.Internal, Zipper.Recursive |
tagged | Zipper.Recursive.Internal, Zipper.Recursive |
tug | Zipper.Recursive.Internal, Zipper.Recursive |
unwrapped_ | Zipper.Recursive.Internal, Zipper.Recursive |
up | Zipper.Recursive.Internal, Zipper.Recursive |
Zipper | |
1 (Type/Class) | Zipper.Recursive.Internal, Zipper.Recursive |
2 (Data Constructor) | Zipper.Recursive.Internal |
zipper | Zipper.Recursive.Internal, Zipper.Recursive |