AlgebraicJulia / AlgebraicJulia/ACSets.jl
Converting from BasicSchema to TypeLevelSchema
未關閉
enhancement
- 主要語言
- Julia
- 星號
- 36
- 分支
- 11
- PR 合併指標
- 30 天內沒有已合併 PR
描述
ACSets.jl allows us to go from `TypeLevelSchema` to `BasicSchema`, and I thought at some point I needed to go the other way around and wrote this one-liner:
```julia
""" Convert a Schema to a Type-level schema """
TypeLevelBasicSchema(s::BasicSchema{Name}) where {Name} =
TypeLevelBasicSchema{Name, Tuple{s.obs...}, Tuple{s.homs...},
Tuple{s.attrtypes...}, Tuple{s.attrs...}, Tuple{s.eqs...}}
TypeLevelBasicSchema(s::Type{<:TypeLevelBasicSchema}) = s
```
But then I happened to not need to. Still, this might be a feature that someone wants?
貢獻指南
這個儲存庫沒有索引到貢獻指南
評估
這個 Issue 還沒有評估資料。