maps.h File Reference

#include "serene/rt/core.h"
#include "serene/rt/impl/hashmap.h"
#include "serene/rt/protocols.h"
#include "serene/utils.h"

Include dependency graph for maps.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	srn_map_t
	A persistent, immutable map. More...

Typedefs
typedef struct srn_map_t	srn_map_t
	A persistent, immutable map.

Functions
srn_value_t *	srn_map_empty (srn_context_t *ctx, srn_metadata_t *metadata)
srn_value_t *	srn_map_assoc (srn_context_t *ctx, srn_metadata_t *metadata, srn_value_t *map, srn_value_t *key, srn_value_t *value)

Typedef Documentation

srn_map_t

typedef struct srn_map_t srn_map_t

A persistent, immutable map.

Backed by the CHAMT in serene/rt/impl/hashmap.h. Keys and values are both srn_value_t*.

Function Documentation

srn_map_assoc()

srn_value_t * srn_map_assoc	(	srn_context_t *	ctx,
		srn_metadata_t *	metadata,
		srn_value_t *	map,
		srn_value_t *	key,
		srn_value_t *	value )

Definition at line 71 of file maps.c.

  {
  PANIC_IF_NULL(ctx);
  PANIC_IF_NULL(map);
  PANIC_IF_NULL(key);
  PANIC_IF_NULL(value);
 
  if (!IS_A(map, VMap)) {
    return srn_errors_make_error(ctx, metadata, ABSURD, "expected a map");
  }
 
  // Hashing panics on the unhashable tags, and a panic from a data driven
  // value is wrong in an API that reports failures as values.
  if (!srn_value_hashable(key)) {
    return srn_errors_make_error(ctx, metadata, ABSURD, "map key is not hashable");
  }
 
  hmap_key_t k = {.data = key, .len = sizeof(*key)};
 
  srn_map_t *old = AS_MAP(map);
  srn_map_t *neu = ALLOC(ctx, srn_map_t);
 
  neu->inner = value_map.insert(&value_map, &old->inner, &k, value);
  return srn_value_make(ctx, VMap, metadata, (void *)neu);
}

Here is the call graph for this function:

Here is the caller graph for this function:

srn_map_empty()

srn_value_t * srn_map_empty	(	srn_context_t *	ctx,
		srn_metadata_t *	metadata )

Definition at line 64 of file maps.c.

                                                                         {
  PANIC_IF_NULL(ctx);
  srn_map_t *m = ALLOC(ctx, srn_map_t);
  m->inner     = hmap_empty(ctx);
  return srn_value_make(ctx, VMap, metadata, (void *)m);
}

Here is the call graph for this function:

Here is the caller graph for this function: