package datalog

You can search for identifiers within the package.

in-package search v0.2.0

An in-memory datalog implementation for OCaml

Install

md5=4a2d12d630a5edd694968675a84a3ef5

sha512=685c0e186705837cb3ac66df6e8011d9f6a9629484b3a813b767df95348d5a41f37301f3e199ed6c91a42a87d1563e8355377269176785b123eb297a5ad022d7

Sourcetype t

The universal type

Sourcetype 'a key

Conversion between the universal type and 'a

val new_key : 
  ?eq:('a -> 'a -> bool) ->
  ?hash:('a -> int) ->
  ?print:('a -> string) ->
  unit ->
  'a key

Create a new key. Values packed with a given key can only be unpacked by the same key.

parameter print
a printing function to print the content of a universal value. Default just returns "opaque".

Sourceval pack : key:'a key -> 'a -> t

Sourceval unpack : key:'a key -> t -> 'a option

Sourceval compatible : key:'a key -> t -> bool

Sourceval eq : t -> t -> bool

Sourceval hash : t -> int

Sourceval print : t -> string

Sourceval string : string key

Sourceval int : int key

Sourceval float : float key

Sourceval bool : bool key

Sourceval unit : unit key

Sourceval pair : 'a key -> 'b key -> ('a * 'b) key

Sourceval list : 'a key -> 'a list key

Sourceval array : 'a key -> 'a array key