Derive KnownNat constraints from other KnownNat constraints

ghc-typelits-knownnat alternatives and similar packages

Based on the "ghc" category

• ghc-mod

  9.9 1.4 ghc-typelits-knownnat VS ghc-mod

  Happy Haskell Programming

• ghc-lib

  9.3 8.2 ghc-typelits-knownnat VS ghc-lib

  The GHC API, decoupled from GHC versions

• ghc-vis

  9.0 0.0 ghc-typelits-knownnat VS ghc-vis

  Live visualization of data structures in GHCi

• ghc-events-analyze

  8.8 0.1 ghc-typelits-knownnat VS ghc-events-analyze

  Analyze and visualize event logs

• ghc-exactprint

  8.8 6.1 ghc-typelits-knownnat VS ghc-exactprint

  ExactPrint for GHC

• ghc-events

  8.6 5.0 ghc-typelits-knownnat VS ghc-events

  Library and tool for parsing .eventlog files from GHC

• ghc-source-gen

  8.3 7.2 ghc-typelits-knownnat VS ghc-source-gen

  Constructs Haskell syntax trees for the GHC API.

• ghc-dump-tree

  8.1 0.0 ghc-typelits-knownnat VS ghc-dump-tree

  Dump GHC's parsed, renamed, and type checked ASTs

• ghc-typelits-natnormalise

  8.0 4.0 ghc-typelits-knownnat VS ghc-typelits-natnormalise

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

• ghc-core

  7.9 0.0 ghc-typelits-knownnat VS ghc-core

  Display GHC's core and assembly output in a pager

• ghc-paths

  7.6 0.9 ghc-typelits-knownnat VS ghc-paths

  Knowledge of GHC's installation directories

• ghc-make

  7.6 0.0 ghc-typelits-knownnat VS ghc-make

  Accelerated version of ghc --make

• ghc-simple

  7.4 3.1 ghc-typelits-knownnat VS ghc-simple

  Simplified interface to the GHC API.

• ghc-imported-from

  7.2 0.6 ghc-typelits-knownnat VS ghc-imported-from

  Find the Haddock documentation for a symbol.

• ghc-core-html

  7.1 0.0 ghc-typelits-knownnat VS ghc-core-html

  Core to HTML display

• ghc-syb

  7.0 1.3 ghc-typelits-knownnat VS ghc-syb

  Data and Typeable instances for the GHC API.

• ghc-typelits-extra

  6.7 3.3 ghc-typelits-knownnat VS ghc-typelits-extra

  Additional type-level operations on GHC.TypeLits.Nat

• ghc-time-alloc-prof

  5.9 3.1 ghc-typelits-knownnat VS ghc-time-alloc-prof

  Library for parsing GHC time and allocation profiling reports

• ghc-parmake

  5.6 0.0 ghc-typelits-knownnat VS ghc-parmake

  A parallel wrapper for 'ghc --make'.

• ghc-datasize

  5.2 0.0 ghc-typelits-knownnat VS ghc-datasize

  Determine the size of data structures in GHC's memory

• ghc-lib-parser-ex

  5.1 8.2 ghc-typelits-knownnat VS ghc-lib-parser-ex

  Algorithms on GHC parse trees

• ghc-pkg-lib

  5.0 0.0 ghc-typelits-knownnat VS ghc-pkg-lib

  Provide library support for ghc-pkg information

• ghc-prof

  4.8 2.5 ghc-typelits-knownnat VS ghc-prof

  Library for parsing GHC time and allocation profiling reports

• ghc-usage

  4.1 0.0 ghc-typelits-knownnat VS ghc-usage

  Print minimal export lists

• ghc-srcspan-plugin

  3.5 0.0 ghc-typelits-knownnat VS ghc-srcspan-plugin

  Generic GHC Plugin for annotating Haskell code with source location data.

• ghc-pkg-autofix

  3.5 0.0 ghc-typelits-knownnat VS ghc-pkg-autofix

  Simple utility to fix BROKEN package dependencies for cabal-install.

• ghc-session

  1.8 0.0 ghc-typelits-knownnat VS ghc-session

  Simplified GHC API

• ghc-syb-utils

  - - ghc-typelits-knownnat VS ghc-syb-utils

  Scrap Your Boilerplate utilities for the GHC API.

• ghc-trace-events

  - - ghc-typelits-knownnat VS ghc-trace-events

  Faster traceEvent and traceMarker, and binary object logging for eventlog

Do you think we are missing an alternative of ghc-typelits-knownnat or a related project?

Popular Comparisons

• ghc-typelits-knownnat
  vs
  ghc-typelits-natnormalise
• ghc-typelits-knownnat
  vs
  ghc-pkg-autofix
• ghc-typelits-knownnat
  vs
  ghc-parmake
• ghc-typelits-knownnat
  vs
  ghc-syb-utils
• ghc-mod
  vs
  checkmate

SaaSHub - Software Alternatives and Reviews View more from us