free-category
Version 0.0.4.5 revision 1 uploaded by coot.
Package meta
- Synopsis
- efficient data types for free categories and arrows
- Description
This package provides various data types for free categories, type aligned queues, arrows and type classes which allow to write abstract categories with side effects (Kleisli like categories). These are useful for encoding type safe state machines. Free arrows are also provided.
- Author
- Marcin Szamotulski
- Bug reports
- https://github.com/coot/free-category/issues
- Category
- Algebra, Control, Monads, Category
- Copyright
- (c) 2018-2024 Marcin Szamotulski
- Homepage
- https://github.com/coot/free-category#readme
- Maintainer
- coot@coot.me
- Package URL
- n/a
- Stability
- experimental