@hackage nat-optics dependencies

13 results

An efficient packed Unicode text type.

Basic libraries

Optics as an abstract interface: core definitions

An efficient packed Unicode text type.

Basic libraries

Optics as an abstract interface: core definitions

Refinement types for natural numbers with an optics interface

Release with confidence.

An efficient packed Unicode text type.

Basic libraries

Optics as an abstract interface: core definitions

Refinement types for natural numbers with an optics interface

Release with confidence.