Commit d139bac2 authored by johnvg@science.ru.nl's avatar johnvg@science.ru.nl

add type Bimap to example value.icl

parent 9c681d9c
......@@ -14,6 +14,8 @@ import StdGeneric, StdEnv
| VField Value
| VObject Value
:: Bimap a b = { map_to :: .(a -> b), map_from :: .(b -> a) }
generic gConvertValue a :: Bimap a Value
gConvertValue {|Int|} = {map_to = map_to, map_from = map_from }
where
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment