protocol

registry_protocol

Registry specification protocol.

Author: Paulo Moura
Version: 0:9:0
Date: 2021-10-15
Compilation flags:
static
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)

Public predicates

name/1

Registry name.

Compilation flags:
static
Template:
name(Name)
Mode and number of proofs:
name(?atom) - zero_or_one

description/1

Registry one line description.

Compilation flags:
static
Template:
description(Description)
Mode and number of proofs:
description(?atom) - zero_or_one

home/1

Registry home HTTPS or file URL.

Compilation flags:
static
Template:
home(Home)
Mode and number of proofs:
home(?atom) - zero_or_one

clone/1

Registry git clone HTTPS URL.

Compilation flags:
static
Template:
clone(URL)
Mode and number of proofs:
clone(?atom) - zero_or_one

archive/1

Registry archive HTTPS URL.

Compilation flags:
static
Template:
archive(URL)
Mode and number of proofs:
archive(?atom) - zero_or_one

Operators

(none)