protocol
ulid_protocol
Universally Unique Lexicographically Sortable Identifier (ULID) generator protocol.
Author: Paulo Moura
Version: 1:0:0
Date: 2023-05-17
Compilation flags:
staticDependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
generate/1
Generates a new ULID.
Compilation flags:
staticTemplate:
generate(ULID)Mode and number of proofs:
generate(--ulid) - onegenerate/2
Generates a new ULID from a timestamp (number of miliseconds since the Unix epoch: 00:00:00 UTC on January 1, 1970).
Compilation flags:
staticTemplate:
generate(Milliseconds,ULID)Mode and number of proofs:
generate(+integer,--ulid) - onegenerate/8
Generates a new ULID from a timestamp discrete components.
Compilation flags:
staticTemplate:
generate(Year,Month,Day,Hours,Minutes,Seconds,Milliseconds,ULID)Mode and number of proofs:
generate(+integer,+integer,+integer,+integer,+integer,+integer,+integer,--ulid) - onetimestamp/2
Returns the given ULID timestamp (number of miliseconds since the Unix epoch: 00:00:00 UTC on January 1, 1970).
Compilation flags:
staticTemplate:
timestamp(ULID,Milliseconds)Mode and number of proofs:
timestamp(++ulid,-integer) - onetimestamp/8
Decodes a ULID into its timestamp discrete components.
Compilation flags:
staticTemplate:
timestamp(ULID,Year,Month,Day,Hours,Minutes,Seconds,Milliseconds)Mode and number of proofs:
timestamp(++ulid,-integer,-integer,-integer,-integer,-integer,-integer,-integer) - oneProtected predicates
(none)
Private predicates
(none)
Operators
(none)