| ||||||||
| ||||||||
| Description | ||||||||
| The Either type, and associated operations. | ||||||||
| Synopsis | ||||||||
| ||||||||
| Documentation | ||||||||
| data Either a b | ||||||||
|
| Contents |
The Dynamic interface provides basic support for dynamic types.
Operations for injecting values of arbitrary type into a dynamically typed value, Dynamic, are provided, together with operations for converting dynamic values into a concrete (monomorphic) type.
| module Data.Typeable |
| data Dynamic |
| toDyn :: Typeable a => a -> Dynamic |
| fromDyn :: Typeable a => Dynamic -> a -> a |
| fromDynamic :: Typeable a => Dynamic -> Maybe a |
| dynApply :: Dynamic -> Dynamic -> Maybe Dynamic |
| dynApp :: Dynamic -> Dynamic -> Dynamic |