bendn's repos
/
treaty
main
1
Branch
0
Tags
Code
Clone
HTTPS
SSH
Open with VS Code
Commits
working value builder
Konnor Andrews committed
2024-07-24
f430b50
simplified lifetimes
Konnor Andrews committed
2024-07-23
f5a1aba
bug finding start point
Konnor Andrews committed
2024-07-22
8bbf8c6
treaty error
Konnor Andrews committed
2024-07-20
98b067e
refactored the any module
Konnor Andrews committed
2024-07-10
58d4f4b
working serde walker with structs
Konnor Andrews committed
2024-07-06
9456642
working structs
Konnor Andrews committed
2024-07-06
8f8f43e
formatted code
Konnor Andrews committed
2024-07-05
440b093
removed need for every value to implement IsSend and IsSync
Konnor Andrews committed
2024-07-05
3e84ea5
removed unneeded unsafe
Konnor Andrews committed
2024-07-05
5ab752d
working with new effects
Konnor Andrews committed
2024-07-04
a2eb396
moving to effectful
Konnor Andrews committed
2024-07-04
a2ac053
hit critical issue with serde's API
Konnor Andrews committed
2024-06-22
478f1e6
remove block on from deserializer visitor
Konnor Andrews committed
2024-06-10
90073a5
integers work with serde deserializer
Konnor Andrews committed
2024-06-10
d4755b8
removed walker types trait
Konnor Andrews committed
2024-06-10
2a6bb04
added enum builder
Konnor Andrews committed
2024-06-08
12e60f9
added diagram renderer to docs
Konnor Andrews committed
2024-06-08
b995c0e
added value builder
Konnor Andrews committed
2024-06-08
868c4a6
updated async to no do function
Konnor Andrews committed
2024-06-08
075e3e9
fixed clippy lints
Konnor Andrews committed
2024-06-05
c386bcb
fixed check lints
Konnor Andrews committed
2024-06-05
29908d5
fixed bijective higher ranked types
Konnor Andrews committed
2024-06-05
15acd57
reviewed the struct builder API
Konnor Andrews committed
2024-06-02
3d73588
all tests passing
Konnor Andrews committed
2024-06-01
2db92e3
added extension trait for effectives
Konnor Andrews committed
2024-05-30
99aeb03
tests compile
Konnor Andrews committed
2024-05-20
c59d580
effect system put together
Konnor Andrews committed
2024-05-20
0fcdedf
working on async effective
Konnor Andrews committed
2024-05-19
167a1ec
refactored effects
Konnor Andrews committed
2024-05-18
8382bca
enough of the new effects to show perfect code generation!
Konnor Andrews committed
2024-05-13
9434269
working start of new effect system
Konnor Andrews committed
2024-05-13
70d686b
rustc oom
Konnor Andrews committed
2024-05-11
91ffa4d
struct to struct via macro
Konnor Andrews committed
2024-04-21
d97966a
added tests for tuple and map like structs
Konnor Andrews committed
2024-04-21
04d3e97
added some tests for the struct walker
Konnor Andrews committed
2024-04-20
de2bacf
all protocols are tested
Konnor Andrews committed
2024-04-19
da80a28
added more tests, rustc ICE
Konnor Andrews committed
2024-04-19
5cae837
added integration tests for the value protocol
Konnor Andrews committed
2024-04-18
9635ea7
simplified the higher ranked types
Konnor Andrews committed
2024-04-13
14710db
cleaned up
Konnor Andrews committed
2024-04-13
0a6381b
moved tests to integration tests and cleaned up effects some
Konnor Andrews committed
2024-04-13
d9dd39d
cleaned up the any module
Konnor Andrews committed
2024-04-12
108c74a
added mocking and started testing the struct walker
Konnor Andrews committed
2024-04-11
15cbd6f
working mocking
Konnor Andrews committed
2024-04-10
58347ea
reworked to give trait objects higher ranked types to name them in any trait
Konnor Andrews committed
2024-04-10
7ba4e87
added struct walker
Konnor Andrews committed
2024-04-09
d7365d8
added empty file for publishing
Konnor Andrews committed
2024-04-08
4b782ac
added license
Konnor Andrews committed
2024-04-08
02d3f51
documented struct flow
Konnor Andrews committed
2024-04-08
999975f
nesting structs works in the Walk derive macro
Konnor Andrews committed
2024-04-08
05b755f
updated how the tag walkers are setup
Konnor Andrews committed
2024-04-07
b8a516e
changed how the tag protocol works and start of struct macro
Konnor Andrews committed
2024-04-07
821b0b2
Updated to use the new effects
Konnor Andrews committed
2024-04-06
f250905
added option builder
Konnor Andrews committed
2024-03-16
e9679b9
updated effects
Konnor Andrews committed
2024-03-16
9cd9eec
working async
Konnor Andrews committed
2024-03-16
82a0ea5
fixed protocols
Konnor Andrews committed
2024-03-16
ec971d5
added hkt module
Konnor Andrews committed
2024-03-16
4c065b4
GATs but not
Konnor Andrews committed
2024-03-12
d0f31f2
added serde deserialize builder
Konnor Andrews committed
2024-03-12
0f5b2de
fixed code gen mostly
Konnor Andrews committed
2024-02-11
75495bb
cleaned up
Konnor Andrews committed
2024-02-11
de99999
added effects and tagged protocol
Konnor Andrews committed
2024-02-11
02572de
working integration test
Konnor Andrews committed
2024-02-10
06eb47f
documented any module
Konnor Andrews committed
2024-02-10
2b7c1df
working single value protocol
Konnor Andrews committed
2024-02-04
fe56a4f
new AnyTrait impl
Konnor Andrews committed
2024-02-04
9f45b8a
Merge remote-tracking branch 'origin/main'
Konnor Andrews committed
2024-02-03
66f5626
new lifetime containing type ids are working
Konnor Andrews committed
2024-02-03
d177813
Merge branch 'hygiene' into 'main'
Konnor Andrews committed
2024-02-04
13802bf
Make implementer! fully hygienic
wackbyte committed
2024-02-04
0660612
issue with lt_any
Konnor Andrews committed
2024-02-03
f8d6526
created any
Konnor Andrews committed
2024-02-02
fb26232
added visitor protocols
Konnor Andrews committed
2024-02-02
c076f01
finished docs for symbol
Konnor Andrews committed
2024-01-28
b6be0b9
added symbol
Konnor Andrews committed
2024-01-28
32480d6
added some docs
Konnor Andrews committed
2024-01-25
d735953
split up protocols and make Owned a protocol
Konnor Andrews committed
2024-01-24
24bc7f1
added bigger example
Konnor Andrews committed
2024-01-21
5fba976
simplified API
Konnor Andrews committed
2024-01-15
8bbab64
rebuilt API without errors and working iterator walker
Konnor Andrews committed
2024-01-12
f9d00cf
removed associated errors, now using side channel error tracking
Konnor Andrews committed
2024-01-10
7b74883
changed
Konnor Andrews committed
2024-01-07
c73a913
working borrow cascade
Konnor Andrews committed
2024-01-06
139a1f7
added visitor error type and added blanked impls for references
Konnor Andrews committed
2024-01-06
c98e4af
init commit
Konnor Andrews committed
2024-01-04
8cb44e8