generic_dictionary

Types

GenericDictionary

A dictionary that stores typed values

pub type GenericDictionary {
  GenericDictionary(entries: dict.Dict(String, TypedValue))
}

Constructors

GenericDictionary(entries: dict.Dict(String, TypedValue))

TypedValue

</>

A value with its type information

pub type TypedValue {
  TypedValue(
    value: String,
    type_def: accepted_types.AcceptedTypes,
  )
}

Constructors

TypedValue(value: String, type_def: accepted_types.AcceptedTypes)

Values

from_string_dict

</>

pub fn from_string_dict(
  values: dict.Dict(String, String),
  type_defs: dict.Dict(String, accepted_types.AcceptedTypes),
) -> Result(GenericDictionary, String)

Creates a new GenericDictionary from string values and their type definitions

get

</>

pub fn get(
  dict: GenericDictionary,
  key: String,
) -> Result(TypedValue, String)

Gets a typed value from the dictionary

get_string_value

</>

pub fn get_string_value(typed_value: TypedValue) -> String

Gets the string value from a TypedValue

get_type_definition

</>

pub fn get_type_definition(
  typed_value: TypedValue,
) -> accepted_types.AcceptedTypes

Gets the type definition from a TypedValue

new

</>

pub fn new() -> GenericDictionary

Creates a new empty GenericDictionary

new_typed_value

</>

pub fn new_typed_value(
  value: String,
  type_def: accepted_types.AcceptedTypes,
) -> TypedValue

Creates a new typed value

to_string_dict

</>

pub fn to_string_dict(
  dict: GenericDictionary,
) -> dict.Dict(String, String)

Converts a GenericDictionary to a regular dict of strings