Converting from BasicSchema to TypeLevelSchema

[kris-brown]

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:

""" 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?

[slwu89]

Actually I was thinking about that exact feature lately during pondering #158.

[kris-brown]

Ah ok well feel free to copypaste that line into your code for the time being! It could be a one-line PR that gets merged before yours does

[slwu89]

I'm nowhere near to getting anything merged on the SQL front, SQL breaks the relational model in so many ways that it will still take some time to figure out under what cases it makes sense to do the interop.