Code

Regex schemas#317

Code

Merged

ikitommi merged 84 commits intometosin:mastermetosin/malli:masterfrom nilern:packratnilern/malli:packratCopy head branch name to clipboardJan 15, 2021

+1,302-30

Commits

Commits on Dec 7, 2020

• wip

  

  ikitommi

  authored and

  Pauli Jaakkola

  committed
  b720f6f

  Copy full SHA for b720f6f

• wip

  

  ikitommi

  authored and

  Pauli Jaakkola

  committed
  355277b

  Copy full SHA for 355277b

• Initial NFA code drop (from my Seqexp 'perf' branch).

  

  Pauli Jaakkola

  committed
  619f7a1

  Copy full SHA for 619f7a1

• Reimplement regex validator.

  

  Pauli Jaakkola

  committed
  ccc1fd6

  Copy full SHA for ccc1fd6

• Seq regex parsing, first draft.

  

  Pauli Jaakkola

  committed
  05eb30d

  Copy full SHA for 05eb30d

• Make regex parser behave passably and add malli.regex/parse(r).

  

  Pauli Jaakkola

  committed
  b4e1e5c

  Copy full SHA for b4e1e5c

• re/fn -> re/is

  

  Pauli Jaakkola

  committed
  99766f4

  Copy full SHA for 99766f4

• Disable some broken stuff.

  

  Pauli Jaakkola

  committed
  f71beba

  Copy full SHA for f71beba

• Add some regex explainer sketches.

  

  Pauli Jaakkola

  committed
  ebba0e0

  Copy full SHA for ebba0e0

• Push path and in into ExplanatoryVM.

  

  Pauli Jaakkola

  committed
  95fa6e7

  Copy full SHA for 95fa6e7

• Make regex schemas work with regular validator and explainer.

  

  Pauli Jaakkola

  committed
  5de3895

  Copy full SHA for 5de3895

• Add explain instruction.

  

  Pauli Jaakkola

  committed
  a18f729

  Copy full SHA for a18f729

• Disallow trailing seq via end instruction.

  

  Pauli Jaakkola

  committed
  873c350

  Copy full SHA for 873c350

• Fix ::end-of-input and ::input-remaining schema args.

  

  Pauli Jaakkola

  committed
  7c5a0e7

  Copy full SHA for 7c5a0e7

• Add missing regex validation end clause.

  

  Pauli Jaakkola

  committed
  9390282

  Copy full SHA for 9390282

• Extract regex-validator and regex-explainer.

  

  Pauli Jaakkola

  committed
  8d6876c

  Copy full SHA for 8d6876c

• Improve regex LensSchema impls.

  

  Pauli Jaakkola

  committed
  dfc13b5

  Copy full SHA for dfc13b5

• Add regex validate tests (imitating Seqexp tests).

  

  Pauli Jaakkola

  committed
  3a935e1

  Copy full SHA for 3a935e1

• Move bool coercion inside exec-recognizer.

  

  Pauli Jaakkola

  committed
  680e669

  Copy full SHA for 680e669

• Add seqexp generators.

  

  Pauli Jaakkola

  committed
  ed62e6b

  Copy full SHA for ed62e6b

• Remove fixed FIXME.

  

  Pauli Jaakkola

  committed
  cd2a84b

  Copy full SHA for cd2a84b

• Move regex macros to separate namespace.

  

  Pauli Jaakkola

  committed
  75a1cf1

  Copy full SHA for 75a1cf1

• Move regex compiler to separate namespace.

  

  Pauli Jaakkola

  committed
  d392ea5

  Copy full SHA for d392ea5

• Make everything compile on cljs.

  

  Pauli Jaakkola

  committed
  8b32557

  Copy full SHA for 8b32557

• Fix regex VM on cljs.

  

  Pauli Jaakkola

  committed
  cdf92d8

  Copy full SHA for cdf92d8

• Add :nested schema for preventing regex schema 'inlining'.

  

  Pauli Jaakkola

  committed
  046169d

  Copy full SHA for 046169d

• Use list for regex parse stack.

  

  Pauli Jaakkola

  committed
  7168669

  Copy full SHA for 7168669

• Add seqexp transformers.

  

  Pauli Jaakkola

  committed
  9c329d4

  Copy full SHA for 9c329d4

