Merge pull request #618 from Melvar/cast-char-string
Add a canonical Char→String function and Cast instance
commitb37d0f4113690164d76ca577c0ef182fed73b9da
authorEdwin Brady <edwin.brady@gmail.com>
dateMon 18 Nov 2013, 01:10 (13 years ago)
parent9449751968d433
lib/Prelude/Strings.idr+6
@@ -42,12 +42,18 @@ unpack s with (strM s)
4242pack : (Foldable t) => t Char -> String
4343pack = foldr strCons ""
4444
45+singleton : Char -> String
46+singleton c = strCons c ""
47+
4548instance Cast String (List Char) where
4649 cast = unpack
4750
4851instance Cast (List Char) String where
4952 cast = pack
5053
54+instance Cast Char String where
55+ cast = singleton
56+
5157instance Semigroup String where
5258 (<+>) = (++)
5359