@hackage rzk dependencies

@hackage/lsp

Haskell library for the Microsoft Language Server Protocol

MIT>=2.4.0.0 && <3

@hackage/kind-generics

Generic programming in GHC style for arbitrary kinds and GADTs.

@hackage/base

Core data structures and operations

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

@hackage/kind-generics-th

Template Haskell support for generating `GenericK` instances

BSD-3-Clause>=1.4.100.0 && <2

@hackage/filepath

Library for manipulating FilePaths in a cross platform way.

@hackage/array

Mutable and immutable arrays

BSD-3-Clause>=2.5.1.0 && <3

@hackage/lsp-types

Haskell library for the Microsoft Language Server Protocol, data types

MIT>=2.1.1.0 && <3

@hackage/stm

Software Transactional Memory

@hackage/mtl

Monad classes for transformers, using functional dependencies

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

@hackage/Glob

Globbing library

@hackage/text

An efficient packed Unicode text type.

@hackage/bifunctors

Bifunctors

@hackage/transformers

Concrete functor and monad transformers

BSD-3-Clause>=2.0.0.0 && <3

@hackage/aeson

Fast JSON parsing and encoding

@hackage/data-default-class

A class for types with a default value (compatibility shim)

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

@hackage/yaml

Support for parsing and rendering YAML documents.

@hackage/containers

Assorted concrete container types

@hackage/free-foil

Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads)

@hackage/async

Run IO operations asynchronously and wait for their results

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

@hackage/co-log-core

Composable Contravariant Comonadic Logging Library

MPL-2.0>=0.3.2.0 && <1

@hackage/bytestring

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

@hackage/directory

Platform-agnostic library for filesystem operations

executable:rzk (19 dependencies)

@hackage/template-haskell

Support library for Template Haskell

@hackage/rzk

An experimental proof assistant for synthetic ∞-categories

BSD-3-Clause

@hackage/kind-generics

Generic programming in GHC style for arbitrary kinds and GADTs.

@hackage/base

Core data structures and operations

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

@hackage/kind-generics-th

Template Haskell support for generating `GenericK` instances

@hackage/array

Mutable and immutable arrays

BSD-3-Clause>=2.2.2 && <3

@hackage/mtl

Monad classes for transformers, using functional dependencies

@hackage/Glob

Globbing library

@hackage/text

An efficient packed Unicode text type.

@hackage/bifunctors

Bifunctors

@hackage/transformers

Concrete functor and monad transformers

@hackage/aeson

Fast JSON parsing and encoding

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

@hackage/yaml

Support for parsing and rendering YAML documents.

@hackage/containers

Assorted concrete container types

@hackage/free-foil

Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads)

BSD-3-Clause>=1.4.7 && <2

@hackage/optparse-generic

Auto-generate a command-line parser for your datatype

@hackage/bytestring

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

@hackage/directory

Platform-agnostic library for filesystem operations

@hackage/with-utf8

Get your IO right on the first try

MPL-2.0>=1.0.3.0 && <2

test:doctests (19 dependencies)

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2.14 && <3

@hackage/template-haskell

Support library for Template Haskell

@hackage/rzk

An experimental proof assistant for synthetic ∞-categories

BSD-3-Clause

@hackage/kind-generics

Generic programming in GHC style for arbitrary kinds and GADTs.

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

@hackage/base

Core data structures and operations

@hackage/kind-generics-th

Template Haskell support for generating `GenericK` instances

@hackage/array

Mutable and immutable arrays

BSD-3-Clause>=2.2.2 && <3

@hackage/mtl

Monad classes for transformers, using functional dependencies

@hackage/Glob

Globbing library

@hackage/text

An efficient packed Unicode text type.

@hackage/bifunctors

Bifunctors

@hackage/transformers

Concrete functor and monad transformers

@hackage/aeson

Fast JSON parsing and encoding

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

@hackage/yaml

Support for parsing and rendering YAML documents.

@hackage/doctest-parallel

Test interactive Haskell examples

MIT>=0.3 && <1

@hackage/containers

Assorted concrete container types

@hackage/free-foil

Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads)

@hackage/bytestring

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

@hackage/directory

Platform-agnostic library for filesystem operations

test:rzk-test (21 dependencies)

@hackage/template-haskell

Support library for Template Haskell

@hackage/rzk

An experimental proof assistant for synthetic ∞-categories

BSD-3-Clause

@hackage/kind-generics

Generic programming in GHC style for arbitrary kinds and GADTs.

@hackage/base

Core data structures and operations

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

@hackage/kind-generics-th

Template Haskell support for generating `GenericK` instances

@hackage/filepath

Library for manipulating FilePaths in a cross platform way.

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

@hackage/array

Mutable and immutable arrays

BSD-3-Clause>=2.2.2 && <3

@hackage/lsp-types

Haskell library for the Microsoft Language Server Protocol, data types

MIT>=2.1.1.0 && <3

@hackage/mtl

Monad classes for transformers, using functional dependencies

@hackage/Glob

Globbing library

@hackage/text

An efficient packed Unicode text type.

@hackage/bifunctors

Bifunctors

@hackage/transformers

Concrete functor and monad transformers

@hackage/aeson

Fast JSON parsing and encoding

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

@hackage/yaml

Support for parsing and rendering YAML documents.

@hackage/containers

Assorted concrete container types

@hackage/free-foil

Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads)

@hackage/hspec

A Testing Framework for Haskell

MIT>=2.7 && <3

@hackage/bytestring

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

@hackage/directory

Platform-agnostic library for filesystem operations