Permalink
Browse files

Add values

  • Loading branch information...
1 parent 6ba562f commit 545925919fe495116a9997f7fa6ac89748a11063 @Shimuuar committed Jul 31, 2010
Showing with 14 additions and 3 deletions.
  1. +11 −0 TypeLevel/Number/Nat/Num.hs
  2. +3 −3 TypeLevel/Number/Nat/Types.hs
@@ -13,3 +13,14 @@ type N6 = $(natT 6)
type N7 = $(natT 7)
type N8 = $(natT 8)
type N9 = $(natT 9)
+
+n0 :: N0; n0 = undefined
+n1 :: N1; n1 = undefined
+n2 :: N2; n2 = undefined
+n3 :: N3; n3 = undefined
+n4 :: N4; n4 = undefined
+n5 :: N5; n5 = undefined
+n6 :: N6; n6 = undefined
+n7 :: N7; n7 = undefined
+n8 :: N8; n8 = undefined
+n9 :: N9; n9 = undefined
@@ -1,8 +1,8 @@
{-# LANGUAGE EmptyDataDecls #-}
module TypeLevel.Number.Nat.Types ( I
- , O
- , Z
- ) where
+ , O
+ , Z
+ ) where
-- | One bit.
data I n

0 comments on commit 5459259

Please sign in to comment.