Data.TypeMap.Dynamic.Alt

Type-application-based interface.

Documentation

data TypeMap x

Map from types t of kind * to values of type Item x t.

type family Item x t

An extensible type family mapping types (as keys) to types of values, parameterized by types x.

Instances

type Item (OfType a) t

type Item (OfType a) t = a

null :: TypeMap x -> Bool

Whether the map is empty.

insert :: forall t x proxy. Typeable t => Item x t -> TypeMap x -> TypeMap x

Insert an element indexed by type t.

lookup :: forall t x proxy. Typeable t => TypeMap x -> Maybe (Item x t)

Lookup an element indexed by type t.

map :: forall x y. (forall t. Typeable t => Item x t -> Item y t) -> TypeMap x -> TypeMap y

traverse :: forall f x y. Applicative f => (forall t. Typeable t => Item x t -> f (Item y t)) -> TypeMap x -> f (TypeMap y)

data OfType a

A constant mapping to type a. TypeMap (OfType a) is the type of maps from types to values of type a.

Instances

type UnTyped (OfType a)

type UnTyped (OfType a) = a

type Typed (OfType a) t

type Typed (OfType a) t = a

type Item (OfType a) t

type Item (OfType a) t = a