@hackage music-pitch dependencies

11 results

Assorted concrete container types

Core data structures and operations

A type for points, as distinct from vectors.

Vector & affine spaces, linear maps, and derivatives

Type-level and typed unary natural numbers, inequality proofs, vectors

Anything that associates

Positive integers.

Natural numbers

Overloaded pitch literals.

Lenses, Folds and Traversals

Interval datatype, interval arithmetic and interval-based containers