642b423...master · type-fun

CHANGELOG.md+3

since splitsnapshots

@@ -4,6 +4,9 @@

4

5# CHANGELOG

6

7+## 0.1.2

8+### Added KnownPeano

9+

7## 0.1.1

10## 0.1.1

8### Fixed

11### Fixed

9* Compilable with ghc-8.0.1

12* Compilable with ghc-8.0.1

src/TypeFun/Data/Peano.hs+1

@@ -16,6 +16,7 @@ data N = Z | S N

16 deriving ( Eq, Ord, Read, Show

17 , Generic, Typeable )

18

19+-- | @since 0.1.2

19class KnownPeano (p :: N) where

20class KnownPeano (p :: N) where

20 peanoVal :: proxy p -> Integer

21 peanoVal :: proxy p -> Integer

21

22

type-fun.cabal+1−1

@@ -1,5 +1,5 @@

1name: type-fun

2−version: 0.1.1

2+version: 0.1.2

3synopsis: Collection of widely reimplemented type families

4license: BSD3

5license-file: LICENSE