git.iko.soy/elk
on master help sign in
Add a bunch of core Elm modules. These are not directly integrated in the compiler right now.

Currently, these files are either unused or compiled down to JS and included in the runtime system (i.e. `elm-runtime-x.y.z.js`) They will eventually get incorporated into the compiler though!

commite7cadaf9abea56c12a9253654884f72f15f0cd59 authorevancz <info@elm-lang.org> dateThu 4 Oct 2012, 22:01 (14 years ago) parentf71a08a
4 files changed+289
compare with master
unifiedsplit
core-elm/Color.elm+22 core-elm/Element.elm+195 core-elm/List.elm+59 core-elm/Map.elm+13
core-elm/Color.elmnew file+22
@@ -0,0 +1,22 @@
1+
2+module Graphics.Color
3+ (rgba,rgb
4+ ,red,green,blue
5+ ,yellow,cyan,magenta
6+ ,black,white,gray,grey) where
7+
8+data Color = Color Int Int Int Float
9+
10+rgba = Color
11+rgb r g b = Color r g b 1
12+
13+red = Color 255 0 0 1
14+green = Color 0 255 0 1
15+blue = Color 0 0 255 1
16+yellow = Color 255 255 0 1
17+cyan = Color 0 255 255 1
18+magenta = Color 255 0 255 1
19+black = Color 0 0 0 1
20+white = Color 255 255 255 1
21+gray = Color 128 128 128 1
22+grey = Color 128 128 128 1
core-elm/Element.elmnew file+195
@@ -0,0 +1,195 @@
1+
2+module Graphics.Element
3+ (left,right,down,up,inward,outward
4+ ,topLeft,topRight,bottomLeft,bottomRight
5+ ,midLeft,midRight,midTop,midBottom
6+ ,middle,absolute,relative
7+ ,topLeftAt,topRightAt,bottomLeftAt,bottomRightAt
8+ ,width,height,size,widthOf,heightOf,sizeOf
9+ ,color,opacity
10+ ,text,image,fittedImage,video
11+ ,flow,above,below,beside,layers
12+ ,collage,spacer,container
13+ ,line,segment
14+ ,polygon,ngon,rect,oval,circle
15+ ,solid,dotted,dashed,customLine
16+ ,filled,outlined,customOutline,textured
17+ ,sprite,toForm
18+ ,rotate,scale,move
19+ ) where
20+
21+import Graphics.Color
22+
23+data Direction = DLeft | DRight | DUp | DDown | DIn | DOut
24+
25+left = DLeft
26+right = DRight
27+down = DDown
28+up = DUp
29+inward = DIn
30+outward = DOut
31+
32+data Pos1 = Absolute Int | Relative Float
33+data Pos2 = Near | Mid | Far
34+
35+data Position
36+ = Position Pos2 Pos2
37+ | PositionAt Pos1 Pos1
38+ | PositionTL Pos1 Pos1
39+ | PositionTR Pos1 Pos1
40+ | PositionBL Pos1 Pos1
41+ | PositionBR Pos1 Pos1
42+
43+topLeft = Position Near Near
44+topRight = Position Far Near
45+bottomLeft = Position Near Far
46+bottomRight = Position Far Far
47+
48+midLeft = Position Near Mid
49+midRight = Position Far Mid
50+midTop = Position Mid Near
51+midBottom = Position Mid Far
52+
53+middle = Position Mid Mid
54+
55+middleAt = PositionAt
56+topLeftAt = PositionTL
57+topRightAt = PositionTR
58+bottomLeftAt = PositionBL
59+bottomRightAt = PositionBR
60+
61+absolute = Absolute
62+relative = Relative
63+
64+data Element = Element Int BasicElement Int Int Float (Maybe Color) (Just String)
65+
66+newElement = Element 0
67+basicNewElement e w h = Element 0 e w h 1 Nothing Nothing
68+
69+data BasicElement
70+ = EText Text Text
71+ | EImage String
72+ | EVideo String
73+ | EFittedImage String
74+ | EFlow Direction [Element]
75+ | ECollage Int Int [Form]
76+ | EEmpty
77+ | EContainer Position Element
78+
79+width w' (Element _ e w h o c l) =
80+ case e of
81+ { EText _ -> newElement e w' h o c l
82+ ; EImage _ -> newElement e w' h o c l
83+ ; EVideo _ -> newElement e w' h o c l
84+ ; _ -> newElement e w' h o c l }
85+height h' (Element _ e w h o c l) =
86+ case e of
87+ { EText _ -> newElement e w h' o c l
88+ ; EImage _ -> newElement e w h' o c l
89+ ; EVideo _ -> newElement e w h' o c l
90+ ; _ -> newElement e w h' o c l }
91+size w' h' (Element _ e w h o c l) = newElement e w' h' o c l
92+opacity o' (Element _ e w h o c l) = newElement e w h o' c l
93+color c' (Element _ e w h o c l) = newElement e w h o (Just c') l
94+link l' (Element _ e w h o c l) = newElement e w h o c (Just l')
95+
96+widthOf (Element _ _ w _ _ _ _) = w
97+heightOf (Element _ _ _ h _ _ _) = h
98+sizeOf (Element _ _ w h _ _ _) = (w,h)
99+
100+n1 = 0-1
101+
102+text t = basicNewElement (EText t) n1 n1
103+image w h s = basicNewElement (EImage s) w h
104+video w h s = basicNewElement (EVideo s) w h
105+fittedImage w h s = basicNewElement (EFittedImage s) w h
106+
107+flow dir es =
108+ let { w = let ws = map widthOf es in
109+ case dir of { DLeft -> sum ws
110+ ; DRight -> sum ws
111+ ; _ -> maximum ws }
112+ ; h = let hs = map heightOf es in
113+ case dir of { DDown -> sum hs
114+ ; DUp -> sum hs
115+ ; _ -> maximum hs }
116+ } in basicNewElement (EFlow dir es) w h
117+
118+above e1 e2 =
119+ newElement
120+ (EFlow DDown [e1,e2])
121+ (max (widthOf e1) (widthOf e2))
122+ (heightOf e1 + heightOf e2) 1 Nothing Nothing
123+
124+below e1 e2 =
125+ basicNewElement (EFlow DDown [e2,e1])
126+ (max (widthOf e1) (widthOf e2))
127+ (heightOf e1 + heightOf e2)
128+
129+beside e1 e2 =
130+ basicNewElement (EFlow DRight [e1,e2])
131+ (widthOf e1 + widthOf e2)
132+ (max (heightOf e1) (heightOf e2))
133+
134+layers es =
135+ basicNewElement (EFlow DIn es)
136+ (maximum (map widthOf es))
137+ (maximum (map heightOf es))
138+
139+collage w h forms = basicNewElement (ECollage w h forms) w h
140+
141+spacer w h = basicNewElement EEmpty w h
142+
143+container w h pos e =
144+ basicNewElement (EContainer pos e) w h
145+
146+
147+
148+data LineStyle = Solid | Dotted | Dashed | Custom [Int]
149+data ShapeStyle = Filled | Outlined | CustomOutline [Int] | Textured String
150+
151+data Line = Line [(Float,Float)]
152+
153+line = Line
154+segment p1 p2 = Line [p1,p2]
155+
156+data Shape = Shape [(Float,Float)] (Float,Float)
157+
158+polygon = Shape
159+rect w h pos = Shape [(0-w/2,0-h/2),(0-w/2,h/2),(w/2,h/2),(w/2,0-h/2)] pos
160+oval w h pos =
161+ let n = 50 in
162+ let f i = ( w/2 * cos (2*pi/n * i), h/2 * sin (2*pi/n * i)) in
163+ Shape (map f [0..n-1]) pos
164+circle r = oval (2*r) (2*r)
165+ngon n r pos =
166+ let m = toFloat n in
167+ let f i = ( r * cos (2*pi/m * i), r * sin (2*pi/m * i)) in
168+ Shape (map f [0..n-1]) pos
169+
170+data Form = Form Float Float (Float,Float) BasicForm
171+
172+data BasicForm
173+ = FLine LineStyle Color Line
174+ | FShape ShapeStyle Color Shape
175+ | FImage Int Int String
176+ | FElement Element
177+
178+solid clr ln = Form 0 1 (0,0) (FLine Solid clr ln)
179+dotted clr ln = Form 0 1 (0,0) (FLine Dotted clr ln)
180+dashed clr ln = Form 0 1 (0,0) (FLine Dashed clr ln)
181+customLine pattern clr ln =
182+ Form 0 1 (0,0) (FLine (Custom pattern) clr ln)
183+
184+filled clr (Shape ps pos) = Form 0 1 pos (FShape Filled clr (Shape ps pos))
185+outlined clr (Shape ps pos) = Form 0 1 pos (FShape Outlined clr (Shape ps pos))
186+customOutline pattern clr (Shape ps pos) =
187+ Form 0 1 pos (FShape (CustomOutline pattern) clr (Shape ps pos))
188+textured src (Shape ps pos) = Form 0 1 pos (FShape (Textured src) black (Shape ps pos))
189+
190+sprite w h pos src = Form 0 1 pos (FImage w h src)
191+toForm pos e = Form 0 1 pos (FElement e)
192+
193+rotate t (Form theta scale pos form) = Form (t+theta) scale pos form
194+scale s (Form theta scale pos form) = Form theta (s*scale) pos form
195+move x y (Form theta scale (px,py) form) = Form theta scale (x+px,y+py) form
core-elm/List.elmnew file+59
@@ -0,0 +1,59 @@
1+
2+head (h:t) = h
3+tail (h:t) = t
4+
5+map f lst = case lst of { x:xs -> f x : map f xs; [] -> [] }
6+foldl f b lst = case lst of { x:xs -> foldl f (f x b) xs; [] -> b }
7+foldr f b lst = case lst of { x:xs -> f x (foldr f b xs); [] -> b }
8+
9+foldl1 f (x:xs) = foldl f x xs
10+foldr1 f (x:xs) = foldr f x xs
11+
12+scanl f b xs = b : (case xs of { x:xs -> scanl f (f x b) xs; [] -> [] })
13+scanl1 f lst = case lst of { x:xs -> scanl f x xs; [] -> [] }
14+
15+filter pred lst =
16+ case lst of
17+ { x:xs -> if pred x then x : filter pred xs else filter pred xs
18+ ; [] -> [] }
19+
20+length = foldl (\x c -> 1 + c) 0
21+reverse = foldl (:) []
22+
23+concat = foldr (++) []
24+concatMap f = concat . map f
25+
26+and = foldl (&&) True
27+or = foldl (||) False
28+
29+forall pred = foldl (\x acc -> acc && pred x) True
30+exists pred = foldl (\x acc -> acc || pred x) False
31+
32+sum = foldl (+) 0
33+product = foldl (*) 1
34+maximum = foldl1 max
35+minimum = foldl1 min
36+
37+partition pred lst =
38+ case lst of
39+ { x:xs -> case partition pred xs of
40+ { (as,bs) -> if pred x then (x:as,bs) else (as,x:bs) }
41+ ; [] -> ([],[]) }
42+
43+zipWith f listA listB = case (listA, listB) of
44+ { (a:as, b:bs) -> f a b : zipWith f as bs; _ -> [] }
45+
46+zip listA listB = case (listA, listB) of
47+ { (a:as, b:bs) -> (a,b) : zip as bs; _ -> [] }
48+
49+unzip pairs =
50+ case pairs of
51+ { p:ps -> case (p, unzip ps) of { ((x,y),(xs,ys)) -> (x:xs,y:ys) }
52+ ; [] -> ([],[]) }
53+
54+intersperse sep xs =
55+ case xs of { a:b:cs -> a : sep : intersperse sep (b:cs)
56+ ; a:[] -> [a] ; [] -> [] }
57+intercalate sep xs =
58+ case xs of { a:b:cs -> a ++ sep ++ intercalate sep (b:cs)
59+ ; a:[] -> a ; [] -> [] }
core-elm/Map.elmnew file+13
@@ -0,0 +1,13 @@
1+
2+empty = []
3+singleton k v = [(k,v)]
4+insert k v dict = (k,v):dict
5+
6+fst pair = let (a,b) = pair in a
7+
8+member key = exists (\pair -> fst pair == key)
9+
10+delete key = filter (\pair -> fst pair == key)
11+intersect d1 d2 = filter (\pair -> member (fst pair) d2) d1
12+difference d1 d2 = filter (\pair -> not (member (fst pair) d2)) d1
13+union d1 d2 = d1 ++ difference d2 d1