@hackage dedukti dependencies

19 results

library:dedukti (1 dependencies)

@hackage/time

A time library

BSD-2-Clause>=1.1

executable:dedukti (14 dependencies)

@haskell/process

Process libraries

BSD-3-Clause

@haskell/parsec

Monadic parser combinators

BSD-2-Clause>=3.1.0

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=1.1

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.2

@haskell/bytestring

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

BSD-3-Clause>=0.9.1.0

@haskell/base

Core data structures and operations

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

@hackage/wl-pprint

The Wadler/Leijen Pretty Printer

BSD-3-Clause>=1.0

@hackage/stringtable-atom

Memoize Strings as Atoms for fast comparison and sorting, with maps and sets

BSD-3-Clause>=0.0.6

@hackage/hmk

A make alternative based on Plan9's mk.

LicenseRef-GPL>=0.9.7

@hackage/haskell-src-exts-qq

A quasiquoter for haskell-src-exts.

BSD-3-Clause>=0.1

@hackage/haskell-src-exts

Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

BSD-3-Clause>=1.1.0

@hackage/Stream

A library for manipulating infinite lists.

BSD-3-Clause>=0.3 && <0.3.2

executable:dedukti-tests (4 dependencies)

@haskell/process

Process libraries

BSD-3-Clause

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause

@hackage/test-framework

Framework for running and organising tests, with HUnit and QuickCheck support

BSD-3-Clause>=0.2 && <0.3