Popularity
2.0
Declining
Activity
0.0
Stable
1
2
0

Monthly Downloads: 31
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags: Dependent Types    
Latest version: v0.1.3.2

list-witnesses alternatives and similar packages

Based on the "Dependent Types" category.
Alternatively, view list-witnesses alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of list-witnesses or a related project?

Add another 'Dependent Types' Package

README

[list-witnesses][docs]

list-witnesses on Hackage

Collection of assorted inductive witnesses and functions for working with type-level lists.

  • Data.Type.List.Edit contains single-item edits of lists, including insertion, deletion, and substitution.
  • Data.Type.List.Sublist contains witnesses for prefixes, suffixes, and two-way splits of type-level lists.