sized

Description

Sized sequence data-types.

Description

A wrapper to make length-parametrized data-type from functorial data-types.

README.md

sized - Sized sequence data-types

A wrapper to make length-parametrized data-type from endofunctors from subcategories.

Metadata

1.1.0.2

Darwin

FreeBSD

Genode

GHCJS

Linux

MMIXware

NetBSD

none

OpenBSD

Redox

Solaris

WASI

Windows

Show all