haskell-ghc-typelits-extra-0.3.1-2-x86_64.pkg.tar.xz


Advertisement

Description

haskell-ghc-typelits-extra - Additional type-level operations on GHC.TypeLits.Nat

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package filename haskell-ghc-typelits-extra-0.3.1-2-x86_64.pkg.tar.xz
Package name haskell-ghc-typelits-extra
Package version 0.3.1
Package release 2
Package architecture x86_64
Package type xz
Homepage https://github.com/clash-lang/ghc-typelits-extra
License custom:BSD2
Maintainer Felix Yan <felixonmars@archlinux.org>
Download size 53.00 KB
Installed size 307.00 KB

Alternatives

Package Version Architecture Repository
haskell-ghc-typelits-extra - - -

Requires

Name Value
ghc-libs -
haskell-ghc -
haskell-ghc-tcplugins-extra -
haskell-ghc-typelits-knownnat -
haskell-ghc-typelits-natnormalise -

Download

Type URL
Mirror ftp5.gwdg.de
Binary Package haskell-ghc-typelits-extra-0.3.1-2-x86_64.pkg.tar.xz
Source Package haskell-ghc-typelits-extra

Install Howto

  1. Enable the community repository on /etc/pacman.conf:
    
    [community]
    Include = /etc/pacman.d/mirrorlist
    
  2. Install haskell-ghc-typelits-extra xz package:
    # pacman -Sy haskell-ghc-typelits-extra

Files

Path
/usr/
/usr/lib/libHSghc-typelits-extra-0.3.1-GLg9SMgpVp9RljgSYazDA-ghc8.6.5.so
/usr/lib/ghc-8.6.5/
/usr/lib/ghc-8.6.5/site-local/
/usr/lib/ghc-8.6.5/site-local/ghc-typelits-extra-0.3.1/
/usr/lib/ghc-8.6.5/site-local/ghc-typelits-extra-0.3.1/GHC/
/usr/lib/ghc-8.6.5/site-local/ghc-typelits-extra-0.3.1/GHC/TypeLits/Extra.dyn_hi
/usr/lib/ghc-8.6.5/site-local/ghc-typelits-extra-0.3.1/GHC/TypeLits/Extra/Solver.dyn_hi
/usr/lib/ghc-8.6.5/site-local/ghc-typelits-extra-0.3.1/GHC/TypeLits/Extra/Solver/Operations.dyn_hi
/usr/lib/ghc-8.6.5/site-local/ghc-typelits-extra-0.3.1/GHC/TypeLits/Extra/Solver/Unify.dyn_hi
/usr/share/
/usr/share/doc/
/usr/share/doc/haskell-ghc-typelits-extra/
/usr/share/haskell/
/usr/share/haskell/register/haskell-ghc-typelits-extra.sh
/usr/share/haskell/unregister/haskell-ghc-typelits-extra.sh
/usr/share/licenses/
/usr/share/licenses/haskell-ghc-typelits-extra/LICENSE

See Also

Package Description
haskell-ghc-typelits-knownnat-0.6-29-x86_64.pkg.tar.xz Derive KnownNat constraints from other KnownNat constraints
haskell-ghc-typelits-natnormalise-0.6.2-28-x86_64.pkg.tar.xz GHC typechecker plugin for types of kind GHC.TypeLits.Nat
haskell-githash-0.1.3.2-11-x86_64.pkg.tar.xz Some handy Template Haskell splices for including the current git hash and branch in the code of your project
haskell-gitrev-1.3.1-14-x86_64.pkg.tar.xz Compile git revision info into Haskell projects
haskell-glib-0.13.7.0-30-x86_64.pkg.tar.xz Binding to the GLIB library for Gtk2Hs
haskell-glob-0.10.0-21-x86_64.pkg.tar.xz Globbing library
haskell-gnuidn-0.2.2-124-x86_64.pkg.tar.xz Bindings for GNU IDN
haskell-gnutls-0.2-14-x86_64.pkg.tar.xz Bindings for GNU libgnutls
haskell-graphscc-1.0.4-14-x86_64.pkg.tar.xz Tarjan's algorithm for computing the strongly connected components of a graph
haskell-graphviz-2999.20.0.3-25-x86_64.pkg.tar.xz Bindings to Graphviz for graph visualisation
haskell-gsasl-0.3.6-13-x86_64.pkg.tar.xz Bindings for GNU libgsasl
haskell-gtk-0.15.1-32-x86_64.pkg.tar.xz Binding to the gtk library for Gtk2Hs
haskell-gtk2hs-buildtools-0.13.5.0-30-x86_64.pkg.tar.xz Tools to build the Gtk2Hs suite of User Interface libraries
haskell-hackage-security-0.5.3.0-61-x86_64.pkg.tar.xz Hackage security library
haskell-haddock-library-1.7.0-69-x86_64.pkg.tar.xz A documentation-generation tool for Haskell libraries
Advertisement
Advertisement