git.iko.soy/Idris-dev
on master help sign in
Fall back on base 2 printing for Mod2 for now
c4c3b91Benjamin Saunders
lib/Prelude.idr+2−1
compare with master
unifiedsplit
@@ -32,8 +32,9 @@ instance Show Nat where
32instance Show Int where
32instance Show Int where
33 show = prim__intToStr
33 show = prim__intToStr
34
34
35+-- TODO: Base 10
35instance Show (Mod2 n) where
36instance Show (Mod2 n) where
36− show = modToStr
37+ show (MkMod2 x) = bitsToStr x
37
38
38instance Show Integer where
39instance Show Integer where
39 show = prim__bigIntToStr
40 show = prim__bigIntToStr