@hackage logic-TPTP dependencies

47 results

library:logic-TPTP (11 dependencies)

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause>=4 && <5

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/transformers-compat

A small compatibility shim for the transformers library

BSD-3-Clause>=0.5

@hackage/syb

Scrap Your Boilerplate

BSD-3-Clause

@hackage/semigroups

Anything that associates

BSD-3-Clause

@hackage/pointed

Pointed and copointed data

BSD-3-Clause

@hackage/ansi-wl-pprint

The Wadler/Leijen Pretty Printer for colored ANSI terminal output

BSD-3-Clause

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2

executable:ParseRandom (11 dependencies)

@haskell/process

Process libraries

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/syb

Scrap Your Boilerplate

BSD-3-Clause

@hackage/semigroups

Anything that associates

BSD-3-Clause

@hackage/pcre-light

Portable regex library for Perl 5 compatible regular expressions

BSD-3-Clause

@hackage/logic-TPTP

Import, export etc. for TPTP, a syntax for first-order logic

LicenseRef-GPL

@hackage/ansi-wl-pprint

The Wadler/Leijen Pretty Printer for colored ANSI terminal output

BSD-3-Clause

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause

executable:PrettyPrintFile (11 dependencies)

@haskell/process

Process libraries

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/syb

Scrap Your Boilerplate

BSD-3-Clause

@hackage/semigroups

Anything that associates

BSD-3-Clause

@hackage/pcre-light

Portable regex library for Perl 5 compatible regular expressions

BSD-3-Clause

@hackage/logic-TPTP

Import, export etc. for TPTP, a syntax for first-order logic

LicenseRef-GPL

@hackage/ansi-wl-pprint

The Wadler/Leijen Pretty Printer for colored ANSI terminal output

BSD-3-Clause

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause

executable:TestImportExportImportFile (6 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/semigroups

Anything that associates

BSD-3-Clause

@hackage/pcre-light

Portable regex library for Perl 5 compatible regular expressions

BSD-3-Clause

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

BSD-3-Clause>=0.11 && <0.16

@hackage/logic-TPTP

Import, export etc. for TPTP, a syntax for first-order logic

LicenseRef-GPL

@hackage/ansi-wl-pprint

The Wadler/Leijen Pretty Printer for colored ANSI terminal output

BSD-3-Clause

test:TestImportExportRandom (8 dependencies)

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/transformers-compat

A small compatibility shim for the transformers library

BSD-3-Clause>=0.5

@hackage/semigroups

Anything that associates

BSD-3-Clause

@hackage/pcre-light

Portable regex library for Perl 5 compatible regular expressions

BSD-3-Clause<0.4.1

@hackage/logic-TPTP

Import, export etc. for TPTP, a syntax for first-order logic

LicenseRef-GPL

@hackage/ansi-wl-pprint

The Wadler/Leijen Pretty Printer for colored ANSI terminal output

BSD-3-Clause

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause