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 #
Instances
HasTypeable IsTypeable Source # | |
Defined in Ideas.Utils.Typeable getTypeable :: IsTypeable a -> Maybe (IsTypeable a) Source # |
typeable :: forall a. Typeable a => IsTypeable a Source #
class HasTypeable f where Source #
getTypeable :: f a -> Maybe (IsTypeable a) Source #
Instances
HasTypeable IsTypeable Source # | |
Defined in Ideas.Utils.Typeable getTypeable :: IsTypeable a -> Maybe (IsTypeable a) Source # | |
HasTypeable Ref Source # | |
Defined in Ideas.Common.Environment getTypeable :: Ref a -> Maybe (IsTypeable a) Source # | |
HasTypeable Exercise Source # | |
Defined in Ideas.Common.Exercise getTypeable :: Exercise 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