• Fix regex-transformer self-enter/leave.

  

  Pauli Jaakkola

  committed
  2efd016

  Copy full SHA for 2efd016

• Unify encoder-regex and decoder-regex into transformer-regex.

  

  Pauli Jaakkola

  committed
  aae9cb7

  Copy full SHA for aae9cb7

• opt: use ^:const

  

  Pauli Jaakkola

  committed
  c900902

  Copy full SHA for c900902

• Optimize regex decoder space (and time) usage.

  

  Pauli Jaakkola

  committed
  32d700c

  Copy full SHA for 32d700c

• Add backtracking validators.

  

  Pauli Jaakkola

  committed
  ca2fb29

  Copy full SHA for ca2fb29

• Add backtracking explainers.

  

  Pauli Jaakkola

  committed
  02db7e8

  Copy full SHA for 02db7e8

Commits on Dec 8, 2020

• Add FIXME.

  

  Pauli Jaakkola

  committed
  37090c3

  Copy full SHA for 37090c3

• Fix [:cat [:* ...] ...] with trampolined CPS craziness.

  

  Pauli Jaakkola

  committed
  40daf68

  Copy full SHA for 40daf68

Commits on Dec 9, 2020

• Reimplement regex explainer on trampoline.

  

  Pauli Jaakkola

  committed
  afa82c2

  Copy full SHA for afa82c2

• Reimplement regex transformer on trampoline.

  

  Pauli Jaakkola

  committed
  9eaf3f8

  Copy full SHA for 9eaf3f8

Commits on Dec 10, 2020

• Regularize (hehe) regex validator, explainer and transformer generation.

  

  Pauli Jaakkola

  committed
  4f6127f

  Copy full SHA for 4f6127f

• Memoize backtracker (TODO: repeat).

  

  Pauli Jaakkola

  committed
  a035f22

  Copy full SHA for a035f22

• Right-associate cat and alt.

  

  Pauli Jaakkola

  committed
  c43797a

  Copy full SHA for c43797a

• Fix TCO regression.

  

  Pauli Jaakkola

  committed
  33619b1

  Copy full SHA for 33619b1

Commits on Dec 11, 2020

• Update and re-enable repeat seqex.

  

  Pauli Jaakkola

  committed
  cd90d41

  Copy full SHA for cd90d41

• Make some outdated tests and benchmarks loadable again.

  

  Pauli Jaakkola

  committed
  fb613b0

  Copy full SHA for fb613b0

• Remove double obsolete impls.

  

  Pauli Jaakkola

  committed
  0115ca4

  Copy full SHA for 0115ca4

• Share some Driver logic.

  

  Pauli Jaakkola

  committed
  384cb07

  Copy full SHA for 384cb07

• Fix :repeat.

  

  Pauli Jaakkola

  committed
  f523171

  Copy full SHA for f523171

• Add regex parsers.

  

  Pauli Jaakkola

  committed
  03363c8

  Copy full SHA for 03363c8

Commits on Dec 14, 2020

• Stop returning maps from :cat and :alt parsing.

  

  Pauli Jaakkola

  committed
  8ee5e0d

  Copy full SHA for 8ee5e0d

• Remove unused PikeVM code.

  

  Pauli Jaakkola

  committed
  5b03a19

  Copy full SHA for 5b03a19

• Restore cljs support in malli.regex.

  

  Pauli Jaakkola

  committed
  1d7a319

  Copy full SHA for 1d7a319

Commits on Dec 15, 2020

• malli.regex -> malli.impl.regex

  

  Pauli Jaakkola

  committed
  28221b1

  Copy full SHA for 28221b1

• Add malli.impl.error to avoid dependency injections to malli.impl.regex.

  

  Pauli Jaakkola

  committed
  bf9b9b9

  Copy full SHA for bf9b9b9

