@hackage / should-not-typecheck

A HUnit/hspec assertion library to verify that an expression does not typecheck

2.1.0

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / apply-unordered Apply a function to an argument specified by a type level Nat
- Version: 1.0
- Last uploaded: 5 years ago
- License: BSD-3-Clause
@hackage / apply-unordered-mono Apply functions to arguments in an unordered type-directed fashion
- Version: 1.0
- Last uploaded: 5 years ago
- License: BSD-3-Clause
@hackage / can-i-haz Generic implementation of the Has and CoHas patterns
- Version: 0.3.1.1
- Last uploaded: 3 years ago
- License: BSD-3-Clause
@hackage / cmptype Compare types of any kinds
- Version: 0.2.0.0
- Last uploaded: 6 years ago
- License: BSD-3-Clause
@hackage / greskell Haskell binding for Gremlin graph query language
- Version: 2.0.3.5
- Last uploaded: 1 month ago
- License: BSD-3-Clause
@hackage / justified-containers Keyed container types with type-checked proofs of key presence.
- Version: 0.3.0.0
- Last uploaded: 8 years ago
- License: BSD-2-Clause
@hackage / list-tuple List-like operations for tuples
- Version: 0.1.4.1
- Last uploaded: about 1 year ago
- License: Apache-2.0
@hackage / mezzo Typesafe music composition
- Version: 0.3.1.0
- Last uploaded: 8 years ago
- License: MIT
@hackage / polysemy-plugin Disambiguate obvious uses of effects.
- Version: 0.4.5.3
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / records-sop Record subtyping and record utilities with generics-sop
- Version: 0.1.1.1
- Last uploaded: 3 years ago
- License: BSD-3-Clause
@hackage / ruin Pliable records
- Version: 0.1.0.1
- Last uploaded: 10 years ago
- License: BSD-3-Clause
@hackage / safe-length Tired of accidentally calling length on tuples? Relief at last!
- Version: 0.1.0.0
- Last uploaded: 10 years ago
- License: BSD-3-Clause
@hackage / servant-server A family of combinators for defining webservices APIs and serving them
- Version: 0.20.3.0
- Last uploaded: 1 month ago
- License: BSD-3-Clause
@hackage / servant-validate Chekc static properties of servant APIs
- Version: 0.1.0.0
- Last uploaded: 5 years ago
- License: BSD-3-Clause
@hackage / text-display A typeclass for user-facing output
- Version: 1.0.0.0
- Last uploaded: about 1 year ago
- License: MIT
@hackage / twiml TwiML library for Haskell
- Version: 0.2.1.0
- Last uploaded: 8 years ago
- License: BSD-3-Clause
@hackage / unboxing-vector A newtype-friendly variant of unboxed vectors
- Version: 0.2.0.0
- Last uploaded: 5 years ago
- License: BSD-3-Clause
@hackage / vary Vary: Friendly and fast polymorphic variants (open unions/coproducts/extensible sums)
- Version: 0.1.1.3
- Last uploaded: about 1 year ago
- License: MIT
@hackage / vinyl Extensible Records
- Version: 0.14.3
- Last uploaded: 4 years ago
- License: MIT
@hackage / world-peace Open Union and Open Product Types
- Version: 1.0.2.0
- Last uploaded: 6 years ago
- License: BSD-3-Clause