Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

add Map to DAML-LF

See original GitHub issue

we wanted to add Maps to DAML-LF for a long time. now we’re ready!

the proposal is simple, add a Map type to DAML-LF, which is an unordered, Text-keyed map.

concretely, we’d have

Map : * -> *
MAP_EMPTY : forall a. Map a
MAP_INSERT : forall a.  Text -> a -> Map a -> Map a
MAP_LOOKUP : forall a. Text -> Map a -> Optional a
MAP_DELETE : forall a. Text -> Map a -> Map a
MAP_TO_LIST: ∀ α. Map α → List ⟨key: Text, value: α⟩
MAP_SIZE : forall a. Map a -> Int64

Issue Analytics

State:
Created 5 years ago
Comments:21 (21 by maintainers)

Top GitHub Comments

1reaction

remyhaemmerle-dacommented, Mar 22, 2019

I will use

MAP_EMPTY instead of MAP_NEW
MAP_DELETE instead MAP_REMOVE

to follow Map.daml

1reaction

neil-dacommented, Mar 21, 2019

Sounds good to me! Apart from Maybe => Optional.

Top Results From Across the Web

Dallas City Info_2022

Click the search box and type in an address or choose Use current location; Zoom to address and click on the map. Example:...

Interactive Maps - City of Dallas, GIS

The City of Dallas Texas GIS Homepage. Here you can find links leading to published geospatial datasets, and published applications providing locational ...

Google Maps

Find local businesses, view maps and get driving directions in Google Maps.

Driving directions to Dallas, TX, US - Waze

Realtime driving directions to Dallas, TX, US, based on live traffic updates and road conditions – from Waze fellow drivers.

Dallas County Parcel Viewer

... FirmPanel, Rivers/Streams, Lot line, Subdivisions, Parcel Hook, Leader, Parcels, Utility Line, Sec/Twp line, County Line, cannot be added to the map.