Documentation
Init
.
Data
.
String
Search
return to top
source
Imports
Init.Data.String.Basic
Init.Data.String.Bootstrap
Init.Data.String.Decode
Init.Data.String.Defs
Init.Data.String.Extra
Init.Data.String.FindPos
Init.Data.String.Hashable
Init.Data.String.Iter
Init.Data.String.Iterate
Init.Data.String.Iterator
Init.Data.String.Legacy
Init.Data.String.Lemmas
Init.Data.String.Modify
Init.Data.String.OrderInstances
Init.Data.String.Pattern
Init.Data.String.PosRaw
Init.Data.String.Search
Init.Data.String.Slice
Init.Data.String.Stream
Init.Data.String.Subslice
Init.Data.String.Substring
Init.Data.String.TakeDrop
Init.Data.String.Termination
Init.Data.String.ToSlice
Imported by