@hackage why3 dependencies

12 results

An efficient packed Unicode text type.

Library for manipulating FilePaths in a cross platform way.

Platform-agnostic library for filesystem operations

Deep evaluation of data structures

Assorted concrete container types

Fast, compact, strict and lazy byte strings with a list interface

Core data structures and operations

Mutable and immutable arrays

Profunctors

Tools for working with derived `Show` instances and generic inspection of values.

Pretty-printing library

A collection of monad transformers.