Add a canonical Char→String function and Cast instance

edwinb · Nov 14, 2013 · 968d433 · 968d433
1 parent 9449751
commit 968d433
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/lib/Prelude/Strings.idr b/lib/Prelude/Strings.idr
@@ -42,12 +42,18 @@ unpack s with (strM s)
 pack : (Foldable t) => t Char -> String
 pack = foldr strCons ""
 
+singleton : Char -> String
+singleton c = strCons c ""
+
 instance Cast String (List Char) where
   cast = unpack
 
 instance Cast (List Char) String where
   cast = pack
 
+instance Cast Char String where
+  cast = singleton
+
 instance Semigroup String where
   (<+>) = (++)