zipper -package:streams -package:elynx-tree -package:Agda package:rosezipper

Generic zipper implementation for Data.Tree A Haskell datastructure for working with locations in trees or forests.