@hackage haal dependencies

26 results

library:haal (6 dependencies)

@hackage/liquidhaskell

Liquid Types for Haskell

BSD-3-Clause

@hackage/base

Core data structures and operations

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

@hackage/mtl

Monad classes for transformers, using functional dependencies

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

@hackage/vector

Efficient Arrays

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

@hackage/containers

Assorted concrete container types

BSD-3-Clause>=0.6.7 && <0.8

@hackage/random

Pseudo-random number generation

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

executable:demo (3 dependencies)

@hackage/haal

A Haskell library for Active Automata Learning.

BSD-3-Clause

@hackage/base

Core data structures and operations

BSD-3-Clause

@hackage/containers

Assorted concrete container types

BSD-3-Clause

executable:div (3 dependencies)

@hackage/haal

A Haskell library for Active Automata Learning.

BSD-3-Clause

@hackage/base

Core data structures and operations

BSD-3-Clause

@hackage/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

executable:io (4 dependencies)

@hackage/haal

A Haskell library for Active Automata Learning.

BSD-3-Clause

@hackage/base

Core data structures and operations

BSD-3-Clause

@hackage/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@hackage/process

Process libraries

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

executable:website (3 dependencies)

@hackage/haal

A Haskell library for Active Automata Learning.

BSD-3-Clause

@hackage/base

Core data structures and operations

BSD-3-Clause

@hackage/process

Process libraries

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

test:haal-test (7 dependencies)

@hackage/haal

A Haskell library for Active Automata Learning.

BSD-3-Clause

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause

@hackage/base

Core data structures and operations

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

@hackage/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@hackage/containers

Assorted concrete container types

BSD-3-Clause

@hackage/hspec

A Testing Framework for Haskell

MIT

@hackage/random

Pseudo-random number generation

BSD-3-Clause