@hackage / comonad-coactions

Dependencies

library:comonad-coactions (6 dependencies)

• @hackage / adjunctions Adjunctions and representable functors
  • Version: >=4.4.4 && <4.5
  • License: BSD-2-Clause
• @hackage / kan-extensions Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads
  • Version: >=5.2.8 && <5.3
  • License: BSD-3-Clause
• @hackage / comonad Comonads
  • Version: >=5.0.10 && <5.1
  • License: BSD-3-Clause
• @hackage / base Core data structures and operations
  • Version: >=4.20.2 && <4.23
  • License: BSD-3-Clause
• @hackage / template-haskell Support library for Template Haskell
  • Version: >=2.23.0 && <2.25
  • License: BSD-3-Clause
• @hackage / free Monads for free
  • Version: >=5.2 && <5.3
  • License: BSD-3-Clause

executable:elementary (7 dependencies)

• @hackage / vector-sized Size tagged vectors
  • Version: >=1.6.1 && <1.7
  • License: BSD-3-Clause
• @hackage / comonad Comonads
  • Version:
  • License: BSD-3-Clause
• @hackage / random Pseudo-random number generation
  • Version: >=1.3.1 && <1.4
  • License: BSD-3-Clause
• @hackage / terminal-size Get terminal window height and width
  • Version: >=0.3.4 && <0.4
  • License: BSD-3-Clause
• @hackage / comonad-coactions Coactions of comonads on functors
  • Version:
  • License: LGPL-2.0-or-later
• @hackage / finite-typelits A type inhabited by finitely many values, indexed by type-level naturals
  • Version: >=0.2.1 && <0.3
  • License: BSD-3-Clause
• @hackage / base Core data structures and operations
  • Version:
  • License: BSD-3-Clause

executable:higher-range (7 dependencies)

• @hackage / base Core data structures and operations
  • Version:
  • License: BSD-3-Clause
• @hackage / terminal-size Get terminal window height and width
  • Version: >=0.3.4 && <0.4
  • License: BSD-3-Clause
• @hackage / vector-sized Size tagged vectors
  • Version: >=1.6.1 && <1.7
  • License: BSD-3-Clause
• @hackage / comonad Comonads
  • Version:
  • License: BSD-3-Clause
• @hackage / finite-typelits A type inhabited by finitely many values, indexed by type-level naturals
  • Version: >=0.2.1 && <0.3
  • License: BSD-3-Clause
• @hackage / random Pseudo-random number generation
  • Version: >=1.3.1 && <1.4
  • License: BSD-3-Clause
• @hackage / comonad-coactions Coactions of comonads on functors
  • Version:
  • License: LGPL-2.0-or-later

executable:life (17 dependencies)

• @hackage / finite-typelits A type inhabited by finitely many values, indexed by type-level naturals
  • Version: >=0.2.1 && <0.3
  • License: BSD-3-Clause
• @hackage / adjunctions Adjunctions and representable functors
  • Version:
  • License: BSD-2-Clause
• @hackage / base Core data structures and operations
  • Version:
  • License: BSD-3-Clause
• @hackage / constraints Constraint manipulation
  • Version: >=0.14.4 && <0.15
  • License: BSD-2-Clause
• @hackage / distributive Distributive functors -- Dual to Traversable
  • Version: >=0.6.3 && <0.7
  • License: BSD-3-Clause
• @hackage / mtl Monad classes for transformers, using functional dependencies
  • Version: >=2.3.1 && <2.4
  • License: BSD-3-Clause
• @hackage / comonad Comonads
  • Version:
  • License: BSD-3-Clause
• @hackage / ghc-typelits-knownnat Derive KnownNat constraints from other KnownNat constraints
  • Version: >=0.8.3 && <0.9
  • License: BSD-2-Clause
• @hackage / monad-actions Actions of monads on functors
  • Version: >=2.0.1 && <2.1
  • License: LGPL-2.0-or-later
• @hackage / text An efficient packed Unicode text type.
  • Version: >=2.1.2 && <2.2
  • License: BSD-2-Clause
• @hackage / clock High-resolution clock functions: monotonic, realtime, cputime.
  • Version: >=0.8.4 && <0.9
  • License: BSD-3-Clause
• @hackage / comonad-coactions Coactions of comonads on functors
  • Version:
  • License: LGPL-2.0-or-later
• @hackage / random Pseudo-random number generation
  • Version: >=1.3.1 && <1.4
  • License: BSD-3-Clause
• @hackage / vector-sized Size tagged vectors
  • Version: >=1.6.1 && <1.7
  • License: BSD-3-Clause
• @hackage / termbox-tea termbox + The Elm Architecture
  • Version: >=1.0.0 && <1.1
  • License: BSD-3-Clause
• @hackage / ki A lightweight structured concurrency library
  • Version: >=1.0.1 && <1.1
  • License: BSD-3-Clause
• @hackage / optparse-applicative Utilities and combinators for parsing command line options
  • Version: >=0.19.0 && <0.20
  • License: BSD-3-Clause

test:comonad-coactions-test (8 dependencies)

• @hackage / checkers Check properties on standard classes and data structures.
  • Version:
  • License: BSD-3-Clause
• @hackage / tasty Modern and extensible testing framework
  • Version:
  • License: MIT
• @hackage / containers Assorted concrete container types
  • Version:
  • License: BSD-3-Clause
• @hackage / comonad-coactions Coactions of comonads on functors
  • Version:
  • License: LGPL-2.0-or-later
• @hackage / QuickCheck Automatic testing of Haskell programs
  • Version:
  • License: BSD-3-Clause
• @hackage / comonad Comonads
  • Version:
  • License: BSD-3-Clause
• @hackage / tasty-quickcheck QuickCheck support for the Tasty test framework.
  • Version:
  • License: MIT
• @hackage / base Core data structures and operations
  • Version:
  • License: BSD-3-Clause