git.iko.soy/Idris-dev
on master help sign in
Add Show () instance
commit7a70f6722dba6154e0b331f56701909634d8ef92 authorReynir Reynisson <reynir@reynir.dk> dateWed 9 Oct 2013, 11:36 (13 years ago) parentb397692
1 file changed+3
compare with master
unifiedsplit
lib/Prelude.idr+3
lib/Prelude.idr+3
@@ -47,6 +47,9 @@ instance Show Bool where
4747 show True = "True"
4848 show False = "False"
4949
50+instance Show () where
51+ show () = "()"
52+
5053instance Show Bits8 where
5154 show = prim__toStrB8
5255