Update String.idr
commit4d716f6776b5d6ae8b63fed575ae81b955dddb8d
authorNiklas Larsson <metaniklas@gmail.com>
dateMon 20 Apr 2015, 15:15 (12 years ago)
parente88802b
libs/contrib/Data/String.idr+2−2
@@ -12,7 +12,7 @@ infixr 5 <+
1212||| strSnoc "" 'A'
1313||| ```
1414strSnoc : String -> Char -> String
15−strSnoc s c = s ++ (singleton 'c')
15+strSnoc s c = s ++ (singleton c)
1616
1717||| Alias of `strSnoc`
1818|||
@@ -28,4 +28,4 @@ strSnoc s c = s ++ (singleton 'c')
2828||| 'A' <+ "AB"
2929||| ```
3030(<+) : Char -> String -> String
31−(<+) = strCons
31+(<+) = strCons