Expand description
Typestate Transaction — 타입 안전 트랜잭션
Typestate 패턴을 사용하여 트랜잭션 오용을 컴파일 타임에 방지.
트랜잭션 내 쓰기는 로컬 버퍼에 축적되며,
commit() 시 메인 Delta Store에 원자적으로 반영됩니다.
Structs§
- Active
- Active 상태 — 트랜잭션 진행 중
- Committed
- Committed 상태 — 커밋 완료
- Rolled
Back - RolledBack 상태 — 롤백 완료
- Transaction
- Typestate Transaction
Traits§
- TxState
- 트랜잭션 상태 트레이트