@hackage tptp dependencies

26 results

library:tptp (6 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause>=1.2.3 && <1.3

@haskell/base

Basic libraries

BSD-3-Clause>=4.7 && <5.0

@hackage/semigroups

Anything that associates

BSD-3-Clause>=0.16.1 && <1.0

@hackage/scientific

Numbers represented using scientific notation

BSD-3-Clause>=0.3.1 && <0.4

@hackage/prettyprinter

A modern, easy to use, well-documented, extensible pretty-printer.

BSD-2-Clause>=1.2.1 && <1.5

@hackage/attoparsec

Fast combinator parsing for bytestrings and text

BSD-3-Clause>=0.13.2 && <0.14

test:doctest (3 dependencies)

@haskell/base

Basic libraries

BSD-3-Clause

@hackage/doctest

Test interactive Haskell examples

MIT

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause

test:quickcheck (10 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/base

Basic libraries

BSD-3-Clause

@hackage/tptp

Parser and pretty printer for the TPTP language

GPL-3.0-only

@hackage/semigroups

Anything that associates

BSD-3-Clause

@hackage/scientific

Numbers represented using scientific notation

BSD-3-Clause

@hackage/prettyprinter

A modern, easy to use, well-documented, extensible pretty-printer.

BSD-2-Clause

@hackage/generic-random

Generic random generators for QuickCheck

MIT>=1.2.0.0 && <1.3

@hackage/bifunctors

Bifunctors

BSD-3-Clause>=3.0.1 && <6

@hackage/attoparsec

Fast combinator parsing for bytestrings and text

BSD-3-Clause

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2.4 && <3.0

test:unit (7 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause>=1.3 && <1.5

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.2.5 && <1.4

@haskell/base

Basic libraries

BSD-3-Clause

@haskell/Cabal

A framework for packaging Haskell software

BSD-3-Clause>=1.16.0

@hackage/tptp

Parser and pretty printer for the TPTP language

GPL-3.0-only

@hackage/extra

Extra functions I use.

BSD-3-Clause>=1.4.4 && <1.7