@hackage tptp dependencies

33 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.5 && <5.0

@hackage/semigroups

Anything that associates

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

@hackage/scientific

Numbers represented using scientific notation

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

@hackage/prettyprinter

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

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

@hackage/attoparsec

Fast combinator parsing for bytestrings and text

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

executable:parse-tptp-library (5 dependencies)

@haskell/text

An efficient packed Unicode text type.

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

@haskell/directory

Platform-agnostic library for filesystem operations

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

@haskell/base

Basic libraries

BSD-3-Clause>=4.5 && <5.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

executable:parser (3 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.5 && <5.0

@hackage/tptp

Parser and pretty printer for the TPTP language

GPL-3.0-only

test:doctests (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-spec (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-tests (6 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@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