Maintainer | bastiaan.heeren@ou.nl |
---|---|

Stability | provisional |

Portability | portable (depends on ghc) |

Safe Haskell | None |

Language | Haskell98 |

Typeable type class, with the IsTypeable data type for witnessing instances

# Documentation

data IsTypeable a Source #

typeable :: forall a. Typeable a => IsTypeable a Source #

class HasTypeable f where Source #

getTypeable :: f a -> Maybe (IsTypeable a) Source #

castBetween :: (HasTypeable f, HasTypeable g) => f a -> g b -> a -> Maybe b Source #

gcastBetween :: (HasTypeable f, HasTypeable g) => f a -> g b -> c a -> Maybe (c b) Source #

module Data.Typeable