Implementation of common algebraic types in JavaScript + Flow. 

Implementation of common algebraic types in JavaScript + Flow

gcanti

flow-static-land

Error

Ignore

Warn

License

Maintenance

Miscellaneous

Quality

Supply chain risk

Vulnerability

Admins only

Organization members

Dashboard

<upgradeLink>Upgrade</upgradeLink> to access this feature

About

Blog

Socket CLI

Customers

Socket Dependency Search

Docs

Socket for GitHub

Love

Impersonation Mode Active

Update your browser to the latest version for the best experience.

Your web browser is outdated

Use another browser for the best experience.

Your web browser is unsupported

{{count, number}} commits last two months

{{count, number}} critical severity alert

{{count, number}} critical severity alerts

{{count, number}} dependency vulnerability

{{count, number}} dependency vulnerabilities

{{count, number}} development dependencies

{{count, number}} transitive dependencies

{{count, number}} version published last month

{{count, number}} versions published last month

{{count, number}} version published in last two months

{{count, number}} versions published in last two months

{{count, number}} version published last week

{{count, number}} versions published last week

{{count, number}} version published last year

{{count, number}} versions published last year

Socket undergoes annual SOC2 Type II audits. Socket customers can request a copy of the full SOC2 Type II report.

Allows organization owners and admins to access detailed records of actions taken by members of their organization, complete with timestamps.

Prevent compromised packages from infiltrating your supply chain by monitoring for changes in real-time.

Join our Discord community to get help from Socket engineers and other Socket users.

Compare millions of open source packages on socket.dev

Detect malicious code and risky behavior (e.g. network) in your dependencies using "deep package inspection"

All data is encrypted in transit and at rest using industry standard encryption algorithms.

Get a dedicated Socket account manager and access to Socket’s Customer Success team.

Get dedicated support from Socket engineers via email and Slack.

"Shift left" with the Socket Chrome extension and give intervene early, before developers choose risky or low quality dependencies.

Catch developers using risky dependencies and give them a "speed bump" to encourage good behavior

Install the Socket GitHub app to receive real-time dependency scanning and reports with every pull request.

Integrate Socket into your GitHub SCM to prevent risky dependencies from being installed.

Socket scans for vulnerabilities in your dependencies, including CVEs, security advisories, and more.

Socket supports dependencies in many languages, with most popular ecosystems coming in 2024. We've got you covered no matter what languages you use.

Enforce license policies across your organization

Receive a Microsoft Teams message to the channel of your choice anytime Socket runs a new analysis, has a new finding, or a policy has changed.

Get help migrating from Socket's free plan to Socket's paid plans.

Run Socket on-premises or in your own cloud environment.

Query for any dependency (at any version) across your entire organization

Integrate Socket into your CI/CD pipeline to prevent risky dependencies from being deployed to production.

Analyze an entire project to find supply chain risks

Tag projects to organize and filter your projects

Restrict access based on the roles of individual users within an organization.

Receive a Slack message to the channel of your choice anytime Socket runs a new analysis, has a new finding, or a policy has changed.

Socket is SOC2 Type II compliant and undergoes annual audits.

The Socket CLI allows teams to prevent risky dependencies from being installed, and to get dependency insights from the command line.

Socket supports SAML SSO for single sign-on and identity management.

Integrate Socket into your VS Code IDE to prevent risky dependencies from being installed.

Get a POST request anytime Socket runs a new analysis, has a new finding, or a policy has changed.

Socket will analyzed your SBOMs up to a maximum number of dependencies.

API that allows you to analyze a project, lookup package scores and alerts, and more.

Create API tokens to authenticate with the Socket API and CLI.

The number of developers in your team. A developer is someone who made a commit to your organization's repositories scanned by Socket in the past month.

Use Socket to protect your private repositories.

Socket is always free for open source projects.

Socket retains all reporting data for 3 months, 1 year, or a custom term of your choice.

Access the threat feed that powers Socket.

Unlimited scale, self-hosting, and priority support for large teams.

For open-source projects, individuals, and small teams.

For growing teams with enhanced scale, security, and support.

There is a package with a similar name that is downloaded much more often.

There are packages with similar names that are downloaded much more often.

This may not be the package you want!

Instance

Alert Locations

Package

The {{ecosystem}} package {{- packageName}} receives a total of {{numWeeklyDownloadCount, number}} weekly downloads. As such, {{- packageName}} popularity was classified as {{popularity}}.

Is {{- packageName}} popular?

Is {{- packageName}} safe to use?

Is {{- packageName}} well maintained?

What is {{- packageName}}?

{{packageDescription}}Version: {{versionString}} was published by {{publisherName}}. Start using Socket to analyze {{- packageName}} and its {{dependencyCount, number}} dependencies to secure your app from supply chain attacks.

Sorry, it seems this package was removed from the registry

Package was removed

This package version has been unpublished, mostly likely due to security reasons

Package version was removed

Provide a detailed description of the malware...

Socket fights vulnerabilities and provides visibility, defense-in-depth, and proactive supply chain protection for JavaScript, Python, and Go dependencies.

Socket - Secure your dependencies. Ship with confidence.

Compare versions

{{- packageName}} - npm Package Compare versions

**Note**: Gaps between patch versions are faulty/broken releases.

**Note**: A feature tagged as Experimental is in a high state of flux, you're at risk of it changing without notice.

  - add optics (Monocle partial porting) (@gcanti)

  - bad import references on in /lib build, fix #52 [@gcanti]

  - upgrade to flow v0.36, fix #45 (@gcanti)

  - remove experimental React file (@gcanti)

  - cache projection in `Arr.ap` (@gcanti)

  - fix errors when experimental.const_params=true (@gcanti)

  - ignore lib folder while flow-checking (@gcanti)

  - `Foldable`: add default `foldMap` implementation (@gcanti)

  - add `Pointed` and `Copointed` type classes, fix #15 (@gcanti)

  - expose `concat` APIs, fix #33 (@gcanti)

  - increase the type arity of `compose` and `pipe` (@mwalkerwells)

  - `Traversable` now based on `traverse` instead of `sequence`, fix #26 (@gcanti)

Object.defineProperty(exports, "__esModule", {

exports.extract = exports.of = undefined;

function _classCallCheck(instance, Constructor) { if (!(instance instanceof Constructor)) { throw new TypeError("Cannot call a class as a function"); } }

  return applicative.map(of, f(prj(ta)));

  return (0, _ChainRec.tailRec)((0, _Fun.compose)(extract, f), a);

  return inj((0, _ChainRec.tailRec)((0, _Fun.compose)(extract, f), a));

      return setoid.equals(prj(fx), prj(fy));

      return ord.compare(prj(fx), prj(fy));

      return inj(semigroup.concat(prj(fx), prj(fy)));

var tuple = _interopRequireWildcard(_Tuple);

    return tuple.inj([f(evalState(fa, s)), s]);

    return tuple.inj([f(tuple.fst(t)), tuple.snd(t)]);

    return runState(f(tuple.fst(t)), tuple.snd(t));

  "description": "Implementation of common algebraic types in JavaScript + Flow",

    "dev": "webpack --config=dev/webpack.config.js --watch --progress",

    "test": "mocha --compilers js:babel-register",

    "build": "npm run lint && rm -rf lib/* && babel src -d lib && flow-copy-source -v src lib"

    "url": "https://github.com/gcanti/flow-static-land.git"

"author": "Giulio Canti <giulio.canti@gmail.com>",

    "url": "https://github.com/gcanti/flow-static-land/issues"

  "homepage": "https://github.com/gcanti/flow-static-land",

    "babel-plugin-syntax-flow": "^6.13.0",

    "babel-plugin-transform-class-properties": "^6.11.5",

    "babel-plugin-transform-flow-strip-types": "^6.8.0",

export interface ChainRec<M> extends Chain<M> {

chainRec<A, B>(f: (a: A) => HKT<M, Either<A, B>>, a: A): B;

chainRec<A, B>(f: (a: A) => HKT<M, Either<A, B>>, a: A): HKT<M, B>;

export function tailRec<A, B>(f: (a: A) => Either<A, B>, a: A): B {

import type { Semigroup } from './Semigroup'

import type { Applicative } from './Applicative'

import type { Foldable } from './Foldable'

import type { Traversable } from './Traversable'

import type { ChainRec } from './ChainRec'

export type Identity<A> = HKT<IsIdentity, A>;

function prj<A>(fa: HKT<IsIdentity, A>): A {

function inj<A>(a: A): HKT<IsIdentity, A> {

export function map<A, B>(f: (a: A) => B, fa: Identity<A>): Identity {

export function ap<A, B>(fab: Identity<(a: A) => B>, fa: Identity<A>): Identity {

export function chain<A, B>(f: (a: A) => Identity, fa: Identity<A>): Identity {

export function reduce<A, B>(f: (b: B, a: A) => B, b: B, fa: Identity<A>): B {

export function alt<A>(fx: Identity<A>, fy: Identity<A>): Identity<A> { // eslint-disable-line no-unused-vars

export function traverse<F, A, B>(applicative: Applicative<F>, f: (a: A) => HKT<F, B>, ta: Identity<A>): HKT<F, Identity> {

export function extend<A, B>(f: (ea: Identity<A>) => B, ea: Identity<A>): Identity {

export function chainRec<A, B>(f: (a: A) => Identity<Either<A, B>>, a: A): B {

export function chainRec<A, B>(f: (a: A) => Identity<Either<A, B>>, a: A): Identity {

  return inj(tailRec(compose(extract, f), a))

export function getSetoid<A>(setoid: Setoid<A>): Setoid<Identity<A>> {

      return setoid.equals(prj(fx), prj(fy))

export function getOrd<A>(ord: Ord<A>): Ord<Identity<A>> {

      return ord.compare(prj(fx), prj(fy))

export function getSemigroup<A>(semigroup: Semigroup<A>): Semigroup<Identity<A>> {

      return inj(semigroup.concat(prj(fx), prj(fy)))

export function getMonoid<A>(monoid: Monoid<A>): Monoid<Identity<A>> {

export type StateV<S, A> = (s: S) => Tuple<A, S>;

export type State<S, A> = HKT2<IsState, S, A>;

export function inj<S, A>(a: StateV<S, A>): State<S, A> {

export function prj<S, A>(fa: State<S, A>): StateV<S, A> {

export function put<S>(s: S): State<S, void> {

  return inj(() => tuple.inj([undefined, s]))

export function modify<S>(f: (s: S) => S): State<S, void> {

  return inj(s => tuple.inj([undefined, f(s)]))

export function gets<S, A>(f: (s: S) => A): State<S, A> {

export function runState<S, A>(sa: State<S, A>, s: S): Tuple<A, S> {

export function evalState<S, A>(sa: State<S, A>, s: S): A {

export function execState<S, A>(sa: State<S, A>, s: S): S {

export function map<S, A, B>(f: (a: A) => B, fa: State<S, A>): State<S, B> {

  return inj(s => tuple.inj([f(evalState(fa, s)), s]))

    return tuple.inj([f(tuple.fst(t)), tuple.snd(t)])

export function ap<S, A, B>(fab: State<S, (a: A) => B>, fa: State<S, A>): State<S, B> {

return chain(f => map(f, fa), fab) // <= derived

export function of<S, A>(a: A): State<S, A> {

export function chain<S, A, B>(f: (a: A) => State<S, B>, fa: State<S, A>): State<S, B> {

  return inj(s => prj(f(evalState(fa, s)))(s))

    return runState(f(tuple.fst(t)), tuple.snd(t))

		@@ -15,2 +15,8 @@ # Changelog

		## 0.2.6

		- Bug fix
		- fix `ChainRec` definition [@gcanti]
		- fix `State` definition [@gcanti]

		## 0.2.5
		@@ -17,0 +23,0 @@

		@@ -79,3 +79,3 @@ 'use strict';
		function chainRec(f, a) {
		return (0, _ChainRec.tailRec)((0, _Fun.compose)(extract, f), a);
		return inj((0, _ChainRec.tailRec)((0, _Fun.compose)(extract, f), a));
		}
		@@ -82,0 +82,0 @@

		@@ -80,3 +80,4 @@ 'use strict';
		return inj(function (s) {
		return tuple.inj([f(evalState(fa, s)), s]);
		var t = runState(fa, s);
		return tuple.inj([f(tuple.fst(t)), tuple.snd(t)]);
		});
		@@ -99,3 +100,4 @@ }
		return inj(function (s) {
		return prj(f(evalState(fa, s)))(s);
		var t = runState(fa, s);
		return runState(f(tuple.fst(t)), tuple.snd(t));
		});
		@@ -102,0 +104,0 @@ }

		{
		"name": "flow-static-land",
		"version": "0.2.5",
		"version": "0.2.6",
		"description": "Implementation of common algebraic types in JavaScript + Flow",
		@@ -5,0 +5,0 @@ "files": [

		@@ -68,4 +68,4 @@ // @flow

		export function chainRec<A, B>(f: (a: A) => Identity<Either<A, B>>, a: A): B {
		return tailRec(compose(extract, f), a)
		export function chainRec<A, B>(f: (a: A) => Identity<Either<A, B>>, a: A): Identity<B> {
		return inj(tailRec(compose(extract, f), a))
		}
		@@ -72,0 +72,0 @@

		@@ -9,3 +9,3 @@ // @flow
		export interface ChainRec<M> extends Chain<M> {
		chainRec<A, B>(f: (a: A) => HKT<M, Either<A, B>>, a: A): B;
		chainRec<A, B>(f: (a: A) => HKT<M, Either<A, B>>, a: A): HKT<M, B>;
		}
		@@ -12,0 +12,0 @@

		@@ -51,3 +51,6 @@ // @flow
		export function map<S, A, B>(f: (a: A) => B, fa: State<S, A>): State<S, B> {
		return inj(s => tuple.inj([f(evalState(fa, s)), s]))
		return inj(s => {
		const t = runState(fa, s)
		return tuple.inj([f(tuple.fst(t)), tuple.snd(t)])
		})
		}
		@@ -64,3 +67,6 @@
		export function chain<S, A, B>(f: (a: A) => State<S, B>, fa: State<S, A>): State<S, B> {
		return inj(s => prj(f(evalState(fa, s)))(s))
		return inj(s => {
		const t = runState(fa, s)
		return runState(f(tuple.fst(t)), tuple.snd(t))
		})
		}
		@@ -67,0 +73,0 @@

Improved metrics