ghc-th-abstraction-devel-0.2.11.0-1.4.i586.rpm


Advertisement

Description

ghc-th-abstraction-devel - Haskell th-abstraction library development files

Property Value
Distribution openSUSE Tumbleweed
Repository openSUSE Oss all
Package filename ghc-th-abstraction-devel-0.2.11.0-1.4.i586.rpm
Package name ghc-th-abstraction-devel
Package version 0.2.11.0
Package release 1.4
Package architecture i586
Package type rpm
Category Development/Libraries/Haskell
Homepage https://hackage.haskell.org/package/th-abstraction
License ISC
Maintainer -
Download size 306.19 KB
Installed size 2.77 MB
This package provides the Haskell th-abstraction library development files.

Alternatives

Package Version Architecture Repository
ghc-th-abstraction-devel-0.2.11.0-1.4.x86_64.rpm 0.2.11.0 x86_64 openSUSE Oss
ghc-th-abstraction-devel - - -

Requires

Name Value
ghc-compiler = 8.6.5
ghc-devel(base-4.12.0.0) -
ghc-devel(containers-0.6.0.1) -
ghc-devel(ghc-prim-0.5.3) -
ghc-devel(template-haskell-2.14.0.0) -
ghc-th-abstraction = 0.2.11.0-1.4

Provides

Name Value
ghc-devel(th-abstraction-0.2.11.0-DAhuCgi08HTBWsDjm9nrOq) -
ghc-th-abstraction-devel = 0.2.11.0-1.4
ghc-th-abstraction-devel(x86-32) = 0.2.11.0-1.4

Download

Type URL
Mirror widehat.opensuse.org
Binary Package ghc-th-abstraction-devel-0.2.11.0-1.4.i586.rpm
Source Package ghc-th-abstraction-0.2.11.0-1.4.src.rpm

Install Howto

Install ghc-th-abstraction-devel rpm package:

# zypper install ghc-th-abstraction-devel

Files

Path
/usr/lib/ghc-8.6.5/package.conf.d/th-abstraction-0.2.11.0.conf
/usr/lib/ghc-8.6.5/th-abstraction-0.2.11.0-DAhuCgi08HTBWsDjm9nrOq/libHSth-abstraction-0.2.11.0-DAhuCgi08HTBWsDjm9nrOq.a
/usr/lib/ghc-8.6.5/th-abstraction-0.2.11.0-DAhuCgi08HTBWsDjm9nrOq/libHSth-abstraction-0.2.11.0-DAhuCgi08HTBWsDjm9nrOq_p.a
/usr/lib/ghc-8.6.5/th-abstraction-0.2.11.0-DAhuCgi08HTBWsDjm9nrOq/Language/
/usr/lib/ghc-8.6.5/th-abstraction-0.2.11.0-DAhuCgi08HTBWsDjm9nrOq/Language/Haskell/
/usr/lib/ghc-8.6.5/th-abstraction-0.2.11.0-DAhuCgi08HTBWsDjm9nrOq/Language/Haskell/TH/Datatype.dyn_hi
/usr/lib/ghc-8.6.5/th-abstraction-0.2.11.0-DAhuCgi08HTBWsDjm9nrOq/Language/Haskell/TH/Datatype.hi
/usr/lib/ghc-8.6.5/th-abstraction-0.2.11.0-DAhuCgi08HTBWsDjm9nrOq/Language/Haskell/TH/Datatype.p_hi
/usr/lib/ghc-8.6.5/th-abstraction-0.2.11.0-DAhuCgi08HTBWsDjm9nrOq/Language/Haskell/TH/Datatype/Internal.dyn_hi
/usr/lib/ghc-8.6.5/th-abstraction-0.2.11.0-DAhuCgi08HTBWsDjm9nrOq/Language/Haskell/TH/Datatype/Internal.hi
/usr/lib/ghc-8.6.5/th-abstraction-0.2.11.0-DAhuCgi08HTBWsDjm9nrOq/Language/Haskell/TH/Datatype/Internal.p_hi
/usr/share/doc/ghc-8.6.5/html/libraries/th-abstraction-0.2.11.0/Language-Haskell-TH-Datatype.html
/usr/share/doc/ghc-8.6.5/html/libraries/th-abstraction-0.2.11.0/doc-index.html
/usr/share/doc/ghc-8.6.5/html/libraries/th-abstraction-0.2.11.0/haddock-bundle.min.js
/usr/share/doc/ghc-8.6.5/html/libraries/th-abstraction-0.2.11.0/hslogo-16.png
/usr/share/doc/ghc-8.6.5/html/libraries/th-abstraction-0.2.11.0/index.html
/usr/share/doc/ghc-8.6.5/html/libraries/th-abstraction-0.2.11.0/meta.json
/usr/share/doc/ghc-8.6.5/html/libraries/th-abstraction-0.2.11.0/minus.gif
/usr/share/doc/ghc-8.6.5/html/libraries/th-abstraction-0.2.11.0/ocean.css
/usr/share/doc/ghc-8.6.5/html/libraries/th-abstraction-0.2.11.0/plus.gif
/usr/share/doc/ghc-8.6.5/html/libraries/th-abstraction-0.2.11.0/quick-jump.css
/usr/share/doc/ghc-8.6.5/html/libraries/th-abstraction-0.2.11.0/synopsis.png
/usr/share/doc/ghc-8.6.5/html/libraries/th-abstraction-0.2.11.0/th-abstraction.haddock
/usr/share/doc/ghc-8.6.5/html/libraries/th-abstraction-0.2.11.0/th-abstraction.txt
/usr/share/doc/packages/ghc-th-abstraction-devel/ChangeLog.md
/usr/share/doc/packages/ghc-th-abstraction-devel/README.md

