| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Data.GenRep
Description
Intended for internal use: Generic representation of Data vales.
Synopsis
- data ConstructorName
- data GenericData
- constructor :: Data a => Budget -> a -> IO [GenericData] -> IO GenericData
- arity :: Data a => a -> Int
Documentation
data ConstructorName Source #
Name and precedence of constructors.
Constructors
| Prefix String | used also for literals except characters |
| Char Char | character literal |
| Infix Int String | |
| Infixr Int String | |
| Infixl Int String | |
| Tuple Int | tuple with n elements |
| Cons | nonempty list constructor |
| Nil | empty list constructor |
Instances
| Eq ConstructorName Source # | |
Defined in Data.Data.GenRep Methods (==) :: ConstructorName -> ConstructorName -> Bool # (/=) :: ConstructorName -> ConstructorName -> Bool # | |
| Show ConstructorName Source # | |
Defined in Data.Data.GenRep Methods showsPrec :: Int -> ConstructorName -> ShowS # show :: ConstructorName -> String # showList :: [ConstructorName] -> ShowS # | |
| NFData ConstructorName Source # | |
Defined in Data.Data.GenRep Methods rnf :: ConstructorName -> () # | |
data GenericData Source #
Representation of Data values.
Constructors
| Constructor ConstructorName [GenericData] | |
| Error String | exception error message |
| NestedError GenericData | error message which may contain further errors |
| Timeout Double | timeout, the
|
| Hole | this is caused space shortage, shown as three dots |
| Detail GenericData | also caused by space shortage but this omission a relevant part |
| ListHole | used during show |
Instances
| Show GenericData Source # | |
Defined in Data.Data.GenRep Methods showsPrec :: Int -> GenericData -> ShowS # show :: GenericData -> String # showList :: [GenericData] -> ShowS # | |
| NFData GenericData Source # | |
Defined in Data.Data.GenRep Methods rnf :: GenericData -> () # | |
constructor :: Data a => Budget -> a -> IO [GenericData] -> IO GenericData Source #
Convert a Data value to GenericData given the
GenericData representations of the value's children.