@hackage clash-finite dependencies

15 results

Support library for Template Haskell

Core data structures and operations

Basic singleton types and definitions

GHC typechecker plugin for types of kind GHC.TypeLits.Nat

Derive KnownNat constraints from other KnownNat constraints

Additional type-level operations on GHC.TypeLits.Nat

Constraint manipulation

Clash: a functional hardware description language - Prelude library

Deep evaluation of data structures

Core data structures and operations

HUnit support for the Tasty test framework.

Modern and extensible testing framework

Constraint manipulation

Clash: a functional hardware description language - Prelude library

A class for types with only finitely many inhabitants