typerep-map-0.1.0: Efficient implementation of a dependent map with types as keys

Safe Haskell	None
Language	Haskell2010

Data.TypeRep.OptimalVector

Contents

Map type
Helpful testing functions

Synopsis

data TypeRepMap (f :: k -> Type) = TypeRepMap {
- fingerprintAs :: Vector Word64
- fingerprintBs :: Vector Word64
- anys :: Vector Any
}
empty :: TypeRepMap f
insert :: forall a f. Typeable a => a -> TypeRepMap f -> TypeRepMap f
lookup :: forall a f. Typeable a => TypeRepMap f -> Maybe (f a)
size :: TypeRepMap f -> Int
data TF f where
- TF :: Typeable a => f a -> TF f
fromList :: forall f. [TF f] -> TypeRepMap f

Map type

data TypeRepMap (f :: k -> Type) Source #

Constructors

TypeRepMap
Fields fingerprintAs :: Vector Word64 fingerprintBs :: Vector Word64 anys :: Vector Any

empty :: TypeRepMap f Source #

Empty structure.

insert :: forall a f. Typeable a => a -> TypeRepMap f -> TypeRepMap f Source #

Inserts the value with its type as a key.

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

Looks up the value at the type. >>> let x = lookup $ insert (11 :: Int) empty >>> x :: Maybe Int Just 11 >>> x :: Maybe () Nothing

size :: TypeRepMap f -> Int Source #

Returns the size of the TypeRepMap.

Helpful testing functions

data TF f where Source #

Constructors

TF :: Typeable a => f a -> TF f

fromList :: forall f. [TF f] -> TypeRepMap f Source #