aboutsummaryrefslogtreecommitdiff
path: root/lib/zipper.ml
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-13 11:10:51 -0500
committerMarc Coquand <marc@mccd.space>2024-05-13 11:10:51 -0500
commit3534b2f4ed4ee682d2c09aa501e77338c0e166f7 (patch)
treedc29e3b863df6bb4fac5932c02595ebc33afb65c /lib/zipper.ml
parent121a6a376209de3f5a9474bf03721e2032a73e01 (diff)
downloadstitch-3534b2f4ed4ee682d2c09aa501e77338c0e166f7.tar.gz
stitch-3534b2f4ed4ee682d2c09aa501e77338c0e166f7.tar.bz2
stitch-3534b2f4ed4ee682d2c09aa501e77338c0e166f7.zip
Initial commit x2
Diffstat (limited to 'lib/zipper.ml')
-rw-r--r--lib/zipper.ml22
1 files changed, 0 insertions, 22 deletions
diff --git a/lib/zipper.ml b/lib/zipper.ml
deleted file mode 100644
index 37e14de..0000000
--- a/lib/zipper.ml
+++ /dev/null
@@ -1,22 +0,0 @@
-type zipper =
- { above : string list
- ; selected : string
- ; below : string list
- }
-
-let up (zipper : zipper) =
- match zipper.above with
- | [] -> zipper
- | a :: rest -> { above = rest; selected = a; below = zipper.selected :: zipper.below }
-
-
-let down (zipper : zipper) =
- match zipper.below with
- | [] -> zipper
- | a :: rest -> { below = rest; selected = a; above = zipper.selected :: zipper.above }
-
-
-let selected zipper = zipper.selected
-
-let to_array zipper =
- List.concat [ zipper.above; [ zipper.selected ]; zipper.below ] |> Array.of_list