Code

Add Functor trait#114

Code

Merged

janmasrovira merged 8 commits intomainanoma/juvix-stdlib:mainfrom functoranoma/juvix-stdlib:functorCopy head branch name to clipboardJul 23, 2024

+91-5

Commits

Commits on Jul 23, 2024

• polymorphic functor

  janmasrovira

  committed
  e635500

• add monomorphic functor

  janmasrovira

  committed
  8687a3d

• add maybe instance

  janmasrovira

  committed
  791f957

• add list instances

  janmasrovira

  committed
  4a22616

• remove duplicate open

  janmasrovira

  committed
  09c9c1f

• avoid alias

  janmasrovira

  committed
  f4243fe

• add result instance

  janmasrovira

  committed
  1a11eb4

• simplify import

  janmasrovira

  committed
  b6d177a