Skip to content

Commit 6cf4b78

Browse files
authored
Add Eq and Ord instances (#25)
1 parent d1e365c commit 6cf4b78

15 files changed

+81
-1
lines changed

src/DOM/HTML/Indexed/ButtonType.purs

+5
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,15 @@
11
module DOM.HTML.Indexed.ButtonType where
22

3+
import Prelude
4+
35
data ButtonType
46
= ButtonButton
57
| ButtonSubmit
68
| ButtonReset
79

10+
derive instance eqButtonType :: Eq ButtonType
11+
derive instance ordButtonType :: Ord ButtonType
12+
813
renderButtonType :: ButtonType -> String
914
renderButtonType = case _ of
1015
ButtonButton -> "button"

src/DOM/HTML/Indexed/CrossOriginValue.purs

+5
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,14 @@
11
module DOM.HTML.Indexed.CrossOriginValue where
22

3+
import Prelude
4+
35
data CrossOriginValue
46
= Anonymous
57
| UseCredentials
68

9+
derive instance eqCrossOriginValue :: Eq CrossOriginValue
10+
derive instance ordCrossOriginValue :: Ord CrossOriginValue
11+
712
renderCrossOriginValue :: CrossOriginValue -> String
813
renderCrossOriginValue = case _ of
914
Anonymous -> "anonymous"

src/DOM/HTML/Indexed/DirValue.purs

+5
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,15 @@
11
module DOM.HTML.Indexed.DirValue where
22

3+
import Prelude
4+
35
data DirValue
46
= DirLTR
57
| DirRTL
68
| DirAuto
79

10+
derive instance eqDirValue :: Eq DirValue
11+
derive instance ordDirValue :: Ord DirValue
12+
813
renderDirValue :: DirValue -> String
914
renderDirValue = case _ of
1015
DirLTR -> "ltr"

src/DOM/HTML/Indexed/FormMethod.purs

+5
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,14 @@
11
module DOM.HTML.Indexed.FormMethod where
22

3+
import Prelude
4+
35
data FormMethod
46
= POST
57
| GET
68

9+
derive instance eqFormMethod :: Eq FormMethod
10+
derive instance ordFormMethod :: Ord FormMethod
11+
712
renderFormMethod :: FormMethod -> String
813
renderFormMethod = case _ of
914
POST -> "post"

src/DOM/HTML/Indexed/InputAcceptType.purs

+6
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,9 @@ import Data.String as String
77

88
newtype InputAcceptType = InputAcceptType (Array InputAcceptTypeAtom)
99

10+
derive instance eqInputAcceptType :: Eq InputAcceptType
11+
derive instance ordInputAcceptType :: Ord InputAcceptType
12+
1013
instance semigroupInputAcceptType :: Semigroup InputAcceptType where
1114
append (InputAcceptType a) (InputAcceptType b) = InputAcceptType (a <> b)
1215

@@ -20,6 +23,9 @@ data InputAcceptTypeAtom
2023
= AcceptMediaType MediaType
2124
| AcceptFileExtension String
2225

26+
derive instance eqInputAcceptTypeAtom :: Eq InputAcceptTypeAtom
27+
derive instance ordInputAcceptTypeAtom :: Ord InputAcceptTypeAtom
28+
2329
renderInputAcceptType :: InputAcceptType -> String
2430
renderInputAcceptType (InputAcceptType atoms) =
2531
String.joinWith "," (map renderInputAcceptTypeAtom atoms)

src/DOM/HTML/Indexed/InputType.purs

+5
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
module DOM.HTML.Indexed.InputType where
22

3+
import Prelude
4+
35
data InputType
46
= InputButton
57
| InputCheckbox
@@ -24,6 +26,9 @@ data InputType
2426
| InputUrl
2527
| InputWeek
2628

29+
derive instance eqInputType :: Eq InputType
30+
derive instance ordInputType :: Ord InputType
31+
2732
renderInputType :: InputType -> String
2833
renderInputType = case _ of
2934
InputButton -> "button"

src/DOM/HTML/Indexed/KindValue.purs

+5
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,17 @@
11
module DOM.HTML.Indexed.KindValue where
22

3+
import Prelude
4+
35
data KindValue
46
= KindSubtitles
57
| KindCaptions
68
| KindDescriptions
79
| KindChapters
810
| KindMetadata
911

12+
derive instance eqKindValue :: Eq KindValue
13+
derive instance ordKindValue :: Ord KindValue
14+
1015
renderKindValue :: KindValue -> String
1116
renderKindValue = case _ of
1217
KindSubtitles -> "subtitles"

src/DOM/HTML/Indexed/MenuType.purs

+5
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,15 @@
11
module DOM.HTML.Indexed.MenuType where
22

3+
import Prelude
4+
35
data MenuType
46
= MenuList
57
| MenuContext
68
| MenuToolbar
79

10+
derive instance eqMenuType :: Eq MenuType
11+
derive instance ordMenuType :: Ord MenuType
12+
813
renderMenuType :: MenuType -> String
914
renderMenuType = case _ of
1015
MenuList -> "list"

src/DOM/HTML/Indexed/MenuitemType.purs

+5
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,15 @@
11
module DOM.HTML.Indexed.MenuitemType where
22

3+
import Prelude
4+
35
data MenuitemType
46
= MenuitemCommand
57
| MenuitemCheckbox
68
| MenuitemRadio
79

10+
derive instance eqMenuitemType :: Eq MenuitemType
11+
derive instance ordMenuitemType :: Ord MenuitemType
12+
813
renderMenuitemType :: MenuitemType -> String
914
renderMenuitemType = case _ of
1015
MenuitemCommand -> "command"

src/DOM/HTML/Indexed/OnOff.purs

+5
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,14 @@
11
module DOM.HTML.Indexed.OnOff where
22

3+
import Prelude
4+
35
data OnOff
46
= On
57
| Off
68

9+
derive instance eqOnOff :: Eq OnOff
10+
derive instance ordOnOff :: Ord OnOff
11+
712
renderOnOff :: OnOff -> String
813
renderOnOff = case _ of
914
On -> "on"

src/DOM/HTML/Indexed/OrderedListType.purs

+11
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,28 @@
11
module DOM.HTML.Indexed.OrderedListType where
22

3+
import Prelude
4+
35
data CaseType
46
= Uppercase
57
| Lowercase
68

9+
derive instance eqCaseType :: Eq CaseType
10+
derive instance ordCaseType :: Ord CaseType
11+
712
data NumeralType
813
= NumeralDecimal
914
| NumeralRoman CaseType
1015

16+
derive instance eqNumeralType :: Eq NumeralType
17+
derive instance ordNumeralType :: Ord NumeralType
18+
1119
data OrderedListType
1220
= OrderedListNumeric NumeralType
1321
| OrderedListAlphabetic CaseType
1422

23+
derive instance eqOrderedListType :: Eq OrderedListType
24+
derive instance ordOrderedListType :: Ord OrderedListType
25+
1526
renderOrderedListType :: OrderedListType -> String
1627
renderOrderedListType = case _ of
1728
OrderedListNumeric NumeralDecimal -> "1"

src/DOM/HTML/Indexed/PreloadValue.purs

+5
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,15 @@
11
module DOM.HTML.Indexed.PreloadValue where
22

3+
import Prelude
4+
35
data PreloadValue
46
= PreloadNone
57
| PreloadAuto
68
| PreloadMetadata
79

10+
derive instance eqPreloadValue :: Eq PreloadValue
11+
derive instance ordPreloadValue :: Ord PreloadValue
12+
813
renderPreloadValue :: PreloadValue -> String
914
renderPreloadValue = case _ of
1015
PreloadNone -> "none"

src/DOM/HTML/Indexed/ScopeValue.purs

+5
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,17 @@
11
module DOM.HTML.Indexed.ScopeValue where
22

3+
import Prelude
4+
35
data ScopeValue
46
= ScopeRow
57
| ScopeCol
68
| ScopeRowGroup
79
| ScopeColGroup
810
| ScopeAuto
911

12+
derive instance eqScopeValue :: Eq ScopeValue
13+
derive instance ordScopeValue :: Ord ScopeValue
14+
1015
renderScopeValue :: ScopeValue -> String
1116
renderScopeValue = case _ of
1217
ScopeRow -> "row"

src/DOM/HTML/Indexed/StepValue.purs

+4-1
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,14 @@
11
module DOM.HTML.Indexed.StepValue where
22

3-
import Prelude (show)
3+
import Prelude
44

55
data StepValue
66
= Any
77
| Step Number
88

9+
derive instance eqStepValue :: Eq StepValue
10+
derive instance ordStepValue :: Ord StepValue
11+
912
renderStepValue :: StepValue -> String
1013
renderStepValue = case _ of
1114
Any -> "any"

src/DOM/HTML/Indexed/WrapValue.purs

+5
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,14 @@
11
module DOM.HTML.Indexed.WrapValue where
22

3+
import Prelude
4+
35
data WrapValue
46
= Hard
57
| Soft
68

9+
derive instance eqWrapValue :: Eq WrapValue
10+
derive instance ordWrapValue :: Ord WrapValue
11+
712
renderWrapValue :: WrapValue -> String
813
renderWrapValue = case _ of
914
Hard -> "hard"

0 commit comments

Comments
 (0)