This website requires JavaScript.
689ac95486
posint get_value() : ignore invalid digits
refactor2
Michael Sippel
2024-09-02 00:07:57 +0200
9b5dfc9cca
posint example: switch between synced editors based on list of editor types
Michael Sippel
2024-09-02 00:05:36 +0200
9f53b65074
tty backend: hooks to setup display for binary, octal, decimal \& hex notations of PosInt
Michael Sippel
2024-09-02 00:02:38 +0200
4b7d929abc
morphisms to copy edittree from <List Digit> to <PosInt ..>
Michael Sippel
2024-09-02 00:01:25 +0200
38c772389f
build repr tree
Michael Sippel
2024-09-01 23:56:37 +0200
0a6405b08e
minor stuff & style
Michael Sippel
2024-09-01 23:56:04 +0200
7f18fd7755
list editor: get_data_port() make map on list instead of seq
Michael Sippel
2024-09-01 23:34:52 +0200
6ed456e3ff
add morphisms between machine.UInt64 and PosInt
Michael Sippel
2024-09-01 23:21:49 +0200
aed4cad1e4
add morphisms to create edittree from/to digit/char and generic lists
Michael Sippel
2024-09-01 23:20:57 +0200
b3d0e4f03c
add more types to detach
Michael Sippel
2024-08-23 13:57:10 +0200
fb796cda04
add static TypeIDs to create basic types without context
Michael Sippel
2024-08-22 17:41:57 +0200
e7331b36ae
radix convert: accept radix=0 for native digit radix (2^64)
Michael Sippel
2024-08-22 17:39:02 +0200
10cbeb52a3
wip
wip
Michael Sippel
2024-08-10 13:18:25 +0200
0bcfd7a65a
call edittree_hook in morphisms already, add edittree() getter in ReprTreeExt to further simplify application code
Michael Sippel
2024-08-09 23:00:31 +0200
7762fa4b12
simplify posint example
refactor
Michael Sippel
2024-08-09 02:33:48 +0200
786866746c
integer radix convert: insert one zero digit in case value is zero
Michael Sippel
2024-08-09 02:31:26 +0200
8d637a6f32
add ReprTree::from_str() to simplify creation of initial representation nodes
Michael Sippel
2024-08-06 16:29:28 +0200
6e2b82585e
in context.apply_morphism() now use find_morphism_path() to automatically find chained morphisms to create projections in ReprTree
Michael Sippel
2024-08-06 16:20:02 +0200
ffeb4b8e73
repr tree: create new VecBuffer in case attach_to() is called on Vec<EditTree>
Michael Sippel
2024-08-06 15:40:05 +0200
508e716a6a
repr tree: split leaf & node into separate files
Michael Sippel
2024-08-04 19:27:36 +0200
4c0e9da2d3
fixup examples
Michael Sippel
2024-08-03 15:44:04 +0200
830ce613ea
example: two editors with different radices
Michael Sippel
2024-08-02 22:43:00 +0200
a3c701ce88
automatically generate list-map morphisms in find_morphism()
Michael Sippel
2024-08-02 21:58:07 +0200
6e8bb0aeb5
apply_list_map_morphism
Michael Sippel
2024-08-01 18:35:57 +0200
e86070da50
fixes to make dual-editor with big/little endian projection work
Michael Sippel
2024-07-21 18:16:43 +0200
bb846afc7c
ReprTree: add detach functions & attach_to helpers for Arc<ReprTree>
Michael Sippel
2024-06-06 15:21:52 +0200
ab51ea5d3d
rename pty&tty servers
Michael Sippel
2024-06-05 02:16:09 +0200
cdf03c9aae
improve morphisms for integer example
Michael Sippel
2024-06-03 17:02:08 +0200
d02f33ee17
ReprTree: add halo type
Michael Sippel
2024-05-30 23:35:54 +0200
fdecc29e80
clean up posint example & use u64 instead of usize in PositionalUInt trait
Michael Sippel
2024-05-25 19:21:16 +0200
40a5da4512
int example & testing out more int projections
Michael Sippel
2024-05-25 00:39:47 +0200
91e56d876d
digit editor: create char repr if not available
Michael Sippel
2024-03-23 21:32:12 +0100
edf088b853
add vec-access to ReprTree and morphism to collect <List Char> to <Vec Char>
Michael Sippel
2024-03-23 20:57:07 +0100
473dd5f4dc
add short READMEs for examples
Michael Sippel
2024-03-21 18:17:04 +0100
33e97ed5e3
cleanup examples
Michael Sippel
2024-03-21 13:26:18 +0100
ecaa74ccfd
add morphism to extract value-list from ListEditor
Michael Sippel
2024-03-21 10:37:24 +0100
658f5c1000
refactor ReprTree
Michael Sippel
2024-03-15 18:54:25 +0100
03dc9f1133
add ReprTreeExt trait for Arc<Rwlock<>>
Michael Sippel
2024-03-10 19:27:51 +0100
d7d0a46c7b
move digit into separate module
Michael Sippel
2024-03-10 16:17:24 +0100
77d9e64531
add notes, formatting, shallow simplifications
Michael Sippel
2024-03-10 14:04:08 +0100
73d457ba24
fix dependencies in pty-server & display-server-tty
Michael Sippel
2024-02-10 23:21:11 +0100
647a5d77b6
list: reactivate item creation on split
Michael Sippel
2024-01-18 21:34:14 +0100
e46c143dec
test different style for <List Char>, add meta-chars to ctx globally to avoid deadlock
Michael Sippel
2024-01-18 17:16:20 +0100
0ac4a34743
example wip: create display for edit tree
Michael Sippel
2024-01-17 03:42:47 +0100
863fe95848
example wip
Michael Sippel
2024-01-16 15:20:51 +0100
fdf2d60b35
MorphismBase: fix deadlock
Michael Sippel
2024-01-18 18:18:14 +0100
8471c7a90f
move morphism to editors/char mod
Michael Sippel
2024-01-18 18:17:26 +0100
caa0c9a5c0
define char-editor constructor as morphism
Michael Sippel
2024-01-14 16:23:58 +0100
668b0b8b96
rename NestedNode to EditTree
Michael Sippel
2024-01-07 20:04:23 +0100
47a35f22b7
some work on repr tree example
Michael Sippel
2024-01-06 17:04:15 +0100
97a5b580df
wip: deactivate code to make it compileable
Michael Sippel
2024-01-04 15:39:39 +0100
193b8c8cac
implement MorphismBase, remove data
from NestedNode
Michael Sippel
2024-01-18 19:32:49 +0100
834bb49b5e
add tty/pty server as separate crates
Michael Sippel
2024-01-18 19:05:25 +0100
be3eefc3a5
edit tree: split node struct into sub structs
Michael Sippel
2023-11-29 18:12:04 +0100
bee1b43ddc
tty displaySegment: shorten error labels
Michael Sippel
2023-11-29 17:44:37 +0100
6a3afde29c
tty application: set shorter update interval
Michael Sippel
2023-11-29 17:38:30 +0100
39fbae7740
remove debug prints
Michael Sippel
2023-11-29 17:37:47 +0100
d15077aca0
add TreeNavCmd and keymap functions
Michael Sippel
2023-11-29 02:22:44 +0100
25d8acdb72
first steps in reactivating pty-list editor
Michael Sippel
2023-11-29 01:23:41 +0100
85b614a9bb
further restructuring
Michael Sippel
2023-11-28 20:52:25 +0100
f151f9c5d2
add second example with TTYApplication & Char-View
Michael Sippel
2023-11-28 17:17:35 +0100
57cb1ee3ff
add TTYApplication
Michael Sippel
2023-11-28 17:16:51 +0100
9b9ea77cb0
add lib-nested-tty::DisplaySegment trait for Node
Michael Sippel
2023-11-28 17:16:23 +0100
f3ad5c78d7
rename submodules to reprTree & editTree
Michael Sippel
2023-11-27 04:18:46 +0100
b1c17da75f
remove bimap (no longer needed since it is in lib-laddertypes now)
Michael Sippel
2023-11-26 22:16:49 +0100
ea38b0f9b0
add hello world example
Michael Sippel
2023-11-26 22:09:03 +0100
f8e872acda
Cargo.toml remove unneccesary dependencies
Michael Sippel
2023-11-26 22:08:43 +0100
4bf03c356d
wip refactor crates
Michael Sippel
2023-11-24 21:26:17 +0100
6b2f8ee66f
use lib-laddertypes & remove old laddertypes implementation
dev
Michael Sippel
2023-11-12 18:07:20 +0100
5aac404bf2
Cargo.toml: update termion & rename to lib-r3vi
Michael Sippel
2023-11-11 18:01:26 +0100
153faf9c13
add get_subcursor()
Michael Sippel
2023-11-11 18:00:47 +0100
10bff8a32c
list editor: add some bounds checks and debug messages
Michael Sippel
2023-11-11 18:00:26 +0100
120d0e1df0
context: fix is_list_type for App&Ladder types; properly reset cursor when remaining in same height after insert
Michael Sippel
2023-09-15 15:15:59 +0200
119105c6a2
typeterm editor: improve morphings
Michael Sippel
2023-09-14 13:17:50 +0200
6c80865229
implement color by depth through viewport to account for dynamic change of tree structure
Michael Sippel
2023-09-08 13:40:06 +0200
62cc40c39c
typeterm editor: avoid nested ladders through more clever event handling instead of dynamically refactoring editor-trees
Michael Sippel
2023-09-07 18:09:01 +0200
d8d282f9e9
TypeTerm: add unit(), return index of first / last match in is_syntactic_subtype
Michael Sippel
2023-09-07 18:06:52 +0200
a569fb46a8
char editor: display space when uninitialized
Michael Sippel
2023-09-07 18:04:34 +0200
3aec30e32a
remove unused imports
Michael Sippel
2023-09-06 23:46:14 +0200
e22f4cc9ac
cargo fix
Michael Sippel
2023-09-06 23:40:32 +0200
84b2a6e66d
colors by depth; still has some bugs with typeterm morphings
Michael Sippel
2023-09-06 05:50:48 +0200
9d190e188c
tree height & first version of cursor gravity
Michael Sippel
2023-09-06 04:33:21 +0200
4b2ff36865
list editor: fix mode view bug
Michael Sippel
2023-09-06 04:30:56 +0200
fea6193885
typeterm editor: outfactor Commander-impl into separate file
Michael Sippel
2023-09-05 12:24:51 +0200
bf69e8293b
typeterm editor: outfactor TreeNav-impl into separate file
Michael Sippel
2023-09-05 12:22:01 +0200
445fa0bd3a
tree nav: rename get_max_depth() to get_height()
Michael Sippel
2023-09-04 06:18:45 +0200
e5d824c808
context: add add_synonym
Michael Sippel
2023-09-04 06:17:14 +0200
40500aa60e
remove debug prints, reduce empty typeterms to any-state and unwrap singleton lists on splits
Michael Sippel
2023-09-04 05:56:33 +0200
e111a360a9
fix list split/join & more edge cases in typetermeditor
Michael Sippel
2023-09-04 01:24:53 +0200
b386fee6eb
wip typterm edit; list editor: split using spill buf
Michael Sippel
2023-08-25 04:00:38 +0200
bbac1c3d5a
typeterm editor: fix get_addr_view & get_mode_view
Michael Sippel
2023-08-23 21:56:12 +0200
070131b7fc
typeterm editor: shorten match arms in set state
Michael Sippel
2023-08-23 21:55:29 +0200
cff70f2c04
improve bg color map
Michael Sippel
2023-08-23 21:53:40 +0200
21484979a4
typeterm editor: add vertical view for ladders
Michael Sippel
2023-08-23 21:53:05 +0200
ef99a986a8
typeterm editor: fix split & close
Michael Sippel
2023-08-21 19:05:09 +0200
077d91c47e
cargo fix
Michael Sippel
2023-08-21 16:31:44 +0200
249e811c77
move TypeTerm editor to editors module; remove make_editor.rs and distribute context initialization into editor submodules
Michael Sippel
2023-08-21 15:49:07 +0200
4464a72f29
TypeTermEditor: improve type names, still buggy editing
Michael Sippel
2023-08-21 14:26:52 +0200
170dfcf01c
node: add comment for refactoring plan
Michael Sippel
2023-08-21 14:13:13 +0200
8b47a19f2a
list editor: refactor event handling
Michael Sippel
2023-08-21 14:12:39 +0200