Code

Reduce Internal boilerplate#2874

Code

Merged

janmasrovira merged 22 commits intomainanoma/juvix:mainfrom reduce-internal-boilerplateanoma/juvix:reduce-internal-boilerplateCopy head branch name to clipboardJul 9, 2024

+371-501

Commits

Commits on Jul 3, 2024

• remove qualified GHC.Type

  janmasrovira

  committed
  9bfc1cf

  Copy full SHA for 9bfc1cf

• immediateSubExpressions

  janmasrovira

  committed
  20318f6

  Copy full SHA for 20318f6

• get a bigger lens

  janmasrovira

  committed
  270a287

  Copy full SHA for 270a287

• implement leafExpressions in terms of immediateSubExpressions

  janmasrovira

  committed
  00b2b9e

  Copy full SHA for 00b2b9e

• remove ImpliesK

  janmasrovira

  committed
  6a54175

  Copy full SHA for 6a54175

• move to prelude

  janmasrovira

  committed
  0fd57b0

  Copy full SHA for 0fd57b0

• solve loop for traversable

  janmasrovira

  committed
  6a1f620

  Copy full SHA for 6a1f620

• clean

  janmasrovira

  committed
  ae9e125

  Copy full SHA for ae9e125

• add simpler version

  janmasrovira

  committed
  efd7bee

  Copy full SHA for efd7bee

• try with self

  janmasrovira

  committed
  429500e

  Copy full SHA for 429500e

• remove leafExpressions

  janmasrovira

  committed
  ec79f1f

  Copy full SHA for ec79f1f

• use recImmediateSubExpressions

  janmasrovira

  committed
  d2c4c62

  Copy full SHA for d2c4c62

• use allExpressions

  janmasrovira

  committed
  844532f

  Copy full SHA for 844532f

• more elegant implementation without RecHasExpressions class

  janmasrovira

  committed
  25527ec

  Copy full SHA for 25527ec

• remove LeafExpression

  janmasrovira

  committed
  1dea6b0

  Copy full SHA for 1dea6b0

• remove HasLetDefs

  janmasrovira

  committed
  bfd9e15

  Copy full SHA for bfd9e15

• fix rebase

  janmasrovira

  committed
  19ad4e9

  Copy full SHA for 19ad4e9

Commits on Jul 4, 2024

• fix directExpressions of InductiveParameter

  janmasrovira

  committed
  335efe5

  Copy full SHA for 335efe5

• simplify application scanner

  janmasrovira

  committed
  48a0157

  Copy full SHA for 48a0157

• move Clonable from Internal.Extra.Base to Internal.Extra

  janmasrovira

  committed
  7fc7727

  Copy full SHA for 7fc7727

• simplify Clonable

  janmasrovira

  committed
  f2ed27b

  Copy full SHA for f2ed27b

• unused code

  janmasrovira

  committed
  f524a64

  Copy full SHA for f524a64