@hackage rzk dependencies

63 results

library:rzk (16 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause

@haskell/stm

Software Transactional Memory

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@haskell/bytestring

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

BSD-3-Clause

@haskell/base

Core data structures and operations

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

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/yaml

Support for parsing and rendering YAML documents.

BSD-3-Clause

@hackage/optparse-generic

Auto-generate a command-line parser for your datatype

BSD-3-Clause

@hackage/lsp-types

Haskell library for the Microsoft Language Server Protocol, data types

MIT

@hackage/lsp

Haskell library for the Microsoft Language Server Protocol

MIT

@hackage/lens

Lenses, Folds and Traversals

BSD-2-Clause

@hackage/bifunctors

Bifunctors

BSD-3-Clause

@hackage/aeson

Fast JSON parsing and encoding

BSD-3-Clause

@hackage/Glob

Globbing library

BSD-3-Clause

executable:rzk (16 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause

@haskell/stm

Software Transactional Memory

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@haskell/bytestring

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

BSD-3-Clause

@haskell/base

Core data structures and operations

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

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/yaml

Support for parsing and rendering YAML documents.

BSD-3-Clause

@hackage/with-utf8

Get your IO right on the first try

MPL-2.0

@hackage/rzk

An experimental proof assistant for synthetic ∞-categories

BSD-3-Clause

@hackage/optparse-generic

Auto-generate a command-line parser for your datatype

BSD-3-Clause

@hackage/lens

Lenses, Folds and Traversals

BSD-2-Clause

@hackage/bifunctors

Bifunctors

BSD-3-Clause

@hackage/aeson

Fast JSON parsing and encoding

BSD-3-Clause

@hackage/Glob

Globbing library

BSD-3-Clause

test:doctests (16 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause

@haskell/stm

Software Transactional Memory

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@haskell/bytestring

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

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/yaml

Support for parsing and rendering YAML documents.

BSD-3-Clause

@hackage/optparse-generic

Auto-generate a command-line parser for your datatype

BSD-3-Clause

@hackage/lens

Lenses, Folds and Traversals

BSD-2-Clause

@hackage/doctest

Test interactive Haskell examples

MIT

@hackage/bifunctors

Bifunctors

BSD-3-Clause

@hackage/aeson

Fast JSON parsing and encoding

BSD-3-Clause

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause

@hackage/Glob

Globbing library

BSD-3-Clause

test:rzk-test (15 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause

@haskell/stm

Software Transactional Memory

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@haskell/bytestring

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

BSD-3-Clause

@haskell/base

Core data structures and operations

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

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/yaml

Support for parsing and rendering YAML documents.

BSD-3-Clause

@hackage/rzk

An experimental proof assistant for synthetic ∞-categories

BSD-3-Clause

@hackage/optparse-generic

Auto-generate a command-line parser for your datatype

BSD-3-Clause

@hackage/lens

Lenses, Folds and Traversals

BSD-2-Clause

@hackage/bifunctors

Bifunctors

BSD-3-Clause

@hackage/aeson

Fast JSON parsing and encoding

BSD-3-Clause

@hackage/Glob

Globbing library

BSD-3-Clause