Packages

pantagruel

0.0.7

0.3.99999 0.3.0 0.2.0 0.1.0 0.0.9 0.0.8 0.0.7 0.0.5 0.0.4 0.0.3 0.0.2 0.0.1

A program specification language with a defined syntax, and ad-hoc semantics.

HexDocs

Current section

Files

Jump to

Readme 12 Versions 1 Dependency Dependants Files Activity

pantagruel priv checkout.pant

Raw

priv/checkout.pant

user|| => User
doc |owner: User| => Document
" A specification for a small document management system.
check_out |u, d: User, Document|
" A user may check out a document if they have permission to access it
" and it's not currently checked out.
(d.owner = nobody and (has_perm? u d) and check_out u d) -> d'.owner = u
(d.owner != nobody or ~(has_perm? u d)) -> d'.owner = d.owner

;

nobody || :: User
has_perm? |u, d: User, Document| :: Bool

Search filters

Type any of these into the search box. They can be combined with free text which searches package names and descriptions.

Operator	Description	Example
name:	Match package name. Supports * wildcards and repo/package form	name:phx* or name:hexpm/phoenix
description:	Full-text search of package descriptions	description:auth
depends:	Packages depending on a given package. Supports repo:package form	depends:ecto or depends:hexpm:ecto
build_tool:	Filter by build tool	build_tool:mix
updated_after:	Packages updated after an ISO8601 datetime	updated_after:2025-01-01T00:00:00Z
extra:	Match custom metadata (key,value). Nested keys are separated by commas	extra:license,MIT

Wrap values in double quotes to include spaces, e.g. name:"my package".