search

danidiaz / dep-t

Dependency injection for records-of-functions.
http://hackage.haskell.org/package/dep-t
BSD 3-Clause "New" or "Revised" License
8 stars 2 forks source link

Generalize `InductiveEnv`. #30

Open danidiaz opened 1 year ago

danidiaz commented 1 year ago

Instead of always ending in EmptyEnv, perhaps there could be another constructor called FallbackEnv which pointed to another environment, perhaps one that isn't an EmptyEnv. That would be more flexible.

danidiaz commented 1 year ago

Also, make the datatype abstract.

danidiaz commented 1 year ago

InductiveEnvExtension ?