@hackage / structural-induction

Instantiate structural induction schemas for algebraic data types

Latest0.3

Dependencies

library:structural-induction (6 dependencies)

@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / genifunctors Generate generalized fmap, foldMap and traverse
- Version:
- License: BSD-3-Clause
@hackage / safe Library of safe (exception free) functions
- Version:
- License: BSD-3-Clause
@hackage / pretty Pretty-printing library
- Version:
- License: BSD-3-Clause

test:walk (9 dependencies)