IdrisDoc
: Data.String.Views
Index
Data.String.Views
strList
:
(
x
:
String
) ->
StrList
x
Covering function for
StrList
data
StrList
:
String
->
Type
View for traversing a String one character at a time
SNil
:
StrList
""
SCons
:
(
x
:
Char
) -> (
rec
:
StrList
xs
) ->
StrList
(
strCons
x
xs
)