quickcheck-text-0.1.2.1: Alternative arbitrary instance for Text
Safe HaskellNone
LanguageHaskell2010

Data.Text.Arbitrary

Synopsis

Documentation

data Text Source #

A space efficient, packed, unboxed Unicode text type.

Instances

Instances details
Arbitrary Text Source # 
Instance details

Defined in Data.Text.Arbitrary

PrintfArg Text

Since: text-1.2.2.0

Instance details

Defined in Data.Text

Binary Text

Since: text-1.2.1.0

Instance details

Defined in Data.Text

NFData Text 
Instance details

Defined in Data.Text

Methods

rnf :: Text -> () Source #

Monoid Text 
Instance details

Defined in Data.Text

Semigroup Text

Beware: stimes will crash if the given number does not fit into an Int.

Since: text-1.2.2.0

Instance details

Defined in Data.Text

Data Text

This instance preserves data abstraction at the cost of inefficiency. We omit reflection services for the sake of data abstraction.

This instance was created by copying the updated behavior of Data.Set.Set and Data.Map.Map. If you feel a mistake has been made, please feel free to submit improvements.

The original discussion is archived here: could we get a Data instance for Data.Text.Text?

The followup discussion that changed the behavior of Set and Map is archived here: Proposal: Allow gunfold for Data.Map, ...

Instance details

Defined in Data.Text

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Text -> c Text Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Text Source #

toConstr :: Text -> Constr Source #

dataTypeOf :: Text -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Text) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Text) Source #

gmapT :: (forall b. Data b => b -> b) -> Text -> Text Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Text -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Text -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Text -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Text -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Text -> m Text Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Text -> m Text Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Text -> m Text Source #

IsString Text

Performs replacement on invalid scalar values:

>>> :set -XOverloadedStrings
>>> "\55555" :: Text
"\65533"
Instance details

Defined in Data.Text

IsList Text

Performs replacement on invalid scalar values:

>>> :set -XOverloadedLists
>>> ['\55555'] :: Text
"\65533"

Since: text-1.2.0.0

Instance details

Defined in Data.Text

Associated Types

type Item Text 
Instance details

Defined in Data.Text

type Item Text = Char
Read Text 
Instance details

Defined in Data.Text

Show Text 
Instance details

Defined in Data.Text.Show

Eq Text 
Instance details

Defined in Data.Text

Methods

(==) :: Text -> Text -> Bool Source #

(/=) :: Text -> Text -> Bool Source #

Ord Text 
Instance details

Defined in Data.Text

Lift Text

Since: text-1.2.4.0

Instance details

Defined in Data.Text

Methods

lift :: Quote m => Text -> m Exp Source #

liftTyped :: forall (m :: Type -> Type). Quote m => Text -> Code m Text Source #

type Item Text 
Instance details

Defined in Data.Text

type Item Text = Char

Orphan instances

Arbitrary Text Source # 
Instance details