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
{-# LANGUAGE RecordWildCards #-}
module Graphics.Layout.Box where
data Border m n = Border {
top :: m, bottom :: m, left :: n, right :: n
}
mapX :: (n -> nn) -> Border m n -> Border m nn
mapY :: (m -> mm) -> Border m n -> Border mm n
mapX cb self = self { left = cb $ left self, right = cb $ right self }
mapY cb self = self { top = cb $ top self, bottom = cb $ bottom self }
data Size m n = Size {inline :: n, block :: m}
data PaddedBox m n = PaddedBox {
min :: Size m n,
max :: Size m n,
size :: Size m n,
padding :: Border m n,
border :: Border m n,
margin :: Border m n
}
width PaddedBox {..} = left margin + left border + left padding +
inline size + right padding + right border + right margin
height PaddedBox {..} = top margin + top border + top padding +
block size + bottom padding + bottom border + bottom margin
minWidth PaddedBox {..} = left margin + left border + left padding +
inline min + right padding + right border + right margin
minHeight PaddedBox {..} = top margin + top border + top padding +
block min + bottom padding + bottom border + bottom margin
data Length = Pixels Double | Percent Double | Auto | Preferred | Min