@hackage / exists

Existential datatypes holding evidence of constraints

Latest0.2

Dependencies

library:exists (2 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.5 && <5
- License: BSD-3-Clause
@hackage / contravariant Contravariant functors
- Version: >=0.1 && <0.3
- License: BSD-3-Clause