dock
commit8a9a98909ccd3fef41c98c6eef41eea07c642b80
authorAleksey Uymanov <s9gf4ult@gmail.com>
dateSun 11 Oct 2020, 22:01 (6 years ago)
parent642b423
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