package elm_playground_gamekits

  1. Overview
  2. Docs
Genre kits for Playground games: platformers, racing, shoot 'em ups, fighting and more

Install

dune-project
 Dependency

Authors

Maintainers

Sources

0.3.6.tar.gz
md5=7c636383d146d30ac6f2fa234a6253c8
sha512=c79f3823c5f8f57e5038eb640d487c61168b84aa07c61999d6622ef9fd0c890e2b03b4c6a7cdbbe9352a49e25dda00ac7bb14693cee8e3d7beeed251351a2af0

doc/src/elm_playground_gamekits.kit_puzzle/Puzzle_undo.ml.html

Source file Puzzle_undo.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
(* Claude Code
 *
 * Copyright (C) 2026 Yoann Padioleau
 *
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Library General Public License
 * (LGPL) as published by the Free Software Foundation; either version
 * 2 of the License, or (at your option) any later version.
 *)

(* See Puzzle_undo.mli *)

type 'a t = { now : 'a; past : 'a list }

let start (a : 'a) : 'a t = { now = a; past = [] }
let record (a : 'a) (h : 'a t) : 'a t = { now = a; past = h.now :: h.past }
let undo (h : 'a t) : 'a t = match h.past with before :: rest -> { now = before; past = rest } | [] -> h