@hackage ho-rewriting dependencies

9 results

library:ho-rewriting (5 dependencies)

@hackage/base

Core data structures and operations

BSD-3-Clause>=4.8 && <5

@hackage/mtl

Monad classes for transformers, using functional dependencies

@hackage/containers

Assorted concrete container types

@hackage/patch-combinators

A library for patching functions and data structures

@hackage/compdata

Compositional Data Types

BSD-3-Clause>=0.10 && <0.11

test:capture (4 dependencies)

@hackage/base

Core data structures and operations

@hackage/ho-rewriting

Generic rewrite rules with safe treatment of variables and binders

@hackage/patch-combinators

A library for patching functions and data structures

@hackage/compdata

Compositional Data Types