Code

Add Applicative trait#115

Code

Merged

paulcadman merged 8 commits intomainanoma/juvix-stdlib:mainfrom applicativeanoma/juvix-stdlib:applicativeCopy head branch name to clipboardAug 21, 2024

+101-11

Commits

Commits on Aug 20, 2024

• add Applicative trait

  

  janmasrovira

  authored and

  paulcadman

  committed
  a615c22

• add Applicative instances

  

  janmasrovira

  authored and

  paulcadman

  committed
  3fdbc4d

• rename >>

  

  janmasrovira

  authored and

  paulcadman

  committed
  8b00b55

• format

  

  janmasrovira

  authored and

  paulcadman

  committed
  dc6ce2b

• add mapM_

  

  janmasrovira

  authored and

  paulcadman

  committed
  95eda00

• add liftA2, mapA_, replicateA

  

  janmasrovira

  authored and

  paulcadman

  committed
  0ca2d51

Commits on Aug 21, 2024

• make clean runs juvix clean in test/

  paulcadman

  committed
  a1b3111

• Update stdlib for compat with applicative

  paulcadman

  committed
  f720fc8