Data.TypeMap.Internal.Dynamic

Exposed functions

newtype TypeMap x

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

Constructors

TypeMap (Map TypeRep Any)

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

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

null :: TypeMap x -> Bool

Whether the map is empty.

empty :: TypeMap x

Empty type map.

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

Insert an element indexed by type t.

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

Lookup an element indexed by type t.

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

Map a function on all elements.

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

Traverse the map.

Unsafe internals

type family Typed x t

Instances

type Typed (OfType a) t

type Typed (OfType a) t = a

type Typed (ItemFun x y) t

type Typed (ItemFun x y) t = Item x t -> Item y t

type Typed (ItemKleisli f x y) t

type Typed (ItemKleisli f x y) t = Item x t -> f (Item y t)

type family UnTyped x

Instances

type UnTyped (OfType a)

type UnTyped (OfType a) = a

type UnTyped (ItemFun x y)

type UnTyped (ItemFun x y) = Any * -> Any *

type UnTyped (ItemKleisli f x y)

type UnTyped (ItemKleisli f x y) = Any * -> f (Any *)

data ItemFun x y

Instances

type UnTyped (ItemFun x y)

type UnTyped (ItemFun x y) = Any * -> Any *

type Typed (ItemFun x y) t

type Typed (ItemFun x y) t = Item x t -> Item y t

data ItemKleisli f x y

Instances

type UnTyped (ItemKleisli f x y)

type UnTyped (ItemKleisli f x y) = Any * -> f (Any *)

type Typed (ItemKleisli f x y) t

type Typed (ItemKleisli f x y) t = Item x t -> f (Item y t)

newtype WithTypeable x

Constructors

WithTypeable (forall t. Typeable t => Proxy t -> Typed x t)

withTypeable :: WithTypeable x -> (Proxy# a -> TypeRep) -> Proxy () -> UnTyped x

withTypeRep :: forall x proxy. (forall t. Typeable t => Proxy t -> Typed x t) -> proxy x -> TypeRep -> UnTyped x