Documentation

data TypeMap f Source

empty :: TypeMap f Source

insert :: Typeable a => f a -> TypeMap f -> TypeMap f Source

lookup :: forall a f. Typeable a => TypeMap f -> Maybe (f a) Source

lookup' :: Typeable a => proxy a -> TypeMap f -> Maybe (f a) Source