Skip to content

Commit 97a40dc

Browse files
committed
removed Ord1 and Eq1
1 parent 451f67f commit 97a40dc

File tree

3 files changed

+2
-14
lines changed

3 files changed

+2
-14
lines changed

src/Data/Eq1.purs

Lines changed: 0 additions & 6 deletions
This file was deleted.

src/Data/Functor/Mu.purs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,9 +7,9 @@ module Data.Functor.Mu
77
import Prelude
88
import Data.TacitString as TS
99

10-
import Data.Eq1 (class Eq1, eq1)
10+
import Data.Eq (class Eq1, eq1)
1111
import Data.Newtype (class Newtype)
12-
import Data.Ord1 (class Ord1, compare1)
12+
import Data.Ord (class Ord1, compare1)
1313

1414
-- | `Mu f` is the least fixed point of a functor `f`, when it exists.
1515
newtype Mu f = In (f (Mu f))

src/Data/Ord1.purs

Lines changed: 0 additions & 6 deletions
This file was deleted.

0 commit comments

Comments
 (0)