Skip to content

Commit b9be0a7

Browse files
authored
Merge pull request #4 from cryogenian/ord1-eq1-from-prelude
removed Ord1 and Eq1
2 parents 451f67f + 97a40dc commit b9be0a7

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)