haskell-singleton-bool-0.1.5-1-x86_64.pkg.tar.xz


Advertisement

Description

haskell-singleton-bool - Type level booleans

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package filename haskell-singleton-bool-0.1.5-1-x86_64.pkg.tar.xz
Package name haskell-singleton-bool
Package version 0.1.5
Package release 1
Package architecture x86_64
Package type xz
Homepage https://github.com/phadej/singleton-bool
License BSD
Maintainer Felix Yan <felixonmars@archlinux.org>
Download size 13.66 KB
Installed size 54.00 KB

Alternatives

Package Version Architecture Repository
haskell-singleton-bool-0.1.5-2-x86_64.pkg.tar.zst Arch Linux Community Testing
haskell-singleton-bool - - -

Requires

Name Value
ghc-libs -
haskell-dec -

Download

Type URL
Mirror ftp5.gwdg.de
Binary Package haskell-singleton-bool-0.1.5-1-x86_64.pkg.tar.xz
Source Package haskell-singleton-bool

Install Howto

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

Files

Path
/usr/
/usr/lib/libHSsingleton-bool-0.1.5-ILc7I2ZiylMBjb8V7CUi6W-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/singleton-bool-0.1.5/
/usr/lib/ghc-8.6.5/site-local/singleton-bool-0.1.5/Data/
/usr/lib/ghc-8.6.5/site-local/singleton-bool-0.1.5/Data/Singletons/Bool.dyn_hi
/usr/share/
/usr/share/doc/
/usr/share/doc/haskell-singleton-bool/
/usr/share/haskell/
/usr/share/haskell/register/haskell-singleton-bool.sh
/usr/share/haskell/unregister/haskell-singleton-bool.sh
/usr/share/licenses/
/usr/share/licenses/haskell-singleton-bool/LICENSE

See Also

Package Description
haskell-singletons-2.5.1-39-x86_64.pkg.tar.zst A framework for generating singleton types
haskell-skein-1.0.9.4-31-x86_64.pkg.tar.xz Skein, a family of cryptographic hash functions. Includes Skein-MAC as well
haskell-skylighting-0.8.3-7-x86_64.pkg.tar.zst Syntax highlighting library
haskell-skylighting-core-0.8.3-7-x86_64.pkg.tar.zst Syntax highlighting library
haskell-smallcheck-1.1.5-7-x86_64.pkg.tar.xz A property-based testing library
haskell-smtlib-1.1-3-x86_64.pkg.tar.xz A library for working with the SMTLIB format
haskell-snap-core-1.0.4.1-7-x86_64.pkg.tar.zst A Haskell Web Framework (core interfaces and types)
haskell-snap-server-1.1.1.1-88-x86_64.pkg.tar.zst A web server for the Snap Framework
haskell-socks-0.6.1-7-x86_64.pkg.tar.zst Socks proxy (version 5) implementation
haskell-sop-core-0.5.0.0-1-x86_64.pkg.tar.xz True Sums of Products
haskell-sourcemap-0.1.6-152-x86_64.pkg.tar.zst Implementation of source maps as proposed by Google and Mozilla
haskell-spdx-1.0.0.1-8-x86_64.pkg.tar.zst SPDX license expression language, Extras
haskell-split-0.2.3.3-27-x86_64.pkg.tar.zst Combinator library for splitting lists
haskell-splitmix-0.0.3-9-x86_64.pkg.tar.zst Fast Splittable PRNG
haskell-src-exts-1.21.1-6-x86_64.pkg.tar.zst Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
Advertisement
Advertisement