Guide · Get By Name

Basic Information

You can ask the server to give you every information it has for a given concept, function or relation. A RESTful API is used, so to do that you simply send a GET request to /gbn/{type}/{name}/. The result will be in JSON format. If the requested object does not exist the server will send an appropriate message and a status code 418. What is returned for each type is documented here. If you search for a concept that isn’t present in the server, but a similar one is, the server will return that, instead of a 418 message.

Example

https://call-by-meaning.com/gbn/c/time -> returns info about the concept "time"

https://call-by-meaning.com/gbn/c/clock -> returns info about the (similar existing) concept "time"

https://call-by-meaning.com/gbn/f/getTime -> returns info about the function "getTime"

https://call-by-meaning.com/gbn/r/unitConversion -> returns info about the relation "unitConversion"