similarity index 100%

rename from docs/Concept-index.html

rename to Concept-index.html

similarity index 100%

rename from docs/Data-type-index.html

rename to Data-type-index.html

similarity index 100%

rename from docs/Definitions.html

rename to Definitions.html

similarity index 100%

rename from docs/Exported-definitions.html

rename to Exported-definitions.html

similarity index 100%

rename from docs/Exported-functions.html

rename to Exported-functions.html

similarity index 100%

rename from docs/Exported-generic-functions.html

rename to Exported-generic-functions.html

similarity index 100%

rename from docs/Exported-macros.html

rename to Exported-macros.html

similarity index 100%

rename from docs/Files.html

rename to Files.html

similarity index 100%

rename from docs/Function-index.html

rename to Function-index.html

similarity index 100%

rename from docs/Indexes.html

rename to Indexes.html

similarity index 100%

rename from docs/Internal-classes.html

rename to Internal-classes.html

similarity index 100%

rename from docs/Internal-definitions.html

rename to Internal-definitions.html

similarity index 100%

rename from docs/Internal-functions.html

rename to Internal-functions.html

similarity index 100%

rename from docs/Internal-generic-functions.html

rename to Internal-generic-functions.html

similarity index 100%

rename from docs/Internal-macros.html

rename to Internal-macros.html

similarity index 100%

rename from docs/Lisp-files.html

rename to Lisp-files.html

similarity index 100%

rename from docs/Packages.html

rename to Packages.html

deleted file mode 100644

@@ -1,26 +0,0 @@

-* Intro

-

-This library provides a language for expressing data manipulations as

-the composition of more primitive operations.

-

-#+BEGIN_SRC lisp

