git.iko.soy/Idris-dev
on master help sign in
Update String.idr
4d716f6Niklas Larsson
libs/contrib/Data/String.idr+2−2
compare with master
unifiedsplit
@@ -12,7 +12,7 @@ infixr 5 <+
12||| strSnoc "" 'A'
12||| strSnoc "" 'A'
13||| ```
13||| ```
14strSnoc : String -> Char -> String
14strSnoc : String -> Char -> String
15−strSnoc s c = s ++ (singleton 'c')
15+strSnoc s c = s ++ (singleton c)
16
16
17||| Alias of `strSnoc`
17||| Alias of `strSnoc`
18|||
18|||
@@ -28,4 +28,4 @@ strSnoc s c = s ++ (singleton 'c')
28||| 'A' <+ "AB"
28||| 'A' <+ "AB"
29||| ```
29||| ```
30(<+) : Char -> String -> String
30(<+) : Char -> String -> String
31−(<+) = strCons
31+(<+) = strCons