AlgebraicJulia / AlgebraicJulia/ACSets.jl

Converting from BasicSchema to TypeLevelSchema

Aberta
#159 3 comentários 2 reações 0 responsáveis Ver no GitHub
enhancement
Linguagem predominante
Julia
Estrelas
36
Forks
11
Métricas de merge de PRs
Nenhum PR com merge em 30d

Descrição

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?

Guia de contribuição

Nenhum guia de contribuição indexado para este repositório

Avaliação

Esta issue ainda não foi avaliada.

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.