• Add seqex validation tests to core-test. Validate ?/*/+/repeat child schemas.

  

  Pauli Jaakkola

  committed
  aefc660

  Copy full SHA for aefc660

• Check that :alt(*) has 1+ children.

  

  Pauli Jaakkola

  committed
  fede818

  Copy full SHA for fede818

• Add seqex explanation tests.

  

  Pauli Jaakkola

  committed
  32e0b6f

  Copy full SHA for 32e0b6f

• Add tests for past roadblocks.

  

  Pauli Jaakkola

  committed
  30beb04

  Copy full SHA for 30beb04

• Remove Seqexpy tests.

  

  Pauli Jaakkola

  committed
  5bd3ad3

  Copy full SHA for 5bd3ad3

• Add seqex transform tests and fix consequent bugfind in :repeat transformer.

  

  Pauli Jaakkola

  committed
  54d66dc

  Copy full SHA for 54d66dc

• Add impl.regex ns docstring.

  

  Pauli Jaakkola

  committed
  27d20b0

  Copy full SHA for 27d20b0

Commits on Dec 16, 2020

• Add seqex generator tests.

  

  Pauli Jaakkola

  committed
  b0dad37

  Copy full SHA for b0dad37

• Minor seqex generator cleanups.

  

  Pauli Jaakkola

  committed
  8ba9166

  Copy full SHA for 8ba9166

• Fix e.g. (validate [:repeat {:min 2, :max 2} [:* int?]] []) ;=> false.

  

  Pauli Jaakkola

  committed
  5f09f86

  Copy full SHA for 5f09f86

Commits on Jan 7, 2021

• First look up pos, then fn.

  

  Pauli Jaakkola

  committed
  c548463

  Copy full SHA for c548463

• Flatten cache to regain decent cljs perf. Also a simplification.

  

  Pauli Jaakkola

  committed
  82f52f0

  Copy full SHA for 82f52f0

• Remove outdated regex experiments.

  

  Pauli Jaakkola

  committed
  9d347e3

  Copy full SHA for 9d347e3

• Switch to bespoke hash set impl, hopefully improves cljs perf.

  

  Pauli Jaakkola

  committed
  7b20d92

  Copy full SHA for 7b20d92

Commits on Jan 8, 2021

• Cache set cleanups.

  

  Pauli Jaakkola

  committed
  47bc1b6

  Copy full SHA for 47bc1b6

• Add missing -parent impls.

  

  Pauli Jaakkola

  committed
  3fd8eb7

  Copy full SHA for 3fd8eb7

• Sequence schema children reflection fixes.

  

  Pauli Jaakkola

  committed
  c65f91b

  Copy full SHA for c65f91b

• Remove more outdated seqex schema experiments.

  

  Pauli Jaakkola

  committed
  b6dc8d5

  Copy full SHA for b6dc8d5

• Add malli.impl.util and /-tagged.

  

  Pauli Jaakkola

  committed
  14a3351

  Copy full SHA for 14a3351

• Remove unneccessary FIXME.

  

  Pauli Jaakkola

  committed
  8a3d317

  Copy full SHA for 8a3d317

• Commenting.

  

  Pauli Jaakkola

  committed
  e77ff18

  Copy full SHA for e77ff18

• Add seqex documentation to README

  

  Pauli Jaakkola

  committed
  1c1eb94

  Copy full SHA for 1c1eb94

Commits on Jan 11, 2021

• Fix -sequence-entry-schema type name.

  

  Pauli Jaakkola

  committed
  4e4ae75

  Copy full SHA for 4e4ae75

• Remove :nested, already had :schema.

  

  Pauli Jaakkola

  committed
  1c87a24

  Copy full SHA for 1c87a24

• Actually use quadratic probing (how embarrassing).

  

  Pauli Jaakkola

  committed
  911709a

  Copy full SHA for 911709a

Commits on Jan 14, 2021

• Add missing :cat* and :alt* transform tests.

  

  Pauli Jaakkola

  committed
  76b3503

  Copy full SHA for 76b3503

• Read through (nonrecursive) RefSchemas in seqex validator etc. construction

  

  Pauli Jaakkola

  committed
  6c48077

  Copy full SHA for 6c48077

Commits on Jan 15, 2021

• Preent recursive seqexen more conservatively.

  

  Pauli Jaakkola

  committed
  1cad6df

  Copy full SHA for 1cad6df

• RegexSchema cleanups.

  

  Pauli Jaakkola

  committed
  0c51c3e

  Copy full SHA for 0c51c3e

• Fix seqex generators.

  

  Pauli Jaakkola

  committed
  9732f87

  Copy full SHA for 9732f87

• Add int tree seqex test.

  

  Pauli Jaakkola

  committed
  674710d

  Copy full SHA for 674710d