Log message:
Update to 0.3.4.1
ChangeLog:
28 Mar 2014
Release 0.3.4.1
Fix build with ghc-7.8 broken by changes in HList 0.3.4
20 Feb 2014
Release 0.3.4
RecordPuns add ( ) syntax
Use the tagged package: this removes LVPair and lowercase proxy.
03 Feb 2014
Release 0.3.2.0
Relax hspec dependency
29 Jan 2014
Release 0.3.1.0
Work with newer GHC.TypeLits (SingI and similar were moved out)
05 Nov 2013
Release 0.3.0.1
fix `cabal test'
01 Nov 2013
Release 0.3
pun quasiquote supports nested records
remove HStagedEq
30 Oct 2013
Another large patch from Adam Vogt
Connect HList with Lens. The Data instance for HList
treats HList as a list; a Data instance for HListFlat
treats HList as a tuple.
24 Oct 2013
Another large patch from Adam Vogt
Added HFoldl, HScanr, Data instances for HList, finished the
update of Record, the Keyword example
becomes full-fledged part of HList
17 Sep 2013
Another large patch from Adam Vogt
Added HReplicate, SameLength constraint (used by HSequence and HMap),
FunCxt for interpreting context applications,
convenient syntax for record patterns,
clean-up of ApplyAB and general clean-up
31 Aug 2013
Large patch from Adam Vogt
Improving the Apply class (ApplyAB) to help type inference
and avoid specifying many type sigatures.
Fix a few of broken code files, in particular RecordAdv.
28 Aug 2013
Large patch from Adam Vogt
moved files that need attention to broken/
put HSequence in with HList.HList: fixed the function
added Label6 with GHC Symbols
fix HZip, Variant, examples/TIPTransformM.hs
Many Haddoc changes and beautifications
format some examples for doctest
27 Aug 2013
Adam Vogt's patch greatly simplifying makeLabels.
Updated TIC.hs
15 Nov 2012
Ported basic Records.
31 Oct 2012
New file HList/HList.hs contains the implementation of
heterogeneous lists. HListPrelude.hs defines operations
that work across all heterogeneous collections (lists, TIP,
Records, etc).
General clean-up, removing obsolete code.
Code re-written up to Records.
25 Oct 2012
hUnfold
hProjectByHNats and hProjectAwayByHNats now take type-level
list of naturals as the argument. They are implemented in terms
of Unfold. More computation is made purely type-level.
24 Oct 2012
Nat, Bool and [*] kinds
HList is now GADT
Rewriting FakePrelude, HListPrelude, HArray using type families
to a large extent, and getting rid of functional dependencies
|