Changelog

2019-02-27 - psimons@suse.com
- Update th-abstraction to version 0.2.11.0.
[#]# 0.2.11.0 -- 2019-02-26
* Fix a bug in which `freeVariablesWellScoped` would sometimes not preserve
the left-to-right ordering of `Name`s generated with `newName`.
2018-12-21 - psimons@suse.com
- Update th-abstraction to version 0.2.10.0.
[#]# 0.2.10.0 -- 2018-12-20
* Optimization: `quantifyType` now collapses consecutive `forall`s. For
instance, calling `quantifyType` on `forall b. a -> b -> T a` now produces
`forall a b. a -> b -> T a` instead of `forall a. forall b. a -> b -> T a`.
[#]# 0.2.9.0 -- 2018-12-20
* Fix a bug in which `resolveTypeSynonyms` would not look into `ForallT`s,
`SigT`s, `InfixT`s, or `ParensT`s.
* Fix a bug in which `quantifyType` would not respect the dependency order of
type variables (e.g., `Proxy (a :: k)` would have erroneously been quantified
as `forall a k. Proxy (a :: k)`).
* Fix a bug in which `asEqualPred` would return incorrect results with GHC 8.7.
* Add a `freeVariablesWellScoped` function which computes the free variables of
a list of types and sorts them according to dependency order.
* Add a `resolveKindSynonyms` function which expands all type synonyms in a
`Kind`. This is mostly useful for supporting old GHCs where `Type` and `Kind`
were not the same.
2018-10-20 - Peter Simons <psimons@suse.com>
- Use https URL to refer to bugs.opensuse.org.
2018-07-18 - psimons@suse.com
- Cosmetic: replace tabs with blanks, strip trailing white space,
and update copyright headers with spec-cleaner.
2018-07-13 - psimons@suse.com
- Update th-abstraction to version 0.2.8.0.
[#]# 0.2.8.0 -- 2018-06-29
* GADT reification is now much more robust with respect to `PolyKinds`:
* A bug in which universally quantified kind variables were mistakenly
flagged as existential has been fixed.
* A bug in which the kinds of existentially quantified type variables
were not substituted properly has been fixed.
* More kind equalities are detected than before. For example, in the
following data type:
```haskell
data T (a :: k) where
MkT :: forall (a :: Bool). T a
```
We now catch the `k ~ Bool` equality.
* Tweak `resolveTypeSynonyms` so that failing to reify a type constructor
name so longer results in an error. Among other benefits, this makes
it possible to pass data types with GADT syntax to `normalizeDec`.
[#]# 0.2.7.0 -- 2018-06-17
* Fix bug in which data family instances with duplicate occurrences of type
variables in the left-hand side would have redundant equality constraints
in their contexts.
2018-05-14 - psimons@suse.com
- Update th-abstraction to version 0.2.6.0 revision 1.
* Fix bug in which `applySubstitution` and `freeVariables` would ignore
type variables in the kinds of type variable binders.
* Added `pragLineDCompat`, `newtypeDCompat` and `tySynInstDCompat`
* Fix bug that caused GADT equality constraints to be incorrect in some cases.
* Expose `Unpackedness` and `Strictness` (which were unexported by accident).
* Add `resolvePredSynonyms`
* Add `reifyConstructor`, which allows reification of `ConstructorInfo` from
a constructor name, and `lookupByConstructorName`, which allows directly
looking up a `ConstructorInfo` from a `DatatypeInfo` value for a given
constructor `Name`.
* Augment `reifyDatatype` to be able to look up `DatatypeInfo` from the `Name`
of a record selector for one of its constructors. Also add `reifyRecord` for
reification of of `ConstructorInfo` from a record name, and
`lookupByRecordName`, which allows directly looking up a `ConstructorInfo`
from a `DatatypeInfo` value for a given record `Name`.
* Fix bug that caused `th-abstraction` to fail on GHC 7.0 and 7.2 when passing
a vanilla constructor name to `reifyDatatype`
* Make `normalizeDec` and `normalizeCon` more robust with respect to
data family instances on GHC 7.6 and 7.8
2017-06-30 - psimons@suse.com
- Update to version 0.2.3.0.

See Also

Package Description
ghc-th-expand-syns-0.4.4.0-3.7.i586.rpm Expands type synonyms in Template Haskell ASTs
ghc-th-expand-syns-0.4.4.0-3.7.x86_64.rpm Expands type synonyms in Template Haskell ASTs
ghc-th-expand-syns-devel-0.4.4.0-3.7.i586.rpm Haskell th-expand-syns library development files
ghc-th-expand-syns-devel-0.4.4.0-3.7.x86_64.rpm Haskell th-expand-syns library development files
ghc-th-lift-0.7.11-2.9.i586.rpm Derive Template Haskell's Lift class for datatypes
ghc-th-lift-0.7.11-2.9.x86_64.rpm Derive Template Haskell's Lift class for datatypes
ghc-th-lift-devel-0.7.11-2.9.i586.rpm Haskell th-lift library development files
ghc-th-lift-devel-0.7.11-2.9.x86_64.rpm Haskell th-lift library development files
ghc-th-lift-instances-0.1.12-1.4.i586.rpm Lift instances for template-haskell for common data types
ghc-th-lift-instances-0.1.12-1.4.x86_64.rpm Lift instances for template-haskell for common data types
ghc-th-lift-instances-devel-0.1.12-1.4.i586.rpm Haskell th-lift-instances library development files
ghc-th-lift-instances-devel-0.1.12-1.4.x86_64.rpm Haskell th-lift-instances library development files
ghc-th-orphans-0.13.7-1.3.i586.rpm Orphan instances for TH datatypes
ghc-th-orphans-0.13.7-1.3.x86_64.rpm Orphan instances for TH datatypes
ghc-th-orphans-devel-0.13.7-1.3.i586.rpm Haskell th-orphans library development files
Advertisement
Advertisement