-
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
-- Copyright 2026 Shota FUJI
--
-- This Source Code Form is subject to the terms of the Mozilla Public
-- License, v. 2.0. If a copy of the MPL was not distributed with this
-- file, You can obtain one at https://mozilla.org/MPL/2.0/.
--
-- SPDX-License-Identifier: MPL-2.0
module Parameters.Constraints exposing (..)
import Length exposing (Length, mm)
import Parameters
type alias NumberConstraints a =
{ min : Maybe a
, max : Maybe a
}
type alias FixedLoop =
{ width : NumberConstraints Length
, play : NumberConstraints Length
}
type alias FreeLoop =
{ width : NumberConstraints Length
, play : NumberConstraints Length
, overlap : NumberConstraints Length
}
type alias Loops =
{ fixed : FixedLoop
, free : FreeLoop
, thickness : NumberConstraints Length
}
type alias BuckleTongue =
{ thickness : NumberConstraints Length
, width : NumberConstraints Length
}
type alias Buckle =
{ springBarDiameter : NumberConstraints Length
}
type alias ShortPiece =
{ loops : Loops
, length : NumberConstraints Length
, buckle : Buckle
}
type alias BuckleHole =
{ count : NumberConstraints Int
, diameter : NumberConstraints Length
, interval : NumberConstraints Length
, offset : NumberConstraints Length
}
type alias LongPiece =
{ buckleHole : BuckleHole
, length : NumberConstraints Length
}
type alias Rendering =
{ margin : NumberConstraints Length
, lineWidth : NumberConstraints Length
}
type alias Parameters =
{ lugWidth : NumberConstraints Length
, longPiece : LongPiece
, shortPiece : ShortPiece
, lining : NumberConstraints Length
, thickness : NumberConstraints Length
, taper : NumberConstraints Length
, rendering : Rendering
}
constraints : Parameters
constraints =
{ lugWidth = { min = Just (mm 10), max = Just (mm 30) }
, longPiece =
{ buckleHole =
{ count = { min = Just 0, max = Just 10 }
, diameter = { min = Just (mm 1), max = Just (mm 10) }
, interval = { min = Just (mm 1), max = Just (mm 10) }
, offset = { min = Just (mm 1), max = Just (mm 100) }
}
, length = { min = Just (mm 5), max = Just (mm 150) }
}
, shortPiece =
{ loops =
{ fixed =
{ width = { min = Just (mm 1), max = Just (mm 15) }
, play = { min = Just (mm 0), max = Just (mm 10) }
}
, free =
{ width = { min = Just (mm 1), max = Just (mm 15) }
, play = { min = Just (mm 0), max = Just (mm 10) }
, overlap = { min = Just (mm 0), max = Just (mm 10) }
}
, thickness = { min = Just (mm 0.1), max = Just (mm 1) }
}
, length = { min = Just (mm 5), max = Just (mm 150) }
, buckle =
{ springBarDiameter = { min = Just (mm 1), max = Just (mm 3) }
}
}
, lining = { min = Just (mm 0), max = Just (mm 5) }
, thickness = { min = Just (mm 0.1), max = Just (mm 5) }
, taper = { min = Just (mm 0), max = Just (mm 8) }
, rendering =
{ margin = { min = Just (mm 0), max = Just (mm 20) }
, lineWidth = { min = Just (mm 0.1), max = Just (mm 1) }
}
}