Data.String.Lens

Reexports

Definitions

unpacked : Iso' String (List Char)

  An isomorphism between a string and a list of characters.
  
  ```idris
  unpacked = from packed
  ```

Totality: total
Visibility: public export

packed : Iso' (List Char) String

  An isomorphism between a list of characters and a string.
  
  ```idris
  packed = from unpacked
  ```

Totality: total
Visibility: public export

reversed : Iso' String String

  An isomorphism between a string and its reverse.

Totality: total
Visibility: public export