AlgebraicJulia / AlgebraicJulia/ACSets.jl

Converting from BasicSchema to TypeLevelSchema

未關閉
#159 3 則留言 2 個 reaction 已指派 0 人 在 GitHub 檢視
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 還沒有評估資料。

把新 issue 寄到你的電子郵件信箱

精選適合新手參與的 GitHub issue 摘要。