Data.TypeRep.OptimalVector

TypeRepMap implementation based on the optimal Vector.

Map type

data TypeRepMap (f :: k -> Type)

Constructors

TypeRepMap

Fields

• fingerprintAs :: Vector Word64
• fingerprintBs :: Vector Word64
• anys :: Vector Any

Instances

NFData (TypeRepMap f)

Defined in Data.TypeRep.OptimalVector

Methods

rnf :: TypeRepMap f -> ()

empty :: TypeRepMap f

Empty structure.

insert :: forall a f. a -> TypeRepMap f -> TypeRepMap f

Inserts the value with its type as a key.

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

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

Returns the size of the TypeRepMap.

Helpful testing functions

data TF f where

Constructors

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

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