@hackage rzk dependencies

45 results

library:rzk (10 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

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/optparse-generic

Auto-generate a command-line parser for your datatype

BSD-3-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 (12 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

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/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/bifunctors

Bifunctors

BSD-3-Clause

@hackage/aeson

Fast JSON parsing and encoding

BSD-3-Clause

@hackage/Glob

Globbing library

BSD-3-Clause

test:doctests (12 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

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/optparse-generic

Auto-generate a command-line parser for your datatype

BSD-3-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 (11 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

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/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/bifunctors

Bifunctors

BSD-3-Clause

@hackage/aeson

Fast JSON parsing and encoding

BSD-3-Clause

@hackage/Glob

Globbing library

BSD-3-Clause