@hackage / termination-combinators

Termination combinators for forcing non-terminating algorithms to terminate

Latest0.1

Dependencies

library:termination-combinators (3 dependencies)

@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.4 && <0.5
- License: BSD-3-Clause
@hackage / contravariant Contravariant functors
- Version: >=0.1.2 && <0.2
- License: BSD-3-Clause