@hackage agda-unused dependencies

22 results

library:agda-unused (8 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause>=1.2.4 && <1.3

@haskell/mtl

Monad classes for transformers, using functional dependencies

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

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

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

@haskell/directory

Platform-agnostic library for filesystem operations

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

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.6.2 && <0.7

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.13.0 && <4.14

@hackage/megaparsec

Monadic parser combinators

BSD-2-Clause>=8.0.0 && <8.1

@hackage/Agda

A dependently typed functional programming language and proof assistant

MIT>=2.6.1 && <2.6.2

executable:agda-unused (8 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause>=1.2.4 && <1.3

@haskell/mtl

Monad classes for transformers, using functional dependencies

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

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

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

@haskell/directory

Platform-agnostic library for filesystem operations

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

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.13.0 && <4.14

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

BSD-3-Clause>=0.15.1 && <0.16

@hackage/agda-unused

Check for unused code in an Agda project.

MIT

@hackage/aeson

Fast JSON parsing and encoding

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

test:test (6 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause>=1.2.4 && <1.3

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

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

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.6.2 && <0.7

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.13.0 && <4.14

@hackage/hspec

A Testing Framework for Haskell

MIT>=2.7.1 && <2.8

@hackage/agda-unused

Check for unused code in an Agda project.

MIT