@hackage / liquidhaskell-boot

Liquid Types for Haskell

Latest0.9.14.1.1

Dependencies

library:liquidhaskell-boot (37 dependencies)

@hackage / time A time library
- Version: >=1.4
- License: BSD-2-Clause
@hackage / Diff Diff algorithm in pure Haskell
- Version: >=0.3 && <1.1
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.10
- License: BSD-3-Clause
@hackage / ghc-boot Shared functionality between GHC and its boot libraries
- Version:
- License: BSD-3-Clause
@hackage / ghc The GHC API
- Version: ^>=9.14
- License: BSD-3-Clause
@hackage / cereal A binary serialization library
- Version:
- License: BSD-3-Clause
@hackage / free Monads for free
- Version:
- License: BSD-3-Clause
@hackage / Cabal A framework for packaging Haskell software
- Version:
- License: BSD-3-Clause
@hackage / liquid-fixpoint Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
- Version: ==0.9.6.3.7
- License: BSD-3-Clause
@hackage / exceptions Extensible optionally-pure exceptions
- Version: <0.11
- License: BSD-3-Clause
@hackage / template-haskell Support library for Template Haskell
- Version: >=2.9
- License: BSD-3-Clause
@hackage / extra Extra functions I use.
- Version:
- License: BSD-3-Clause
@hackage / deepseq Deep evaluation of data structures
- Version: >=1.3
- License: BSD-3-Clause
@hackage / fingertree Generic finger-tree structure, with example instances
- Version: >=0.1
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.11.1.0 && <5
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version: >=1.3
- License: BSD-3-Clause
@hackage / gitrev Compile git revision info into Haskell projects
- Version:
- License: BSD-3-Clause
@hackage / ghc-prim GHC primitives
- Version:
- License: BSD-3-Clause
@hackage / syb Scrap Your Boilerplate
- Version: >=0.4.4
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version:
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.1
- License: BSD-3-Clause
@hackage / megaparsec Monadic parser combinators
- Version: >=8
- License: BSD-2-Clause
@hackage / hashable A class for types that can be converted to a hash value
- Version: >=1.3 && <1.6
- License: BSD-3-Clause
@hackage / temporary Portable temporary file and directory support
- Version: >=1.2
- License: BSD-3-Clause
@hackage / split Combinator library for splitting lists.
- Version:
- License: BSD-3-Clause
@hackage / th-compat Backward- (and forward-)compatible Quote and Code types
- Version: <0.2
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=1.2
- License: BSD-2-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.3
- License: BSD-3-Clause
@hackage / aeson Fast JSON parsing and encoding
- Version:
- License: BSD-3-Clause
@hackage / vector Efficient Arrays
- Version: >=0.10
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5
- License: BSD-3-Clause
@hackage / unordered-containers Efficient hashing-based container types
- Version: >=0.2.11
- License: BSD-3-Clause
@hackage / githash Compile git revision info into Haskell projects
- Version:
- License: BSD-3-Clause
@hackage / binary Binary serialisation for Haskell values using lazy ByteStrings
- Version:
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.2
- License: BSD-3-Clause
@hackage / pretty Pretty-printing library
- Version: >=1.1
- License: BSD-3-Clause
@hackage / hscolour Colourise Haskell code.
- Version: >=1.22
- License: LicenseRef-LGPL

test:ghc-api-tests (8 dependencies)

test:liquidhaskell-parser (10 dependencies)

test:wiredin-tests (9 dependencies)