@hackage / type-settheory

Sets and functions-as-relations in the type system

Latest0.1.3.1

Dependencies

library:type-settheory (6 dependencies)

@hackage / template-haskell Support library for Template Haskell
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: <5
- License: BSD-3-Clause
@hackage / syb Scrap Your Boilerplate
- Version:
- License: BSD-3-Clause
@hackage / type-equality Data.Type.Equality compat package
- Version:
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause