git.iko.soy/type-fun
on master help sign in
dock
8a9a989Aleksey Uymanov
src/TypeFun/Data/Peano.hs+1
compare with master
unifiedsplit
@@ -16,6 +16,7 @@ data N = Z | S N
16 deriving ( Eq, Ord, Read, Show
16 deriving ( Eq, Ord, Read, Show
17 , Generic, Typeable )
17 , Generic, Typeable )
18
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