on master help sign in
Merge tag '0.1.0'
ccddf7eAleksey Uimanov
CHANGELOG.md+8
@@ -4,5 +4,13 @@
4
4
5# CHANGELOG
5# CHANGELOG
6
6
7+## 0.1.0
8+### Added
9+* Type family `Substract` to remove elements of one list from another
10+* Unsafe helper functions to relax constraints in some safe points. But we use
11+ `unsafeCoerce` so this functions are potentially just break constants
12+### Changed
13+* Compilable under ghc-7.8
14+
7## 0.0.1
15## 0.0.1
8First version
16First version
src/TypeFun/Data/List.hs+1−1
@@ -40,7 +40,7 @@ module TypeFun.Data.List
40 , ElementIsUniq
40 , ElementIsUniq
41 , UniqElements
41 , UniqElements
42 , UniqElements'
42 , UniqElements'
43− -- * Helpers
43+ -- * Unsafe helpers
44 , appendId
44 , appendId
45 , subListId
45 , subListId
46 ) where
46 ) where
type-fun.cabal+1−1
@@ -1,5 +1,5 @@
1name: type-fun
1name: type-fun
2−version: 0.0.1
2+version: 0.1.0
3synopsis: Collection of widely reimplemented type families
3synopsis: Collection of widely reimplemented type families
4license: BSD3
4license: BSD3
5license-file: LICENSE
5license-file: LICENSE