Download the PHP package typedduck/steins-attributes without Composer

On this page you can find all versions of the php package typedduck/steins-attributes. It is possible to download/install these versions without Composer. Possible dependencies are resolved automatically.

FAQ

After the download, you have to make one include require_once('vendor/autoload.php');. After that you have to import the classes with use statements.

Example:
If you use only one package a project is not needed. But if you use more then one package, without a project it is not possible to import the classes with use statements.

In general, it is recommended to use always a project to download your libraries. In an application normally there is more than one library needed.
Some PHP packages are not free to download and because of that hosted in private repositories. In this case some credentials are needed to access such packages. Please use the auth.json textarea to insert credentials, if a package is coming from a private repository. You can look here for more information.

  • Some hosting areas are not accessible by a terminal or SSH. Then it is not possible to use Composer.
  • To use Composer is sometimes complicated. Especially for beginners.
  • Composer needs much resources. Sometimes they are not available on a simple webspace.
  • If you are using private repositories you don't need to share your credentials. You can set up everything on our site and then you provide a simple download link to your team member.
  • Simplify your Composer build process. Use our own command line tool to download the vendor folder as binary. This makes your build process faster and you don't need to expose your credentials for private repositories.
Please rate this library. Is it a good library?

Example code of typedduck/steins-attributes

Informations about the package steins-attributes

PHP;STEINS Attributes

Effect-envelope attributes for PHP;STEINS, a value-precise static analyzer for PHP. Two classes, both inert at runtime.

An envelope is an upper bound you assert, and Steins reports what it does not admit. Checking is by prefix, so a declared io admits an inferred io.net.http. #[Pure] is the empty envelope.

Labels must be plain string literals. A class constant, a concatenation, or a named argument makes the whole attribute unrecognized — no envelope, no checking, silently. Which is why there is no constants class for them.

Known labels: output, output.header; io, io.fs, io.fs.read, io.fs.write, io.net, io.net.http, io.db, io.ipc, io.process, io.signal; global.read, global.write; nondet, nondet.random, nondet.time; mutate, exit, ffi; failure, failure.environment, failure.input, failure.resource. Anything else is effect.unknown-label.

Write them fully qualified, qualified, or bare under a use import (use Steins\Pure as P; makes #[P] work). A bare #[Pure] without the import is not recognized — JetBrains' #[Pure] is a different attribute.

--dev is right, and as a fact rather than a convention: code declaring these runs with the classes absent entirely, and only newInstance() needs them — which only a development tool calls. Installing them alone is a fine end state if you do not want the analyzer; installing the analyzer brings them along.

Copyright

This package is licensed under MIT License.

All versions of steins-attributes with dependencies

PHP Build Version
Package Version
Requires php Version >=8.1
Composer command for our command line client (download client) This client runs in each environment. You don't need a specific PHP version etc. The first 20 API calls are free. Standard composer command

The package typedduck/steins-attributes contains the following files

Loading the files please wait ...