Code

add Monad trait#119

Code

Merged

paulcadman merged 9 commits intomainanoma/juvix-stdlib:mainfrom monadanoma/juvix-stdlib:monadCopy head branch name to clipboardAug 29, 2024

+48-4

Commits

Commits on Aug 21, 2024

• add Monad

  

  janmasrovira

  authored and

  paulcadman

  committed
  fb906f2

• Update quickcheck for compat with monad

  paulcadman

  committed
  5efc0af

• add >>= and >=> as operators

  janmasrovira

  committed
  e958249

• add builtin annotation

  janmasrovira

  committed
  835766e

• add instances

  janmasrovira

  committed
  af72f25

Commits on Aug 22, 2024

• Update to a quickcheck that points to this stdlib branch

  Show description for 48a864a
  paulcadman

  committed
  48a864a

• format

  janmasrovira

  committed
  83250b7

• add join

  janmasrovira

  committed
  a9bd82d

Commits on Aug 29, 2024

• Revert "add join"

  Show description for 363c481
  janmasrovira

  committed
  363c481