@hackage hol dependencies

19 results

library:hol (6 dependencies)

@haskell/transformers

Concrete functor and monad transformers

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

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause>=0.11 && <0.12

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.5 && <0.6

@haskell/bytestring

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

BSD-3-Clause>=0.9 && <0.10

@haskell/base

Core data structures and operations

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

@hackage/pretty

Pretty-printing library

BSD-3-Clause>=1.1 && <1.2

test:hol-test (7 dependencies)

@haskell/transformers

Concrete functor and monad transformers

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

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause>=0.11 && <0.12

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.5 && <0.6

@haskell/bytestring

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

BSD-3-Clause>=0.9 && <0.10

@haskell/base

Core data structures and operations

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

@hackage/pretty

Pretty-printing library

BSD-3-Clause>=1.1 && <1.2

@hackage/QuickCheck

Automatic testing of Haskell programs

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

benchmark:hol-profile (6 dependencies)

@haskell/transformers

Concrete functor and monad transformers

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

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause>=0.11 && <0.12

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.5 && <0.6

@haskell/bytestring

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

BSD-3-Clause>=0.9 && <0.10

@haskell/base

Core data structures and operations

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

@hackage/pretty

Pretty-printing library

BSD-3-Clause>=1.1 && <1.2