@hackage / spectacle

Embedded specification language & model checker in Haskell.

Latest1.0.0

Dependencies

library:spectacle (13 dependencies)

@hackage / microlens-mtl microlens support for Reader/Writer/State from mtl
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.6
- License: BSD-3-Clause
@hackage / microlens A tiny lens library with no dependencies
- Version:
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2
- License: BSD-3-Clause
@hackage / logict A backtracking logic-programming monad.
- Version:
- License: BSD-3-Clause
@hackage / hashable A class for types that can be converted to a hash value
- Version: >=1.3.0.0
- License: BSD-3-Clause
@hackage / prettyprinter-ansi-terminal ANSI terminal backend for the »prettyprinter« package.
- Version:
- License: BSD-2-Clause
@hackage / text An efficient packed Unicode text type.
- Version:
- License: BSD-2-Clause
@hackage / prettyprinter A modern, easy to use, well-documented, extensible pretty-printer.
- Version:
- License: BSD-2-Clause
@hackage / base Core data structures and operations
- Version: >=4.14 && <4.15
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.5
- License: BSD-3-Clause
@hackage / comonad Comonads
- Version:
- License: BSD-3-Clause
@hackage / optparse-applicative Utilities and combinators for parsing command line options
- Version:
- License: BSD-3-Clause

test:integration-tests (6 dependencies)

test:unit-tests (8 dependencies)