fay-base-0.19.4: The base package for Fay.

Safe HaskellSafe-Inferred

Data.Data

Documentation

class Typeable a => Data a

Instances

Data Bool 
Data Char 
Data Double 
Data Float 
Data Int 
Data Int8 
Data Int16 
Data Int32 
Data Int64 
Data Integer 
Data Ordering 
Data Word 
Data Word8 
Data Word16 
Data Word32 
Data Word64 
Data () 
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, ...

Data Symbols 
Data GName 
Data OrigName 
Data DataType 
Data TyCon 
Data TypeRep 
Data Handle 
Data Text 
Data Version 
Data PackageName 
Data ZonedTime 
Data PackageIdentifier 
Data ThreadId 
Data LocalTime 
Data Text 
Data Rational 
Data Day 
Data UTCTime 
Data a => Data [a] 
(Data a, Integral a) => Data (Ratio a) 
Typeable a => Data (StablePtr a) 
Typeable a => Data (IO a) 
Typeable a => Data (Ptr a) 
Data a => Data (Maybe a) 
Data name => Data (SymValueInfo name) 
Data name => Data (SymTypeInfo name) 
Data l => Data (Scoped l) 
Data l => Data (NameInfo l) 
Data l => Data (Error l) 
Typeable a => Data (ForeignPtr a) 
(Data a, Unbox a) => Data (Vector a) 
Typeable a => Data (MVar a) 
Typeable a => Data (IORef a) 
Typeable a => Data (TVar a) 
Typeable a => Data (STM a) 
(Data a, Data b) => Data (a -> b) 
(Data a, Data b) => Data (Either a b) 
(Data a, Data b) => Data (a, b) 
(Typeable s, Typeable a) => Data (ST s a) 
(Typeable a, Data b, Ix a) => Data (Array a b) 
(Data a, Data b, Data c) => Data (a, b, c) 
(Data a, Data b, Data c, Data d) => Data (a, b, c, d) 
(Data a, Data b, Data c, Data d, Data e) => Data (a, b, c, d, e) 
(Data a, Data b, Data c, Data d, Data e, Data f) => Data (a, b, c, d, e, f) 
(Data a, Data b, Data c, Data d, Data e, Data f, Data g) => Data (a, b, c, d, e, f, g) 

class Typeable a

Instances