From 17232487cdfc7824c427273b1d2fb04c7a38300f Mon Sep 17 00:00:00 2001 From: evancz Date: Fri, 19 Oct 2012 00:13:28 -0700 Subject: [PATCH] Update Automaton, Dict, and Set libraries. --- core-elm/Automaton.elm | 4 +- core-elm/Dict.elm | 118 +++--- core-elm/Set.elm | 5 +- core-js/Automaton.js | 202 +++++++++- core-js/Dict.js | 550 ++++++++++++++++++++++++--- core-js/Set.js | 46 ++- elm/elm-runtime-0.5.0.js | 796 ++++++++++++++++++++++++++++++++++++--- 7 files changed, 1540 insertions(+), 181 deletions(-) diff --git a/core-elm/Automaton.elm b/core-elm/Automaton.elm index 889d04d..fe33be9 100644 --- a/core-elm/Automaton.elm +++ b/core-elm/Automaton.elm @@ -1,8 +1,6 @@ module Automaton where -import Data.List (unzip) - data Automaton a b = Automaton (a -> (b, Automaton a b)) @@ -41,7 +39,7 @@ draggable :: Form -> Automaton (Bool,(Int,Int)) Form run (Automaton m0) input = lift fst $ foldp' (\a (b, Automaton m) -> m a) m0 input -step a (Automaton m) = m a +step (Automaton m) a = m a --a1 >>> a2 = diff --git a/core-elm/Dict.elm b/core-elm/Dict.elm index 74e7675..eb94453 100644 --- a/core-elm/Dict.elm +++ b/core-elm/Dict.elm @@ -2,7 +2,7 @@ module Dict (empty,singleton,insert ,lookup,find,findWithDefault ,remove,member - ,fold,map + ,foldl,foldr,map ,union,intersect,diff ,keys,values ,toList,fromList @@ -16,7 +16,9 @@ data RBTree k v = RBNode NColor k v (RBTree k v) (RBTree k v) | RBEmpty empty = RBEmpty --- Helpers for checking invariants +raise = console.log + +{-- Helpers for checking invariants -- Check that the tree has an equal number of black nodes on each path equal_pathLen t = @@ -92,21 +94,24 @@ invariants_hold t = equal_pathLen t && leftLeaning t --** End invariant helpers ***** +--} min t = case t of { RBNode _ k v RBEmpty _ -> (k,v) ; RBNode _ _ _ l _ -> min l - ; RBEmpty -> throw "(min RBEmpty) is not defined" + ; RBEmpty -> raise "(min RBEmpty) is not defined" } +{-- max t = case t of { RBNode _ k v _ RBEmpty -> (k,v) ; RBNode _ _ _ _ r -> max r - ; RBEmpty -> throw "(max RBEmpty) is not defined" + ; RBEmpty -> raise "(max RBEmpty) is not defined" } +--} lookup k t = case t of @@ -130,7 +135,7 @@ findWithDefault base k t = find k t = case t of - { RBEmpty -> throw "Key was not found in dictionary!" + { RBEmpty -> raise "Key was not found in dictionary!" ; RBNode _ k' v l r -> case compare k k' of { LT -> find k l @@ -144,14 +149,14 @@ member k t = isJust $ lookup k t rotateLeft t = case t of { RBNode cy ky vy a (RBNode cz kz vz b c) -> RBNode cy kz vz (RBNode Red ky vy a b) c - ; _ -> throw "rotateLeft of a node without enough children" } + ; _ -> raise "rotateLeft of a node without enough children" } -- rotateRight -- the reverse, and -- makes Y have Z's color, and makes Z Red. rotateRight t = case t of { RBNode cz kz vz (RBNode cy ky vy a b) c -> RBNode cz ky vy a (RBNode Red kz vz b c) - ; _ -> throw "rotateRight of a node without enough children" } + ; _ -> raise "rotateRight of a node without enough children" } rotateLeftIfNeeded t = case t of @@ -171,7 +176,7 @@ color_flip t = RBNode (otherColor c1) bk bv (RBNode (otherColor c2) ak av la ra) (RBNode (otherColor c3) ck cv lc rc) - ; _ -> throw "color_flip called on a RBEmpty or RBNode with a RBEmpty child" } + ; _ -> raise "color_flip called on a RBEmpty or RBNode with a RBEmpty child" } color_flipIfNeeded t = case t of @@ -197,12 +202,15 @@ insert k v t = ; EQ -> RBNode c k' v l r -- replace ; GT -> RBNode c k' v' l (ins r) } in fixUp h } - in if not (invariants_hold t) then - throw "invariants broken before insert" + in ensureBlackRoot (ins t) +{-- + if not (invariants_hold t) then + raise "invariants broken before insert" else (let new_t = ensureBlackRoot (ins t) in if not (invariants_hold new_t) then - throw "invariants broken after insert" + raise "invariants broken after insert" else new_t) +--} singleton k v = insert k v RBEmpty @@ -268,6 +276,7 @@ deleteMin t = } in ensureBlackRoot (del t) +{-- deleteMax t = let del t = let t' = if isRedLeft t then rotateRight t else t in @@ -278,41 +287,42 @@ deleteMax t = { RBNode c k v l r -> fixUp (RBNode c k v l (del r)) ; RBEmpty -> RBEmpty } } in ensureBlackRoot (del t) +--} remove k t = - let { - eq_and_noRightNode t = case t of { RBNode _ k' _ _ RBEmpty -> k == k' ; _ -> False } - ; eq t = case t of { RBNode _ k' _ _ _ -> k == k' ; _ -> False } - ; delLT t = - let t' = moveRedLeftIfNeeded t in - case t' of - { RBNode c k' v l r -> fixUp (RBNode c k' v (del l) r) - ; RBEmpty -> throw "delLT on RBEmpty" } - ; delEQ t = - case t of -- Replace with successor - { RBNode c _ _ l r -> - let (k',v') = min r in - fixUp (RBNode c k' v' l (deleteMin r)) - ; RBEmpty -> throw "delEQ called on a RBEmpty" } - ; delGT t = - case t of - { RBNode c k' v l r -> fixUp (RBNode c k' v l (del r)) - ; RBEmpty -> throw "delGT called on a RBEmpty" } - ; del t = - case t of - { RBEmpty -> RBEmpty - ; RBNode _ k' _ _ _ -> - if k < k' then delLT t - else (let t' = if isRedLeft t then rotateRight t else t in - if eq_and_noRightNode t' then RBEmpty - else (let t = moveRedRightIfNeeded t in - if eq t then delEQ t else delGT t)) } - } - in if not (invariants_hold t) then - throw "invariants broken before remove" + let eq_and_noRightNode t = case t of { RBNode _ k' _ _ RBEmpty -> k == k' ; _ -> False } in + let eq t = case t of { RBNode _ k' _ _ _ -> k == k' ; _ -> False } in + let delLT t = let t' = moveRedLeftIfNeeded t in + case t' of + { RBNode c k' v l r -> fixUp (RBNode c k' v (del l) r) + ; RBEmpty -> raise "delLT on RBEmpty" } + in + let delEQ t = case t of -- Replace with successor + { RBNode c _ _ l r -> + let (k',v') = min r in + fixUp (RBNode c k' v' l (deleteMin r)) + ; RBEmpty -> raise "delEQ called on a RBEmpty" } + in + let delGT t = case t of + { RBNode c k' v l r -> fixUp (RBNode c k' v l (del r)) + ; RBEmpty -> raise "delGT called on a RBEmpty" } + in + let del t = case t of + { RBEmpty -> RBEmpty + ; RBNode _ k' _ _ _ -> + if k < k' then delLT t + else (let t' = if isRedLeft t then rotateRight t else t in + if eq_and_noRightNode t' then RBEmpty + else (let t = moveRedRightIfNeeded t in + if eq t then delEQ t else delGT t)) } + in ensureBlackRoot (del t) +{-- + if not (invariants_hold t) then + raise "invariants broken before remove" else (let t' = ensureBlackRoot (del t) in if invariants_hold t' then t' else - throw "invariants broken after remove") + raise "invariants broken after remove") +--} map f t = case t of @@ -320,18 +330,24 @@ map f t = ; RBNode c k v l r -> RBNode c k (f v) (map f l) (map f r) } -fold f acc t = +foldl f acc t = case t of { RBEmpty -> acc - ; RBNode _ k v l r -> fold f (f k v (fold f acc l)) r + ; RBNode _ k v l r -> foldl f (f k v (foldl f acc l)) r } -union t1 t2 = fold insert t2 t1 -intersect t1 t2 = fold (\k v t -> if k `member` t2 then insert k v t else t) empty t1 -diff t1 t2 = fold (\k _ t -> remove k t) t1 t2 +foldr f acc t = + case t of + { RBEmpty -> acc + ; RBNode _ k v l r -> foldr f (f k v (foldr f acc r)) l + } -keys t = fold (\k _ acc -> k : acc) [] t -values t = fold (\_ -> (:)) [] t +union t1 t2 = foldl insert t2 t1 +intersect t1 t2 = foldl (\k v t -> if k `member` t2 then insert k v t else t) empty t1 +diff t1 t2 = foldl (\k _ t -> remove k t) t1 t2 -toList t = fold (\k v acc -> (k,v) : acc) [] t -fromList assocs = List.foldl (\(k,v) t -> insert k v t) empty assocs \ No newline at end of file +keys t = foldl (\k _ acc -> k : acc) [] t +values t = foldl (\_ -> (:)) [] t + +toList t = foldl (\k v acc -> (k,v) : acc) [] t +fromList assocs = List.foldl (uncurry insert) empty assocs diff --git a/core-elm/Set.elm b/core-elm/Set.elm index e8b1a76..10ff160 100644 --- a/core-elm/Set.elm +++ b/core-elm/Set.elm @@ -1,7 +1,7 @@ module Set (empty,singleton,insert,remove ,member - ,fold,map + ,foldl,foldr,map ,union,intersect,diff ,toList,fromList ) where @@ -19,5 +19,6 @@ diff = Dict.diff toList = Dict.keys fromList = List.foldl (\k t -> Dict.insert k () t) empty -fold f = Dict.fold (\k v b -> f k b) +foldl f = Dict.foldl (\k v b -> f k b) +foldr f = Dict.foldr (\k v b -> f k b) map f t = fromList . List.map f $ toList t \ No newline at end of file diff --git a/core-js/Automaton.js b/core-js/Automaton.js index 359ba09..053837b 100644 --- a/core-js/Automaton.js +++ b/core-js/Automaton.js @@ -1,13 +1,189 @@ -try{if(Elm.Automaton)throw "Module name collision, 'Automaton' is already defined.";Elm.Automaton=function(){try{if(!(Elm.Prelude instanceof Object))throw 'module not found'}catch(e){throw "Module 'Prelude' is missing. Compile with --make flag or load missing module in a separate JavaScript file."};var hiddenVars=[];for(var i in Elm.Prelude){if(hiddenVars.indexOf(i)>=0)continue;this[i]=Elm.Prelude[i]};try{if(!(Elm.Data.List instanceof Object))throw 'module not found'}catch(e){throw "Module 'Data.List' is missing. Compile with --make flag or load missing module in a separate JavaScript file."};var unzip=Elm.Data.List.unzip -function Automaton_0(a1){return ["Automaton",a1]};var Listen_9=["Listen"],Ignore_10=["Ignore"] -function DragFrom_11(a1){return ["DragFrom",a1]};var count_8=init_6(0)(function(__75){return function(c_76){return(1+c_76)}}) -function run_1(Automaton$m0_15){return function(input_16){return function(){switch(Automaton$m0_15[0]){case"Automaton":return lift(fst)(foldp_(function(a_18){return function(Tuple2$bAutomaton$m_19){return function(){switch(Tuple2$bAutomaton$m_19[0]){case"Tuple2":switch(Tuple2$bAutomaton$m_19[2][0]){case"Automaton":return Tuple2$bAutomaton$m_19[2][1](a_18)};break};throw "Non-exhaustive pattern match in case"}()}})(Automaton$m0_15[1])(input_16))};throw "Non-exhaustive pattern match in case"}()}} -function step_2(a_22){return function(Automaton$m_23){return function(){switch(Automaton$m_23[0]){case"Automaton":return Automaton$m_23[1](a_22)};throw "Non-exhaustive pattern match in case"}()}} -function composeAuto_3(a1_25){return function(a2_26){return function(){var Automaton$m1_27=a1_25,m1_28=function(){switch(Automaton$m1_27[0]){case"Automaton":return Automaton$m1_27[1]};throw "Non-exhaustive pattern match in case"}(),Automaton$m2_29=a2_26,m2_30=function(){switch(Automaton$m2_29[0]){case"Automaton":return Automaton$m2_29[1]};throw "Non-exhaustive pattern match in case"}();return Automaton_0(function(a_33){return function(){var Tuple2$bm1__34=m1_28(a_33),b_35=function(){switch(Tuple2$bm1__34[0]){case"Tuple2":return Tuple2$bm1__34[1]};throw "Non-exhaustive pattern match in case"}(),m1__36=function(){switch(Tuple2$bm1__34[0]){case"Tuple2":return Tuple2$bm1__34[2]};throw "Non-exhaustive pattern match in case"}();return function(){var Tuple2$cm2__41=m2_30(b_35),c_42=function(){switch(Tuple2$cm2__41[0]){case"Tuple2":return Tuple2$cm2__41[1]};throw "Non-exhaustive pattern match in case"}(),m2__43=function(){switch(Tuple2$cm2__41[0]){case"Tuple2":return Tuple2$cm2__41[2]};throw "Non-exhaustive pattern match in case"}();return ["Tuple2",c_42,composeAuto_3(m1__36)(m2__43)]}()}()})}()}} -function combine_4(autos_48){return Automaton_0(function(a_49){return function(){var Tuple2$bsautos__50=unzip(map(function(Automaton$m_53){return function(){switch(Automaton$m_53[0]){case"Automaton":return Automaton$m_53[1](a_49)};throw "Non-exhaustive pattern match in case"}()})(autos_48)),bs_51=function(){switch(Tuple2$bsautos__50[0]){case"Tuple2":return Tuple2$bsautos__50[1]};throw "Non-exhaustive pattern match in case"}(),autos__52=function(){switch(Tuple2$bsautos__50[0]){case"Tuple2":return Tuple2$bsautos__50[2]};throw "Non-exhaustive pattern match in case"}();return ["Tuple2",bs_51,combine_4(autos__52)]}()})} -function pure_5(f_59){return Automaton_0(function(x_60){return ["Tuple2",f_59(x_60),pure_5(f_59)]})} -function init_6(s_61){return function(step_62){return Automaton_0(function(a_63){return function(){var s__64=step_62(a_63)(s_61);return ["Tuple2",s__64,init_6(s__64)(step_62)]}()})}} -function init__7(s_65){return function(step_66){return Automaton_0(function(a_67){return function(){var Tuple2$bs__68=step_66(a_67)(s_65),b_69=function(){switch(Tuple2$bs__68[0]){case"Tuple2":return Tuple2$bs__68[1]};throw "Non-exhaustive pattern match in case"}(),s__70=function(){switch(Tuple2$bs__68[0]){case"Tuple2":return Tuple2$bs__68[2]};throw "Non-exhaustive pattern match in case"}();return ["Tuple2",b_69,init__7(s__70)(step_66)]}()})}} -function vecSub_12(Tuple2$x1y1_77){return function(Tuple2$x2y2_78){return function(){switch(Tuple2$x1y1_77[0]){case"Tuple2":return function(){switch(Tuple2$x2y2_78[0]){case"Tuple2":return ["Tuple2",(Tuple2$x1y1_77[1]-Tuple2$x2y2_78[1]),(Tuple2$x1y1_77[2]-Tuple2$x2y2_78[2])]};throw "Non-exhaustive pattern match in case"}()};throw "Non-exhaustive pattern match in case"}()}} -function stepDrag_13(Tuple2$presspos_83){return function(Tuple2$dsform_84){return function(){switch(Tuple2$presspos_83[0]){case"Tuple2":return function(){switch(Tuple2$dsform_84[0]){case"Tuple2":return function(){function wrap_89(ds__90){return ["Tuple2",Tuple2$dsform_84[2],["Tuple2",ds__90,Tuple2$dsform_84[2]]]};return function(){switch(Tuple2$dsform_84[1][0]){case"DragFrom":return(Tuple2$presspos_83[1]?["Tuple2",uncurry(move)(vecSub_12(Tuple2$presspos_83[2])(Tuple2$dsform_84[1][1]))(Tuple2$dsform_84[2]),["Tuple2",DragFrom_11(Tuple2$dsform_84[1][1]),Tuple2$dsform_84[2]]]:function(){var form__92=uncurry(move)(vecSub_12(Tuple2$presspos_83[2])(Tuple2$dsform_84[1][1]))(Tuple2$dsform_84[2]);return ["Tuple2",form__92,["Tuple2",Listen_9,form__92]]}());case"Ignore":return wrap_89((Tuple2$presspos_83[1]?Ignore_10:Listen_9));case"Listen":return wrap_89((not(Tuple2$presspos_83[1])?Listen_9:(isWithin(Tuple2$presspos_83[2])(Tuple2$dsform_84[2])?DragFrom_11(Tuple2$presspos_83[2]):Ignore_10)))};throw "Non-exhaustive pattern match in case"}()}()};throw "Non-exhaustive pattern match in case"}()};throw "Non-exhaustive pattern match in case"}()}} -function dragForm_14(form_93){return init__7(["Tuple2",Listen_9,form_93])(stepDrag_13)};return {Automaton:Automaton_0,run:run_1,step:step_2,composeAuto:composeAuto_3,combine:combine_4,pure:pure_5,init:init_6,init_:init__7,count:count_8,Listen:Listen_9,Ignore:Ignore_10,DragFrom:DragFrom_11,vecSub:vecSub_12,stepDrag:stepDrag_13,dragForm:dragForm_14}}();Elm.main=function(){return Elm.Automaton.main}}catch(e){Elm.main=function(){var msg=('

Your browser may not be supported. Are you using a modern browser?

'+'
Runtime Error in Automaton module:
'+e+'

The problem may stem from an improper usage of:
fst, unzip');document.body.innerHTML=Text.monospace(msg);throw e}} \ No newline at end of file + +try{ + +for(var i in Elm) { this[i] = Elm[i]; } +if (Elm.Automaton) throw "Module name collision, 'Automaton' is already defined."; +Elm.Automaton=function(){ + try{if (!(Elm.Prelude instanceof Object)) throw 'module not found'; } catch(e) {throw "Module 'Prelude' is missing. Compile with --make flag or load missing module in a separate JavaScript file.";} + var hiddenVars=[]; + for(var i in Elm.Prelude){ + if (hiddenVars.indexOf(i) >= 0) continue; + this[i]=Elm.Prelude[i];} + function Automaton_0(a1){ + return ["Automaton",a1];}; + var Listen_9=["Listen"]; + var Ignore_10=["Ignore"]; + function DragFrom_11(a1){ + return ["DragFrom",a1];}; + var count_8=init_6(0)(function(__75){ + return function(c_76){ + return (1+c_76);};}); + function run_1(Automaton$m0_15){ + return function(input_16){ + return function(){ + switch(Automaton$m0_15[0]){ + case "Automaton": + return lift(fst)(foldp_(function(a_18){ + return function(Tuple2$bAutomaton$m_19){ + return function(){ + switch(Tuple2$bAutomaton$m_19[0]){ + case "Tuple2": + switch(Tuple2$bAutomaton$m_19[2][0]){ + case "Automaton": + return Tuple2$bAutomaton$m_19[2][1](a_18); + }break; + } + throw "Non-exhaustive pattern match in case";}();};})(Automaton$m0_15[1])(input_16)); + } + throw "Non-exhaustive pattern match in case";}();};}; + function step_2(Automaton$m_22){ + return function(a_23){ + return function(){ + switch(Automaton$m_22[0]){ + case "Automaton": + return Automaton$m_22[1](a_23); + } + throw "Non-exhaustive pattern match in case";}();};}; + function composeAuto_3(a1_25){ + return function(a2_26){ + return function(){ + var Automaton$m1_27=a1_25; + var m1_28=function(){ + switch(Automaton$m1_27[0]){ + case "Automaton": + return Automaton$m1_27[1]; + } + throw "Non-exhaustive pattern match in case";}(); + var Automaton$m2_29=a2_26; + var m2_30=function(){ + switch(Automaton$m2_29[0]){ + case "Automaton": + return Automaton$m2_29[1]; + } + throw "Non-exhaustive pattern match in case";}(); + return Automaton_0(function(a_33){ + return function(){ + var Tuple2$bm1__34=m1_28(a_33); + var b_35=function(){ + switch(Tuple2$bm1__34[0]){ + case "Tuple2": + return Tuple2$bm1__34[1]; + } + throw "Non-exhaustive pattern match in case";}(); + var m1__36=function(){ + switch(Tuple2$bm1__34[0]){ + case "Tuple2": + return Tuple2$bm1__34[2]; + } + throw "Non-exhaustive pattern match in case";}(); + return function(){ + var Tuple2$cm2__41=m2_30(b_35); + var c_42=function(){ + switch(Tuple2$cm2__41[0]){ + case "Tuple2": + return Tuple2$cm2__41[1]; + } + throw "Non-exhaustive pattern match in case";}(); + var m2__43=function(){ + switch(Tuple2$cm2__41[0]){ + case "Tuple2": + return Tuple2$cm2__41[2]; + } + throw "Non-exhaustive pattern match in case";}(); + return ["Tuple2",c_42,composeAuto_3(m1__36)(m2__43)];}();}();});}();};}; + function combine_4(autos_48){ + return Automaton_0(function(a_49){ + return function(){ + var Tuple2$bsautos__50=unzip(map(function(Automaton$m_53){ + return function(){ + switch(Automaton$m_53[0]){ + case "Automaton": + return Automaton$m_53[1](a_49); + } + throw "Non-exhaustive pattern match in case";}();})(autos_48)); + var bs_51=function(){ + switch(Tuple2$bsautos__50[0]){ + case "Tuple2": + return Tuple2$bsautos__50[1]; + } + throw "Non-exhaustive pattern match in case";}(); + var autos__52=function(){ + switch(Tuple2$bsautos__50[0]){ + case "Tuple2": + return Tuple2$bsautos__50[2]; + } + throw "Non-exhaustive pattern match in case";}(); + return ["Tuple2",bs_51,combine_4(autos__52)];}();});}; + function pure_5(f_59){ + return Automaton_0(function(x_60){ + return ["Tuple2",f_59(x_60),pure_5(f_59)];});}; + function init_6(s_61){ + return function(step_62){ + return Automaton_0(function(a_63){ + return function(){ + var s__64=step_62(a_63)(s_61); + return ["Tuple2",s__64,init_6(s__64)(step_62)];}();});};}; + function init__7(s_65){ + return function(step_66){ + return Automaton_0(function(a_67){ + return function(){ + var Tuple2$bs__68=step_66(a_67)(s_65); + var b_69=function(){ + switch(Tuple2$bs__68[0]){ + case "Tuple2": + return Tuple2$bs__68[1]; + } + throw "Non-exhaustive pattern match in case";}(); + var s__70=function(){ + switch(Tuple2$bs__68[0]){ + case "Tuple2": + return Tuple2$bs__68[2]; + } + throw "Non-exhaustive pattern match in case";}(); + return ["Tuple2",b_69,init__7(s__70)(step_66)];}();});};}; + function vecSub_12(Tuple2$x1y1_77){ + return function(Tuple2$x2y2_78){ + return function(){ + switch(Tuple2$x1y1_77[0]){ + case "Tuple2": + return function(){ + switch(Tuple2$x2y2_78[0]){ + case "Tuple2": + return ["Tuple2",(Tuple2$x1y1_77[1]-Tuple2$x2y2_78[1]),(Tuple2$x1y1_77[2]-Tuple2$x2y2_78[2])]; + } + throw "Non-exhaustive pattern match in case";}(); + } + throw "Non-exhaustive pattern match in case";}();};}; + function stepDrag_13(Tuple2$presspos_83){ + return function(Tuple2$dsform_84){ + return function(){ + switch(Tuple2$presspos_83[0]){ + case "Tuple2": + return function(){ + switch(Tuple2$dsform_84[0]){ + case "Tuple2": + return function(){ + function wrap_89(ds__90){ + return ["Tuple2",Tuple2$dsform_84[2],["Tuple2",ds__90,Tuple2$dsform_84[2]]];}; + return function(){ + switch(Tuple2$dsform_84[1][0]){ + case "DragFrom": + return (Tuple2$presspos_83[1]?["Tuple2",uncurry(move)(vecSub_12(Tuple2$presspos_83[2])(Tuple2$dsform_84[1][1]))(Tuple2$dsform_84[2]),["Tuple2",DragFrom_11(Tuple2$dsform_84[1][1]),Tuple2$dsform_84[2]]]:function(){ + var form__92=uncurry(move)(vecSub_12(Tuple2$presspos_83[2])(Tuple2$dsform_84[1][1]))(Tuple2$dsform_84[2]); + return ["Tuple2",form__92,["Tuple2",Listen_9,form__92]];}()); + case "Ignore": + return wrap_89((Tuple2$presspos_83[1]?Ignore_10:Listen_9)); + case "Listen": + return wrap_89((not(Tuple2$presspos_83[1])?Listen_9:(isWithin(Tuple2$presspos_83[2])(Tuple2$dsform_84[2])?DragFrom_11(Tuple2$presspos_83[2]):Ignore_10))); + } + throw "Non-exhaustive pattern match in case";}();}(); + } + throw "Non-exhaustive pattern match in case";}(); + } + throw "Non-exhaustive pattern match in case";}();};}; + function dragForm_14(form_93){ + return init__7(["Tuple2",Listen_9,form_93])(stepDrag_13);}; + return {Automaton:Automaton_0,run:run_1,step:step_2,composeAuto:composeAuto_3,combine:combine_4,pure:pure_5,init:init_6,init_:init__7,count:count_8,Listen:Listen_9,Ignore:Ignore_10,DragFrom:DragFrom_11,vecSub:vecSub_12,stepDrag:stepDrag_13,dragForm:dragForm_14};}(); +Elm.main=function(){ + return Elm.Automaton.main;}; +} catch (e) {Elm.main=function() {var msg = ('

Your browser may not be supported. Are you using a modern browser?

' + '
Runtime Error in Automaton module:
' + e + '');document.body.innerHTML = Text.monospace(msg);throw e;};} \ No newline at end of file diff --git a/core-js/Dict.js b/core-js/Dict.js index ec9c6a0..ae097ff 100644 --- a/core-js/Dict.js +++ b/core-js/Dict.js @@ -1,47 +1,503 @@ -try{if(Elm.Dict)throw "Module name collision, 'Dict' is already defined.";Elm.Dict=function(){try{if(!(Elm.Prelude instanceof Object))throw 'module not found'}catch(e){throw "Module 'Prelude' is missing. Compile with --make flag or load missing module in a separate JavaScript file."};var hiddenVars=[];for(var i in Elm.Prelude){if(hiddenVars.indexOf(i)>=0)continue;this[i]=Elm.Prelude[i]};try{if(!(Elm.Data.Maybe instanceof Object))throw 'module not found'}catch(e){throw "Module 'Data.Maybe' is missing. Compile with --make flag or load missing module in a separate JavaScript file."};var isJust=Elm.Data.Maybe.isJust,Red_0=["Red"],Black_1=["Black"] -function RBNode_2(a1){return function(a2){return function(a3){return function(a4){return function(a5){return ["RBNode",a1,a2,a3,a4,a5]}}}}};var RBEmpty_3=["RBEmpty"],raise_4=console.log,empty_5=RBEmpty_3 -function equal_pathLen_6(t_46){return function(){function path_numBlacks_47(t_48){return function(){switch(t_48[0]){case"RBEmpty":return 1;case"RBNode":return function(){var bl_52=path_numBlacks_47(t_48[4]),br_53=path_numBlacks_47(t_48[5]);return((not(eq(bl_52,br_53))||(eq(bl_52,-1)||eq(br_53,-1)))?-1:(bl_52+(eq(t_48[1],Red_0)?0:1)))}()};throw "Non-exhaustive pattern match in case"}()};return not(eq(-1,path_numBlacks_47(t_46)))}()} -function rootBlack_7(t_54){return function(){switch(t_54[0]){case"RBEmpty":return true;case"RBNode":switch(t_54[1][0]){case"Black":return true};break};return false}()} -function redBlack_children_8(t_55){return function(){switch(t_55[0]){case"RBEmpty":return true;case"RBNode":switch(t_55[1][0]){case"Red":switch(t_55[4][0]){case"RBNode":switch(t_55[4][1][0]){case"Red":return false};break};switch(t_55[5][0]){case"RBNode":switch(t_55[5][1][0]){case"Red":return false};break};break};return(redBlack_children_8(t_55[4])&&redBlack_children_8(t_55[5]))};throw "Non-exhaustive pattern match in case"}()} -function findExtreme_9(f_58){return function(t_59){return function(){switch(t_59[0]){case"RBEmpty":return Nothing;case"RBNode":return function(){var case6=findExtreme_9(f_58)(f_58(["Tuple2",t_59[4],t_59[5]]));switch(case6[0]){case"Just":return Just(case6[1]);case"Nothing":return Just(t_59[2])};throw "Non-exhaustive pattern match in case"}()};throw "Non-exhaustive pattern match in case"}()}} -function findminRbt_10(t_65){return findExtreme_9(fst)(t_65)} -function findmaxRbt_11(t_66){return findExtreme_9(snd)(t_66)} -function optionRelation_12(f_67){return function(u_68){return function(xo_69){return function(yo_70){return function(){var case0=["Tuple2",xo_69,yo_70];switch(case0[0]){case"Tuple2":switch(case0[1][0]){case"Nothing":return u_68};switch(case0[2][0]){case"Nothing":return u_68};switch(case0[1][0]){case"Just":switch(case0[2][0]){case"Just":return f_67(case0[1][1])(case0[2][1])};break};break};throw "Non-exhaustive pattern match in case"}()}}}} -function olt_13(xo_73){return function(yo_74){return optionRelation_12(function(x_75){return function(y_76){return(compare(x_75)(y_76)[0]==='LT')}})(true)(xo_73)(yo_74)}} -function olte_14(xo_77){return function(yo_78){return optionRelation_12(function(x_79){return function(y_80){return function(){var ord=compare(x_79)(y_80)[0];return ord==='LT'||ord==='EQ'}()}})(true)(xo_77)(yo_78)}} -function ordered_15(t_81){return function(){switch(t_81[0]){case"RBEmpty":return true;case"RBNode":return function(){var Tuple2$lmaxrmin_87=["Tuple2",findmaxRbt_11(t_81[4]),findminRbt_10(t_81[5])],lmax_88=function(){switch(Tuple2$lmaxrmin_87[0]){case"Tuple2":return Tuple2$lmaxrmin_87[1]};throw "Non-exhaustive pattern match in case"}(),rmin_89=function(){switch(Tuple2$lmaxrmin_87[0]){case"Tuple2":return Tuple2$lmaxrmin_87[2]};throw "Non-exhaustive pattern match in case"}();return(olte_14(lmax_88)(Just(t_81[2]))&&(olte_14(Just(t_81[2]))(rmin_89)&&(ordered_15(t_81[4])&&ordered_15(t_81[5]))))}()};throw "Non-exhaustive pattern match in case"}()} -function leftLeaning_16(t_94){return function(){switch(t_94[0]){case"RBEmpty":return true;case"RBNode":switch(t_94[4][0]){case"RBEmpty":switch(t_94[5][0]){case"RBNode":switch(t_94[5][1][0]){case"Red":return false};break};break;case"RBNode":switch(t_94[4][1][0]){case"Black":switch(t_94[5][0]){case"RBNode":switch(t_94[5][1][0]){case"Red":return false};break};break};break};return(leftLeaning_16(t_94[4])&&leftLeaning_16(t_94[5]))};throw "Non-exhaustive pattern match in case"}()} -function invariants_hold_17(t_97){return(ordered_15(t_97)&&(rootBlack_7(t_97)&&(redBlack_children_8(t_97)&&(equal_pathLen_6(t_97)&&leftLeaning_16(t_97)))))} -function min_18(t_98){return function(){switch(t_98[0]){case"RBEmpty":return console.log(Value.str("(min RBEmpty) is not defined"));case"RBNode":switch(t_98[4][0]){case"RBEmpty":return ["Tuple2",t_98[2],t_98[3]]};return min_18(t_98[4])};throw "Non-exhaustive pattern match in case"}()} -function max_19(t_102){return function(){switch(t_102[0]){case"RBEmpty":return console.log(Value.str("(max RBEmpty) is not defined"));case"RBNode":switch(t_102[5][0]){case"RBEmpty":return ["Tuple2",t_102[2],t_102[3]]};return max_19(t_102[5])};throw "Non-exhaustive pattern match in case"}()} -function lookup_20(k_106){return function(t_107){return function(){switch(t_107[0]){case"RBEmpty":return Nothing;case"RBNode":return function(){var case6=compare(k_106)(t_107[2]);switch(case6[0]){case"EQ":return Just(t_107[3]);case"GT":return lookup_20(k_106)(t_107[5]);case"LT":return lookup_20(k_106)(t_107[4])};throw "Non-exhaustive pattern match in case"}()};throw "Non-exhaustive pattern match in case"}()}} -function member_21(k_112){return function(t_113){return isJust(lookup_20(k_112)(t_113))}} -function rotateLeft_22(t_114){return function(){switch(t_114[0]){case"RBNode":switch(t_114[5][0]){case"RBNode":return RBNode_2(t_114[1])(t_114[5][2])(t_114[5][3])(RBNode_2(Red_0)(t_114[2])(t_114[3])(t_114[4])(t_114[5][4]))(t_114[5][5])};break};return raise_4(Value.str("rotateLeft of a node without enough children"))}()} -function rotateRight_23(t_124){return function(){switch(t_124[0]){case"RBNode":switch(t_124[4][0]){case"RBNode":return RBNode_2(t_124[1])(t_124[4][2])(t_124[4][3])(t_124[4][4])(RBNode_2(Red_0)(t_124[2])(t_124[3])(t_124[4][5])(t_124[5]))};break};return raise_4(Value.str("rotateRight of a node without enough children"))}()} -function rotateLeftIfNeeded_24(t_134){return function(){switch(t_134[0]){case"RBNode":switch(t_134[5][0]){case"RBNode":switch(t_134[5][1][0]){case"Red":return rotateLeft_22(t_134)};break};break};return t_134}()} -function rotateRightIfNeeded_25(t_135){return function(){switch(t_135[0]){case"RBNode":switch(t_135[4][0]){case"RBNode":switch(t_135[4][1][0]){case"Red":switch(t_135[4][4][0]){case"RBNode":switch(t_135[4][4][1][0]){case"Red":return rotateRight_23(t_135)};break};break};break};break};return t_135}()} -function otherColor_26(c_136){return function(){switch(c_136[0]){case"Black":return Red_0;case"Red":return Black_1};throw "Non-exhaustive pattern match in case"}()} -function color_flip_27(t_137){return function(){switch(t_137[0]){case"RBNode":switch(t_137[4][0]){case"RBNode":switch(t_137[5][0]){case"RBNode":return RBNode_2(otherColor_26(t_137[1]))(t_137[2])(t_137[3])(RBNode_2(otherColor_26(t_137[4][1]))(t_137[4][2])(t_137[4][3])(t_137[4][4])(t_137[4][5]))(RBNode_2(otherColor_26(t_137[5][1]))(t_137[5][2])(t_137[5][3])(t_137[5][4])(t_137[5][5]))};break};break};return raise_4(Value.str("color_flip called on a RBEmpty or RBNode with a RBEmpty child"))}()} -function color_flipIfNeeded_28(t_151){return function(){switch(t_151[0]){case"RBNode":switch(t_151[4][0]){case"RBNode":switch(t_151[4][1][0]){case"Red":switch(t_151[5][0]){case"RBNode":switch(t_151[5][1][0]){case"Red":return color_flip_27(t_151)};break};break};break};break};return t_151}()} -function fixUp_29(t_152){return color_flipIfNeeded_28(rotateRightIfNeeded_25(rotateLeftIfNeeded_24(t_152)))} -function ensureBlackRoot_30(t_153){return function(){switch(t_153[0]){case"RBNode":switch(t_153[1][0]){case"Red":return RBNode_2(Black_1)(t_153[2])(t_153[3])(t_153[4])(t_153[5])};break};return t_153}()} -function insert_31(k_158){return function(v_159){return function(t_160){return function(){function ins_161(t_162){return function(){switch(t_162[0]){case"RBEmpty":return RBNode_2(Red_0)(k_158)(v_159)(RBEmpty_3)(RBEmpty_3);case"RBNode":return function(){var h_168=function(){var case6=compare(k_158)(t_162[2]);switch(case6[0]){case"EQ":return RBNode_2(t_162[1])(t_162[2])(v_159)(t_162[4])(t_162[5]);case"GT":return RBNode_2(t_162[1])(t_162[2])(t_162[3])(t_162[4])(ins_161(t_162[5]));case"LT":return RBNode_2(t_162[1])(t_162[2])(t_162[3])(ins_161(t_162[4]))(t_162[5])};throw "Non-exhaustive pattern match in case"}();return fixUp_29(h_168)}()};throw "Non-exhaustive pattern match in case"}()};return(not(invariants_hold_17(t_160))?raise_4(Value.str("invariants broken before insert")):function(){var new_t_169=ensureBlackRoot_30(ins_161(t_160));return(not(invariants_hold_17(new_t_169))?raise_4(Value.str("invariants broken after insert")):new_t_169)}())}()}}} -function singleton_32(k_170){return function(v_171){return insert_31(k_170)(v_171)(RBEmpty_3)}} -function isRed_33(t_172){return function(){switch(t_172[0]){case"RBNode":switch(t_172[1][0]){case"Red":return true};break};return false}()} -function isRedLeft_34(t_173){return function(){switch(t_173[0]){case"RBNode":switch(t_173[4][0]){case"RBNode":switch(t_173[4][1][0]){case"Red":return true};break};break};return false}()} -function isRedLeftLeft_35(t_174){return function(){switch(t_174[0]){case"RBNode":switch(t_174[4][0]){case"RBNode":switch(t_174[4][4][0]){case"RBNode":switch(t_174[4][4][1][0]){case"Red":return true};break};break};break};return false}()} -function isRedRight_36(t_175){return function(){switch(t_175[0]){case"RBNode":switch(t_175[5][0]){case"RBNode":switch(t_175[5][1][0]){case"Red":return true};break};break};return false}()} -function isRedRightLeft_37(t_176){return function(){switch(t_176[0]){case"RBNode":switch(t_176[5][0]){case"RBNode":switch(t_176[5][4][0]){case"RBNode":switch(t_176[5][4][1][0]){case"Red":return true};break};break};break};return false}()} -function moveRedLeft_38(t_177){return function(){var t__178=color_flip_27(t_177);return function(){switch(t__178[0]){case"RBNode":return function(){switch(t__178[5][0]){case"RBNode":switch(t__178[5][4][0]){case"RBNode":switch(t__178[5][4][1][0]){case"Red":return color_flip_27(rotateLeft_22(RBNode_2(t__178[1])(t__178[2])(t__178[3])(t__178[4])(rotateRight_23(t__178[5]))))};break};break};return t__178}()};return t__178}()}()} -function moveRedRight_39(t_184){return function(){var t__185=color_flip_27(t_184);return(isRedLeftLeft_35(t__185)?color_flip_27(rotateRight_23(t__185)):t__185)}()} -function moveRedLeftIfNeeded_40(t_186){return((not(isRedLeft_34(t_186))&¬(isRedLeftLeft_35(t_186)))?moveRedLeft_38(t_186):t_186)} -function moveRedRightIfNeeded_41(t_187){return((not(isRedRight_36(t_187))&¬(isRedRightLeft_37(t_187)))?moveRedRight_39(t_187):t_187)} -function deleteMin_42(t_188){return function(){function del_189(t_190){return function(){switch(t_190[0]){case"RBNode":switch(t_190[4][0]){case"RBEmpty":return RBEmpty_3};break};return function(){var t__191=moveRedLeftIfNeeded_40(t_190);return function(){switch(t__191[0]){case"RBEmpty":return RBEmpty_3;case"RBNode":return fixUp_29(RBNode_2(t__191[1])(t__191[2])(t__191[3])(del_189(t__191[4]))(t__191[5]))};throw "Non-exhaustive pattern match in case"}()}()}()};return ensureBlackRoot_30(del_189(t_188))}()} -function deleteMax_43(t_197){return function(){function del_198(t_199){return function(){var t__200=(isRedLeft_34(t_199)?rotateRight_23(t_199):t_199);return function(){switch(t__200[0]){case"RBNode":switch(t__200[5][0]){case"RBEmpty":return RBEmpty_3};break};return function(){var t___201=moveRedRightIfNeeded_41(t__200);return function(){switch(t___201[0]){case"RBEmpty":return RBEmpty_3;case"RBNode":return fixUp_29(RBNode_2(t___201[1])(t___201[2])(t___201[3])(t___201[4])(del_198(t___201[5])))};throw "Non-exhaustive pattern match in case"}()}()}()}()};return ensureBlackRoot_30(del_198(t_197))}()} -function remove_44(k_207){return function(t_208){return function(){function eq_and_noRightNode_209(t_215){return function(){switch(t_215[0]){case"RBNode":switch(t_215[5][0]){case"RBEmpty":return eq(k_207,t_215[2])};break};return false}()} -function eq_210(t_217){return function(){switch(t_217[0]){case"RBNode":return eq(k_207,t_217[2])};return false}()} -function delLT_211(t_219){return function(){var t__220=moveRedLeftIfNeeded_40(t_219);return function(){switch(t__220[0]){case"RBEmpty":return raise_4(Value.str("delLT on RBEmpty"));case"RBNode":return fixUp_29(RBNode_2(t__220[1])(t__220[2])(t__220[3])(del_214(t__220[4]))(t__220[5]))};throw "Non-exhaustive pattern match in case"}()}()} -function delEQ_212(t_226){return function(){switch(t_226[0]){case"RBEmpty":return raise_4(Value.str("delEQ called on a RBEmpty"));case"RBNode":return function(){var Tuple2$k_v__230=min_18(t_226[5]),k__231=function(){switch(Tuple2$k_v__230[0]){case"Tuple2":return Tuple2$k_v__230[1]};throw "Non-exhaustive pattern match in case"}(),v__232=function(){switch(Tuple2$k_v__230[0]){case"Tuple2":return Tuple2$k_v__230[2]};throw "Non-exhaustive pattern match in case"}();return fixUp_29(RBNode_2(t_226[1])(k__231)(v__232)(t_226[4])(deleteMin_42(t_226[5])))}()};throw "Non-exhaustive pattern match in case"}()} -function delGT_213(t_237){return function(){switch(t_237[0]){case"RBEmpty":return raise_4(Value.str("delGT called on a RBEmpty"));case"RBNode":return fixUp_29(RBNode_2(t_237[1])(t_237[2])(t_237[3])(t_237[4])(del_214(t_237[5])))};throw "Non-exhaustive pattern match in case"}()} -function del_214(t_243){return function(){switch(t_243[0]){case"RBEmpty":return RBEmpty_3;case"RBNode":return((compare(k_207)(t_243[2])[0]==='LT')?delLT_211(t_243):function(){var t__245=(isRedLeft_34(t_243)?rotateRight_23(t_243):t_243);return(eq_and_noRightNode_209(t__245)?RBEmpty_3:function(){var t_246=moveRedRightIfNeeded_41(t_246);return(eq_210(t_246)?delEQ_212(t_246):delGT_213(t_246))}())}())};throw "Non-exhaustive pattern match in case"}()};return(not(invariants_hold_17(t_208))?raise_4(Value.str("invariants broken before remove")):function(){var t__247=ensureBlackRoot_30(del_214(t_208));return(invariants_hold_17(t__247)?t__247:raise_4(Value.str("invariants broken after remove")))}())}()}} -function fold_45(f_248){return function(acc_249){return function(t_250){return function(){switch(t_250[0]){case"RBEmpty":return acc_249;case"RBNode":return fold_45(f_248)(f_248(t_250[2])(t_250[3])(fold_45(f_248)(acc_249)(t_250[4])))(t_250[5])};throw "Non-exhaustive pattern match in case"}()}}};return {empty:empty_5,lookup:lookup_20,member:member_21,insert:insert_31,singleton:singleton_32,remove:remove_44,fold:fold_45}}();Elm.main=function(){return Elm.Dict.main}}catch(e){Elm.main=function(){var msg=('

Your browser may not be supported. Are you using a modern browser?

'+'
Runtime Error in Dict module:
'+e+'

The problem may stem from an improper usage of:
EQ, GT, LT, console.log, fst, snd');document.body.innerHTML=Text.monospace(msg);throw e}} \ No newline at end of file + +try{ + +for(var i in Elm) { this[i] = Elm[i]; } +if (Elm.Dict) throw "Module name collision, 'Dict' is already defined."; +Elm.Dict=function(){ + try{if (!(Elm.Prelude instanceof Object)) throw 'module not found'; } catch(e) {throw "Module 'Prelude' is missing. Compile with --make flag or load missing module in a separate JavaScript file.";} + var hiddenVars=[]; + for(var i in Elm.Prelude){ + if (hiddenVars.indexOf(i) >= 0) continue; + this[i]=Elm.Prelude[i];} + try{if (!(Elm.Maybe instanceof Object)) throw 'module not found'; } catch(e) {throw "Module 'Maybe' is missing. Compile with --make flag or load missing module in a separate JavaScript file.";} + var isJust=Elm.Maybe.isJust; + var Red_0=["Red"]; + var Black_1=["Black"]; + function RBNode_2(a1){ + return function(a2){ + return function(a3){ + return function(a4){ + return function(a5){ + return ["RBNode",a1,a2,a3,a4,a5];};};};};}; + var RBEmpty_3=["RBEmpty"]; + var empty_4=RBEmpty_3; + var raise_5=console.log; + function min_6(t_43){ + return function(){ + switch(t_43[0]){ + case "RBEmpty": + return raise_5(Value.str("(min RBEmpty) is not defined")); + case "RBNode": + switch(t_43[4][0]){ + case "RBEmpty": + return ["Tuple2",t_43[2],t_43[3]]; + } + return min_6(t_43[4]); + } + throw "Non-exhaustive pattern match in case";}();}; + function lookup_7(k_47){ + return function(t_48){ + return function(){ + switch(t_48[0]){ + case "RBEmpty": + return Nothing; + case "RBNode": + return function(){ + var case6=compare(k_47)(t_48[2]); + switch(case6[0]){ + case "EQ": + return Just(t_48[3]); + case "GT": + return lookup_7(k_47)(t_48[5]); + case "LT": + return lookup_7(k_47)(t_48[4]); + } + throw "Non-exhaustive pattern match in case";}(); + } + throw "Non-exhaustive pattern match in case";}();};}; + function findWithDefault_8(base_53){ + return function(k_54){ + return function(t_55){ + return function(){ + switch(t_55[0]){ + case "RBEmpty": + return base_53; + case "RBNode": + return function(){ + var case6=compare(k_54)(t_55[2]); + switch(case6[0]){ + case "EQ": + return t_55[3]; + case "GT": + return findWithDefault_8(base_53)(k_54)(t_55[5]); + case "LT": + return findWithDefault_8(base_53)(k_54)(t_55[4]); + } + throw "Non-exhaustive pattern match in case";}(); + } + throw "Non-exhaustive pattern match in case";}();};};}; + function find_9(k_60){ + return function(t_61){ + return function(){ + switch(t_61[0]){ + case "RBEmpty": + return raise_5(Value.str("Key was not found in dictionary!")); + case "RBNode": + return function(){ + var case6=compare(k_60)(t_61[2]); + switch(case6[0]){ + case "EQ": + return t_61[3]; + case "GT": + return find_9(k_60)(t_61[5]); + case "LT": + return find_9(k_60)(t_61[4]); + } + throw "Non-exhaustive pattern match in case";}(); + } + throw "Non-exhaustive pattern match in case";}();};}; + function member_10(k_66){ + return function(t_67){ + return isJust(lookup_7(k_66)(t_67));};}; + function rotateLeft_11(t_68){ + return function(){ + switch(t_68[0]){ + case "RBNode": + switch(t_68[5][0]){ + case "RBNode": + return RBNode_2(t_68[1])(t_68[5][2])(t_68[5][3])(RBNode_2(Red_0)(t_68[2])(t_68[3])(t_68[4])(t_68[5][4]))(t_68[5][5]); + }break; + } + return raise_5(Value.str("rotateLeft of a node without enough children"));}();}; + function rotateRight_12(t_78){ + return function(){ + switch(t_78[0]){ + case "RBNode": + switch(t_78[4][0]){ + case "RBNode": + return RBNode_2(t_78[1])(t_78[4][2])(t_78[4][3])(t_78[4][4])(RBNode_2(Red_0)(t_78[2])(t_78[3])(t_78[4][5])(t_78[5])); + }break; + } + return raise_5(Value.str("rotateRight of a node without enough children"));}();}; + function rotateLeftIfNeeded_13(t_88){ + return function(){ + switch(t_88[0]){ + case "RBNode": + switch(t_88[5][0]){ + case "RBNode": + switch(t_88[5][1][0]){ + case "Red": + return rotateLeft_11(t_88); + }break; + }break; + } + return t_88;}();}; + function rotateRightIfNeeded_14(t_89){ + return function(){ + switch(t_89[0]){ + case "RBNode": + switch(t_89[4][0]){ + case "RBNode": + switch(t_89[4][1][0]){ + case "Red": + switch(t_89[4][4][0]){ + case "RBNode": + switch(t_89[4][4][1][0]){ + case "Red": + return rotateRight_12(t_89); + }break; + }break; + }break; + }break; + } + return t_89;}();}; + function otherColor_15(c_90){ + return function(){ + switch(c_90[0]){ + case "Black": + return Red_0; + case "Red": + return Black_1; + } + throw "Non-exhaustive pattern match in case";}();}; + function color_flip_16(t_91){ + return function(){ + switch(t_91[0]){ + case "RBNode": + switch(t_91[4][0]){ + case "RBNode": + switch(t_91[5][0]){ + case "RBNode": + return RBNode_2(otherColor_15(t_91[1]))(t_91[2])(t_91[3])(RBNode_2(otherColor_15(t_91[4][1]))(t_91[4][2])(t_91[4][3])(t_91[4][4])(t_91[4][5]))(RBNode_2(otherColor_15(t_91[5][1]))(t_91[5][2])(t_91[5][3])(t_91[5][4])(t_91[5][5])); + }break; + }break; + } + return raise_5(Value.str("color_flip called on a RBEmpty or RBNode with a RBEmpty child"));}();}; + function color_flipIfNeeded_17(t_105){ + return function(){ + switch(t_105[0]){ + case "RBNode": + switch(t_105[4][0]){ + case "RBNode": + switch(t_105[4][1][0]){ + case "Red": + switch(t_105[5][0]){ + case "RBNode": + switch(t_105[5][1][0]){ + case "Red": + return color_flip_16(t_105); + }break; + }break; + }break; + }break; + } + return t_105;}();}; + function fixUp_18(t_106){ + return color_flipIfNeeded_17(rotateRightIfNeeded_14(rotateLeftIfNeeded_13(t_106)));}; + function ensureBlackRoot_19(t_107){ + return function(){ + switch(t_107[0]){ + case "RBNode": + switch(t_107[1][0]){ + case "Red": + return RBNode_2(Black_1)(t_107[2])(t_107[3])(t_107[4])(t_107[5]); + }break; + } + return t_107;}();}; + function insert_20(k_112){ + return function(v_113){ + return function(t_114){ + return function(){ + function ins_115(t_116){ + return function(){ + switch(t_116[0]){ + case "RBEmpty": + return RBNode_2(Red_0)(k_112)(v_113)(RBEmpty_3)(RBEmpty_3); + case "RBNode": + return function(){ + var h_122=function(){ + var case6=compare(k_112)(t_116[2]); + switch(case6[0]){ + case "EQ": + return RBNode_2(t_116[1])(t_116[2])(v_113)(t_116[4])(t_116[5]); + case "GT": + return RBNode_2(t_116[1])(t_116[2])(t_116[3])(t_116[4])(ins_115(t_116[5])); + case "LT": + return RBNode_2(t_116[1])(t_116[2])(t_116[3])(ins_115(t_116[4]))(t_116[5]); + } + throw "Non-exhaustive pattern match in case";}(); + return fixUp_18(h_122);}(); + } + throw "Non-exhaustive pattern match in case";}();}; + return ensureBlackRoot_19(ins_115(t_114));}();};};}; + function singleton_21(k_123){ + return function(v_124){ + return insert_20(k_123)(v_124)(RBEmpty_3);};}; + function isRed_22(t_125){ + return function(){ + switch(t_125[0]){ + case "RBNode": + switch(t_125[1][0]){ + case "Red": + return true; + }break; + } + return false;}();}; + function isRedLeft_23(t_126){ + return function(){ + switch(t_126[0]){ + case "RBNode": + switch(t_126[4][0]){ + case "RBNode": + switch(t_126[4][1][0]){ + case "Red": + return true; + }break; + }break; + } + return false;}();}; + function isRedLeftLeft_24(t_127){ + return function(){ + switch(t_127[0]){ + case "RBNode": + switch(t_127[4][0]){ + case "RBNode": + switch(t_127[4][4][0]){ + case "RBNode": + switch(t_127[4][4][1][0]){ + case "Red": + return true; + }break; + }break; + }break; + } + return false;}();}; + function isRedRight_25(t_128){ + return function(){ + switch(t_128[0]){ + case "RBNode": + switch(t_128[5][0]){ + case "RBNode": + switch(t_128[5][1][0]){ + case "Red": + return true; + }break; + }break; + } + return false;}();}; + function isRedRightLeft_26(t_129){ + return function(){ + switch(t_129[0]){ + case "RBNode": + switch(t_129[5][0]){ + case "RBNode": + switch(t_129[5][4][0]){ + case "RBNode": + switch(t_129[5][4][1][0]){ + case "Red": + return true; + }break; + }break; + }break; + } + return false;}();}; + function moveRedLeft_27(t_130){ + return function(){ + var t__131=color_flip_16(t_130); + return function(){ + switch(t__131[0]){ + case "RBNode": + return function(){ + switch(t__131[5][0]){ + case "RBNode": + switch(t__131[5][4][0]){ + case "RBNode": + switch(t__131[5][4][1][0]){ + case "Red": + return color_flip_16(rotateLeft_11(RBNode_2(t__131[1])(t__131[2])(t__131[3])(t__131[4])(rotateRight_12(t__131[5])))); + }break; + }break; + } + return t__131;}(); + } + return t__131;}();}();}; + function moveRedRight_28(t_137){ + return function(){ + var t__138=color_flip_16(t_137); + return (isRedLeftLeft_24(t__138)?color_flip_16(rotateRight_12(t__138)):t__138);}();}; + function moveRedLeftIfNeeded_29(t_139){ + return ((not(isRedLeft_23(t_139))&¬(isRedLeftLeft_24(t_139)))?moveRedLeft_27(t_139):t_139);}; + function moveRedRightIfNeeded_30(t_140){ + return ((not(isRedRight_25(t_140))&¬(isRedRightLeft_26(t_140)))?moveRedRight_28(t_140):t_140);}; + function deleteMin_31(t_141){ + return function(){ + function del_142(t_143){ + return function(){ + switch(t_143[0]){ + case "RBNode": + switch(t_143[4][0]){ + case "RBEmpty": + return RBEmpty_3; + }break; + } + return function(){ + var t__144=moveRedLeftIfNeeded_29(t_143); + return function(){ + switch(t__144[0]){ + case "RBEmpty": + return RBEmpty_3; + case "RBNode": + return fixUp_18(RBNode_2(t__144[1])(t__144[2])(t__144[3])(del_142(t__144[4]))(t__144[5])); + } + throw "Non-exhaustive pattern match in case";}();}();}();}; + return ensureBlackRoot_19(del_142(t_141));}();}; + function remove_32(k_150){ + return function(t_151){ + return function(){ + function eq_and_noRightNode_152(t_153){ + return function(){ + switch(t_153[0]){ + case "RBNode": + switch(t_153[5][0]){ + case "RBEmpty": + return eq(k_150,t_153[2]); + }break; + } + return false;}();}; + return function(){ + function eq_155(t_156){ + return function(){ + switch(t_156[0]){ + case "RBNode": + return eq(k_150,t_156[2]); + } + return false;}();}; + return function(){ + function delLT_158(t_159){ + return function(){ + var t__160=moveRedLeftIfNeeded_29(t_159); + return function(){ + switch(t__160[0]){ + case "RBEmpty": + return raise_5(Value.str("delLT on RBEmpty")); + case "RBNode": + return fixUp_18(RBNode_2(t__160[1])(t__160[2])(t__160[3])(del(t__160[4]))(t__160[5])); + } + throw "Non-exhaustive pattern match in case";}();}();}; + return function(){ + function delEQ_166(t_167){ + return function(){ + switch(t_167[0]){ + case "RBEmpty": + return raise_5(Value.str("delEQ called on a RBEmpty")); + case "RBNode": + return function(){ + var Tuple2$k_v__171=min_6(t_167[5]); + var k__172=function(){ + switch(Tuple2$k_v__171[0]){ + case "Tuple2": + return Tuple2$k_v__171[1]; + } + throw "Non-exhaustive pattern match in case";}(); + var v__173=function(){ + switch(Tuple2$k_v__171[0]){ + case "Tuple2": + return Tuple2$k_v__171[2]; + } + throw "Non-exhaustive pattern match in case";}(); + return fixUp_18(RBNode_2(t_167[1])(k__172)(v__173)(t_167[4])(deleteMin_31(t_167[5])));}(); + } + throw "Non-exhaustive pattern match in case";}();}; + return function(){ + function delGT_178(t_179){ + return function(){ + switch(t_179[0]){ + case "RBEmpty": + return raise_5(Value.str("delGT called on a RBEmpty")); + case "RBNode": + return fixUp_18(RBNode_2(t_179[1])(t_179[2])(t_179[3])(t_179[4])(del(t_179[5]))); + } + throw "Non-exhaustive pattern match in case";}();}; + return function(){ + function del_185(t_186){ + return function(){ + switch(t_186[0]){ + case "RBEmpty": + return RBEmpty_3; + case "RBNode": + return ((compare(k_150)(t_186[2])[0] === 'LT')?delLT_158(t_186):function(){ + var t__188=(isRedLeft_23(t_186)?rotateRight_12(t_186):t_186); + return (eq_and_noRightNode_152(t__188)?RBEmpty_3:function(){ + var t_189=moveRedRightIfNeeded_30(t_189); + return (eq_155(t_189)?delEQ_166(t_189):delGT_178(t_189));}());}()); + } + throw "Non-exhaustive pattern match in case";}();}; + return ensureBlackRoot_19(del_185(t_151));}();}();}();}();}();}();};}; + function map_33(f_190){ + return function(t_191){ + return function(){ + switch(t_191[0]){ + case "RBEmpty": + return RBEmpty_3; + case "RBNode": + return RBNode_2(t_191[1])(t_191[2])(f_190(t_191[3]))(map_33(f_190)(t_191[4]))(map_33(f_190)(t_191[5])); + } + throw "Non-exhaustive pattern match in case";}();};}; + function foldl_34(f_197){ + return function(acc_198){ + return function(t_199){ + return function(){ + switch(t_199[0]){ + case "RBEmpty": + return acc_198; + case "RBNode": + return foldl_34(f_197)(f_197(t_199[2])(t_199[3])(foldl_34(f_197)(acc_198)(t_199[4])))(t_199[5]); + } + throw "Non-exhaustive pattern match in case";}();};};}; + function foldr_35(f_204){ + return function(acc_205){ + return function(t_206){ + return function(){ + switch(t_206[0]){ + case "RBEmpty": + return acc_205; + case "RBNode": + return foldr_35(f_204)(f_204(t_206[2])(t_206[3])(foldr_35(f_204)(acc_205)(t_206[5])))(t_206[4]); + } + throw "Non-exhaustive pattern match in case";}();};};}; + function union_36(t1_211){ + return function(t2_212){ + return foldl_34(insert_20)(t2_212)(t1_211);};}; + function intersect_37(t1_213){ + return function(t2_214){ + return foldl_34(function(k_215){ + return function(v_216){ + return function(t_217){ + return (member_10(k_215)(t2_214)?insert_20(k_215)(v_216)(t_217):t_217);};};})(empty_4)(t1_213);};}; + function diff_38(t1_218){ + return function(t2_219){ + return foldl_34(function(k_220){ + return function(__221){ + return function(t_222){ + return remove_32(k_220)(t_222);};};})(t1_218)(t2_219);};}; + function keys_39(t_223){ + return foldl_34(function(k_224){ + return function(__225){ + return function(acc_226){ + return ["Cons",k_224,acc_226];};};})(["Nil"])(t_223);}; + function values_40(t_227){ + return foldl_34(function(__228){ + return function(x_229){ + return function(y_230){ + return ["Cons",x_229,y_230];};};})(["Nil"])(t_227);}; + function toList_41(t_231){ + return foldl_34(function(k_232){ + return function(v_233){ + return function(acc_234){ + return ["Cons",["Tuple2",k_232,v_233],acc_234];};};})(["Nil"])(t_231);}; + function fromList_42(assocs_235){ + return List.foldl(uncurry(insert_20))(empty_4)(assocs_235);}; + return {empty:empty_4,lookup:lookup_7,findWithDefault:findWithDefault_8,find:find_9,member:member_10,insert:insert_20,singleton:singleton_21,remove:remove_32,map:map_33,foldl:foldl_34,foldr:foldr_35,union:union_36,intersect:intersect_37,diff:diff_38,keys:keys_39,values:values_40,toList:toList_41,fromList:fromList_42};}(); +Elm.main=function(){ + return Elm.Dict.main;}; +} catch (e) {Elm.main=function() {var msg = ('

Your browser may not be supported. Are you using a modern browser?

' + '
Runtime Error in Dict module:
' + e + '');document.body.innerHTML = Text.monospace(msg);throw e;};} \ No newline at end of file diff --git a/core-js/Set.js b/core-js/Set.js index 8879a98..61aa110 100644 --- a/core-js/Set.js +++ b/core-js/Set.js @@ -1,3 +1,43 @@ -try{if(Elm.Set)throw "Module name collision, 'Set' is already defined.";Elm.Set=function(){try{if(!(Elm.Prelude instanceof Object))throw 'module not found'}catch(e){throw "Module 'Prelude' is missing. Compile with --make flag or load missing module in a separate JavaScript file."};var hiddenVars=[];for(var i in Elm.Prelude){if(hiddenVars.indexOf(i)>=0)continue;this[i]=Elm.Prelude[i]};try{if(!(Elm.Dict instanceof Object))throw 'module not found'}catch(e){throw "Module 'Dict' is missing. Compile with --make flag or load missing module in a separate JavaScript file."};var Dict=Elm.Dict,empty_0=Dict.empty,remove_3=Dict.remove,member_4=Dict.member -function singleton_1(k_5){return Dict.singleton(k_5)(["Tuple0"])} -function insert_2(k_6){return Dict.insert(k_6)(["Tuple0"])};return {empty:empty_0,singleton:singleton_1,insert:insert_2,remove:remove_3,member:member_4}}();Elm.main=function(){return Elm.Set.main}}catch(e){Elm.main=function(){var msg=('

Your browser may not be supported. Are you using a modern browser?

'+'
Runtime Error in Set module:
'+e+'

The problem may stem from an improper usage of:
Dict.empty, Dict.insert, Dict.member, Dict.remove, Dict.singleton');document.body.innerHTML=Text.monospace(msg);throw e}} \ No newline at end of file + +try{ + +for(var i in Elm) { this[i] = Elm[i]; } +if (Elm.Set) throw "Module name collision, 'Set' is already defined."; +Elm.Set=function(){ + try{if (!(Elm.Prelude instanceof Object)) throw 'module not found'; } catch(e) {throw "Module 'Prelude' is missing. Compile with --make flag or load missing module in a separate JavaScript file.";} + var hiddenVars=[]; + for(var i in Elm.Prelude){ + if (hiddenVars.indexOf(i) >= 0) continue; + this[i]=Elm.Prelude[i];} + var empty_0=Dict.empty; + var remove_3=Dict.remove; + var member_4=Dict.member; + var union_5=Dict.union; + var intersect_6=Dict.intersect; + var diff_7=Dict.diff; + var toList_8=Dict.keys; + var fromList_9=List.foldl(function(k_15){ + return function(t_16){ + return Dict.insert(k_15)(["Tuple0"])(t_16);};})(empty_0); + function singleton_1(k_13){ + return Dict.singleton(k_13)(["Tuple0"]);}; + function insert_2(k_14){ + return Dict.insert(k_14)(["Tuple0"]);}; + function foldl_10(f_17){ + return Dict.foldl(function(k_18){ + return function(v_19){ + return function(b_20){ + return f_17(k_18)(b_20);};};});}; + function foldr_11(f_21){ + return Dict.foldr(function(k_22){ + return function(v_23){ + return function(b_24){ + return f_21(k_22)(b_24);};};});}; + function map_12(f_25){ + return function(t_26){ + return function(x){ + return fromList_9(List.map(f_25)(x));}(toList_8(t_26));};}; + return {empty:empty_0,singleton:singleton_1,insert:insert_2,remove:remove_3,member:member_4,union:union_5,intersect:intersect_6,diff:diff_7,toList:toList_8,fromList:fromList_9,foldl:foldl_10,foldr:foldr_11,map:map_12};}(); +Elm.main=function(){ + return Elm.Set.main;}; +} catch (e) {Elm.main=function() {var msg = ('

Your browser may not be supported. Are you using a modern browser?

' + '
Runtime Error in Set module:
' + e + '');document.body.innerHTML = Text.monospace(msg);throw e;};} \ No newline at end of file diff --git a/elm/elm-runtime-0.5.0.js b/elm/elm-runtime-0.5.0.js index dfd4138..3c16b6d 100644 --- a/elm/elm-runtime-0.5.0.js +++ b/elm/elm-runtime-0.5.0.js @@ -955,55 +955,551 @@ Elm.List = function() { sort:sort, take:take, drop:drop}; -}();try{if(Elm.Dict)throw "Module name collision, 'Dict' is already defined.";Elm.Dict=function(){try{if(!(Elm.Prelude instanceof Object))throw 'module not found'}catch(e){throw "Module 'Prelude' is missing. Compile with --make flag or load missing module in a separate JavaScript file."};var hiddenVars=[];for(var i in Elm.Prelude){if(hiddenVars.indexOf(i)>=0)continue;this[i]=Elm.Prelude[i]};try{if(!(Elm.Data.Maybe instanceof Object))throw 'module not found'}catch(e){throw "Module 'Data.Maybe' is missing. Compile with --make flag or load missing module in a separate JavaScript file."};var isJust=Elm.Data.Maybe.isJust,Red_0=["Red"],Black_1=["Black"] -function RBNode_2(a1){return function(a2){return function(a3){return function(a4){return function(a5){return ["RBNode",a1,a2,a3,a4,a5]}}}}};var RBEmpty_3=["RBEmpty"],raise_4=console.log,empty_5=RBEmpty_3 -function equal_pathLen_6(t_46){return function(){function path_numBlacks_47(t_48){return function(){switch(t_48[0]){case"RBEmpty":return 1;case"RBNode":return function(){var bl_52=path_numBlacks_47(t_48[4]),br_53=path_numBlacks_47(t_48[5]);return((not(eq(bl_52,br_53))||(eq(bl_52,-1)||eq(br_53,-1)))?-1:(bl_52+(eq(t_48[1],Red_0)?0:1)))}()};throw "Non-exhaustive pattern match in case"}()};return not(eq(-1,path_numBlacks_47(t_46)))}()} -function rootBlack_7(t_54){return function(){switch(t_54[0]){case"RBEmpty":return true;case"RBNode":switch(t_54[1][0]){case"Black":return true};break};return false}()} -function redBlack_children_8(t_55){return function(){switch(t_55[0]){case"RBEmpty":return true;case"RBNode":switch(t_55[1][0]){case"Red":switch(t_55[4][0]){case"RBNode":switch(t_55[4][1][0]){case"Red":return false};break};switch(t_55[5][0]){case"RBNode":switch(t_55[5][1][0]){case"Red":return false};break};break};return(redBlack_children_8(t_55[4])&&redBlack_children_8(t_55[5]))};throw "Non-exhaustive pattern match in case"}()} -function findExtreme_9(f_58){return function(t_59){return function(){switch(t_59[0]){case"RBEmpty":return Nothing;case"RBNode":return function(){var case6=findExtreme_9(f_58)(f_58(["Tuple2",t_59[4],t_59[5]]));switch(case6[0]){case"Just":return Just(case6[1]);case"Nothing":return Just(t_59[2])};throw "Non-exhaustive pattern match in case"}()};throw "Non-exhaustive pattern match in case"}()}} -function findminRbt_10(t_65){return findExtreme_9(fst)(t_65)} -function findmaxRbt_11(t_66){return findExtreme_9(snd)(t_66)} -function optionRelation_12(f_67){return function(u_68){return function(xo_69){return function(yo_70){return function(){var case0=["Tuple2",xo_69,yo_70];switch(case0[0]){case"Tuple2":switch(case0[1][0]){case"Nothing":return u_68};switch(case0[2][0]){case"Nothing":return u_68};switch(case0[1][0]){case"Just":switch(case0[2][0]){case"Just":return f_67(case0[1][1])(case0[2][1])};break};break};throw "Non-exhaustive pattern match in case"}()}}}} -function olt_13(xo_73){return function(yo_74){return optionRelation_12(function(x_75){return function(y_76){return(compare(x_75)(y_76)[0]==='LT')}})(true)(xo_73)(yo_74)}} -function olte_14(xo_77){return function(yo_78){return optionRelation_12(function(x_79){return function(y_80){return function(){var ord=compare(x_79)(y_80)[0];return ord==='LT'||ord==='EQ'}()}})(true)(xo_77)(yo_78)}} -function ordered_15(t_81){return function(){switch(t_81[0]){case"RBEmpty":return true;case"RBNode":return function(){var Tuple2$lmaxrmin_87=["Tuple2",findmaxRbt_11(t_81[4]),findminRbt_10(t_81[5])],lmax_88=function(){switch(Tuple2$lmaxrmin_87[0]){case"Tuple2":return Tuple2$lmaxrmin_87[1]};throw "Non-exhaustive pattern match in case"}(),rmin_89=function(){switch(Tuple2$lmaxrmin_87[0]){case"Tuple2":return Tuple2$lmaxrmin_87[2]};throw "Non-exhaustive pattern match in case"}();return(olte_14(lmax_88)(Just(t_81[2]))&&(olte_14(Just(t_81[2]))(rmin_89)&&(ordered_15(t_81[4])&&ordered_15(t_81[5]))))}()};throw "Non-exhaustive pattern match in case"}()} -function leftLeaning_16(t_94){return function(){switch(t_94[0]){case"RBEmpty":return true;case"RBNode":switch(t_94[4][0]){case"RBEmpty":switch(t_94[5][0]){case"RBNode":switch(t_94[5][1][0]){case"Red":return false};break};break;case"RBNode":switch(t_94[4][1][0]){case"Black":switch(t_94[5][0]){case"RBNode":switch(t_94[5][1][0]){case"Red":return false};break};break};break};return(leftLeaning_16(t_94[4])&&leftLeaning_16(t_94[5]))};throw "Non-exhaustive pattern match in case"}()} -function invariants_hold_17(t_97){return(ordered_15(t_97)&&(rootBlack_7(t_97)&&(redBlack_children_8(t_97)&&(equal_pathLen_6(t_97)&&leftLeaning_16(t_97)))))} -function min_18(t_98){return function(){switch(t_98[0]){case"RBEmpty":return console.log(Value.str("(min RBEmpty) is not defined"));case"RBNode":switch(t_98[4][0]){case"RBEmpty":return ["Tuple2",t_98[2],t_98[3]]};return min_18(t_98[4])};throw "Non-exhaustive pattern match in case"}()} -function max_19(t_102){return function(){switch(t_102[0]){case"RBEmpty":return console.log(Value.str("(max RBEmpty) is not defined"));case"RBNode":switch(t_102[5][0]){case"RBEmpty":return ["Tuple2",t_102[2],t_102[3]]};return max_19(t_102[5])};throw "Non-exhaustive pattern match in case"}()} -function lookup_20(k_106){return function(t_107){return function(){switch(t_107[0]){case"RBEmpty":return Nothing;case"RBNode":return function(){var case6=compare(k_106)(t_107[2]);switch(case6[0]){case"EQ":return Just(t_107[3]);case"GT":return lookup_20(k_106)(t_107[5]);case"LT":return lookup_20(k_106)(t_107[4])};throw "Non-exhaustive pattern match in case"}()};throw "Non-exhaustive pattern match in case"}()}} -function member_21(k_112){return function(t_113){return isJust(lookup_20(k_112)(t_113))}} -function rotateLeft_22(t_114){return function(){switch(t_114[0]){case"RBNode":switch(t_114[5][0]){case"RBNode":return RBNode_2(t_114[1])(t_114[5][2])(t_114[5][3])(RBNode_2(Red_0)(t_114[2])(t_114[3])(t_114[4])(t_114[5][4]))(t_114[5][5])};break};return raise_4(Value.str("rotateLeft of a node without enough children"))}()} -function rotateRight_23(t_124){return function(){switch(t_124[0]){case"RBNode":switch(t_124[4][0]){case"RBNode":return RBNode_2(t_124[1])(t_124[4][2])(t_124[4][3])(t_124[4][4])(RBNode_2(Red_0)(t_124[2])(t_124[3])(t_124[4][5])(t_124[5]))};break};return raise_4(Value.str("rotateRight of a node without enough children"))}()} -function rotateLeftIfNeeded_24(t_134){return function(){switch(t_134[0]){case"RBNode":switch(t_134[5][0]){case"RBNode":switch(t_134[5][1][0]){case"Red":return rotateLeft_22(t_134)};break};break};return t_134}()} -function rotateRightIfNeeded_25(t_135){return function(){switch(t_135[0]){case"RBNode":switch(t_135[4][0]){case"RBNode":switch(t_135[4][1][0]){case"Red":switch(t_135[4][4][0]){case"RBNode":switch(t_135[4][4][1][0]){case"Red":return rotateRight_23(t_135)};break};break};break};break};return t_135}()} -function otherColor_26(c_136){return function(){switch(c_136[0]){case"Black":return Red_0;case"Red":return Black_1};throw "Non-exhaustive pattern match in case"}()} -function color_flip_27(t_137){return function(){switch(t_137[0]){case"RBNode":switch(t_137[4][0]){case"RBNode":switch(t_137[5][0]){case"RBNode":return RBNode_2(otherColor_26(t_137[1]))(t_137[2])(t_137[3])(RBNode_2(otherColor_26(t_137[4][1]))(t_137[4][2])(t_137[4][3])(t_137[4][4])(t_137[4][5]))(RBNode_2(otherColor_26(t_137[5][1]))(t_137[5][2])(t_137[5][3])(t_137[5][4])(t_137[5][5]))};break};break};return raise_4(Value.str("color_flip called on a RBEmpty or RBNode with a RBEmpty child"))}()} -function color_flipIfNeeded_28(t_151){return function(){switch(t_151[0]){case"RBNode":switch(t_151[4][0]){case"RBNode":switch(t_151[4][1][0]){case"Red":switch(t_151[5][0]){case"RBNode":switch(t_151[5][1][0]){case"Red":return color_flip_27(t_151)};break};break};break};break};return t_151}()} -function fixUp_29(t_152){return color_flipIfNeeded_28(rotateRightIfNeeded_25(rotateLeftIfNeeded_24(t_152)))} -function ensureBlackRoot_30(t_153){return function(){switch(t_153[0]){case"RBNode":switch(t_153[1][0]){case"Red":return RBNode_2(Black_1)(t_153[2])(t_153[3])(t_153[4])(t_153[5])};break};return t_153}()} -function insert_31(k_158){return function(v_159){return function(t_160){return function(){function ins_161(t_162){return function(){switch(t_162[0]){case"RBEmpty":return RBNode_2(Red_0)(k_158)(v_159)(RBEmpty_3)(RBEmpty_3);case"RBNode":return function(){var h_168=function(){var case6=compare(k_158)(t_162[2]);switch(case6[0]){case"EQ":return RBNode_2(t_162[1])(t_162[2])(v_159)(t_162[4])(t_162[5]);case"GT":return RBNode_2(t_162[1])(t_162[2])(t_162[3])(t_162[4])(ins_161(t_162[5]));case"LT":return RBNode_2(t_162[1])(t_162[2])(t_162[3])(ins_161(t_162[4]))(t_162[5])};throw "Non-exhaustive pattern match in case"}();return fixUp_29(h_168)}()};throw "Non-exhaustive pattern match in case"}()};return(not(invariants_hold_17(t_160))?raise_4(Value.str("invariants broken before insert")):function(){var new_t_169=ensureBlackRoot_30(ins_161(t_160));return(not(invariants_hold_17(new_t_169))?raise_4(Value.str("invariants broken after insert")):new_t_169)}())}()}}} -function singleton_32(k_170){return function(v_171){return insert_31(k_170)(v_171)(RBEmpty_3)}} -function isRed_33(t_172){return function(){switch(t_172[0]){case"RBNode":switch(t_172[1][0]){case"Red":return true};break};return false}()} -function isRedLeft_34(t_173){return function(){switch(t_173[0]){case"RBNode":switch(t_173[4][0]){case"RBNode":switch(t_173[4][1][0]){case"Red":return true};break};break};return false}()} -function isRedLeftLeft_35(t_174){return function(){switch(t_174[0]){case"RBNode":switch(t_174[4][0]){case"RBNode":switch(t_174[4][4][0]){case"RBNode":switch(t_174[4][4][1][0]){case"Red":return true};break};break};break};return false}()} -function isRedRight_36(t_175){return function(){switch(t_175[0]){case"RBNode":switch(t_175[5][0]){case"RBNode":switch(t_175[5][1][0]){case"Red":return true};break};break};return false}()} -function isRedRightLeft_37(t_176){return function(){switch(t_176[0]){case"RBNode":switch(t_176[5][0]){case"RBNode":switch(t_176[5][4][0]){case"RBNode":switch(t_176[5][4][1][0]){case"Red":return true};break};break};break};return false}()} -function moveRedLeft_38(t_177){return function(){var t__178=color_flip_27(t_177);return function(){switch(t__178[0]){case"RBNode":return function(){switch(t__178[5][0]){case"RBNode":switch(t__178[5][4][0]){case"RBNode":switch(t__178[5][4][1][0]){case"Red":return color_flip_27(rotateLeft_22(RBNode_2(t__178[1])(t__178[2])(t__178[3])(t__178[4])(rotateRight_23(t__178[5]))))};break};break};return t__178}()};return t__178}()}()} -function moveRedRight_39(t_184){return function(){var t__185=color_flip_27(t_184);return(isRedLeftLeft_35(t__185)?color_flip_27(rotateRight_23(t__185)):t__185)}()} -function moveRedLeftIfNeeded_40(t_186){return((not(isRedLeft_34(t_186))&¬(isRedLeftLeft_35(t_186)))?moveRedLeft_38(t_186):t_186)} -function moveRedRightIfNeeded_41(t_187){return((not(isRedRight_36(t_187))&¬(isRedRightLeft_37(t_187)))?moveRedRight_39(t_187):t_187)} -function deleteMin_42(t_188){return function(){function del_189(t_190){return function(){switch(t_190[0]){case"RBNode":switch(t_190[4][0]){case"RBEmpty":return RBEmpty_3};break};return function(){var t__191=moveRedLeftIfNeeded_40(t_190);return function(){switch(t__191[0]){case"RBEmpty":return RBEmpty_3;case"RBNode":return fixUp_29(RBNode_2(t__191[1])(t__191[2])(t__191[3])(del_189(t__191[4]))(t__191[5]))};throw "Non-exhaustive pattern match in case"}()}()}()};return ensureBlackRoot_30(del_189(t_188))}()} -function deleteMax_43(t_197){return function(){function del_198(t_199){return function(){var t__200=(isRedLeft_34(t_199)?rotateRight_23(t_199):t_199);return function(){switch(t__200[0]){case"RBNode":switch(t__200[5][0]){case"RBEmpty":return RBEmpty_3};break};return function(){var t___201=moveRedRightIfNeeded_41(t__200);return function(){switch(t___201[0]){case"RBEmpty":return RBEmpty_3;case"RBNode":return fixUp_29(RBNode_2(t___201[1])(t___201[2])(t___201[3])(t___201[4])(del_198(t___201[5])))};throw "Non-exhaustive pattern match in case"}()}()}()}()};return ensureBlackRoot_30(del_198(t_197))}()} -function remove_44(k_207){return function(t_208){return function(){function eq_and_noRightNode_209(t_215){return function(){switch(t_215[0]){case"RBNode":switch(t_215[5][0]){case"RBEmpty":return eq(k_207,t_215[2])};break};return false}()} -function eq_210(t_217){return function(){switch(t_217[0]){case"RBNode":return eq(k_207,t_217[2])};return false}()} -function delLT_211(t_219){return function(){var t__220=moveRedLeftIfNeeded_40(t_219);return function(){switch(t__220[0]){case"RBEmpty":return raise_4(Value.str("delLT on RBEmpty"));case"RBNode":return fixUp_29(RBNode_2(t__220[1])(t__220[2])(t__220[3])(del_214(t__220[4]))(t__220[5]))};throw "Non-exhaustive pattern match in case"}()}()} -function delEQ_212(t_226){return function(){switch(t_226[0]){case"RBEmpty":return raise_4(Value.str("delEQ called on a RBEmpty"));case"RBNode":return function(){var Tuple2$k_v__230=min_18(t_226[5]),k__231=function(){switch(Tuple2$k_v__230[0]){case"Tuple2":return Tuple2$k_v__230[1]};throw "Non-exhaustive pattern match in case"}(),v__232=function(){switch(Tuple2$k_v__230[0]){case"Tuple2":return Tuple2$k_v__230[2]};throw "Non-exhaustive pattern match in case"}();return fixUp_29(RBNode_2(t_226[1])(k__231)(v__232)(t_226[4])(deleteMin_42(t_226[5])))}()};throw "Non-exhaustive pattern match in case"}()} -function delGT_213(t_237){return function(){switch(t_237[0]){case"RBEmpty":return raise_4(Value.str("delGT called on a RBEmpty"));case"RBNode":return fixUp_29(RBNode_2(t_237[1])(t_237[2])(t_237[3])(t_237[4])(del_214(t_237[5])))};throw "Non-exhaustive pattern match in case"}()} -function del_214(t_243){return function(){switch(t_243[0]){case"RBEmpty":return RBEmpty_3;case"RBNode":return((compare(k_207)(t_243[2])[0]==='LT')?delLT_211(t_243):function(){var t__245=(isRedLeft_34(t_243)?rotateRight_23(t_243):t_243);return(eq_and_noRightNode_209(t__245)?RBEmpty_3:function(){var t_246=moveRedRightIfNeeded_41(t_246);return(eq_210(t_246)?delEQ_212(t_246):delGT_213(t_246))}())}())};throw "Non-exhaustive pattern match in case"}()};return(not(invariants_hold_17(t_208))?raise_4(Value.str("invariants broken before remove")):function(){var t__247=ensureBlackRoot_30(del_214(t_208));return(invariants_hold_17(t__247)?t__247:raise_4(Value.str("invariants broken after remove")))}())}()}} -function fold_45(f_248){return function(acc_249){return function(t_250){return function(){switch(t_250[0]){case"RBEmpty":return acc_249;case"RBNode":return fold_45(f_248)(f_248(t_250[2])(t_250[3])(fold_45(f_248)(acc_249)(t_250[4])))(t_250[5])};throw "Non-exhaustive pattern match in case"}()}}};return {empty:empty_5,lookup:lookup_20,member:member_21,insert:insert_31,singleton:singleton_32,remove:remove_44,fold:fold_45}}();Elm.main=function(){return Elm.Dict.main}}catch(e){Elm.main=function(){var msg=('

Your browser may not be supported. Are you using a modern browser?

'+'
Runtime Error in Dict module:
'+e+'

The problem may stem from an improper usage of:
EQ, GT, LT, console.log, fst, snd');document.body.innerHTML=Text.monospace(msg);throw e}}try{if(Elm.Set)throw "Module name collision, 'Set' is already defined.";Elm.Set=function(){try{if(!(Elm.Prelude instanceof Object))throw 'module not found'}catch(e){throw "Module 'Prelude' is missing. Compile with --make flag or load missing module in a separate JavaScript file."};var hiddenVars=[];for(var i in Elm.Prelude){if(hiddenVars.indexOf(i)>=0)continue;this[i]=Elm.Prelude[i]};try{if(!(Elm.Dict instanceof Object))throw 'module not found'}catch(e){throw "Module 'Dict' is missing. Compile with --make flag or load missing module in a separate JavaScript file."};var Dict=Elm.Dict,empty_0=Dict.empty,remove_3=Dict.remove,member_4=Dict.member -function singleton_1(k_5){return Dict.singleton(k_5)(["Tuple0"])} -function insert_2(k_6){return Dict.insert(k_6)(["Tuple0"])};return {empty:empty_0,singleton:singleton_1,insert:insert_2,remove:remove_3,member:member_4}}();Elm.main=function(){return Elm.Set.main}}catch(e){Elm.main=function(){var msg=('

Your browser may not be supported. Are you using a modern browser?

'+'
Runtime Error in Set module:
'+e+'

The problem may stem from an improper usage of:
Dict.empty, Dict.insert, Dict.member, Dict.remove, Dict.singleton');document.body.innerHTML=Text.monospace(msg);throw e}} +}(); +try{ + +for(var i in Elm) { this[i] = Elm[i]; } +if (Elm.Dict) throw "Module name collision, 'Dict' is already defined."; +Elm.Dict=function(){ + try{if (!(Elm.Prelude instanceof Object)) throw 'module not found'; } catch(e) {throw "Module 'Prelude' is missing. Compile with --make flag or load missing module in a separate JavaScript file.";} + var hiddenVars=[]; + for(var i in Elm.Prelude){ + if (hiddenVars.indexOf(i) >= 0) continue; + this[i]=Elm.Prelude[i];} + try{if (!(Elm.Maybe instanceof Object)) throw 'module not found'; } catch(e) {throw "Module 'Maybe' is missing. Compile with --make flag or load missing module in a separate JavaScript file.";} + var isJust=Elm.Maybe.isJust; + var Red_0=["Red"]; + var Black_1=["Black"]; + function RBNode_2(a1){ + return function(a2){ + return function(a3){ + return function(a4){ + return function(a5){ + return ["RBNode",a1,a2,a3,a4,a5];};};};};}; + var RBEmpty_3=["RBEmpty"]; + var empty_4=RBEmpty_3; + var raise_5=console.log; + function min_6(t_43){ + return function(){ + switch(t_43[0]){ + case "RBEmpty": + return raise_5(Value.str("(min RBEmpty) is not defined")); + case "RBNode": + switch(t_43[4][0]){ + case "RBEmpty": + return ["Tuple2",t_43[2],t_43[3]]; + } + return min_6(t_43[4]); + } + throw "Non-exhaustive pattern match in case";}();}; + function lookup_7(k_47){ + return function(t_48){ + return function(){ + switch(t_48[0]){ + case "RBEmpty": + return Nothing; + case "RBNode": + return function(){ + var case6=compare(k_47)(t_48[2]); + switch(case6[0]){ + case "EQ": + return Just(t_48[3]); + case "GT": + return lookup_7(k_47)(t_48[5]); + case "LT": + return lookup_7(k_47)(t_48[4]); + } + throw "Non-exhaustive pattern match in case";}(); + } + throw "Non-exhaustive pattern match in case";}();};}; + function findWithDefault_8(base_53){ + return function(k_54){ + return function(t_55){ + return function(){ + switch(t_55[0]){ + case "RBEmpty": + return base_53; + case "RBNode": + return function(){ + var case6=compare(k_54)(t_55[2]); + switch(case6[0]){ + case "EQ": + return t_55[3]; + case "GT": + return findWithDefault_8(base_53)(k_54)(t_55[5]); + case "LT": + return findWithDefault_8(base_53)(k_54)(t_55[4]); + } + throw "Non-exhaustive pattern match in case";}(); + } + throw "Non-exhaustive pattern match in case";}();};};}; + function find_9(k_60){ + return function(t_61){ + return function(){ + switch(t_61[0]){ + case "RBEmpty": + return raise_5(Value.str("Key was not found in dictionary!")); + case "RBNode": + return function(){ + var case6=compare(k_60)(t_61[2]); + switch(case6[0]){ + case "EQ": + return t_61[3]; + case "GT": + return find_9(k_60)(t_61[5]); + case "LT": + return find_9(k_60)(t_61[4]); + } + throw "Non-exhaustive pattern match in case";}(); + } + throw "Non-exhaustive pattern match in case";}();};}; + function member_10(k_66){ + return function(t_67){ + return isJust(lookup_7(k_66)(t_67));};}; + function rotateLeft_11(t_68){ + return function(){ + switch(t_68[0]){ + case "RBNode": + switch(t_68[5][0]){ + case "RBNode": + return RBNode_2(t_68[1])(t_68[5][2])(t_68[5][3])(RBNode_2(Red_0)(t_68[2])(t_68[3])(t_68[4])(t_68[5][4]))(t_68[5][5]); + }break; + } + return raise_5(Value.str("rotateLeft of a node without enough children"));}();}; + function rotateRight_12(t_78){ + return function(){ + switch(t_78[0]){ + case "RBNode": + switch(t_78[4][0]){ + case "RBNode": + return RBNode_2(t_78[1])(t_78[4][2])(t_78[4][3])(t_78[4][4])(RBNode_2(Red_0)(t_78[2])(t_78[3])(t_78[4][5])(t_78[5])); + }break; + } + return raise_5(Value.str("rotateRight of a node without enough children"));}();}; + function rotateLeftIfNeeded_13(t_88){ + return function(){ + switch(t_88[0]){ + case "RBNode": + switch(t_88[5][0]){ + case "RBNode": + switch(t_88[5][1][0]){ + case "Red": + return rotateLeft_11(t_88); + }break; + }break; + } + return t_88;}();}; + function rotateRightIfNeeded_14(t_89){ + return function(){ + switch(t_89[0]){ + case "RBNode": + switch(t_89[4][0]){ + case "RBNode": + switch(t_89[4][1][0]){ + case "Red": + switch(t_89[4][4][0]){ + case "RBNode": + switch(t_89[4][4][1][0]){ + case "Red": + return rotateRight_12(t_89); + }break; + }break; + }break; + }break; + } + return t_89;}();}; + function otherColor_15(c_90){ + return function(){ + switch(c_90[0]){ + case "Black": + return Red_0; + case "Red": + return Black_1; + } + throw "Non-exhaustive pattern match in case";}();}; + function color_flip_16(t_91){ + return function(){ + switch(t_91[0]){ + case "RBNode": + switch(t_91[4][0]){ + case "RBNode": + switch(t_91[5][0]){ + case "RBNode": + return RBNode_2(otherColor_15(t_91[1]))(t_91[2])(t_91[3])(RBNode_2(otherColor_15(t_91[4][1]))(t_91[4][2])(t_91[4][3])(t_91[4][4])(t_91[4][5]))(RBNode_2(otherColor_15(t_91[5][1]))(t_91[5][2])(t_91[5][3])(t_91[5][4])(t_91[5][5])); + }break; + }break; + } + return raise_5(Value.str("color_flip called on a RBEmpty or RBNode with a RBEmpty child"));}();}; + function color_flipIfNeeded_17(t_105){ + return function(){ + switch(t_105[0]){ + case "RBNode": + switch(t_105[4][0]){ + case "RBNode": + switch(t_105[4][1][0]){ + case "Red": + switch(t_105[5][0]){ + case "RBNode": + switch(t_105[5][1][0]){ + case "Red": + return color_flip_16(t_105); + }break; + }break; + }break; + }break; + } + return t_105;}();}; + function fixUp_18(t_106){ + return color_flipIfNeeded_17(rotateRightIfNeeded_14(rotateLeftIfNeeded_13(t_106)));}; + function ensureBlackRoot_19(t_107){ + return function(){ + switch(t_107[0]){ + case "RBNode": + switch(t_107[1][0]){ + case "Red": + return RBNode_2(Black_1)(t_107[2])(t_107[3])(t_107[4])(t_107[5]); + }break; + } + return t_107;}();}; + function insert_20(k_112){ + return function(v_113){ + return function(t_114){ + return function(){ + function ins_115(t_116){ + return function(){ + switch(t_116[0]){ + case "RBEmpty": + return RBNode_2(Red_0)(k_112)(v_113)(RBEmpty_3)(RBEmpty_3); + case "RBNode": + return function(){ + var h_122=function(){ + var case6=compare(k_112)(t_116[2]); + switch(case6[0]){ + case "EQ": + return RBNode_2(t_116[1])(t_116[2])(v_113)(t_116[4])(t_116[5]); + case "GT": + return RBNode_2(t_116[1])(t_116[2])(t_116[3])(t_116[4])(ins_115(t_116[5])); + case "LT": + return RBNode_2(t_116[1])(t_116[2])(t_116[3])(ins_115(t_116[4]))(t_116[5]); + } + throw "Non-exhaustive pattern match in case";}(); + return fixUp_18(h_122);}(); + } + throw "Non-exhaustive pattern match in case";}();}; + return ensureBlackRoot_19(ins_115(t_114));}();};};}; + function singleton_21(k_123){ + return function(v_124){ + return insert_20(k_123)(v_124)(RBEmpty_3);};}; + function isRed_22(t_125){ + return function(){ + switch(t_125[0]){ + case "RBNode": + switch(t_125[1][0]){ + case "Red": + return true; + }break; + } + return false;}();}; + function isRedLeft_23(t_126){ + return function(){ + switch(t_126[0]){ + case "RBNode": + switch(t_126[4][0]){ + case "RBNode": + switch(t_126[4][1][0]){ + case "Red": + return true; + }break; + }break; + } + return false;}();}; + function isRedLeftLeft_24(t_127){ + return function(){ + switch(t_127[0]){ + case "RBNode": + switch(t_127[4][0]){ + case "RBNode": + switch(t_127[4][4][0]){ + case "RBNode": + switch(t_127[4][4][1][0]){ + case "Red": + return true; + }break; + }break; + }break; + } + return false;}();}; + function isRedRight_25(t_128){ + return function(){ + switch(t_128[0]){ + case "RBNode": + switch(t_128[5][0]){ + case "RBNode": + switch(t_128[5][1][0]){ + case "Red": + return true; + }break; + }break; + } + return false;}();}; + function isRedRightLeft_26(t_129){ + return function(){ + switch(t_129[0]){ + case "RBNode": + switch(t_129[5][0]){ + case "RBNode": + switch(t_129[5][4][0]){ + case "RBNode": + switch(t_129[5][4][1][0]){ + case "Red": + return true; + }break; + }break; + }break; + } + return false;}();}; + function moveRedLeft_27(t_130){ + return function(){ + var t__131=color_flip_16(t_130); + return function(){ + switch(t__131[0]){ + case "RBNode": + return function(){ + switch(t__131[5][0]){ + case "RBNode": + switch(t__131[5][4][0]){ + case "RBNode": + switch(t__131[5][4][1][0]){ + case "Red": + return color_flip_16(rotateLeft_11(RBNode_2(t__131[1])(t__131[2])(t__131[3])(t__131[4])(rotateRight_12(t__131[5])))); + }break; + }break; + } + return t__131;}(); + } + return t__131;}();}();}; + function moveRedRight_28(t_137){ + return function(){ + var t__138=color_flip_16(t_137); + return (isRedLeftLeft_24(t__138)?color_flip_16(rotateRight_12(t__138)):t__138);}();}; + function moveRedLeftIfNeeded_29(t_139){ + return ((not(isRedLeft_23(t_139))&¬(isRedLeftLeft_24(t_139)))?moveRedLeft_27(t_139):t_139);}; + function moveRedRightIfNeeded_30(t_140){ + return ((not(isRedRight_25(t_140))&¬(isRedRightLeft_26(t_140)))?moveRedRight_28(t_140):t_140);}; + function deleteMin_31(t_141){ + return function(){ + function del_142(t_143){ + return function(){ + switch(t_143[0]){ + case "RBNode": + switch(t_143[4][0]){ + case "RBEmpty": + return RBEmpty_3; + }break; + } + return function(){ + var t__144=moveRedLeftIfNeeded_29(t_143); + return function(){ + switch(t__144[0]){ + case "RBEmpty": + return RBEmpty_3; + case "RBNode": + return fixUp_18(RBNode_2(t__144[1])(t__144[2])(t__144[3])(del_142(t__144[4]))(t__144[5])); + } + throw "Non-exhaustive pattern match in case";}();}();}();}; + return ensureBlackRoot_19(del_142(t_141));}();}; + function remove_32(k_150){ + return function(t_151){ + return function(){ + function eq_and_noRightNode_152(t_153){ + return function(){ + switch(t_153[0]){ + case "RBNode": + switch(t_153[5][0]){ + case "RBEmpty": + return eq(k_150,t_153[2]); + }break; + } + return false;}();}; + return function(){ + function eq_155(t_156){ + return function(){ + switch(t_156[0]){ + case "RBNode": + return eq(k_150,t_156[2]); + } + return false;}();}; + return function(){ + function delLT_158(t_159){ + return function(){ + var t__160=moveRedLeftIfNeeded_29(t_159); + return function(){ + switch(t__160[0]){ + case "RBEmpty": + return raise_5(Value.str("delLT on RBEmpty")); + case "RBNode": + return fixUp_18(RBNode_2(t__160[1])(t__160[2])(t__160[3])(del(t__160[4]))(t__160[5])); + } + throw "Non-exhaustive pattern match in case";}();}();}; + return function(){ + function delEQ_166(t_167){ + return function(){ + switch(t_167[0]){ + case "RBEmpty": + return raise_5(Value.str("delEQ called on a RBEmpty")); + case "RBNode": + return function(){ + var Tuple2$k_v__171=min_6(t_167[5]); + var k__172=function(){ + switch(Tuple2$k_v__171[0]){ + case "Tuple2": + return Tuple2$k_v__171[1]; + } + throw "Non-exhaustive pattern match in case";}(); + var v__173=function(){ + switch(Tuple2$k_v__171[0]){ + case "Tuple2": + return Tuple2$k_v__171[2]; + } + throw "Non-exhaustive pattern match in case";}(); + return fixUp_18(RBNode_2(t_167[1])(k__172)(v__173)(t_167[4])(deleteMin_31(t_167[5])));}(); + } + throw "Non-exhaustive pattern match in case";}();}; + return function(){ + function delGT_178(t_179){ + return function(){ + switch(t_179[0]){ + case "RBEmpty": + return raise_5(Value.str("delGT called on a RBEmpty")); + case "RBNode": + return fixUp_18(RBNode_2(t_179[1])(t_179[2])(t_179[3])(t_179[4])(del(t_179[5]))); + } + throw "Non-exhaustive pattern match in case";}();}; + return function(){ + function del_185(t_186){ + return function(){ + switch(t_186[0]){ + case "RBEmpty": + return RBEmpty_3; + case "RBNode": + return ((compare(k_150)(t_186[2])[0] === 'LT')?delLT_158(t_186):function(){ + var t__188=(isRedLeft_23(t_186)?rotateRight_12(t_186):t_186); + return (eq_and_noRightNode_152(t__188)?RBEmpty_3:function(){ + var t_189=moveRedRightIfNeeded_30(t_189); + return (eq_155(t_189)?delEQ_166(t_189):delGT_178(t_189));}());}()); + } + throw "Non-exhaustive pattern match in case";}();}; + return ensureBlackRoot_19(del_185(t_151));}();}();}();}();}();}();};}; + function map_33(f_190){ + return function(t_191){ + return function(){ + switch(t_191[0]){ + case "RBEmpty": + return RBEmpty_3; + case "RBNode": + return RBNode_2(t_191[1])(t_191[2])(f_190(t_191[3]))(map_33(f_190)(t_191[4]))(map_33(f_190)(t_191[5])); + } + throw "Non-exhaustive pattern match in case";}();};}; + function foldl_34(f_197){ + return function(acc_198){ + return function(t_199){ + return function(){ + switch(t_199[0]){ + case "RBEmpty": + return acc_198; + case "RBNode": + return foldl_34(f_197)(f_197(t_199[2])(t_199[3])(foldl_34(f_197)(acc_198)(t_199[4])))(t_199[5]); + } + throw "Non-exhaustive pattern match in case";}();};};}; + function foldr_35(f_204){ + return function(acc_205){ + return function(t_206){ + return function(){ + switch(t_206[0]){ + case "RBEmpty": + return acc_205; + case "RBNode": + return foldr_35(f_204)(f_204(t_206[2])(t_206[3])(foldr_35(f_204)(acc_205)(t_206[5])))(t_206[4]); + } + throw "Non-exhaustive pattern match in case";}();};};}; + function union_36(t1_211){ + return function(t2_212){ + return foldl_34(insert_20)(t2_212)(t1_211);};}; + function intersect_37(t1_213){ + return function(t2_214){ + return foldl_34(function(k_215){ + return function(v_216){ + return function(t_217){ + return (member_10(k_215)(t2_214)?insert_20(k_215)(v_216)(t_217):t_217);};};})(empty_4)(t1_213);};}; + function diff_38(t1_218){ + return function(t2_219){ + return foldl_34(function(k_220){ + return function(__221){ + return function(t_222){ + return remove_32(k_220)(t_222);};};})(t1_218)(t2_219);};}; + function keys_39(t_223){ + return foldl_34(function(k_224){ + return function(__225){ + return function(acc_226){ + return ["Cons",k_224,acc_226];};};})(["Nil"])(t_223);}; + function values_40(t_227){ + return foldl_34(function(__228){ + return function(x_229){ + return function(y_230){ + return ["Cons",x_229,y_230];};};})(["Nil"])(t_227);}; + function toList_41(t_231){ + return foldl_34(function(k_232){ + return function(v_233){ + return function(acc_234){ + return ["Cons",["Tuple2",k_232,v_233],acc_234];};};})(["Nil"])(t_231);}; + function fromList_42(assocs_235){ + return List.foldl(uncurry(insert_20))(empty_4)(assocs_235);}; + return {empty:empty_4,lookup:lookup_7,findWithDefault:findWithDefault_8,find:find_9,member:member_10,insert:insert_20,singleton:singleton_21,remove:remove_32,map:map_33,foldl:foldl_34,foldr:foldr_35,union:union_36,intersect:intersect_37,diff:diff_38,keys:keys_39,values:values_40,toList:toList_41,fromList:fromList_42};}(); +Elm.main=function(){ + return Elm.Dict.main;}; +} catch (e) {Elm.main=function() {var msg = ('

Your browser may not be supported. Are you using a modern browser?

' + '
Runtime Error in Dict module:
' + e + '');document.body.innerHTML = Text.monospace(msg);throw e;};} +try{ + +for(var i in Elm) { this[i] = Elm[i]; } +if (Elm.Set) throw "Module name collision, 'Set' is already defined."; +Elm.Set=function(){ + try{if (!(Elm.Prelude instanceof Object)) throw 'module not found'; } catch(e) {throw "Module 'Prelude' is missing. Compile with --make flag or load missing module in a separate JavaScript file.";} + var hiddenVars=[]; + for(var i in Elm.Prelude){ + if (hiddenVars.indexOf(i) >= 0) continue; + this[i]=Elm.Prelude[i];} + var empty_0=Dict.empty; + var remove_3=Dict.remove; + var member_4=Dict.member; + var union_5=Dict.union; + var intersect_6=Dict.intersect; + var diff_7=Dict.diff; + var toList_8=Dict.keys; + var fromList_9=List.foldl(function(k_15){ + return function(t_16){ + return Dict.insert(k_15)(["Tuple0"])(t_16);};})(empty_0); + function singleton_1(k_13){ + return Dict.singleton(k_13)(["Tuple0"]);}; + function insert_2(k_14){ + return Dict.insert(k_14)(["Tuple0"]);}; + function foldl_10(f_17){ + return Dict.foldl(function(k_18){ + return function(v_19){ + return function(b_20){ + return f_17(k_18)(b_20);};};});}; + function foldr_11(f_21){ + return Dict.foldr(function(k_22){ + return function(v_23){ + return function(b_24){ + return f_21(k_22)(b_24);};};});}; + function map_12(f_25){ + return function(t_26){ + return function(x){ + return fromList_9(List.map(f_25)(x));}(toList_8(t_26));};}; + return {empty:empty_0,singleton:singleton_1,insert:insert_2,remove:remove_3,member:member_4,union:union_5,intersect:intersect_6,diff:diff_7,toList:toList_8,fromList:fromList_9,foldl:foldl_10,foldr:foldr_11,map:map_12};}(); +Elm.main=function(){ + return Elm.Set.main;}; +} catch (e) {Elm.main=function() {var msg = ('

Your browser may not be supported. Are you using a modern browser?

' + '
Runtime Error in Set module:
' + e + '');document.body.innerHTML = Text.monospace(msg);throw e;};} var Elm = Elm || {}; Elm.Char = function() { function isBetween(lo,hi) { return function(chr) { @@ -2981,16 +3477,192 @@ Elm.Prelude = function() { show = Value.show; }()); -try{if(Elm.Automaton)throw "Module name collision, 'Automaton' is already defined.";Elm.Automaton=function(){try{if(!(Elm.Prelude instanceof Object))throw 'module not found'}catch(e){throw "Module 'Prelude' is missing. Compile with --make flag or load missing module in a separate JavaScript file."};var hiddenVars=[];for(var i in Elm.Prelude){if(hiddenVars.indexOf(i)>=0)continue;this[i]=Elm.Prelude[i]};try{if(!(Elm.Data.List instanceof Object))throw 'module not found'}catch(e){throw "Module 'Data.List' is missing. Compile with --make flag or load missing module in a separate JavaScript file."};var unzip=Elm.Data.List.unzip -function Automaton_0(a1){return ["Automaton",a1]};var Listen_9=["Listen"],Ignore_10=["Ignore"] -function DragFrom_11(a1){return ["DragFrom",a1]};var count_8=init_6(0)(function(__75){return function(c_76){return(1+c_76)}}) -function run_1(Automaton$m0_15){return function(input_16){return function(){switch(Automaton$m0_15[0]){case"Automaton":return lift(fst)(foldp_(function(a_18){return function(Tuple2$bAutomaton$m_19){return function(){switch(Tuple2$bAutomaton$m_19[0]){case"Tuple2":switch(Tuple2$bAutomaton$m_19[2][0]){case"Automaton":return Tuple2$bAutomaton$m_19[2][1](a_18)};break};throw "Non-exhaustive pattern match in case"}()}})(Automaton$m0_15[1])(input_16))};throw "Non-exhaustive pattern match in case"}()}} -function step_2(a_22){return function(Automaton$m_23){return function(){switch(Automaton$m_23[0]){case"Automaton":return Automaton$m_23[1](a_22)};throw "Non-exhaustive pattern match in case"}()}} -function composeAuto_3(a1_25){return function(a2_26){return function(){var Automaton$m1_27=a1_25,m1_28=function(){switch(Automaton$m1_27[0]){case"Automaton":return Automaton$m1_27[1]};throw "Non-exhaustive pattern match in case"}(),Automaton$m2_29=a2_26,m2_30=function(){switch(Automaton$m2_29[0]){case"Automaton":return Automaton$m2_29[1]};throw "Non-exhaustive pattern match in case"}();return Automaton_0(function(a_33){return function(){var Tuple2$bm1__34=m1_28(a_33),b_35=function(){switch(Tuple2$bm1__34[0]){case"Tuple2":return Tuple2$bm1__34[1]};throw "Non-exhaustive pattern match in case"}(),m1__36=function(){switch(Tuple2$bm1__34[0]){case"Tuple2":return Tuple2$bm1__34[2]};throw "Non-exhaustive pattern match in case"}();return function(){var Tuple2$cm2__41=m2_30(b_35),c_42=function(){switch(Tuple2$cm2__41[0]){case"Tuple2":return Tuple2$cm2__41[1]};throw "Non-exhaustive pattern match in case"}(),m2__43=function(){switch(Tuple2$cm2__41[0]){case"Tuple2":return Tuple2$cm2__41[2]};throw "Non-exhaustive pattern match in case"}();return ["Tuple2",c_42,composeAuto_3(m1__36)(m2__43)]}()}()})}()}} -function combine_4(autos_48){return Automaton_0(function(a_49){return function(){var Tuple2$bsautos__50=unzip(map(function(Automaton$m_53){return function(){switch(Automaton$m_53[0]){case"Automaton":return Automaton$m_53[1](a_49)};throw "Non-exhaustive pattern match in case"}()})(autos_48)),bs_51=function(){switch(Tuple2$bsautos__50[0]){case"Tuple2":return Tuple2$bsautos__50[1]};throw "Non-exhaustive pattern match in case"}(),autos__52=function(){switch(Tuple2$bsautos__50[0]){case"Tuple2":return Tuple2$bsautos__50[2]};throw "Non-exhaustive pattern match in case"}();return ["Tuple2",bs_51,combine_4(autos__52)]}()})} -function pure_5(f_59){return Automaton_0(function(x_60){return ["Tuple2",f_59(x_60),pure_5(f_59)]})} -function init_6(s_61){return function(step_62){return Automaton_0(function(a_63){return function(){var s__64=step_62(a_63)(s_61);return ["Tuple2",s__64,init_6(s__64)(step_62)]}()})}} -function init__7(s_65){return function(step_66){return Automaton_0(function(a_67){return function(){var Tuple2$bs__68=step_66(a_67)(s_65),b_69=function(){switch(Tuple2$bs__68[0]){case"Tuple2":return Tuple2$bs__68[1]};throw "Non-exhaustive pattern match in case"}(),s__70=function(){switch(Tuple2$bs__68[0]){case"Tuple2":return Tuple2$bs__68[2]};throw "Non-exhaustive pattern match in case"}();return ["Tuple2",b_69,init__7(s__70)(step_66)]}()})}} -function vecSub_12(Tuple2$x1y1_77){return function(Tuple2$x2y2_78){return function(){switch(Tuple2$x1y1_77[0]){case"Tuple2":return function(){switch(Tuple2$x2y2_78[0]){case"Tuple2":return ["Tuple2",(Tuple2$x1y1_77[1]-Tuple2$x2y2_78[1]),(Tuple2$x1y1_77[2]-Tuple2$x2y2_78[2])]};throw "Non-exhaustive pattern match in case"}()};throw "Non-exhaustive pattern match in case"}()}} -function stepDrag_13(Tuple2$presspos_83){return function(Tuple2$dsform_84){return function(){switch(Tuple2$presspos_83[0]){case"Tuple2":return function(){switch(Tuple2$dsform_84[0]){case"Tuple2":return function(){function wrap_89(ds__90){return ["Tuple2",Tuple2$dsform_84[2],["Tuple2",ds__90,Tuple2$dsform_84[2]]]};return function(){switch(Tuple2$dsform_84[1][0]){case"DragFrom":return(Tuple2$presspos_83[1]?["Tuple2",uncurry(move)(vecSub_12(Tuple2$presspos_83[2])(Tuple2$dsform_84[1][1]))(Tuple2$dsform_84[2]),["Tuple2",DragFrom_11(Tuple2$dsform_84[1][1]),Tuple2$dsform_84[2]]]:function(){var form__92=uncurry(move)(vecSub_12(Tuple2$presspos_83[2])(Tuple2$dsform_84[1][1]))(Tuple2$dsform_84[2]);return ["Tuple2",form__92,["Tuple2",Listen_9,form__92]]}());case"Ignore":return wrap_89((Tuple2$presspos_83[1]?Ignore_10:Listen_9));case"Listen":return wrap_89((not(Tuple2$presspos_83[1])?Listen_9:(isWithin(Tuple2$presspos_83[2])(Tuple2$dsform_84[2])?DragFrom_11(Tuple2$presspos_83[2]):Ignore_10)))};throw "Non-exhaustive pattern match in case"}()}()};throw "Non-exhaustive pattern match in case"}()};throw "Non-exhaustive pattern match in case"}()}} -function dragForm_14(form_93){return init__7(["Tuple2",Listen_9,form_93])(stepDrag_13)};return {Automaton:Automaton_0,run:run_1,step:step_2,composeAuto:composeAuto_3,combine:combine_4,pure:pure_5,init:init_6,init_:init__7,count:count_8,Listen:Listen_9,Ignore:Ignore_10,DragFrom:DragFrom_11,vecSub:vecSub_12,stepDrag:stepDrag_13,dragForm:dragForm_14}}();Elm.main=function(){return Elm.Automaton.main}}catch(e){Elm.main=function(){var msg=('

Your browser may not be supported. Are you using a modern browser?

'+'
Runtime Error in Automaton module:
'+e+'

The problem may stem from an improper usage of:
fst, unzip');document.body.innerHTML=Text.monospace(msg);throw e}} \ No newline at end of file + +try{ + +for(var i in Elm) { this[i] = Elm[i]; } +if (Elm.Automaton) throw "Module name collision, 'Automaton' is already defined."; +Elm.Automaton=function(){ + try{if (!(Elm.Prelude instanceof Object)) throw 'module not found'; } catch(e) {throw "Module 'Prelude' is missing. Compile with --make flag or load missing module in a separate JavaScript file.";} + var hiddenVars=[]; + for(var i in Elm.Prelude){ + if (hiddenVars.indexOf(i) >= 0) continue; + this[i]=Elm.Prelude[i];} + function Automaton_0(a1){ + return ["Automaton",a1];}; + var Listen_9=["Listen"]; + var Ignore_10=["Ignore"]; + function DragFrom_11(a1){ + return ["DragFrom",a1];}; + var count_8=init_6(0)(function(__75){ + return function(c_76){ + return (1+c_76);};}); + function run_1(Automaton$m0_15){ + return function(input_16){ + return function(){ + switch(Automaton$m0_15[0]){ + case "Automaton": + return lift(fst)(foldp_(function(a_18){ + return function(Tuple2$bAutomaton$m_19){ + return function(){ + switch(Tuple2$bAutomaton$m_19[0]){ + case "Tuple2": + switch(Tuple2$bAutomaton$m_19[2][0]){ + case "Automaton": + return Tuple2$bAutomaton$m_19[2][1](a_18); + }break; + } + throw "Non-exhaustive pattern match in case";}();};})(Automaton$m0_15[1])(input_16)); + } + throw "Non-exhaustive pattern match in case";}();};}; + function step_2(Automaton$m_22){ + return function(a_23){ + return function(){ + switch(Automaton$m_22[0]){ + case "Automaton": + return Automaton$m_22[1](a_23); + } + throw "Non-exhaustive pattern match in case";}();};}; + function composeAuto_3(a1_25){ + return function(a2_26){ + return function(){ + var Automaton$m1_27=a1_25; + var m1_28=function(){ + switch(Automaton$m1_27[0]){ + case "Automaton": + return Automaton$m1_27[1]; + } + throw "Non-exhaustive pattern match in case";}(); + var Automaton$m2_29=a2_26; + var m2_30=function(){ + switch(Automaton$m2_29[0]){ + case "Automaton": + return Automaton$m2_29[1]; + } + throw "Non-exhaustive pattern match in case";}(); + return Automaton_0(function(a_33){ + return function(){ + var Tuple2$bm1__34=m1_28(a_33); + var b_35=function(){ + switch(Tuple2$bm1__34[0]){ + case "Tuple2": + return Tuple2$bm1__34[1]; + } + throw "Non-exhaustive pattern match in case";}(); + var m1__36=function(){ + switch(Tuple2$bm1__34[0]){ + case "Tuple2": + return Tuple2$bm1__34[2]; + } + throw "Non-exhaustive pattern match in case";}(); + return function(){ + var Tuple2$cm2__41=m2_30(b_35); + var c_42=function(){ + switch(Tuple2$cm2__41[0]){ + case "Tuple2": + return Tuple2$cm2__41[1]; + } + throw "Non-exhaustive pattern match in case";}(); + var m2__43=function(){ + switch(Tuple2$cm2__41[0]){ + case "Tuple2": + return Tuple2$cm2__41[2]; + } + throw "Non-exhaustive pattern match in case";}(); + return ["Tuple2",c_42,composeAuto_3(m1__36)(m2__43)];}();}();});}();};}; + function combine_4(autos_48){ + return Automaton_0(function(a_49){ + return function(){ + var Tuple2$bsautos__50=unzip(map(function(Automaton$m_53){ + return function(){ + switch(Automaton$m_53[0]){ + case "Automaton": + return Automaton$m_53[1](a_49); + } + throw "Non-exhaustive pattern match in case";}();})(autos_48)); + var bs_51=function(){ + switch(Tuple2$bsautos__50[0]){ + case "Tuple2": + return Tuple2$bsautos__50[1]; + } + throw "Non-exhaustive pattern match in case";}(); + var autos__52=function(){ + switch(Tuple2$bsautos__50[0]){ + case "Tuple2": + return Tuple2$bsautos__50[2]; + } + throw "Non-exhaustive pattern match in case";}(); + return ["Tuple2",bs_51,combine_4(autos__52)];}();});}; + function pure_5(f_59){ + return Automaton_0(function(x_60){ + return ["Tuple2",f_59(x_60),pure_5(f_59)];});}; + function init_6(s_61){ + return function(step_62){ + return Automaton_0(function(a_63){ + return function(){ + var s__64=step_62(a_63)(s_61); + return ["Tuple2",s__64,init_6(s__64)(step_62)];}();});};}; + function init__7(s_65){ + return function(step_66){ + return Automaton_0(function(a_67){ + return function(){ + var Tuple2$bs__68=step_66(a_67)(s_65); + var b_69=function(){ + switch(Tuple2$bs__68[0]){ + case "Tuple2": + return Tuple2$bs__68[1]; + } + throw "Non-exhaustive pattern match in case";}(); + var s__70=function(){ + switch(Tuple2$bs__68[0]){ + case "Tuple2": + return Tuple2$bs__68[2]; + } + throw "Non-exhaustive pattern match in case";}(); + return ["Tuple2",b_69,init__7(s__70)(step_66)];}();});};}; + function vecSub_12(Tuple2$x1y1_77){ + return function(Tuple2$x2y2_78){ + return function(){ + switch(Tuple2$x1y1_77[0]){ + case "Tuple2": + return function(){ + switch(Tuple2$x2y2_78[0]){ + case "Tuple2": + return ["Tuple2",(Tuple2$x1y1_77[1]-Tuple2$x2y2_78[1]),(Tuple2$x1y1_77[2]-Tuple2$x2y2_78[2])]; + } + throw "Non-exhaustive pattern match in case";}(); + } + throw "Non-exhaustive pattern match in case";}();};}; + function stepDrag_13(Tuple2$presspos_83){ + return function(Tuple2$dsform_84){ + return function(){ + switch(Tuple2$presspos_83[0]){ + case "Tuple2": + return function(){ + switch(Tuple2$dsform_84[0]){ + case "Tuple2": + return function(){ + function wrap_89(ds__90){ + return ["Tuple2",Tuple2$dsform_84[2],["Tuple2",ds__90,Tuple2$dsform_84[2]]];}; + return function(){ + switch(Tuple2$dsform_84[1][0]){ + case "DragFrom": + return (Tuple2$presspos_83[1]?["Tuple2",uncurry(move)(vecSub_12(Tuple2$presspos_83[2])(Tuple2$dsform_84[1][1]))(Tuple2$dsform_84[2]),["Tuple2",DragFrom_11(Tuple2$dsform_84[1][1]),Tuple2$dsform_84[2]]]:function(){ + var form__92=uncurry(move)(vecSub_12(Tuple2$presspos_83[2])(Tuple2$dsform_84[1][1]))(Tuple2$dsform_84[2]); + return ["Tuple2",form__92,["Tuple2",Listen_9,form__92]];}()); + case "Ignore": + return wrap_89((Tuple2$presspos_83[1]?Ignore_10:Listen_9)); + case "Listen": + return wrap_89((not(Tuple2$presspos_83[1])?Listen_9:(isWithin(Tuple2$presspos_83[2])(Tuple2$dsform_84[2])?DragFrom_11(Tuple2$presspos_83[2]):Ignore_10))); + } + throw "Non-exhaustive pattern match in case";}();}(); + } + throw "Non-exhaustive pattern match in case";}(); + } + throw "Non-exhaustive pattern match in case";}();};}; + function dragForm_14(form_93){ + return init__7(["Tuple2",Listen_9,form_93])(stepDrag_13);}; + return {Automaton:Automaton_0,run:run_1,step:step_2,composeAuto:composeAuto_3,combine:combine_4,pure:pure_5,init:init_6,init_:init__7,count:count_8,Listen:Listen_9,Ignore:Ignore_10,DragFrom:DragFrom_11,vecSub:vecSub_12,stepDrag:stepDrag_13,dragForm:dragForm_14};}(); +Elm.main=function(){ + return Elm.Automaton.main;}; +} catch (e) {Elm.main=function() {var msg = ('

Your browser may not be supported. Are you using a modern browser?

' + '
Runtime Error in Automaton module:
' + e + '');document.body.innerHTML = Text.monospace(msg);throw e;};} \ No newline at end of file