https://github.com/konn/sized

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

containers dependent-types ghc haskell type-level-programming

Last synced: 10 days 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 (about 10 years ago)
• Default Branch: master
• Last Pushed: 2024-06-09T12:46:42.000Z (5 months ago)
• Last Synced: 2024-10-14T09:49:23.798Z (24 days ago)
• Topics: containers, dependent-types, ghc, haskell, type-level-programming
• Language: Haskell
• Size: 521 KB
• Stars: 10
• Watchers: 5
• 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