Finished the mapping between dynamo attribute values and tamarin values

internal/common/maputils/map.go

@@ -0,0 +1,23 @@
+package maputils
+
+func Values[K comparable, T any](ts map[K]T) []T {
+	values := make([]T, 0, len(ts))
+	for _, v := range ts {
+		values = append(values, v)
+	}
+	return values
+}
+
+func MapValuesWithError[K comparable, T, U any](ts map[K]T, fn func(t T) (U, error)) (map[K]U, error) {
+	us := make(map[K]U)
+
+	for k, t := range ts {
+		var err error
+		us[k], err = fn(t)
+		if err != nil {
+			return nil, err
+		}
+	}
+
+	return us, nil
+}

internal/common/sliceutils/map.go

@@ -1,5 +1,14 @@
 package sliceutils
 
+func All[T any](ts []T, predicate func(t T) bool) bool {
+	for _, t := range ts {
+		if !predicate(t) {
+			return false
+		}
+	}
+	return true
+}
+
 func Map[T, U any](ts []T, fn func(t T) U) []U {
 	us := make([]U, len(ts))
 	for i, t := range ts {