Add a canonical Char→String function and Cast instance
commit968d433bc0f3e916e9351a86473d65d4092e8d63
authorMelvar Chen <Melvar.Chen@googlemail.com>
dateThu 14 Nov 2013, 22:20 (13 years ago)
parent9449751
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