mirror of
https://github.com/fiddlerwoaroof/data-lens.git
synced 2025-11-08 18:26:32 +00:00
Compare commits
4 Commits
f10b94ff4e
...
7618f95482
| Author | SHA1 | Date | |
|---|---|---|---|
| 7618f95482 | |||
| 74f8a29e39 | |||
| 35ac09aff4 | |||
| d6aef4f662 |
2
.github/workflows/test.yml
vendored
2
.github/workflows/test.yml
vendored
@ -73,4 +73,4 @@ jobs:
|
|||||||
--eval "(handler-case (ql:quickload :data-lens/test) (error (c) (format t \"~a\" c) (uiop:quit 44)))" \
|
--eval "(handler-case (ql:quickload :data-lens/test) (error (c) (format t \"~a\" c) (uiop:quit 44)))" \
|
||||||
--eval "(handler-case (asdf:test-system :data-lens) (error (c) (format t \"~a\" c) (uiop:quit 45)))" \
|
--eval "(handler-case (asdf:test-system :data-lens) (error (c) (format t \"~a\" c) (uiop:quit 45)))" \
|
||||||
--eval "(handler-case (asdf:test-system :data-lens/transducers) (error (c) (format t \"~a\" c) (uiop:quit 46)))" \
|
--eval "(handler-case (asdf:test-system :data-lens/transducers) (error (c) (format t \"~a\" c) (uiop:quit 46)))" \
|
||||||
--quit
|
--quit 2>&1 | grep -v '^;'
|
||||||
|
|||||||
11
data-lens+fset.asd
Normal file
11
data-lens+fset.asd
Normal file
@ -0,0 +1,11 @@
|
|||||||
|
(in-package :asdf-user)
|
||||||
|
|
||||||
|
(asdf:defsystem #:data-lens+fset
|
||||||
|
:author "Edward Langley <el-cl@elangley.org>"
|
||||||
|
:license "Apache v2"
|
||||||
|
:depends-on (:data-lens
|
||||||
|
:data-lens/transducers
|
||||||
|
:fset)
|
||||||
|
:serial t
|
||||||
|
:in-order-to ((test-op (test-op :data-lens/test)))
|
||||||
|
:components ((:file "data-lens-fset")))
|
||||||
110
data-lens-fset.lisp
Normal file
110
data-lens-fset.lisp
Normal file
@ -0,0 +1,110 @@
|
|||||||
|
(defpackage :fwoar.data-lens-fset
|
||||||
|
(:use :cl )
|
||||||
|
(:export
|
||||||
|
#:make-seq-lens
|
||||||
|
#:make-bag-lens
|
||||||
|
#:make-set-lens))
|
||||||
|
(in-package :fwoar.data-lens-fset)
|
||||||
|
|
||||||
|
(named-readtables:in-readtable fset:fset-readtable)
|
||||||
|
|
||||||
|
(defmethod data-lens.transducers.internals:reduce-generic ((set fset:set) (func function) init)
|
||||||
|
(fset:reduce func set :initial-value init))
|
||||||
|
(defmethod data-lens.transducers.internals:builder-for-input ((seq fset:set))
|
||||||
|
(values 'fset-set-builder
|
||||||
|
seq))
|
||||||
|
(defmethod data-lens.transducers.internals:stepper ((seq (eql 'fset-set-builder)))
|
||||||
|
(data-lens.transducers:transducer-lambda
|
||||||
|
((acc next)
|
||||||
|
(fset:with acc next))))
|
||||||
|
(defmethod data-lens:functionalize ((it fset:set))
|
||||||
|
(lambda (key)
|
||||||
|
(nth-value 1 (fset:lookup it key))))
|
||||||
|
(defmethod data-lens:extract-key ((it fset:set) key)
|
||||||
|
(nth-value 1 (fset:lookup it key)))
|
||||||
|
(defun make-set-lens (item)
|
||||||
|
"A lens for updating a set"
|
||||||
|
(lambda (cb)
|
||||||
|
(lambda (set)
|
||||||
|
(data-lens.lenses:fmap (lambda (new)
|
||||||
|
(fset:with (fset:less set item) new))
|
||||||
|
(funcall cb (nth-value 1 (fset:lookup set item)))))))
|
||||||
|
(defmethod data-lens.lenses:generic-lens ((rec fset:set) cb loc)
|
||||||
|
(funcall (funcall (make-set-lens loc)
|
||||||
|
cb)
|
||||||
|
rec))
|
||||||
|
|
||||||
|
(defmethod data-lens.transducers.internals:reduce-generic ((seq fset:seq) (func function) init)
|
||||||
|
(fset:reduce func seq :initial-value init))
|
||||||
|
(defmethod data-lens.transducers.internals:builder-for-input ((seq fset:seq))
|
||||||
|
(values 'fset-seq-builder
|
||||||
|
seq))
|
||||||
|
(defmethod data-lens.transducers.internals:stepper ((seq (eql 'fset-seq-builder)))
|
||||||
|
(data-lens.transducers:transducer-lambda
|
||||||
|
((acc next)
|
||||||
|
(fset:with-last acc next))))
|
||||||
|
(defmethod data-lens:functionalize ((it fset:seq))
|
||||||
|
(lambda (key)
|
||||||
|
(fset:lookup it key)))
|
||||||
|
(defmethod data-lens:extract-key ((it fset:seq) key)
|
||||||
|
(fset:lookup it key))
|
||||||
|
(defmethod data-lens.lenses:fmap (function (data fset:seq)))
|
||||||
|
(defun make-seq-lens (index)
|
||||||
|
"A lens for updating a sequence"
|
||||||
|
(check-type index (integer 0))
|
||||||
|
(lambda (cb)
|
||||||
|
(lambda (seq)
|
||||||
|
(data-lens.lenses:fmap (lambda (new)
|
||||||
|
(fset:with seq index new))
|
||||||
|
(funcall cb (fset:lookup seq index))))))
|
||||||
|
(defmethod data-lens.lenses:generic-lens ((rec fset:seq) cb (loc integer))
|
||||||
|
(funcall (funcall (make-seq-lens loc)
|
||||||
|
cb)
|
||||||
|
rec))
|
||||||
|
|
||||||
|
|
||||||
|
(defmethod data-lens.transducers.internals:builder-for-input ((map fset:map))
|
||||||
|
(values 'fset-map-builder
|
||||||
|
map))
|
||||||
|
(defmethod data-lens.transducers.internals:stepper ((map (eql 'fset-map-builder)))
|
||||||
|
(data-lens.transducers:transducer-lambda
|
||||||
|
((acc next)
|
||||||
|
(destructuring-bind (k v) next
|
||||||
|
(fset:with acc k v)))))
|
||||||
|
(defmethod data-lens:functionalize ((it fset:map))
|
||||||
|
(lambda (key)
|
||||||
|
(fset:lookup it key)))
|
||||||
|
(defmethod data-lens:extract-key ((it fset:map) key)
|
||||||
|
(fset:lookup it key))
|
||||||
|
(defun make-map-lens (key)
|
||||||
|
(lambda (cb)
|
||||||
|
(lambda (map)
|
||||||
|
(data-lens.lenses:fmap (lambda (new)
|
||||||
|
(fset:with map key new))
|
||||||
|
(funcall cb (fset:lookup map key))))))
|
||||||
|
(defmethod data-lens.lenses:generic-lens ((rec fset:map) cb loc)
|
||||||
|
(funcall (funcall (make-map-lens loc)
|
||||||
|
cb)
|
||||||
|
rec))
|
||||||
|
|
||||||
|
|
||||||
|
(defmethod data-lens.transducers.internals:builder-for-input ((bag fset:bag))
|
||||||
|
(values 'fset-bag-builder
|
||||||
|
bag))
|
||||||
|
(defmethod data-lens.transducers.internals:stepper ((bag (eql 'fset-bag-builder)))
|
||||||
|
(data-lens.transducers:transducer-lambda
|
||||||
|
((acc next)
|
||||||
|
(fset:with acc next))))
|
||||||
|
(defmethod data-lens:functionalize ((it fset:bag))
|
||||||
|
(lambda (key)
|
||||||
|
(fset:multiplicity it key)))
|
||||||
|
(defmethod data-lens:extract-key ((it fset:bag) key)
|
||||||
|
(let ((m (fset:multiplicity it key)))
|
||||||
|
(values key
|
||||||
|
m)))
|
||||||
|
(defun make-bag-lens (item)
|
||||||
|
(make-set-lens item))
|
||||||
|
(defmethod data-lens.lenses:generic-lens ((rec fset:bag) cb loc)
|
||||||
|
(funcall (funcall (make-set-lens loc)
|
||||||
|
cb)
|
||||||
|
rec))
|
||||||
@ -8,9 +8,7 @@
|
|||||||
:author "Edward Langley <el-cl@elangley.org>"
|
:author "Edward Langley <el-cl@elangley.org>"
|
||||||
:license "Apache v2"
|
:license "Apache v2"
|
||||||
:depends-on (:cl-ppcre
|
:depends-on (:cl-ppcre
|
||||||
:alexandria
|
:alexandria)
|
||||||
#+(or)
|
|
||||||
(:require :sb-cover))
|
|
||||||
:serial t
|
:serial t
|
||||||
:in-order-to ((test-op (test-op :data-lens/test)))
|
:in-order-to ((test-op (test-op :data-lens/test)))
|
||||||
:components ((:file "package")
|
:components ((:file "package")
|
||||||
@ -23,8 +21,7 @@
|
|||||||
:license "Apache v2"
|
:license "Apache v2"
|
||||||
:depends-on (:data-lens
|
:depends-on (:data-lens
|
||||||
:fiveam
|
:fiveam
|
||||||
:string-case
|
:string-case)
|
||||||
:serapeum)
|
|
||||||
:serial t
|
:serial t
|
||||||
:perform (test-op (o c)
|
:perform (test-op (o c)
|
||||||
(unless (symbol-call :fiveam '#:run! :data-lens.lens)
|
(unless (symbol-call :fiveam '#:run! :data-lens.lens)
|
||||||
@ -38,8 +35,7 @@
|
|||||||
:author "Edward Langley <el-cl@elangley.org>"
|
:author "Edward Langley <el-cl@elangley.org>"
|
||||||
:license "Apache v2"
|
:license "Apache v2"
|
||||||
:depends-on (:data-lens
|
:depends-on (:data-lens
|
||||||
:alexandria
|
:alexandria)
|
||||||
:serapeum)
|
|
||||||
:serial t
|
:serial t
|
||||||
:in-order-to ((test-op (test-op :data-lens/transducers/test)))
|
:in-order-to ((test-op (test-op :data-lens/transducers/test)))
|
||||||
:components ((:file "package")
|
:components ((:file "package")
|
||||||
|
|||||||
@ -29,6 +29,11 @@
|
|||||||
(lambda ()
|
(lambda ()
|
||||||
v))))
|
v))))
|
||||||
|
|
||||||
|
(defun unsplice (form)
|
||||||
|
(if form
|
||||||
|
(list form)
|
||||||
|
nil))
|
||||||
|
|
||||||
(defun iota (&key (start 0) (step 1) count)
|
(defun iota (&key (start 0) (step 1) count)
|
||||||
(lazy-sequence
|
(lazy-sequence
|
||||||
(funcall
|
(funcall
|
||||||
@ -36,14 +41,14 @@
|
|||||||
`(lambda ()
|
`(lambda ()
|
||||||
(declare (optimize (speed 3) (debug 1) (safety 1)))
|
(declare (optimize (speed 3) (debug 1) (safety 1)))
|
||||||
(let ((init ,start)
|
(let ((init ,start)
|
||||||
,@(serapeum:unsplice (when count
|
,@(unsplice (when count
|
||||||
'(iterations 0))))
|
'(iterations 0))))
|
||||||
(declare (type (integer ,start
|
(declare (type (integer ,start
|
||||||
,(if count
|
,(if count
|
||||||
(+ start (* count step))
|
(+ start (* count step))
|
||||||
'*))
|
'*))
|
||||||
init)
|
init)
|
||||||
,@(serapeum:unsplice
|
,@(unsplice
|
||||||
(when count
|
(when count
|
||||||
`(type (integer 0 ,count) iterations))))
|
`(type (integer 0 ,count) iterations))))
|
||||||
(lambda ()
|
(lambda ()
|
||||||
@ -53,6 +58,6 @@
|
|||||||
'(progn))
|
'(progn))
|
||||||
(prog1 init
|
(prog1 init
|
||||||
(incf init ,step)
|
(incf init ,step)
|
||||||
,@(serapeum:unsplice
|
,@(unsplice
|
||||||
(when count
|
(when count
|
||||||
'(incf iterations))))))))))))
|
'(incf iterations))))))))))))
|
||||||
|
|||||||
11
package.lisp
11
package.lisp
@ -7,7 +7,10 @@
|
|||||||
(:shadow :set)
|
(:shadow :set)
|
||||||
(:use :cl)
|
(:use :cl)
|
||||||
(:export #:over #:set #:view #:make-alist-lens #:make-plist-lens
|
(:export #:over #:set #:view #:make-alist-lens #:make-plist-lens
|
||||||
#:make-hash-table-lens #:make-list-lens))
|
#:make-hash-table-lens #:make-list-lens
|
||||||
|
#:make-lens
|
||||||
|
#:generic-lens
|
||||||
|
#:fmap))
|
||||||
|
|
||||||
(defpackage :data-lens
|
(defpackage :data-lens
|
||||||
(:use :cl)
|
(:use :cl)
|
||||||
@ -21,7 +24,8 @@
|
|||||||
#:transform-elt #:denest #:op #:defalias #:<> #:<>1 #:== #:•
|
#:transform-elt #:denest #:op #:defalias #:<> #:<>1 #:== #:•
|
||||||
#:∘ #:suffixp #:functionalize #:inc #:group-by #:keys
|
#:∘ #:suffixp #:functionalize #:inc #:group-by #:keys
|
||||||
#:conj #:disj #:delay #:of-type #:transform #:calling*
|
#:conj #:disj #:delay #:of-type #:transform #:calling*
|
||||||
#:calling #:hash-join #:tap #:x-group))
|
#:calling
|
||||||
|
#:closing))
|
||||||
|
|
||||||
(defpackage :data-lens.transducers.internals
|
(defpackage :data-lens.transducers.internals
|
||||||
(:use :cl)
|
(:use :cl)
|
||||||
@ -38,4 +42,5 @@
|
|||||||
#:hash-table-builder #:vector-builder #:list-builder
|
#:hash-table-builder #:vector-builder #:list-builder
|
||||||
#:collecting #:mv-mapping #:mv-selecting #:hash-table-select
|
#:collecting #:mv-mapping #:mv-selecting #:hash-table-select
|
||||||
#:mv-filtering #:mapcatting #:lazy-sequence
|
#:mv-filtering #:mapcatting #:lazy-sequence
|
||||||
#:compressing-runs #:iota #:repeating #:repeating* #:into))
|
#:compressing-runs #:iota #:repeating #:repeating* #:into
|
||||||
|
#:transducer-lambda))
|
||||||
|
|||||||
20
t/lens.lisp
20
t/lens.lisp
@ -183,12 +183,22 @@
|
|||||||
(acons "c" (make-instance 'my-map) ())
|
(acons "c" (make-instance 'my-map) ())
|
||||||
:test 'equal))))))))
|
:test 'equal))))))))
|
||||||
|
|
||||||
|
(defun eqq (a b)
|
||||||
|
(typecase a
|
||||||
|
(string (equal a b))
|
||||||
|
(vector (and (vectorp b)
|
||||||
|
(= (length a) (length b))
|
||||||
|
(every 'eqq a b)))
|
||||||
|
(cons (and (consp b)
|
||||||
|
(eqq (car a) (car b))
|
||||||
|
(eqq (cdr a) (cdr b))))
|
||||||
|
(t (eql a b))))
|
||||||
|
|
||||||
(5am:def-test regex-match (:suite :data-lens.lens)
|
(5am:def-test regex-match (:suite :data-lens.lens)
|
||||||
(5am:is (serapeum:seq=
|
(5am:is (eqq (list "acb" #("c"))
|
||||||
(list "acb" #("c"))
|
(multiple-value-list
|
||||||
(multiple-value-list
|
(funcall (data-lens:regex-match "a(.)b")
|
||||||
(funcall (data-lens:regex-match "a(.)b")
|
"<acb>")))))
|
||||||
"<acb>")))))
|
|
||||||
|
|
||||||
(5am:def-test include (:suite :data-lens.lens)
|
(5am:def-test include (:suite :data-lens.lens)
|
||||||
(5am:is (equal '(1 3 5)
|
(5am:is (equal '(1 3 5)
|
||||||
|
|||||||
@ -1,6 +1,6 @@
|
|||||||
(defpackage :data-lens.t.transducers
|
(defpackage :data-lens.t.transducers
|
||||||
(:use :cl )
|
(:use :cl)
|
||||||
(:export ))
|
(:export))
|
||||||
(in-package :data-lens.t.transducers)
|
(in-package :data-lens.t.transducers)
|
||||||
|
|
||||||
(5am:def-suite :data-lens.transducers)
|
(5am:def-suite :data-lens.transducers)
|
||||||
@ -182,7 +182,8 @@
|
|||||||
(data-lens.transducers:catting)
|
(data-lens.transducers:catting)
|
||||||
(data-lens.transducers:mapping #'parse-integer)
|
(data-lens.transducers:mapping #'parse-integer)
|
||||||
(data-lens.transducers:filtering (complement #'evenp))
|
(data-lens.transducers:filtering (complement #'evenp))
|
||||||
(data-lens.transducers:splitting (serapeum:op (* 2 _)) #'identity)
|
(data-lens.transducers:splitting (lambda (_) (* 2 _))
|
||||||
|
#'identity)
|
||||||
(data-lens.transducers:mapping (data-lens:transform-head #'1+))
|
(data-lens.transducers:mapping (data-lens:transform-head #'1+))
|
||||||
(data-lens.transducers:taking 3))
|
(data-lens.transducers:taking 3))
|
||||||
'data-lens.transducers:hash-table-builder
|
'data-lens.transducers:hash-table-builder
|
||||||
|
|||||||
@ -22,6 +22,17 @@
|
|||||||
|
|
||||||
(defgeneric init (client))
|
(defgeneric init (client))
|
||||||
(defgeneric stepper (client))
|
(defgeneric stepper (client))
|
||||||
|
(defmacro transducer-lambda (&body (((two-arg-acc two-arg-next) &body two-arg-body)
|
||||||
|
&optional (((one-arg-arg) &body one-arg-body)
|
||||||
|
'((it) it))))
|
||||||
|
(alexandria:with-gensyms (arg1 arg2 next-sym-p)
|
||||||
|
`(lambda (,arg1 &optional (,arg2 nil ,next-sym-p))
|
||||||
|
(if ,next-sym-p
|
||||||
|
(let ((,two-arg-acc ,arg1)
|
||||||
|
(,two-arg-next ,arg2))
|
||||||
|
,@two-arg-body)
|
||||||
|
(let ((,one-arg-arg ,arg1))
|
||||||
|
,@one-arg-body)))))
|
||||||
(defgeneric unwrap (client obj)
|
(defgeneric unwrap (client obj)
|
||||||
(:method (client obj) obj))
|
(:method (client obj) obj))
|
||||||
(defgeneric builder-for-input (seq)
|
(defgeneric builder-for-input (seq)
|
||||||
|
|||||||
Reference in New Issue
Block a user