@hackage equational-reasoning dependencies

5 results

library:equational-reasoning (5 dependencies)

@hackage/template-haskell

Support library for Template Haskell

BSD-3-Clause>=2.8 && <2.11

@hackage/singletons

Basic singleton types and definitions

BSD-3-Clause>=0.8 && <0.11

@hackage/void

A Haskell 98 logically uninhabited data type

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

@hackage/base

Core data structures and operations

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

@hackage/tagged

Haskell 98 phantom types to avoid unsafely passing dummy arguments

BSD-3-Clause>=0.6