Ian Hofmann-Hicks

Add CONTRIBUTORS.md document

1

## Just in case people wanna contribute This file should contain the following: - [x] Steps for working in the dev environment - [ ] PR submission process - [...

WIP: Better Law Specs For non-Exponential Types

3

## The Law of the Land  This is the first PR in a series that breaks up the changes proposed by [this older PR][pr] that addresses [this issue][issue]. This...

### Description/Location **location:** 'src/core/List.js' **description:** The only reason `List` is in `core` is for some specs and use in `src/Pair/toPairs`. It actually makes more sense to have `toPairs` return an...

Documentation

5

## All the Things - [ ] crocks - [x] `Arrow` - [x] `Async` - [x] `Const` - [x] `Either` - [x] `Equiv` - [x] `Identity` - [ ] [`IO`][io]...

Update `filter` functions and methods to be `Filterable` instead of `Foldable` for FL

1

Documentation for the `filter` pointfree function needs to have its signature updated to reflect `Filterable`. Currently it takes a `Foldable`. Also, `List` needs to be updated to expose `fantasy-land/filter`

Allow `String` and `Array` constructors anywhere a Monoid is accepted

4

So there is no reason we cannot just accept `String` and `Array` JS Constructors as `Monoid`. They will need to be implemented in the following places: - [ ] `mconcat`...

Every function that takes an Array should also allow an Iterable

4

So each one of these should also take an Iterable: ### Helpers - [ ] `mconcat` - [ ] `mconcatMap` - [ ] `mreduce` - [ ] `mreduceMap` - [...

Add a slew of structures

1

## Add A Little Structure To Our Lives  - [ ] `BinTree` - [ ] `AnonBinTree` - [ ] `RoseTree` - [ ] `ZipList` - [ ] Replace that...

Update Writer To Take an Instance instead of a Value

1

## Mistakes were Made When `Writer` was first created, I thought it would be neat to let the `Writer` take care of lifting raw values into the underlying `Monoid`. This...

Add `applyTo` to all `Apply` ADTs

1

This is the first step in 💯 fantasy-land integration of `ap`. Will define `applyTo` on all `Apply` types which will match the fantasy-land signature. This will be the method that...