CHANGELOG.md+3
@@ -4,6 +4,9 @@
44
55# CHANGELOG
66
7+## 0.1.2
8+### Added KnownPeano
9+
710## 0.1.1
811### Fixed
912* Compilable with ghc-8.0.1
src/TypeFun/Data/Peano.hs+1
@@ -16,6 +16,7 @@ data N = Z | S N
1616 deriving ( Eq, Ord, Read, Show
1717 , Generic, Typeable )
1818
19+-- | @since 0.1.2
1920class KnownPeano (p :: N) where
2021 peanoVal :: proxy p -> Integer
2122
type-fun.cabal+1−1
@@ -1,5 +1,5 @@
11name: type-fun
2−version: 0.1.1
2+version: 0.1.2
33synopsis: Collection of widely reimplemented type families
44license: BSD3
55license-file: LICENSE