Ideas.Utils.Typeable

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

Documentation

data IsTypeable a

Instances

HasTypeable IsTypeable

Defined in Ideas.Utils.Typeable

Methods

getTypeable :: IsTypeable a -> Maybe (IsTypeable a)

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

class HasTypeable f where

Minimal complete definition

getTypeable

Methods

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

Instances

HasTypeable IsTypeable

Defined in Ideas.Utils.Typeable

Methods

getTypeable :: IsTypeable a -> Maybe (IsTypeable a)

HasTypeable Ref

Defined in Ideas.Common.Environment

Methods

getTypeable :: Ref a -> Maybe (IsTypeable a)

HasTypeable Exercise

Defined in Ideas.Common.Exercise

Methods

getTypeable :: Exercise a -> Maybe (IsTypeable a)

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

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

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

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

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

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

module Data.Typeable