@hackage nat-optics dependencies

11 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

An efficient packed Unicode text type.

Basic libraries

Optics as an abstract interface: core definitions

Refinement types for natural numbers with an optics interface