https://github.com/konn/sized

Sized sequence data-types
https://github.com/konn/sized

containers dependent-types ghc haskell type-level-programming

Last synced: 3 months ago
JSON representation

Sized sequence data-types

• Host: GitHub
• URL: https://github.com/konn/sized
• Owner: konn
• License: bsd-3-clause
• Created: 2014-08-23T14:40:43.000Z (almost 11 years ago)
• Default Branch: master
• Last Pushed: 2025-02-22T07:21:06.000Z (4 months ago)
• Last Synced: 2025-03-18T07:11:53.979Z (3 months ago)
• Topics: containers, dependent-types, ghc, haskell, type-level-programming
• Language: Haskell
• Size: 614 KB
• Stars: 11
• Watchers: 4
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • Changelog: Changelog.md
  • Funding: .github/FUNDING.yml
  • License: LICENSE

Awesome Lists containing this project

README

        
sized - Sized sequence data-types

=================================

![Haskell CI](https://github.com/konn/sized/workflows/Haskell%20CI/badge.svg) [![Hackage](https://img.shields.io/hackage/v/sized.svg)](https://hackage.haskell.org/package/sized)

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

[subcategories]: http://hackage.haskell.org/package/subcategories