IsString -package:liquidhaskell-boot

IsString is used in combination with the -XOverloadedStrings language extension to convert the literals to different string types. For example, if you use the text package, you can say

{-# LANGUAGE OverloadedStrings  #-}

myText = "hello world" :: Text

Internally, the extension will convert this to the equivalent of

myText = fromString @Text ("hello world" :: String)

Note: You can use fromString in normal code as well, but the usual performance/memory efficiency problems with String apply.

Class for string-like datastructures; used by the overloaded string extension (-XOverloadedStrings in GHC).

Class for string-like datastructures; used by the overloaded string extension (-XOverloadedStrings in GHC).

Returns True if the value at the given index is a string or a number (which is always convertible to a string), and False otherwise. Wraps lua_isstring.

Test if bencoded value is a string, both raw and utf8 encoded.

Type class for types which can be safely cast to StringFilter, for instance with toStringFilter.

Type class for types which can be safely cast to StringList, for instance with toStringList.

Type class for types which can be safely cast to StringObject, for instance with toStringObject.

Type class for types which can be safely cast to StringSorter, for instance with toStringSorter.

Is a type String?

String-looking literals