Supporting these functions was a little tricky. For example, how should we handle calling cycle/remove on the item that is currently focused? After attempting to be clever, I decided to just set the value to nil and let the consumer decide what is best for them. I can always support a more opinionated version that fallsback to previous-index if previous-index is set. But until I have a better idea of how I'm going to consume this, I think nil is the best option.
		
			
				
	
	
		
			218 lines
		
	
	
	
		
			7.5 KiB
		
	
	
	
		
			EmacsLisp
		
	
	
	
	
	
			
		
		
	
	
			218 lines
		
	
	
	
		
			7.5 KiB
		
	
	
	
		
			EmacsLisp
		
	
	
	
	
	
| ;;; cycle.el --- Simple module for working with cycles. -*- lexical-binding: t -*-
 | |
| ;; Author: William Carroll <wpcarro@gmail.com>
 | |
| 
 | |
| ;;; Commentary:
 | |
| ;; Something like this may already exist, but I'm having trouble finding it, and
 | |
| ;; I think writing my own is a nice exercise for learning more Elisp.
 | |
| 
 | |
| ;;; Code:
 | |
| 
 | |
| ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 | |
| ;; Dependencies
 | |
| ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 | |
| 
 | |
| (require 'prelude)
 | |
| (require 'math)
 | |
| (require 'maybe)
 | |
| 
 | |
| ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 | |
| ;; Wish list
 | |
| ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 | |
| 
 | |
| ;; - TODO: Provide immutable variant.
 | |
| ;; - TODO: Replace mutable consumption with immutable variant.
 | |
| ;; - TODO: Replace indexing with (math/mod current cycle).
 | |
| 
 | |
| ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 | |
| ;; Library
 | |
| ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 | |
| 
 | |
| ;; `current-index' tracks the current index
 | |
| ;; `xs' is the original list
 | |
| (cl-defstruct cycle current-index previous-index xs)
 | |
| 
 | |
| (defconst cycle/enable-tests? t
 | |
|   "When t, run the tests defined herein.")
 | |
| 
 | |
| (defun cycle/from-list (xs)
 | |
|   "Create a cycle from a list of `XS'."
 | |
|   (if (= 0 (length xs))
 | |
|       (make-cycle :current-index nil
 | |
|                   :previous-index nil
 | |
|                   :xs xs)
 | |
|     (make-cycle :current-index 0
 | |
|                 :previous-index nil
 | |
|                 :xs xs)))
 | |
| 
 | |
| (defun cycle/new (&rest xs)
 | |
|   "Create a cycle with XS as the values."
 | |
|   (cycle/from-list xs))
 | |
| 
 | |
| (defun cycle/to-list (xs)
 | |
|   "Return the list representation of a cycle, XS."
 | |
|   (cycle-xs xs))
 | |
| 
 | |
| (defun next-index<- (lo hi x)
 | |
|   "Return the next index in a cycle when moving downwards.
 | |
| - `LO' is the lower bound.
 | |
| - `HI' is the upper bound.
 | |
| - `X' is the current index."
 | |
|   (if (< (- x 1) lo)
 | |
|       (- hi 1)
 | |
|     (- x 1)))
 | |
| 
 | |
| (defun next-index-> (lo hi x)
 | |
|   "Return the next index in a cycle when moving upwards.
 | |
| - `LO' is the lower bound.
 | |
| - `HI' is the upper bound.
 | |
| - `X' is the current index."
 | |
|   (if (>= (+ 1 x) hi)
 | |
|       lo
 | |
|     (+ 1 x)))
 | |
| 
 | |
| (defun cycle/previous-focus (cycle)
 | |
|   "Return the previously focused entry in CYCLE."
 | |
|   (let ((i (cycle-previous-index cycle)))
 | |
|     (if (maybe/some? i)
 | |
|         (nth i (cycle-xs cycle))
 | |
|       nil)))
 | |
| 
 | |
| ;; TODO: Consider adding "!" to the function name herein since many of them
 | |
| ;; mutate the collection, and the APIs are beginning to confuse me.
 | |
| (defun cycle/focus-previous! (xs)
 | |
|   "Jump to the item in XS that was most recently focused; return the cycle.
 | |
| This will error when previous-index is nil.  This function mutates the
 | |
| underlying struct."
 | |
|   (let ((i (cycle-previous-index xs)))
 | |
|     (if (maybe/some? i)
 | |
|         (progn
 | |
|           (cycle/jump i xs)
 | |
|           (cycle/current xs))
 | |
|       (error "Cannot focus the previous element since cycle-previous-index is nil"))))
 | |
| 
 | |
| (defun cycle/next (xs)
 | |
|   "Return the next value in `XS' and update `current-index'."
 | |
|   (let* ((current-index (cycle-current-index xs))
 | |
|          (next-index (next-index-> 0 (cycle/count xs) current-index)))
 | |
|     (struct/set! cycle previous-index current-index xs)
 | |
|     (struct/set! cycle current-index next-index xs)
 | |
|     (nth next-index (cycle-xs xs))))
 | |
| 
 | |
| (defun cycle/prev (xs)
 | |
|   "Return the previous value in `XS' and update `current-index'."
 | |
|   (let* ((current-index (cycle-current-index xs))
 | |
|          (next-index (next-index<- 0 (cycle/count xs) current-index)))
 | |
|     (struct/set! cycle previous-index current-index xs)
 | |
|     (struct/set! cycle current-index next-index xs)
 | |
|     (nth next-index (cycle-xs xs))))
 | |
| 
 | |
| (defun cycle/current (cycle)
 | |
|   "Return the current value in `CYCLE'."
 | |
|   (nth (cycle-current-index cycle) (cycle-xs cycle)))
 | |
| 
 | |
| (defun cycle/count (cycle)
 | |
|   "Return the length of `xs' in `CYCLE'."
 | |
|   (length (cycle-xs cycle)))
 | |
| 
 | |
| (defun cycle/jump (i xs)
 | |
|   "Jump to the I index of XS."
 | |
|   (let ((current-index (cycle-current-index xs))
 | |
|         (next-index (math/mod i (cycle/count xs))))
 | |
|     (struct/set! cycle previous-index current-index xs)
 | |
|     (struct/set! cycle current-index next-index xs))
 | |
|   xs)
 | |
| 
 | |
| (defun cycle/focus (p cycle)
 | |
|   "Focus the element in CYCLE for which predicate, P, is t."
 | |
|   (let ((i (->> cycle
 | |
|                 cycle-xs
 | |
|                 (-find-index p))))
 | |
|     (if i
 | |
|         (cycle/jump i cycle)
 | |
|       (error "No element in cycle matches predicate"))))
 | |
| 
 | |
| (defun cycle/focus-item (x xs)
 | |
|   "Focus ITEM in cycle XS.
 | |
| ITEM is the first item in XS that t for `equal'."
 | |
|   (cycle/focus (lambda (y) (equal x y)) xs))
 | |
| 
 | |
| (defun cycle/contains? (x xs)
 | |
|   "Return t if cycle, XS, has member X."
 | |
|   (->> xs
 | |
|        cycle-xs
 | |
|        (list/contains? x)))
 | |
| 
 | |
| (defun cycle/empty? (xs)
 | |
|   "Return t if cycle XS has no elements."
 | |
|   (= 0 (length (cycle-xs xs))))
 | |
| 
 | |
| (defun cycle/focused? (xs)
 | |
|   "Return t if cycle XS has a non-nil value for current-index."
 | |
|   (maybe/some? (cycle-current-index xs)))
 | |
| 
 | |
| (defun cycle/append (x xs)
 | |
|   "Add X to the left of the focused element in XS.
 | |
| If there is no currently focused item, add X to the beginning of XS."
 | |
|   (if (cycle/empty? xs)
 | |
|       (progn
 | |
|         (struct/set! cycle xs (list x) xs)
 | |
|         (struct/set! cycle current-index 0 xs)
 | |
|         (struct/set! cycle previous-index nil xs))
 | |
|     (let ((curr-i (cycle-current-index xs))
 | |
|           (prev-i (cycle-previous-index xs)))
 | |
|       (if curr-i
 | |
|           (progn
 | |
|             (struct/set! cycle xs (-insert-at curr-i x (cycle-xs xs)) xs)
 | |
|             (when (>= prev-i curr-i) (struct/set! cycle previous-index (1+ prev-i) xs))
 | |
|             (when curr-i (struct/set! cycle current-index (1+ curr-i) xs)))
 | |
|         (progn
 | |
|           (struct/set! cycle xs (cons x (cycle-xs xs)) xs)
 | |
|           (when prev-i (struct/set! cycle previous-index (1+ prev-i) xs))))
 | |
|       xs)))
 | |
| 
 | |
| (defun cycle/remove (x xs)
 | |
|   "Attempt to remove X from XS.
 | |
| 
 | |
| X is found using `equal'.
 | |
| 
 | |
| If X is the currently focused value, after it's deleted, current-index will be
 | |
|   nil.  If X is the previously value, after it's deleted, previous-index will be
 | |
|   nil."
 | |
|   (let ((curr-i (cycle-current-index xs))
 | |
|         (prev-i (cycle-previous-index xs))
 | |
|         (rm-i (-elem-index x (cycle-xs xs))))
 | |
|     (struct/set! cycle xs (-remove-at rm-i (cycle-xs xs)) xs)
 | |
|     (when prev-i
 | |
|       (when (> prev-i rm-i) (struct/set! cycle previous-index (1- prev-i) xs))
 | |
|       (when (= prev-i rm-i) (struct/set! cycle previous-index nil xs)))
 | |
|     (when curr-i
 | |
|       (when (> curr-i rm-i) (struct/set! cycle current-index (1- curr-i) xs))
 | |
|       (when (= curr-i rm-i) (struct/set! cycle current-index nil xs)))
 | |
|     xs))
 | |
| 
 | |
| ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 | |
| ;; Tests
 | |
| ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 | |
| 
 | |
| (when cycle/enable-tests?
 | |
|   (let ((xs (cycle/new 1 2 3)))
 | |
|     (prelude/assert (maybe/nil? (cycle/previous-focus xs)))
 | |
|     (prelude/assert (= 1 (cycle/current xs)))
 | |
|     (prelude/assert (= 2 (cycle/next xs)))
 | |
|     (prelude/assert (= 1 (cycle/previous-focus xs)))
 | |
|     (prelude/assert (= 1 (->> xs (cycle/jump 0) cycle/current)))
 | |
|     (prelude/assert (= 2 (->> xs (cycle/jump 1) cycle/current)))
 | |
|     (prelude/assert (= 3 (->> xs (cycle/jump 2) cycle/current)))
 | |
|     (prelude/assert (= 2 (cycle/previous-focus xs)))
 | |
|     (prelude/assert (= 2 (cycle/focus-previous! xs)))
 | |
|     (prelude/assert (equal '(1 4 2 3) (cycle-xs (cycle/append 4 xs))))
 | |
|     (prelude/assert (equal '(1 2 3) (cycle-xs (cycle/remove 4 xs))))
 | |
|     (progn
 | |
|       (cycle/focus-item 3 xs)
 | |
|       (cycle/focus-item 2 xs)
 | |
|       (cycle/remove 1 xs)
 | |
|       (prelude/assert (= 2 (cycle/current xs)))
 | |
|       (prelude/assert (= 3 (cycle/previous-focus xs))))))
 | |
| 
 | |
| (provide 'cycle)
 | |
| ;;; cycle.el ends here
 |