Idris2Doc : Data.String.Search

Data.String.Search

(source)
Definitions
setBytes : Buffer -> Int -> List Bits8 -> IO ()
  Visibility: export
searchBuffer : Buffer -> Buffer -> IO (Maybe Int)
  Visibility: export
splitBits8 : List Bits8 -> List Bits8 -> Maybe (List Bits8, List Bits8)
  Visibility: export