fabian/veribase-idr2 - Change 4KXMGXQ6PTWVMINMKRCQE7DIJXUYMO7SVNR6AQ243QULY7IZLUYAC

Refactor Algebra

Created by Fabián Heredia Montiel on June 4, 2021

4KXMGXQ6PTWVMINMKRCQE7DIJXUYMO7SVNR6AQ243QULY7IZLUYAC

Dependencies

In channels

main

Change contents

File addition: Control (d--x------)
[7.10]
File move: Applicative.idr → Applicative.idr
BF:BFD[7.10] → [8.0:17]
[0.10]
[8.18]
Replacement in src/Algebra/Control/Applicative.idr at line 1 [8.18]
B:BD[8.18] → [8.19:46]
```
module Algebra.Applicative
```
[8.18]
[8.46]
```
module Algebra.Control.Applicative
```
Replacement in src/Algebra/Control/Applicative.idr at line 5 [8.18]
B:BD[8.63] → [8.63:86]
```
import Algebra.Functor
```
[8.63]
[8.86]
```
import Algebra.Control.Functor
```
File move: Functor.idr → Functor.idr
BF:BFD[7.10] → [9.0:13]
[0.10]
[9.14]
Replacement in src/Algebra/Control/Functor.idr at line 1 [9.14]
B:BD[9.14] → [9.15:38]
```
module Algebra.Functor
```
[9.14]
[9.38]
```
module Algebra.Control.Functor
```
File move: Monad.idr → Monad.idr
BF:BFD[7.10] → [2.0:11]
[0.10]
[2.12]
Replacement in src/Algebra/Control/Monad.idr at line 1 [2.12]
B:BD[2.12] → [2.13:34]
```
module Algebra.Monad
```
[2.12]
[2.34]
```
module Algebra.Control.Monad
```
Replacement in src/Algebra/Control/Monad.idr at line 5 [2.12]
B:BD[2.51] → [2.51:78]
```
import Algebra.Applicative
```
[2.51]
[2.78]
```
import Algebra.Control.Applicative
```
File addition: Group (d--x------)
[7.10]
File move: Group.idr → Group.idr
BF:BFD[7.10] → [10.0:11]
[0.229]
[10.12]
Replacement in src/Algebra/Group/Group.idr at line 1 [10.12]
B:BD[10.12] → [10.13:34]
```
module Algebra.Group
```
[10.12]
[10.34]
```
module Algebra.Group.Group
```
Replacement in src/Algebra/Group/Group.idr at line 5 [10.12]
B:BD[10.51] → [10.51:80]
```
import public Algebra.Monoid
```
[10.51]
[10.80]
```
import public Algebra.Group.Monoid
```
File move: Magma.idr → Magma.idr
BF:BFD[7.10] → [10.258:269]
[0.229]
[10.270]
Replacement in src/Algebra/Group/Magma.idr at line 1 [10.270]
B:BD[10.270] → [10.271:292]
```
module Algebra.Magma
```
[10.270]
[10.292]
```
module Algebra.Group.Magma
```
File move: Monoid.idr → Monoid.idr
BF:BFD[7.10] → [10.382:394]
[0.229]
[10.395]
Replacement in src/Algebra/Group/Monoid.idr at line 1 [10.395]
B:BD[10.395] → [10.396:418]
```
module Algebra.Monoid
```
[10.395]
[10.418]
```
module Algebra.Group.Monoid
```
Replacement in src/Algebra/Group/Monoid.idr at line 5 [10.395]
B:BD[10.435] → [10.435:467]
```
import public Algebra.Semigroup
```
[10.435]
[10.467]
```
import public Algebra.Group.Semigroup
```
File move: Semigroup.idr → Semigroup.idr
BF:BFD[7.10] → [10.623:638]
[0.229]
[10.639]
Replacement in src/Algebra/Group/Semigroup.idr at line 1 [10.639]
B:BD[10.639] → [10.640:665]
```
module Algebra.Semigroup
```
[10.639]
[10.665]
```
module Algebra.Group.Semigroup
```
Replacement in src/Algebra/Group/Semigroup.idr at line 5 [10.639]
B:BD[10.682] → [10.682:710]
```
import public Algebra.Magma
```
[10.682]
[10.710]
```
import public Algebra.Group.Magma
```
File addition: Relation (d--x------)
[7.10]
File move: Equivalence.idr → Equivalence.idr
BF:BFD[7.10] → [7.11:28]
[0.521]
[7.29]
Replacement in src/Algebra/Relation/Equivalence.idr at line 1 [7.29]
B:BD[7.29] → [7.30:57]
```
module Algebra.Equivalence
```
[7.29]
[7.57]
```
module Algebra.Relation.Equivalence
```

Replacement in src/Data/Boolean.idr at line 5 [11.117]

B:BD[7.208] → [5.23:86]

