Skip to content
This repository was archived by the owner on Jun 15, 2023. It is now read-only.

Commit 11e4409

Browse files
committed
Update Eq and Ord instances
1 parent 30f989b commit 11e4409

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/Text/Markdown/SlamDown/Syntax/TextBox.purs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -70,8 +70,8 @@ instance showTextBox ∷ (Functor f, Show (f String), Show (f HN.HugeNum), Show
7070
Time prec def → "(Time " <> show prec <> " " <> show def <> ")"
7171
DateTime prec def → "(DateTime " <> show prec <> " " <> show def <> ")"
7272

73-
derive instance eqTextBox ∷ (Functor f, Eq (f String), Eq (f HN.HugeNum), Eq (f DT.Time), Eq (f DT.Date), Eq (f DT.DateTime), Eq1 f) Eq (TextBox f)
74-
derive instance ordTextBox ∷ (Functor f, Ord (f String), Ord (f HN.HugeNum), Ord (f DT.Time), Ord (f DT.Date), Ord (f DT.DateTime), Ord1 f) Ord (TextBox f)
73+
derive instance eqTextBox ∷ (Functor f, Eq1 f) Eq (TextBox f)
74+
derive instance ordTextBox ∷ (Functor f, Ord1 f) Ord (TextBox f)
7575

7676
instance arbitraryTextBox ∷ (Functor f, SCA.Arbitrary (f String), SCA.Arbitrary (f Number), SCA.Arbitrary (f ADT.ArbTime), SCA.Arbitrary (f ADT.ArbDate), SCA.Arbitrary (f ADT.ArbDateTime)) SCA.Arbitrary (TextBox f) where
7777
arbitrary = do

0 commit comments

Comments
 (0)