typed-encoding-0.5.2.2: Type safe string transformations

Safe HaskellSafe
LanguageHaskell2010

Data.TypedEncoding.Common.Class.IsStringR

Description

This Module will be removed in the future in favor of classes defined in Data.TypedEncoding.Common.Class.Util.StringConstraints

This module is re-exported in Data.TypedEncoding and it is best not to import it directly.

Synopsis

Documentation

>>> :set -XScopedTypeVariables -XTypeApplications -XAllowAmbiguousTypes
>>> import Test.QuickCheck
>>> import Test.QuickCheck.Instances.Text()
>>> import Test.QuickCheck.Instances.ByteString()

class IsStringR a where Source #

This class will be removed in 0.3.x.x in favor of classes definined in Data.TypedEncoding.Common.Class.Util.StringConstraints

Reverses IsString

laws:

 toString . fromString == id
 fromString . toString == id

Note: ByteString is not a valid instance, ByteString "r-ASCII", or "r-UTF8" would be needed. B.unpack $ B.pack "160688" == "176"

Since: 0.2.0.0

Methods

toString :: a -> String Source #

Instances
IsStringR Text Source #
prop_toStringFromString (Proxy :: Proxy TL.Text)
prop_fromStringToString @TL.Text
Instance details

Defined in Data.TypedEncoding.Common.Class.IsStringR

Methods

toString :: Text -> String Source #

IsStringR Text Source #
prop_toStringFromString (Proxy :: Proxy T.Text)
prop_fromStringToString @T.Text
Instance details

Defined in Data.TypedEncoding.Common.Class.IsStringR

Methods

toString :: Text -> String Source #

IsStringR [Char] Source # 
Instance details

Defined in Data.TypedEncoding.Common.Class.IsStringR

Methods

toString :: [Char] -> String Source #

prop_fromStringToString :: forall s. (IsString s, IsStringR s, Eq s) => s -> Bool Source #