master..3d4e50b · type-fun

git.iko.soy/type-fun

on 3d4e50b help sign in

4 files changed+4−10

since splitsnapshots

unifiedsplit

CHANGELOG.md−3 example/Main.hs−1 src/TypeFun/Data/Peano.hs+3−5 type-fun.cabal+1−1

CHANGELOG.md−3

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

55# CHANGELOG

7−## 0.1.2

8−### Added KnownPeano

9−

107## 0.1.1

118### Fixed

129* Compilable with ghc-8.0.1

example/Main.hs−1

@@ -37,5 +37,4 @@ main = do

3737 print $ prefixConstr p2

3838 print $ prefixConstr p3

3939 print $ uniqConstr p2

40− print $ peanoVal (Proxy :: Proxy (FromNat 100))

4140 -- print $ uniqConstr p3 -- < ElementIsNotUniqInList Int '[Int, Bool, Int]

src/TypeFun/Data/Peano.hs+3−5

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

11module TypeFun.Data.Peano

22 ( N(..)

3− , KnownPeano(..)

43 , ToNat

54 , FromNat

65 , (:+:)

@@ -8,15 +7,14 @@ module TypeFun.Data.Peano

87 , (:*:)

98 ) where

109

11−import Data.Typeable

12−import GHC.Generics (Generic)

13−import GHC.TypeLits

10+import Data.Typeable

11+import GHC.Generics (Generic)

12+import GHC.TypeLits

1413

1514data N = Z | S N

1615 deriving ( Eq, Ord, Read, Show

1716 , Generic, Typeable )

1817

19−-- | @since 0.1.2

2018class KnownPeano (p :: N) where

2119 peanoVal :: proxy p -> Integer

2220

type-fun.cabal+1−1

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

11name: type-fun

2−version: 0.1.2

2+version: 0.1.1

33synopsis: Collection of widely reimplemented type families

44license: BSD3

55license-file: LICENSE