Zipperという機能 - Qiita

学習の素材は、 すごいHaskellたのしく学ぼう! Zipper Zipper は、データ構造の要素を更新を簡単にし、データ構造をたどるという操作を効率的にしてくれる。 Generics.MultiRec.Zipper モジュールがすでにあるものの、今回はこれを自作する形になる。 ある部分木の更新や要素の検索 この二つの関数では、方向リストが与えられた木の特定の部分木、いわば注目点を指定する役割をしている。例えばDirections における [R] はルートの右側の部分木を、[] は木全体を表している。 data Direction = L | R deriving (Show) type Directions = [Direction] data Tree a = Empty | Node a (Tree a) (Tree a) deriving (Show) changeTop :