/
Overriden.purs
147 lines (92 loc) · 2.35 KB
/
Overriden.purs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
-- | Keywords on which other modules depend to construct CSS classes.
module Materialize.Overriden where
import Data.Typelevel.Undefined (undefined)
import Materialize.Markup (class Render, render)
data Disabled
data Active
data Left
data Right
data Centered
data Tiny
data Small
data Medium
data Large
data ExtraLarge
data Responsive
data Top
data Bottom
data Fixed
data Circular
data Linear
linear :: Linear
linear = undefined
circular :: Circular
circular = undefined
fixed :: Fixed
fixed = undefined
bottom :: Bottom
bottom = undefined
top :: Top
top = undefined
responsive :: Responsive
responsive = undefined
disabled :: Disabled
disabled = undefined
active :: Active
active = undefined
left :: Left
left = undefined
right :: Right
right = undefined
centered :: Centered
centered = undefined
tiny :: Tiny
tiny = undefined
small :: Small
small = undefined
medium :: Medium
medium = undefined
large :: Large
large = undefined
extraLarge :: ExtraLarge
extraLarge = undefined
mobile :: Small
mobile = small
tablet :: Medium
tablet = medium
desktop :: Large
desktop = large
largeDesktop :: ExtraLarge
largeDesktop = extraLarge
instance renderCircular :: Render Circular where
render _ = render "circular"
instance renderLinear :: Render Linear where
render _ = render "linear"
instance renderFixed :: Render Fixed where
render _ = render "fixed"
instance renderBottom :: Render Bottom where
render _ = render "bottom"
instance renderTop :: Render Top where
render _ = render "top"
instance renderResponsive :: Render Responsive where
render _ = render "responsive"
instance renderLeft :: Render Left where
render _ = render "left"
instance renderRight :: Render Right where
render _ = render "right"
instance renderCenter :: Render Centered where
render _ = render "centered"
instance renderActive :: Render Active where
render _ = render "active"
instance renderDisabled :: Render Disabled where
render _ = render "disabled"
instance renderTiny :: Render Tiny where
render _ = render "tiny"
instance renderSmall :: Render Small where
render _ = render "small"
instance renderMedium :: Render Medium where
render _ = render "medium"
instance renderLarge :: Render Large where
render _ = render "large"
instance renderExtraLarge :: Render ExtraLarge where
render _ = render "extra-large"