Compgen
simplifies the process of calling Bash's built-in compgen
command.
RegularLanguage
is an implementation of "Parsing With Derivatives" (Might
et al.
RegularLanguage
is an implementation of "Parsing With Derivatives" (Might
et al. 2011) that is used for CLI tab completion. Unlike your usual regular
languages that are sets of strings of symbols, our regular languages are
sets of lists of tokens, where tokens can be strings or zio.cli.PrimType
instances. (If you think about it, zio.cli.PrimType.validate
is an
intensional definition of a set of strings.)
StringExtensions
contains a few handy operators for creating
RegularLanguage
values from strings.