IdrisDoc: Data.String.Views

Data.String.Views

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)
strList : (x : String) -> StrList x

Covering function for StrList