search

durban / seals

Tools for schema evolution and language-integrated schemata
Apache License 2.0
65 stars 7 forks source link

Helper for creating derived Atomic instances #34

Closed durban closed 7 years ago

durban commented 7 years ago

Create an invariant functor instance for Atomic (if possible).

durban commented 7 years ago

It probably doesn't make a lot of sense, due to the Singleton restriction. But probably all use cases can be handed with the invariant functor instance for Reified.

durban commented 7 years ago

However, a helper (abstract class / trait) for creating an Atomic based on another one could make sense.