-  DATA-LENS> (funcall (on (alexandria:compose

-                           (over (transform-tail (over (slice 1))))

-                           (compress-runs :collector 'combine-matching-lists))

-                          (alexandria:compose 

-                           (over (juxt (element 0)

-                                       'identity))

-                           (sorted 'char<

-                                   :key (element 0))))

-                      '("January" "February" "March" "April"

-                        "May" "June" "July" "August"

-                        "September" "October" "November" "December"))

-  #| ==> ((#\A "pril" "ugust")

-          (#\D "ecember")

-          (#\F "ebruary")

-          (#\J "anuary" "une" "uly")

-          (#\M "arch" "ay")

-          (#\N "ovember")

-          (#\O "ctober")

-          (#\S "eptember")) |#

-#+END_SRC

similarity index 100%

rename from docs/Systems.html

rename to Systems.html

similarity index 100%

rename from docs/The-data_002dlens-package.html

rename to The-data_002dlens-package.html

similarity index 100%

rename from docs/The-data_002dlens-system.html

rename to The-data_002dlens-system.html

similarity index 100%

rename from docs/The-data_002dlens_002flens_003cdot_003elisp-file.html

rename to The-data_002dlens_002flens_003cdot_003elisp-file.html

similarity index 100%

rename from docs/The-data_002dlens_003cdot_003easd-file.html

rename to The-data_002dlens_003cdot_003easd-file.html

similarity index 100%

rename from docs/The-data_002dlens_003cdot_003elenses-package.html

rename to The-data_002dlens_003cdot_003elenses-package.html

similarity index 100%

rename from docs/Variable-index.html

rename to Variable-index.html

deleted file mode 100644

@@ -1,10 +0,0 @@

-(asdf:defsystem #:data-lens

-  :description "Utilities for building data transormations from composable functions, modeled on lenses and transducers"

-  :author "Edward Langley <el-cl@elangley.org>"

-  :license "MIT"

-  :depends-on (:cl-ppcre

-               :alexandria

-               :serapeum)

-  :serial t

-  :components ((:file "lens")))

-

similarity index 100%

rename from docs/data-lens.texi

rename to data-lens.texi

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS-package.html

rename to go-to-the-DATA_002dLENS-package.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eAPPLICABLE_002dWHEN-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eAPPLICABLE_002dWHEN-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eAPPLYING-macro.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eAPPLYING-macro.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eCOMBINE_002dMATCHING_002dLISTS-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eCOMBINE_002dMATCHING_002dLISTS-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eCOMPRESS_002dRUNS-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eCOMPRESS_002dRUNS-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eCONS_002dNEW-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eCONS_002dNEW-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eCUMSUM-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eCUMSUM-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eDEDUPLICATE-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eDEDUPLICATE-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eDEFUN_002dCT-macro.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eDEFUN_002dCT-macro.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eDENEST-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eDENEST-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eDERIVE-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eDERIVE-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eELEMENT-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eELEMENT-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eEXCLUDE-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eEXCLUDE-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eEXTRACT_002dKEY-COMMON_002dLISP_003ccolon_003e_003ccolon_003eHASH_002dTABLE-COMMON_002dLISP_003ccolon_003e_003ccolon_003eT-method.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eEXTRACT_002dKEY-COMMON_002dLISP_003ccolon_003e_003ccolon_003eHASH_002dTABLE-COMMON_002dLISP_003ccolon_003e_003ccolon_003eT-method.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eEXTRACT_002dKEY-COMMON_002dLISP_003ccolon_003e_003ccolon_003eLIST-COMMON_002dLISP_003ccolon_003e_003ccolon_003eT-method.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eEXTRACT_002dKEY-COMMON_002dLISP_003ccolon_003e_003ccolon_003eLIST-COMMON_002dLISP_003ccolon_003e_003ccolon_003eT-method.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eEXTRACT_002dKEY-generic-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eEXTRACT_002dKEY-generic-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eFILLER-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eFILLER-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eINCLUDE-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eINCLUDE-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eJUXT-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eJUXT-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eKEY-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eKEY-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eKEY_002dTRANSFORM-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eKEY_002dTRANSFORM-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eLET_002dFN-macro.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eLET_002dFN-macro.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eMATCHING_002dLIST_002dREDUCER-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eMATCHING_002dLIST_002dREDUCER-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eMAXIMIZING-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eMAXIMIZING-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eOF_002dLENGTH-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eOF_002dLENGTH-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eOF_002dMAX_002dLENGTH-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eOF_002dMAX_002dLENGTH-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eOF_002dMIN_002dLENGTH-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eOF_002dMIN_002dLENGTH-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eON-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eON-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eOVER-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eOVER-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003ePICK-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003ePICK-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eREGEX_002dMATCH-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eREGEX_002dMATCH-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eSHORTCUT-macro.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eSHORTCUT-macro.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eSLICE-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eSLICE-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eSORTED-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eSORTED-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eSPLICE_002dELT-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eSPLICE_002dELT-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eTRANSFORM_002dELT-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eTRANSFORM_002dELT-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eTRANSFORM_002dHEAD-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eTRANSFORM_002dHEAD-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eTRANSFORM_002dTAIL-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eTRANSFORM_002dTAIL-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eUPDATE-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eUPDATE-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eUPDATEF-macro.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eUPDATEF-macro.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eZIPPING-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003eZIPPING-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003e_003c_003e1-macro.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003e_003c_003e1-macro.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003e_003d_003e_003e-function.html

rename to go-to-the-DATA_002dLENS_003ccolon_003e_003ccolon_003e_003d_003e_003e-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES-package.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES-package.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eCLONE-COMMON_002dLISP_003ccolon_003e_003ccolon_003eT-AROUND-method.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eCLONE-COMMON_002dLISP_003ccolon_003e_003ccolon_003eT-AROUND-method.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eCLONE-generic-function.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eCLONE-generic-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eCONSTANT_002d-class.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eCONSTANT_002d-class.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eFMAP-COMMON_002dLISP_003ccolon_003e_003ccolon_003eT-COMMON_002dLISP_003ccolon_003e_003ccolon_003eLIST-method.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eFMAP-COMMON_002dLISP_003ccolon_003e_003ccolon_003eT-COMMON_002dLISP_003ccolon_003e_003ccolon_003eLIST-method.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eFMAP-COMMON_002dLISP_003ccolon_003e_003ccolon_003eT-COMMON_002dLISP_003ccolon_003e_003ccolon_003eVECTOR-method.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eFMAP-COMMON_002dLISP_003ccolon_003e_003ccolon_003eT-COMMON_002dLISP_003ccolon_003e_003ccolon_003eVECTOR-method.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eFMAP-COMMON_002dLISP_003ccolon_003e_003ccolon_003eT-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eCONSTANT_002d-method.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eFMAP-COMMON_002dLISP_003ccolon_003e_003ccolon_003eT-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eCONSTANT_002d-method.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eFMAP-COMMON_002dLISP_003ccolon_003e_003ccolon_003eT-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eIDENTITY_002d-method.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eFMAP-COMMON_002dLISP_003ccolon_003e_003ccolon_003eT-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eIDENTITY_002d-method.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eFMAP-generic-function.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eFMAP-generic-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eIDENTITY_002d-class.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eIDENTITY_002d-class.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eMAKE_002dALIST_002dHISTORY_002dLENS-function.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eMAKE_002dALIST_002dHISTORY_002dLENS-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eMAKE_002dALIST_002dLENS-function.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eMAKE_002dALIST_002dLENS-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eMAKE_002dHASH_002dTABLE_002dLENS-function.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eMAKE_002dHASH_002dTABLE_002dLENS-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eMAKE_002dPLIST_002dLENS-function.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eMAKE_002dPLIST_002dLENS-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eOVER-function.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eOVER-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eSET-function.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eSET-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eUNCONSTANT-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eCONSTANT_002d-method.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eUNCONSTANT-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eCONSTANT_002d-method.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eUNCONSTANT-generic-function.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eUNCONSTANT-generic-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eUNIDENTITY-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eIDENTITY_002d-method.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eUNIDENTITY-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eIDENTITY_002d-method.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eUNIDENTITY-generic-function.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eUNIDENTITY-generic-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eVIEW-function.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eVIEW-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eWRAP_002dCONSTANT-function.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eWRAP_002dCONSTANT-function.html

similarity index 100%

rename from docs/go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eWRAP_002dIDENTITY-function.html

rename to go-to-the-DATA_002dLENS_003cdot_003eLENSES_003ccolon_003e_003ccolon_003eWRAP_002dIDENTITY-function.html

similarity index 100%

rename from docs/go-to-the-data_002dlens-system.html

rename to go-to-the-data_002dlens-system.html

similarity index 100%

rename from docs/go-to-the-data_002dlens_002flens_003cdot_003elisp-file.html

rename to go-to-the-data_002dlens_002flens_003cdot_003elisp-file.html

similarity index 100%

rename from docs/go-to-the-data_002dlens_003cdot_003easd-file.html

rename to go-to-the-data_002dlens_003cdot_003easd-file.html

similarity index 100%

rename from docs/index.html

rename to index.html

deleted file mode 100644

@@ -1,515 +0,0 @@

-(defpackage :data-lens.lenses

-  (:shadow :set)

-  (:use :cl)

-  (:export :over :set :view :make-alist-lens :make-plist-lens :make-hash-table-lens))

-(in-package :data-lens.lenses)

-

-#+fw.dev

-(progn

-  ;; maybe functor implementation

-  (defclass maybe ()

-    ())

-  (defclass just (maybe)

-    ((%v :initarg :value :reader value)))

-  (defclass nothing (maybe)

-    ())

-

-  (defun just (value)

-    (make-instance 'just :value value))

-  (defun nothing (&optional value)

-    (declare (ignore value))

-    (make-instance 'nothing))

-

-  (defgeneric maybe (default value)

-    (:method (default (value just))

-      (value value))

-    (:method (default (value nothing))

-      default))

-

-  (defgeneric maybe-apply (function value)

-    (:method (function (value just))

-      (just (funcall function (value value))))

-    (:method (function (value nothing))

-      value))

-

-  (defmethod print-object ((o just) s)

-    (format s "#.(~s ~s)"

-            'just

-            (value o)))

-

-  (defmethod print-object ((o nothing) s)

-    (format s "#.(~s)"

-            'nothing)))

-

-;; identity functor, necessary for set and over

-(defclass identity- ()

-  ((%v :initarg :value :reader unidentity)))

-

-(defun wrap-identity (v)

-  (make-instance 'identity- :value v))

-

-(defmethod print-object ((o identity-) s)

-  (format s "#.(~s ~s)"

-          'wrap-identity

-          (unidentity o)))

-

-;; constant functor, necessary for view

-(defclass constant- ()

-  ((%v :initarg :value :reader unconstant)))

-

-(defun wrap-constant (v)

-  (make-instance 'constant- :value v))

-

-(defmethod print-object ((o constant-) s)

-  (format s "#.(~s ~s)"

-          'wrap-constant

-          (unconstant o)))

-

-(defgeneric fmap (function data)

-  (:method (function (data identity-))

-    (wrap-identity

-     (funcall function

-              (unidentity data))))

-  (:method (function (data constant-))

-    data)

-  (:method (function (data list))

-    (mapcar function data))

-  (:method (function (data vector))

-    (map 'vector function data))

-  #+fw.dev

-  (:method (function (data maybe))

-    (maybe-apply function data)))

-

-(defun over (lens cb rec)

-  "Given a lens, a callback and a record, apply the lens to the

-record, transform it by the callback and return copy of the record,

-updated to contain the result of the callback. This is the fundamental

-operation on a lens and SET and VIEW are implemented in terms of it.

-

-A lens is any function of the form (lambda (fun) (lambda (rec) ...))

-that obeys the lens laws (where == is some reasonable equality

-operator):

-

-    (== (view lens (set lens value rec))

-        value)

- 

-    (== (set lens (view lens rec) rec)

-        rec)

- 

-    (== (set lens value2 (set lens value1 rec))

-        (set lens value2 rec))

-

-The inner lambda returns a functor that determines the policy to be

-applied to the focused part.  By default, this only uses IDENTITY- and

-CONSTANT- in order to implement the lens operations over, set and

-view.

-

-If these conditions are met, (over (data-lens:<>1 lens1 lens2) ...) is

-equivalent to using lens2 to focus the part lens1 focuses: note that

-composition is \"backwards\" from what one might expect: this is

-because composition composes the wrapper lambdas and applies the

-lambda that actually pulls a value out of a record later."

-  (unidentity

-   (funcall (funcall lens (lambda (x) (wrap-identity (funcall cb x))))

-            rec)))

-

-(defun view (lens rec)

-  "Given a lens and a rec, return the focused value"

-  (unconstant

-   (funcall (funcall lens (lambda (x) (wrap-constant x)))

-            rec)))

-

-(defun set (lens v rec)

-  "Given a lens, a value and a rec, immutably update the rec to

-contain the new value at the location focused by the lens."

-  (unidentity

-   (funcall (funcall lens (lambda (_) _ (wrap-identity v)))

-            rec)))

-

-#+fw.dev

-(progn

-  ;; "fake" functors that don't assume a functor result to their

-  ;; callback

-  (defun over* (lens cb rec)

-    (funcall (funcall lens cb)

-             rec))

-

-  (defun set* (lens value rec)

-    (over lens

-          (lambda (_)

-            (declare (ignore _))

-            value)

-          rec))

-

-  (defun view* (lens rec)

-    (over lens

-          (lambda (value)

-            (return-from view*

-              value))

-          rec)))

-

-(defun make-alist-history-lens (key)

-  "A lens for updating a alist, preserving previous values"

-  (lambda (cb)

-    (lambda (alist)

-      (fmap (lambda (new)

-              (cons (cons key new)

-                    alist))

-            (funcall cb (serapeum:assocdr key alist))))))

-

-(defun make-alist-lens (key)

-  "A lens for updating a alist, discarding previous values"

-  (lambda (cb)

-    (lambda (alist)

-      (fmap (lambda (new)

-              (remove-duplicates (cons (cons key new)

-                                       alist)

-                                 :key #'car

-                                 :from-end t))

-            (funcall cb (serapeum:assocdr key alist))))))

-

-(defun make-plist-lens (key)

-  "A lens for updating a plist, preserving previous values"

-  (lambda (cb)

-    (lambda (plist)

-      (fmap (lambda (new)

-              (list* key new

-                     plist))

-            (funcall cb (getf plist key))))))

-

-(defun make-hash-table-lens (key)

-  "A lens for updating a hash-table, discarding previous values"

-  (lambda (cb)

-    (lambda (old-hash)

-      (fmap (lambda (new)

-              (let ((new-hash (alexandria:copy-hash-table old-hash)))

-                (prog1 new-hash

-                  (setf (gethash key new-hash)

-                        new))))

-            (funcall cb (gethash key old-hash))))))

-

-;; imagine a lens here that uses the MOP to immutably update a class...

-(defgeneric clone (obj &rest new-initargs &key)

-  (:method :around (obj &rest new-initargs &key)

-    (apply #'reinitialize-instance (call-next-method) new-initargs)))

-

-#+fw.demo

-(progn

-  (defclass foo ()

-    ((a :initarg :a :accessor a)))

-  (defmethod clone ((obj foo) &key)

-    (make-instance 'foo :a (a obj)))

-

-  ;;; needs to be updated for functor-based lens

-  (defun a-lens (cb)

-    (lambda (foo)

-      (fw.lu:prog1-bind (new (clone foo))

-        (setf (a new)

-              (funcall cb (a foo))))))

-  (view 'a-lens

-        (over 'a-lens '1+

-              (set 'a-lens 2

-                   (make-instance 'foo :a 1)))) #|

-  ==> 3 |#)

-

-

-

-(defpackage :data-lens

-  (:use :cl)

-  (:import-from #:serapeum #:op #:defalias)

-  (:export #:regex-match #:include #:exclude #:pick #:key-transform

-           #:combine #:derive #:cumsum #:over #:on #:shortcut #:defun-ct #:key

-           #:extract-key #:element #:let-fn #:juxt #:transform-tail #:slice

-           #:compress-runs #:combine-matching-lists #:sorted #:applicable-when

-           #:of-length #:of-min-length #:of-max-length #:transform-head

-           #:maximizing #:zipping #:applying #:splice-elt #:transform-elt #:denest

-           #:op #:defalias #:<> #:<>1))

-(in-package :data-lens)

-

-

-(declaim 

- (inline data-lens:over data-lens:transform-tail

-         data-lens:applicable-when data-lens:of-min-length

-         data-lens:on data-lens:over data-lens:slice

-         data-lens:compress-runs data-lens:combine-matching-lists

-         data-lens:juxt data-lens:element data-lens:sorted))

-

-;;; TODO: consider making this wrap defalias?

-(defmacro shortcut (name function &body bound-args)

-  `(eval-when (:load-toplevel :compile-toplevel :execute)

-     (setf (fdefinition ',name)

-           (,function ,@bound-args))))

-

-(defmacro defun-ct (name (&rest args) &body body)

-  `(eval-when (:load-toplevel :compile-toplevel :execute)

-     (defun ,name ,args

-       ,@body)))

-

-(defmacro let-fn ((&rest bindings) &body body)

-  (let ((binding-forms (mapcar (lambda (form)

-                                 `(,(car form) ,(cadr form)

-                                   (funcall ,@(cddr form) ,@(cadr form))))

-                               bindings)))

-    `(labels ,binding-forms

-       ,@body)))

-

-(defgeneric extract-key (map key)

-  (:method ((map hash-table) key)

-    (gethash key map))

-  (:method ((map list) key)

-    (typecase (car map)

-      (cons (cdr (assoc key map :test 'equal)))

-      (t (loop for (a-key . value) on map by #'cddr

-               when (equal key a-key) do

-                 (return (car value)))))))

-

-(defun-ct deduplicate (&optional (test 'eql))

-  (lambda (it)

-    (remove-duplicates it :test test)))

-

-(defun cons-new (&key (test 'eql) (key 'identity))

-  (lambda (acc next)

-    (if (and acc

-             (funcall test

-                      (funcall key (car acc))

-                      (funcall key next)))

-        acc

-        (cons next acc))))

-

-(defun matching-list-reducer (test acc next)

-  (if (and acc

-           (funcall test (caar acc) (car next)))

-      (cons (cons (caar acc)

-                  (append (cdar acc)

-                          (cdr next)))

-            (cdr acc))

-      (cons next acc)))

-

-(defun combine-matching-lists (&key (test 'eql) &allow-other-keys)

-  (lambda (acc next)

-    (matching-list-reducer test acc next)))

-

-(defun-ct compress-runs (&key (collector 'cons-new) (test 'eql) (key 'identity))

-  (lambda (it)

-    (nreverse

-     (reduce (funcall collector :test test :key key)

-             it

-             :initial-value ()))))

-

-(defun-ct of-length (len)

-  (lambda (it)

-    (= (length it)

-       len)))

-

-(defun-ct of-min-length (len)

-  (lambda (it)

-    (>= (length it)

-        len)))

-

-(defun-ct of-max-length (len)

-  (lambda (it)

-    (>= (length it)

-        len)))

-

-(defun-ct applicable-when (fun test)

-  (lambda (it)

-    (if (funcall test it)

-        (funcall fun it)

-        it)))

-

-(defun-ct sorted (comparator &rest r &key key)

-  (declare (ignore key))

-  (lambda (it)

-    (apply #'stable-sort (copy-seq it) comparator r)))

-

-(defun-ct element (num)

-  (lambda (it)

-    (elt it num)))

-

-(defun-ct key (key)

-  (lambda (map)

-    (declare (dynamic-extent map))

-    (extract-key map key)))

-

-(defun-ct regex-match (regex)

-  (lambda (data)

-    (cl-ppcre:scan-to-strings regex data)))

-

-(defun-ct include (pred)

-  (lambda (seq)

-    (remove-if-not pred seq)))

-

-(defun-ct exclude (pred)

-  (lambda (seq)

-    (remove-if pred seq)))

-

-(defun-ct pick (selector)

-  (lambda (seq)

-    (map 'list selector seq)))

-

-(defun slice (start &optional end)

-  (lambda (it)

-    (subseq it start end)))

-

-(defun-ct update (thing fun &rest args)

-  (apply fun thing args))

-

-(define-modify-macro updatef (fun &rest args)

-  update)

-

-(defun-ct transform-head (fun)

-  (lambda (it)

-    (typecase it

-      (list (list* (funcall fun (car it))