Data.Keyed

This module provides functions for generic indexing of data structures.

Documentation

class Keyed d where

Data structures that allow lookup of values.

Associated Types

type Key d

The key to look up by.

type Value d

The value that is returned.

Methods

index :: d -> Key d -> Value d

Raises an exception on invalid key.

lookup :: d -> Key d -> Maybe (Value d)

Returns Nothing on invalid key.

Instances

Keyed [a]

Keyed (Seq a)

Keyed (Vector a)

Unbox a => Keyed (Vector a)

Storable a => Keyed (Vector a)

Prim a => Keyed (Vector a)

Ord k => Keyed (Map k v)

(!) :: Keyed d => d -> Key d -> Value d

An inline version of index.

(!?) :: Keyed d => d -> Key d -> Maybe (Value d)

An inline version of lookup.