ideas-1.6: Feedback services for intelligent tutoring systems

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellNone
LanguageHaskell98

Ideas.Utils.Typeable

Description

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

Documentation

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

castFrom :: (HasTypeable f, Typeable b) => f a -> a -> Maybe b Source #

castTo :: (HasTypeable f, Typeable a) => f b -> a -> Maybe b Source #

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

gcastFrom :: (HasTypeable f, Typeable b) => f a -> c a -> Maybe (c b) Source #

gcastTo :: (HasTypeable f, Typeable a) => f b -> c a -> Maybe (c b) Source #

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