@hackage / ComonadSheet

A library for expressing spreadsheet-like computations as the fixed-points of comonads.

Latest0.3.0.0

Dependencies

library:ComonadSheet (11 dependencies)

@hackage / PeanoWitnesses GADT type witnesses for Peano-style natural numbers.
- Version: >=0.1
- License: BSD-3-Clause
@hackage / applicative-numbers Applicative-based numeric instances
- Version: >=0.1.3
- License: BSD-3-Clause
@hackage / comonad Comonads
- Version: >=4.0
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.7 && <4.8
- License: BSD-3-Clause
@hackage / IndexedList Length- and element-indexed lists sitting somewhere between homogeneous and fully heterogeneous.
- Version: >=0.1
- License: BSD-3-Clause
@hackage / distributive Distributive functors -- Dual to Traversable
- Version: >=0.1
- License: BSD-3-Clause
@hackage / Stream A library for manipulating infinite lists.
- Version: >=0.4
- License: BSD-3-Clause
@hackage / NestedFunctor Nested composition of functors with a type index tracking nesting.
- Version: >=0.2
- License: BSD-3-Clause
@hackage / Tape Bidirectionally infinite streams, akin to the tape of a Turing machine.
- Version: >=0.4
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.3
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5
- License: BSD-3-Clause