Safe Haskell	Safe
Language	Haskell2010

Data.TypedEncoding.Internal.Class.IsStringR

Synopsis

class IsStringR a where
- toString :: a -> String
prop_fromStringToString :: forall s. (IsString s, IsStringR s, Eq s) => s -> Bool
prop_toStringFromString :: forall s. (IsString s, IsStringR s) => Proxy s -> String -> Bool

Documentation

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

class IsStringR a where Source #

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"

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.Internal.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.Internal.Class.IsStringR Methods toString :: Text -> String Source #

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

prop_toStringFromString :: forall s. (IsString s, IsStringR s) => Proxy s -> String -> Bool Source #