AlgebraicJulia / AlgebraicJulia/GATlab.jl

Generate structs that wrap bare instances

Đang mở
#60 0 bình luận 0 reaction 0 người được giao Xem trên GitHub
Ngôn ngữ chính
Julia
Star
43
Fork
4
Chỉ số merge pull request
Không có pull request nào được merge trong 30 ngày

Mô tả

In Gatlab, we are taking a "bare values" (#29) first approach to instances of theories. However, it is also often convenient to have wrapper structs that capture the instance, enabling the use of multiple dispatch without auxiliary arguments. Such wrapper structs are frequently in Catlab (#57).

Given a bare-values instance, It should be possible to automatically generate a struct and associated methods for that instance.

Hướng dẫn đóng góp

Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này

Đánh giá

Issue này chưa được đánh giá.

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.