Monthly Downloads: 30
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags: Data Dependent Types Type
Latest version: v0.1.1
type-fun alternatives and similar packages
Based on the "type" category.
Alternatively, view type-fun alternatives based on common mentions on social networks and blogs.
type-combinators7.4 0.0 type-fun VS type-combinatorsType level lists, pairs, sums, their operations, and their properties.
type-aligned7.4 0.0 type-fun VS type-alignedVarious type-aligned sequence data structures.
type-equality6.4 0.0 type-fun VS type-equalityHaskell definition of type equality, coercion/cast and other operations.
type-level5.8 0.0 type-fun VS type-levelType-level programming library
type-unary5.2 0.0 type-fun VS type-unaryType-level and typed unary natural numbers, vectors, inequality proofs
type-map4.7 0.0 type-fun VS type-mapType-indexed maps, or a lightweight record library
type-combinators-singletonsInterop between type-combinators and singletons library
type-level-tf3.2 0.0 type-fun VS type-level-tfType level numerics for Haskell using type families. Based on type-level.
type-combinators-quoteQuasiquoters for the 'type-combinators' library.
type-level-integers1.9 0.0 type-fun VS type-level-integersProvides integers lifted to the type level.
Static code analysis for 29 languages.
Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
Do you think we are missing an alternative of type-fun or a related project?