Commits

Breadcrumbs

History for

onrecursion-schemes

User selector

All users

All time

Commit History

Commits on Aug 13, 2017

• Prepromorphism

  jnape

  committed
  46c5bcd

  Copy full SHA for 46c5bcd

Commits on Mar 5, 2017

• Futumorphism

  jnape

  committed
  5d42357

  Copy full SHA for 5d42357

Commits on Mar 2, 2017

• G-Apomorphism

  jnape

  committed
  2713cd1

  Copy full SHA for 2713cd1

Commits on Feb 26, 2017

• Apomorphism

  jnape

  committed
  4c5a6d7

  Copy full SHA for 4c5a6d7

• Histomorphism

  jnape

  committed
  41418b0

  Copy full SHA for 41418b0

Commits on Feb 20, 2017

• Zygomorphism

  jnape

  committed
  9038b17

  Copy full SHA for 9038b17

Commits on Feb 19, 2017

• Adding paramorphism

  jnape

  committed
  a17aee2

  Copy full SHA for a17aee2

Commits on Feb 18, 2017

• checkpoint

  jnape

  committed
  68b90a3

  Copy full SHA for 68b90a3

Commits on Feb 14, 2017

• Adding Free

  jnape

  committed
  b92670c

  Copy full SHA for b92670c

Commits on Jan 28, 2017

• Merge branch 'functor-unification' into recursion-schemes

  jnape

  committed
  d95e2e5

  Copy full SHA for d95e2e5

• adding unification parameter to Profunctor

  jnape

  committed
  e88df4a

  Copy full SHA for e88df4a

• adding unification parameter to Bifunctor

  jnape

  committed
  1d3b6e5

  Copy full SHA for 1d3b6e5

• adding unification parameter to Functor

  jnape

  committed
  d2c3238

  Copy full SHA for d2c3238

• Adding Cons

  jnape

  committed
  5c2ef5b

  Copy full SHA for 5c2ef5b

• Making Over/Set/View use singleton instances; adding test for TypeSafeKey

  jnape

  committed
  187ac4e

  Copy full SHA for 187ac4e

• Adding Join monoid

  jnape

  committed
  c478604

  Copy full SHA for c478604

• more wip

  jnape

  committed
  51646db

  Copy full SHA for 51646db

Commits on Jan 24, 2017

• WIP

  jnape

  committed
  5bfd1c8

  Copy full SHA for 5bfd1c8

Commits on Jan 22, 2017

• Initial attempt at approximation of hylomorphism without deforestation

  jnape

  committed
  12bd564

  Copy full SHA for 12bd564

• Initial attempt at approximation of anamorphism

  jnape

  committed
  ee6efc8

  Copy full SHA for ee6efc8

Commits on Jan 21, 2017

• Initial attempt at approximation of catamorphism using fixed inductive types

  jnape

  committed
  131cd95

  Copy full SHA for 131cd95

• adding Fix, the type corresponding to the least fixed point of a functor

  jnape

  committed
  1760ec4

  Copy full SHA for 1760ec4

• adding unification parameter to Profunctor

  jnape

  committed
  b51e93f

  Copy full SHA for b51e93f

• adding unification parameter to Bifunctor

  jnape

  committed
  b3306e4

  Copy full SHA for b3306e4

• adding unification parameter to Functor

  jnape

  committed
  1a2d0fa

  Copy full SHA for 1a2d0fa

Commits on Jan 15, 2017

• creating singleton instances for all builtin functions

  jnape

  committed
  cda40e3

  Copy full SHA for cda40e3

Commits on Jan 8, 2017

• adding MapLens#mappingValues, a lens over a map with mapped values

  jnape

  committed
  03c2949

  Copy full SHA for 03c2949

• adding Tuple2/3/4/5#fill to fill each tuple instance with a given value

  jnape

  committed
  538b645

  Copy full SHA for 538b645

• adding last to retrieve the last element of an iterable

  jnape

  committed
  00a4a37

  Copy full SHA for 00a4a37

• adding Tuple2/3/4#into

  jnape

  committed
  bd49839

  Copy full SHA for bd49839

Commits on Jan 2, 2017

• Using simpler lens type signature in MapLens#values; weakening constraint in CheckedSupplier to Throwable

  jnape

  committed
  d598452

  Copy full SHA for d598452

• adding ToMap, used to create maps from iterables of entries

  jnape

  committed
  bb15b6e

  Copy full SHA for bb15b6e

• moving ToCollection to fn2, where it should have been in the first place

  jnape

  committed
  a88e4cd

  Copy full SHA for a88e4cd

Commits on Dec 26, 2016

• Splitting out coproducts interfaces from choice ADTs

  jnape

  committed
  bf28fb1

  Copy full SHA for bf28fb1

• removing Tuple2#monoid as it is now represented as Collapse

  jnape

  committed
  749d16c

  Copy full SHA for 749d16c