@hackage / target

Generate test-suites from refinement types.

Latest0.2.0.1

Dependencies

library:target (22 dependencies)

@hackage / transformers Concrete functor and monad transformers
- Version: >=0.3
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5.0.0
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=1.0
- License: BSD-2-Clause
@hackage / ghc-paths Knowledge of GHC's installation directories
- Version:
- License: BSD-3-Clause
@hackage / unordered-containers Efficient hashing-based container types
- Version: >=0.2.3.0
- License: BSD-3-Clause
@hackage / process Process libraries
- Version:
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.1.2
- License: BSD-3-Clause
@hackage / syb Scrap Your Boilerplate
- Version: >=0.4.2
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version: >=1.3.0.1
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.6 && <5
- License: BSD-3-Clause
@hackage / liquidhaskell Liquid Types for Haskell
- Version: >=0.5
- License: BSD-3-Clause
@hackage / ghc The GHC API
- Version: >=7.8.3
- License: BSD-3-Clause
@hackage / template-haskell Support library for Template Haskell
- Version: >=2.8
- License: BSD-3-Clause
@hackage / text-format Text formatting
- Version:
- License: BSD-3-Clause
@hackage / pretty Pretty-printing library
- Version:
- License: BSD-3-Clause
@hackage / QuickCheck Automatic testing of Haskell programs
- Version: >=2.7
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.2.0.1
- License: BSD-3-Clause
@hackage / exceptions Extensible optionally-pure exceptions
- Version: >=0.6
- License: BSD-3-Clause
@hackage / liquid-fixpoint Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
- Version: >=0.4
- License: BSD-3-Clause
@hackage / tagged Haskell 98 phantom types to avoid unsafely passing dummy arguments
- Version: >=0.7
- License: BSD-3-Clause
@hackage / th-lift Derive Template Haskell's Lift class for datatypes.
- Version:
- License: BSD-3-Clause
@hackage / vector Efficient Arrays
- Version:
- License: BSD-3-Clause

executable:target (3 dependencies)

test:test (15 dependencies)

benchmark:bench (22 dependencies)