git.iko.soy/grenade
on master help sign in
Missing test file
df75beeHuw Campbell
test/Test/Jack/TypeLits.hsnew file+14
compare with master
unifiedsplit
@@ -0,0 +1,14 @@
1+{-# LANGUAGE RankNTypes #-}
2+{-# LANGUAGE DataKinds #-}
3+{-# LANGUAGE ScopedTypeVariables #-}
4+
5+module Test.Jack.TypeLits where
6+
7+import Disorder.Jack
8+
9+import GHC.TypeLits
10+
11+genNat :: Jack SomeNat
12+genNat = do
13+ Just n <- someNatVal <$> choose (1, 10)
14+ return n