@hackage twee dependencies

19 results

library:twee (10 dependencies)

@hackage/base

Core data structures and operations

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

@hackage/primitive

Primitive memory-related operations

BSD-3-Clause

@hackage/ghc-prim

GHC primitives

BSD-3-Clause

@hackage/heaps

Asymptotically optimal Brodal/Okasaki heaps.

BSD-3-Clause

@hackage/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/dlist

Difference lists

BSD-3-Clause

@hackage/reflection

Reifies arbitrary terms into types that can be reflected back into terms

BSD-3-Clause

@hackage/transformers

Concrete functor and monad transformers

BSD-3-Clause

@hackage/containers

Assorted concrete container types

BSD-3-Clause

@hackage/pretty

Pretty-printing library

BSD-3-Clause

executable:twee (9 dependencies)

@hackage/twee

An equational theorem prover

BSD-3-Clause

@hackage/jukebox

A first-order reasoning toolbox

BSD-3-Clause==0.2.17

@hackage/base

Core data structures and operations

BSD-3-Clause

@hackage/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/split

Combinator library for splitting lists.

BSD-3-Clause

@hackage/reflection

Reifies arbitrary terms into types that can be reflected back into terms

BSD-3-Clause

@hackage/transformers

Concrete functor and monad transformers

BSD-3-Clause

@hackage/containers

Assorted concrete container types

BSD-3-Clause

@hackage/pretty

Pretty-printing library

BSD-3-Clause