Sam A. Horvath-Hunt

Following #128, these can be defined roughly as: ```hs allPass fs x = andM $ flap fs x ```

Crucially these need to short-circuit. As per https://hackage.haskell.org/package/relude-1.1.0.0/docs/Relude-Foldable-Fold.html#v:andM: ```hs andM [putTextLn "1" >> pure True, putTextLn "2" >> pure False, putTextLn "3" >> pure True] -- 1 -- 2 --...

See `base` on `URL` constructor: https://developer.mozilla.org/en-US/docs/Web/API/URL/URL

```hs firstGood :: Alternative m => [a -> m b] -> a -> m b firstGood [] _ = empty firstGood (f:gs) x = f x firstGood gs x ```...

Localisation functions

2

For String, Number, and Date.

String::every/some/none/filter/etc

1

Or something solving that use case. Other array functions too. A more flexible `under` would be handy.

compose (RTL flow)

1

A right-to-left `compose` (`flow` with reversed function order) seems to be possible: ```git diff --git a/src/Function.ts b/src/Function.ts index 254e05c..1f4cb5b 100644 --- a/src/Function.ts +++ b/src/Function.ts @@ -637,3 +637,32 @@ export const...

It's quite common that exports are removed from fp-ts-std because they've been duplicated in fp-ts, for example the many removals from `String` in 0.11.0 following the addition of the `string`...

Char type

1

This can't currently be represented at the type-level if we want to support any string character. It'd probably need to be a newtype. Would it be ergonomic? A `chars ::...