@hackage g2 dependencies

54 results

library:g2 (29 dependencies)

@hackage/liquid-fixpoint

Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

BSD-3-Clause>=0.7.0.7

@hackage/template-haskell

Support library for Template Haskell

BSD-3-Clause==2.12.0.0

@hackage/extra

Extra functions I use.

BSD-3-Clause>=1.6.14 && <=1.6.17

@hackage/liquidhaskell

Liquid Types for Haskell

BSD-3-Clause==0.8.2.2

@hackage/concurrent-extra

Extra concurrency primitives

BSD-3-Clause>=0.7

@hackage/base

Core data structures and operations

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

@hackage/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause==1.4.1.2

@hackage/array

Mutable and immutable arrays

BSD-3-Clause>=0.5.1.1 && <=0.5.3.0

@hackage/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.2 && <2.3

@hackage/hashable

A class for types that can be converted to a hash value

BSD-3-Clause>=1.2.6.0 && <=1.3.0.0

@hackage/split

Combinator library for splitting lists.

BSD-3-Clause>=0.2.3 && <0.2.4

@hackage/ghc-paths

Knowledge of GHC's installation directories

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

@hackage/text

An efficient packed Unicode text type.

BSD-2-Clause==1.2.3.1

@hackage/containers

Assorted concrete container types

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

@hackage/unordered-containers

Efficient hashing-based container types

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

@hackage/process

Process libraries

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

@hackage/regex-compat

Replaces/enhances "Text.Regex"

BSD-3-Clause>=0.95 && <0.96

@hackage/time

A time library

BSD-2-Clause>=1.6 && <=1.9.3

@hackage/hpc

Code Coverage Library for Haskell

BSD-3-Clause>=0.6.0.0 && <0.6.1

@hackage/reducers

Semigroups, specialized containers and a general map/reduce framework

BSD-3-Clause>=3.12 && <3.13

@hackage/bytestring

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

BSD-3-Clause>=0.10.8.0 && <=0.10.8.2

@hackage/ghc

The GHC API

BSD-3-Clause==8.2.2

@hackage/parsec

Monadic parser combinators

BSD-2-Clause>=3.1 && <3.2

@hackage/HTTP

A library for client-side HTTP

BSD-3-Clause>=4000.3.0 && <4001.0

@hackage/regex-base

Common "Text.Regex.*" API for Regex matching

BSD-3-Clause>=0.93 && <0.94

@hackage/temporary-rc

Portable temporary file and directory support for Windows and Unix, based on code from Cabal

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

@hackage/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.3.0.2 && <=1.3.3.2

@hackage/MissingH

Large utility library

BSD-3-Clause>=1.4.0.0 && <1.5

@hackage/Cabal

A framework for packaging Haskell software

BSD-3-Clause>=2.0.1.0 && <=2.0.1.1

executable:G2 (8 dependencies)

@hackage/base

Core data structures and operations

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

@hackage/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause==1.4.1.2

@hackage/g2

Haskell symbolic execution engine.

BSD-3-Clause

@hackage/text

An efficient packed Unicode text type.

BSD-2-Clause==1.2.3.1

@hackage/containers

Assorted concrete container types

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

@hackage/unordered-containers

Efficient hashing-based container types

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

@hackage/hpc

Code Coverage Library for Haskell

BSD-3-Clause>=0.6.0.0 && <0.6.1

@hackage/ghc

The GHC API

BSD-3-Clause==8.2.2

executable:QuasiQuote (3 dependencies)

@hackage/base

Core data structures and operations

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

@hackage/g2

Haskell symbolic execution engine.

BSD-3-Clause

@hackage/time

A time library

BSD-2-Clause>=1.6 && <=1.9.3

test:test (14 dependencies)

@hackage/tasty

Modern and extensible testing framework

MIT>=1.0

@hackage/base

Core data structures and operations

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

@hackage/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@hackage/g2

Haskell symbolic execution engine.

BSD-3-Clause

@hackage/hashable

A class for types that can be converted to a hash value

BSD-3-Clause

@hackage/ghc-paths

Knowledge of GHC's installation directories

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

@hackage/text

An efficient packed Unicode text type.

BSD-2-Clause

@hackage/containers

Assorted concrete container types

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

@hackage/unordered-containers

Efficient hashing-based container types

BSD-3-Clause

@hackage/time

A time library

BSD-2-Clause>=1.6

@hackage/hpc

Code Coverage Library for Haskell

BSD-3-Clause

@hackage/ghc

The GHC API

BSD-3-Clause

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

MIT>=0.10

@hackage/tagged

Haskell 98 phantom types to avoid unsafely passing dummy arguments

BSD-3-Clause