package org.jerlang.stdlib;
import org.jerlang.stdlib.maps.MapsFind;
import org.jerlang.stdlib.maps.MapsGet;
import org.jerlang.stdlib.maps.MapsIsKey;
import org.jerlang.stdlib.maps.MapsKeys;
import org.jerlang.stdlib.maps.MapsMap;
import org.jerlang.stdlib.maps.MapsNew;
import org.jerlang.stdlib.maps.MapsSize;
import org.jerlang.type.Integer;
import org.jerlang.type.List;
import org.jerlang.type.Map;
import org.jerlang.type.Term;
/**
* = maps
*
* == Summary
*
* Maps Processing Functions
*
* == Description
*
* This module contains functions for maps processing.
*
* Based on:
* http://www.erlang.org/doc/man/maps.html
*/
public class Maps {
public Term find(Term key, Map map) {
return MapsFind.find_2(key, map);
}
/**
* http://www.erlang.org/doc/man/maps.html#get-2
*/
public static Term get(Term key, Map map) {
return MapsGet.get_2(key, map);
}
public static boolean is_key(Term key, Map map) {
return MapsIsKey.is_key_2(key, map);
}
public static List keys(Map map) {
return MapsKeys.keys_1(map);
}
public static Map map(Term fun, Map map1) {
return MapsMap.map_2(fun, map1);
}
public static Map _new() {
return MapsNew.new_0();
}
public Integer size(Map map) {
return MapsSize.size_1(map);
}
}