import public Algebra.Equivalence
import public Algebra.Monoid

[7.208]

[11.154]

import public Algebra.Relation.Equivalence
import public Algebra.Group.Monoid

Replacement in src/Data/Either.idr at line 5 [6.13]

B:BD[6.57] → [6.57:128]

import Algebra.Functor
import Algebra.Applicative
import Algebra.Monad

[6.57]

[6.128]

import Algebra.Control.Functor
import Algebra.Control.Applicative
import Algebra.Control.Monad

Replacement in src/Data/LinkedList.idr at line 5 [12.17]

B:BD[12.58] → [13.0:27]

∅:D[13.27] → [12.58:108]

B:BD[12.58] → [12.58:108]

B:BD[12.108] → [4.0:21]

∅:D[4.21] → [14.0:22]

B:BD[12.108] → [14.0:22]

import Algebra.Applicative
import Algebra.Equivalence
import Algebra.Functor
import Algebra.Monad
import Algebra.Monoid

[12.58]

[12.108]

import Algebra.Control.Applicative
import Algebra.Relation.Equivalence
import Algebra.Control.Functor
import Algebra.Control.Monad
import Algebra.Group.Monoid

Replacement in src/Data/Optional.idr at line 5 [11.30]

B:BD[11.53] → [15.0:27]

∅:D[15.27] → [7.969:996]

B:BD[11.53] → [7.969:996]

B:BD[7.996] → [9.302:325]

B:BD[9.325] → [3.0:21]

import Algebra.Applicative
import Algebra.Equivalence
import Algebra.Functor
import Algebra.Monad

[11.53]

[9.325]

import Algebra.Control.Applicative
import Algebra.Relation.Equivalence
import Algebra.Control.Functor
import Algebra.Control.Monad

Replacement in veribase.ipkg at line 8 [11.6174]
B:BD[11.6253] → [8.597:620]
∅:D[8.620] → [7.2088:2111]
B:BD[11.6253] → [7.2088:2111]
B:BD[7.2111] → [8.621:640]
B:BD[8.640] → [10.835:869]
B:BD[10.869] → [2.484:501]
∅:D[2.501] → [10.869:908]
B:BD[10.869] → [10.869:908]
```
	, Algebra.Applicative
	, Algebra.Equivalence
	, Algebra.Functor
	, Algebra.Group
	, Algebra.Magma
	, Algebra.Monad
	, Algebra.Monoid
	, Algebra.Semigroup
```
[11.6253]
[6.1297]
```
	, Algebra.Control.Applicative
	, Algebra.Control.Functor
	, Algebra.Control.Monad
```

Insertion in veribase.ipkg at line 12 [11.6174]

[6.1298]

[11.6253]

	, Algebra.Group.Group
	, Algebra.Group.Magma
	, Algebra.Group.Monoid
	, Algebra.Group.Semigroup
	, Algebra.Relation.Equivalence

Refactor Algebra

Dependencies

In channels

Change contents

File addition: Control (d--x------)

File move: Applicative.idr → Applicative.idr

Replacement in src/Algebra/Control/Applicative.idr at line 1 [8.18]

Replacement in src/Algebra/Control/Applicative.idr at line 5 [8.18]

File move: Functor.idr → Functor.idr

Replacement in src/Algebra/Control/Functor.idr at line 1 [9.14]

File move: Monad.idr → Monad.idr

Replacement in src/Algebra/Control/Monad.idr at line 1 [2.12]

Replacement in src/Algebra/Control/Monad.idr at line 5 [2.12]

File addition: Group (d--x------)

File move: Group.idr → Group.idr

Replacement in src/Algebra/Group/Group.idr at line 1 [10.12]

Replacement in src/Algebra/Group/Group.idr at line 5 [10.12]

File move: Magma.idr → Magma.idr

Replacement in src/Algebra/Group/Magma.idr at line 1 [10.270]

File move: Monoid.idr → Monoid.idr

Replacement in src/Algebra/Group/Monoid.idr at line 1 [10.395]

Replacement in src/Algebra/Group/Monoid.idr at line 5 [10.395]

File move: Semigroup.idr → Semigroup.idr

Replacement in src/Algebra/Group/Semigroup.idr at line 1 [10.639]

Replacement in src/Algebra/Group/Semigroup.idr at line 5 [10.639]

File addition: Relation (d--x------)

File move: Equivalence.idr → Equivalence.idr

Replacement in src/Algebra/Relation/Equivalence.idr at line 1 [7.29]

Replacement in src/Data/Boolean.idr at line 5 [11.117]

Replacement in src/Data/Either.idr at line 5 [6.13]

Replacement in src/Data/LinkedList.idr at line 5 [12.17]

Replacement in src/Data/Optional.idr at line 5 [11.30]

Replacement in veribase.ipkg at line 8 [11.6174]

Insertion in veribase.ipkg at line 12 [11.6174]