Code

Miscellaneous additions#1

Code

Merged

pxeger merged 36 commits intomastermodular-implicits/imp:masterfrom misc-additionsmodular-implicits/imp:misc-additionsCopy head branch name to clipboardAug 9, 2023

+297-202

Commits

Commits on Aug 3, 2023

• instantiate monoid for unit

  pxeger

  committed
  f37adb6

  Copy full SHA for f37adb6

• Control: cleanup and code deduplication

  pxeger

  committed
  ca68f49

  Copy full SHA for ca68f49

• fix List applicative implementation

  pxeger

  committed
  eca1304

  Copy full SHA for eca1304

• make definition of Monad_plus consistent

  pxeger

  committed
  e4d65dd

  Copy full SHA for e4d65dd

• add list monoid

  pxeger

  committed
  c9ff356

  Copy full SHA for c9ff356

• add tests for string monoid

  pxeger

  committed
  65e8ca8

  Copy full SHA for 65e8ca8

• fix typo

  pxeger

  committed
  d5e8a8a

  Copy full SHA for d5e8a8a

• explicitly annotate that we expect List to satisfy Functor etc.

  pxeger

  committed
  cdb9a41

  Copy full SHA for cdb9a41

• improve Monad factory comment

  pxeger

  committed
  8d7a25b

  Copy full SHA for 8d7a25b

• add with type 'a t = 'a M.t to Monad

  pxeger

  committed
  134a261

  Copy full SHA for 134a261

• improve with type annotation on List

  pxeger

  committed
  0ca7c07

  Copy full SHA for 0ca7c07

• fix traverse implementation

  pxeger

  committed
  7dfe6cf

  Copy full SHA for 7dfe6cf

• add tests for list instances

  pxeger

  committed
  d55660a

  Copy full SHA for d55660a

• clarify the meaning of unqualified "t" in Option

  pxeger

  committed
  b7b3b1f

  Copy full SHA for b7b3b1f

• Update lib/control.ml

  Show description for aeec009
  

  pxeger

  and

  dvlasits

  authored
  aeec009

  Copy full SHA for aeec009

• Update lib/control.ml

  Show description for 33cb03d
  

  pxeger

  and

  dvlasits

  authored
  33cb03d

  Copy full SHA for 33cb03d

Commits on Aug 4, 2023

• use List.fold_left

  pxeger

  committed
  5e7cbab

  Copy full SHA for 5e7cbab

• fix type errors

  pxeger

  committed
  2e99ffe

  Copy full SHA for 2e99ffe

• add tests for option instances

  pxeger

  committed
  ba63044

  Copy full SHA for ba63044

• add signature for Option module

  pxeger

  committed
  ef7d9f4

  Copy full SHA for ef7d9f4

• split Option and List tests

  pxeger

  committed
  65931a0

  Copy full SHA for 65931a0

• add functor etc. instances for functions and pairs

  pxeger

  committed
  e11a836

  Copy full SHA for e11a836

• add (commented-out due to bug) tests for sequence

  pxeger

  committed
  3deca46

  Copy full SHA for 3deca46

• rename Any.t to Any.t_for_any to avoid potential overlapping instances

  pxeger

  committed
  a1419e8

  Copy full SHA for a1419e8

• add Any instance for lists

  pxeger

  committed
  cc7f909

  Copy full SHA for cc7f909

• remove duplicate declaration of Num

  pxeger

  committed
  d84aec9

  Copy full SHA for d84aec9

• remove duplicate Show classes

  pxeger

  committed
  3d4a012

  Copy full SHA for 3d4a012

• add show instances for more sizes of tuples

  pxeger

  committed
  067a7b0

  Copy full SHA for 067a7b0

Commits on Aug 7, 2023

• strengthen typing of Ord.compare

  pxeger

  committed
  4abf10c

  Copy full SHA for 4abf10c

• remove ambiguous instantiations of Monoid for numeric types

  Show description for 24e1050
  pxeger

  committed
  24e1050

  Copy full SHA for 24e1050

• add type signatures for instances of Eq, Num, Enum, etc.

  pxeger

  committed
  ab21e06

  Copy full SHA for ab21e06

Commits on Aug 8, 2023

• add const and identity functors

  pxeger

  committed
  3701b83

  Copy full SHA for 3701b83

• add myself as author

  pxeger

  committed
  5d5b2ff

  Copy full SHA for 5d5b2ff

Commits on Aug 9, 2023

• instantiate Applicative for Const of a Monoid

  pxeger

  committed
  2b0dd8f

  Copy full SHA for 2b0dd8f

• change type of translateCompare

  pxeger

  committed
  05a844b

  Copy full SHA for 05a844b

• mark Functor et al as covariant

  pxeger

  committed
  e3c744a

  Copy full SHA for e3c744a