@explorable-viz/fluid 0.12.2 → 0.12.4
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/fluid/shared/fluid.mjs +478 -438
- package/dist/fluid/shared/load-figure.js +3193 -2969
- package/output-es/Affjax/foreign.js +52 -0
- package/output-es/Affjax/index.js +387 -0
- package/output-es/Affjax.RequestBody/index.js +22 -0
- package/output-es/Affjax.RequestHeader/index.js +58 -0
- package/output-es/Affjax.ResponseFormat/index.js +47 -0
- package/output-es/Affjax.ResponseHeader/index.js +19 -0
- package/output-es/Affjax.StatusCode/index.js +8 -0
- package/output-es/Affjax.Web/foreign.js +8 -0
- package/output-es/Affjax.Web/index.js +14 -0
- package/output-es/App.CodeMirror/foreign.js +69 -0
- package/output-es/App.CodeMirror/index.js +3 -0
- package/output-es/App.Fig/index.js +713 -0
- package/output-es/App.LoadFigure/index.js +131 -0
- package/output-es/App.Util/index.js +773 -0
- package/output-es/App.Util.Selector/index.js +273 -0
- package/output-es/App.View/index.js +310 -0
- package/output-es/App.View.BarChart/index.js +153 -0
- package/output-es/App.View.DocView/index.js +40 -0
- package/output-es/App.View.LineChart/index.js +437 -0
- package/output-es/App.View.MatrixView/foreign.js +182 -0
- package/output-es/App.View.MatrixView/index.js +232 -0
- package/output-es/App.View.MultiView/index.js +30 -0
- package/output-es/App.View.Paragraph/index.js +44 -0
- package/output-es/App.View.ScatterPlot/foreign.js +110 -0
- package/output-es/App.View.ScatterPlot/index.js +122 -0
- package/output-es/App.View.Segment/index.js +92 -0
- package/output-es/App.View.StackedBar/index.js +54 -0
- package/output-es/App.View.TableView/index.js +397 -0
- package/output-es/App.View.Text/index.js +157 -0
- package/output-es/App.View.Util/index.js +222 -0
- package/output-es/App.View.Util.Axes/index.js +79 -0
- package/output-es/App.View.Util.D3/foreign.js +263 -0
- package/output-es/App.View.Util.D3/index.js +678 -0
- package/output-es/App.View.Util.Point/index.js +3 -0
- package/output-es/Benchmark/index.js +63 -0
- package/output-es/Bind/index.js +24 -0
- package/output-es/Control.Alt/index.js +5 -0
- package/output-es/Control.Alternative/index.js +11 -0
- package/output-es/Control.Applicative/index.js +18 -0
- package/output-es/Control.Apply/foreign.js +15 -0
- package/output-es/Control.Apply/index.js +17 -0
- package/output-es/Control.Biapplicative/index.js +5 -0
- package/output-es/Control.Biapply/index.js +11 -0
- package/output-es/Control.Bind/foreign.js +9 -0
- package/output-es/Control.Bind/index.js +21 -0
- package/output-es/Control.Category/index.js +4 -0
- package/output-es/Control.Comonad/index.js +2 -0
- package/output-es/Control.Comonad.Cofree/index.js +255 -0
- package/output-es/Control.Comonad.Cofree.Class/index.js +43 -0
- package/output-es/Control.Comonad.Env/index.js +8 -0
- package/output-es/Control.Comonad.Env.Class/index.js +17 -0
- package/output-es/Control.Comonad.Env.Trans/index.js +113 -0
- package/output-es/Control.Comonad.Store/index.js +5 -0
- package/output-es/Control.Comonad.Store.Class/index.js +56 -0
- package/output-es/Control.Comonad.Store.Trans/index.js +27 -0
- package/output-es/Control.Comonad.Traced/index.js +4 -0
- package/output-es/Control.Comonad.Traced.Class/index.js +16 -0
- package/output-es/Control.Comonad.Traced.Trans/index.js +28 -0
- package/output-es/Control.Comonad.Trans.Class/index.js +3 -0
- package/output-es/Control.Extend/foreign.js +7 -0
- package/output-es/Control.Extend/index.js +12 -0
- package/output-es/Control.Lazy/index.js +10 -0
- package/output-es/Control.Monad/index.js +27 -0
- package/output-es/Control.Monad.Cont/index.js +6 -0
- package/output-es/Control.Monad.Cont.Class/index.js +3 -0
- package/output-es/Control.Monad.Cont.Trans/index.js +122 -0
- package/output-es/Control.Monad.Error.Class/index.js +83 -0
- package/output-es/Control.Monad.Except/index.js +10 -0
- package/output-es/Control.Monad.Except.Trans/index.js +241 -0
- package/output-es/Control.Monad.Free/index.js +423 -0
- package/output-es/Control.Monad.Free.Class/index.js +45 -0
- package/output-es/Control.Monad.Gen/index.js +132 -0
- package/output-es/Control.Monad.Gen.Class/index.js +6 -0
- package/output-es/Control.Monad.Gen.Common/index.js +44 -0
- package/output-es/Control.Monad.Identity.Trans/index.js +88 -0
- package/output-es/Control.Monad.List.Trans/index.js +536 -0
- package/output-es/Control.Monad.Maybe.Trans/index.js +217 -0
- package/output-es/Control.Monad.RWS/index.js +16 -0
- package/output-es/Control.Monad.RWS.Trans/index.js +260 -0
- package/output-es/Control.Monad.Reader/index.js +6 -0
- package/output-es/Control.Monad.Reader.Class/index.js +11 -0
- package/output-es/Control.Monad.Reader.Trans/index.js +320 -0
- package/output-es/Control.Monad.Rec.Class/index.js +265 -0
- package/output-es/Control.Monad.ST/index.js +1 -0
- package/output-es/Control.Monad.ST.Class/index.js +7 -0
- package/output-es/Control.Monad.ST.Global/index.js +3 -0
- package/output-es/Control.Monad.ST.Internal/foreign.js +90 -0
- package/output-es/Control.Monad.ST.Internal/index.js +75 -0
- package/output-es/Control.Monad.ST.Ref/index.js +1 -0
- package/output-es/Control.Monad.ST.Uncurried/foreign.js +229 -0
- package/output-es/Control.Monad.ST.Uncurried/index.js +39 -0
- package/output-es/Control.Monad.State/index.js +8 -0
- package/output-es/Control.Monad.State.Class/index.js +12 -0
- package/output-es/Control.Monad.State.Trans/index.js +209 -0
- package/output-es/Control.Monad.Trampoline/index.js +9 -0
- package/output-es/Control.Monad.Trans.Class/index.js +3 -0
- package/output-es/Control.Monad.Writer/index.js +6 -0
- package/output-es/Control.Monad.Writer.Class/index.js +14 -0
- package/output-es/Control.Monad.Writer.Trans/index.js +256 -0
- package/output-es/Control.MonadPlus/index.js +4 -0
- package/output-es/Control.Parallel/index.js +49 -0
- package/output-es/Control.Parallel.Class/index.js +191 -0
- package/output-es/Control.Plus/index.js +4 -0
- package/output-es/Control.Promise/foreign.js +24 -0
- package/output-es/Control.Promise/index.js +40 -0
- package/output-es/Control.Semigroupoid/index.js +4 -0
- package/output-es/Data.Argonaut.Core/foreign.js +102 -0
- package/output-es/Data.Argonaut.Core/index.js +72 -0
- package/output-es/Data.Argonaut.Decode/index.js +10 -0
- package/output-es/Data.Argonaut.Decode.Class/index.js +173 -0
- package/output-es/Data.Argonaut.Decode.Combinators/index.js +21 -0
- package/output-es/Data.Argonaut.Decode.Decoders/index.js +463 -0
- package/output-es/Data.Argonaut.Decode.Error/index.js +151 -0
- package/output-es/Data.Argonaut.Decode.Parser/index.js +11 -0
- package/output-es/Data.Argonaut.Encode/index.js +3 -0
- package/output-es/Data.Argonaut.Encode.Class/index.js +114 -0
- package/output-es/Data.Argonaut.Encode.Combinators/index.js +15 -0
- package/output-es/Data.Argonaut.Encode.Encoders/index.js +222 -0
- package/output-es/Data.Argonaut.Gen/index.js +68 -0
- package/output-es/Data.Argonaut.Parser/foreign.js +8 -0
- package/output-es/Data.Argonaut.Parser/index.js +5 -0
- package/output-es/Data.Array/foreign.js +298 -0
- package/output-es/Data.Array/index.js +555 -0
- package/output-es/Data.Array.NonEmpty/index.js +317 -0
- package/output-es/Data.Array.NonEmpty.Internal/foreign.js +77 -0
- package/output-es/Data.Array.NonEmpty.Internal/index.js +90 -0
- package/output-es/Data.Array.Partial/index.js +7 -0
- package/output-es/Data.Array.ST/foreign.js +107 -0
- package/output-es/Data.Array.ST/index.js +82 -0
- package/output-es/Data.Array.ST.Iterator/index.js +83 -0
- package/output-es/Data.Array.ST.Partial/foreign.js +7 -0
- package/output-es/Data.Array.ST.Partial/index.js +9 -0
- package/output-es/Data.ArrayBuffer.Types/index.js +1 -0
- package/output-es/Data.Bifoldable/index.js +149 -0
- package/output-es/Data.Bifunctor/index.js +17 -0
- package/output-es/Data.Bifunctor.Join/index.js +21 -0
- package/output-es/Data.Bitraversable/index.js +195 -0
- package/output-es/Data.Boolean/index.js +2 -0
- package/output-es/Data.BooleanAlgebra/index.js +42 -0
- package/output-es/Data.Bounded/foreign.js +8 -0
- package/output-es/Data.Bounded/index.js +76 -0
- package/output-es/Data.Bounded.Generic/index.js +37 -0
- package/output-es/Data.CatList/index.js +326 -0
- package/output-es/Data.CatQueue/index.js +364 -0
- package/output-es/Data.Char/index.js +5 -0
- package/output-es/Data.Char.Gen/index.js +21 -0
- package/output-es/Data.CodePoint.Unicode/index.js +382 -0
- package/output-es/Data.CodePoint.Unicode.Internal/index.js +5476 -0
- package/output-es/Data.CodePoint.Unicode.Internal.Casing/index.js +1636 -0
- package/output-es/Data.CommutativeRing/index.js +49 -0
- package/output-es/Data.Compactable/index.js +228 -0
- package/output-es/Data.Comparison/index.js +22 -0
- package/output-es/Data.Const/index.js +56 -0
- package/output-es/Data.Coyoneda/index.js +212 -0
- package/output-es/Data.Date/foreign.js +22 -0
- package/output-es/Data.Date/index.js +370 -0
- package/output-es/Data.Date.Component/index.js +451 -0
- package/output-es/Data.Date.Component.Gen/index.js +11 -0
- package/output-es/Data.Date.Gen/index.js +25 -0
- package/output-es/Data.DateTime/foreign.js +33 -0
- package/output-es/Data.DateTime/index.js +131 -0
- package/output-es/Data.DateTime.Gen/index.js +8 -0
- package/output-es/Data.DateTime.Instant/foreign.js +18 -0
- package/output-es/Data.DateTime.Instant/index.js +86 -0
- package/output-es/Data.Decidable/index.js +70 -0
- package/output-es/Data.Decide/index.js +64 -0
- package/output-es/Data.Distributive/index.js +55 -0
- package/output-es/Data.Divide/index.js +47 -0
- package/output-es/Data.Divisible/index.js +17 -0
- package/output-es/Data.DivisionRing/index.js +6 -0
- package/output-es/Data.Either/index.js +242 -0
- package/output-es/Data.Either.Inject/index.js +25 -0
- package/output-es/Data.Either.Nested/index.js +450 -0
- package/output-es/Data.Enum/foreign.js +7 -0
- package/output-es/Data.Enum/index.js +441 -0
- package/output-es/Data.Enum.Gen/index.js +19 -0
- package/output-es/Data.Enum.Generic/index.js +211 -0
- package/output-es/Data.Eq/foreign.js +23 -0
- package/output-es/Data.Eq/index.js +33 -0
- package/output-es/Data.Eq.Generic/index.js +16 -0
- package/output-es/Data.Equivalence/index.js +8 -0
- package/output-es/Data.EuclideanRing/foreign.js +26 -0
- package/output-es/Data.EuclideanRing/index.js +25 -0
- package/output-es/Data.Exists/index.js +4 -0
- package/output-es/Data.Field/index.js +2 -0
- package/output-es/Data.Filterable/index.js +317 -0
- package/output-es/Data.Foldable/foreign.js +25 -0
- package/output-es/Data.Foldable/index.js +394 -0
- package/output-es/Data.FoldableWithIndex/index.js +431 -0
- package/output-es/Data.FormURLEncoded/index.js +110 -0
- package/output-es/Data.Function/index.js +23 -0
- package/output-es/Data.Function.Memoize/index.js +242 -0
- package/output-es/Data.Function.Uncurried/foreign.js +218 -0
- package/output-es/Data.Function.Uncurried/index.js +5 -0
- package/output-es/Data.Functor/foreign.js +10 -0
- package/output-es/Data.Functor/index.js +14 -0
- package/output-es/Data.Functor.App/index.js +87 -0
- package/output-es/Data.Functor.Clown/index.js +24 -0
- package/output-es/Data.Functor.Compose/index.js +131 -0
- package/output-es/Data.Functor.Contravariant/index.js +7 -0
- package/output-es/Data.Functor.Coproduct/index.js +171 -0
- package/output-es/Data.Functor.Coproduct.Inject/index.js +25 -0
- package/output-es/Data.Functor.Coproduct.Nested/index.js +433 -0
- package/output-es/Data.Functor.Costar/index.js +82 -0
- package/output-es/Data.Functor.Flip/index.js +31 -0
- package/output-es/Data.Functor.Invariant/index.js +14 -0
- package/output-es/Data.Functor.Joker/index.js +88 -0
- package/output-es/Data.Functor.Product/index.js +127 -0
- package/output-es/Data.Functor.Product.Nested/index.js +46 -0
- package/output-es/Data.Functor.Product2/index.js +46 -0
- package/output-es/Data.FunctorWithIndex/foreign.js +10 -0
- package/output-es/Data.FunctorWithIndex/index.js +147 -0
- package/output-es/Data.Generic.Rep/index.js +31 -0
- package/output-es/Data.Graph/index.js +370 -0
- package/output-es/Data.HTTP.Method/index.js +223 -0
- package/output-es/Data.HeytingAlgebra/foreign.js +15 -0
- package/output-es/Data.HeytingAlgebra/index.js +104 -0
- package/output-es/Data.HeytingAlgebra.Generic/index.js +76 -0
- package/output-es/Data.Identity/index.js +54 -0
- package/output-es/Data.Int/foreign.js +65 -0
- package/output-es/Data.Int/index.js +122 -0
- package/output-es/Data.Int.Bits/foreign.js +48 -0
- package/output-es/Data.Int.Bits/index.js +4 -0
- package/output-es/Data.Interval/index.js +331 -0
- package/output-es/Data.Interval.Duration/index.js +124 -0
- package/output-es/Data.Interval.Duration.Iso/index.js +423 -0
- package/output-es/Data.JSDate/foreign.js +83 -0
- package/output-es/Data.JSDate/index.js +123 -0
- package/output-es/Data.Lazy/foreign.js +14 -0
- package/output-es/Data.Lazy/index.js +143 -0
- package/output-es/Data.List/index.js +1505 -0
- package/output-es/Data.List.Internal/index.js +155 -0
- package/output-es/Data.List.Lazy/index.js +658 -0
- package/output-es/Data.List.Lazy.NonEmpty/index.js +77 -0
- package/output-es/Data.List.Lazy.Types/index.js +511 -0
- package/output-es/Data.List.NonEmpty/index.js +540 -0
- package/output-es/Data.List.Partial/index.js +37 -0
- package/output-es/Data.List.Types/index.js +841 -0
- package/output-es/Data.List.ZipList/index.js +43 -0
- package/output-es/Data.Map/index.js +80 -0
- package/output-es/Data.Map.Gen/index.js +15 -0
- package/output-es/Data.Map.Internal/index.js +1216 -0
- package/output-es/Data.Maybe/index.js +253 -0
- package/output-es/Data.Maybe.First/index.js +85 -0
- package/output-es/Data.Maybe.Last/index.js +86 -0
- package/output-es/Data.MediaType/index.js +8 -0
- package/output-es/Data.MediaType.Common/index.js +30 -0
- package/output-es/Data.Monoid/index.js +66 -0
- package/output-es/Data.Monoid.Additive/index.js +33 -0
- package/output-es/Data.Monoid.Alternate/index.js +46 -0
- package/output-es/Data.Monoid.Conj/index.js +21 -0
- package/output-es/Data.Monoid.Disj/index.js +21 -0
- package/output-es/Data.Monoid.Dual/index.js +19 -0
- package/output-es/Data.Monoid.Endo/index.js +12 -0
- package/output-es/Data.Monoid.Generic/index.js +11 -0
- package/output-es/Data.Monoid.Multiplicative/index.js +33 -0
- package/output-es/Data.NaturalTransformation/index.js +1 -0
- package/output-es/Data.Newtype/index.js +51 -0
- package/output-es/Data.NonEmpty/index.js +217 -0
- package/output-es/Data.Nullable/foreign.js +12 -0
- package/output-es/Data.Nullable/index.js +53 -0
- package/output-es/Data.Number/foreign.js +80 -0
- package/output-es/Data.Number/index.js +15 -0
- package/output-es/Data.Number.Approximate/index.js +13 -0
- package/output-es/Data.Number.Format/foreign.js +12 -0
- package/output-es/Data.Number.Format/index.js +53 -0
- package/output-es/Data.Op/index.js +13 -0
- package/output-es/Data.Ord/foreign.js +43 -0
- package/output-es/Data.Ord/index.js +161 -0
- package/output-es/Data.Ord.Down/index.js +35 -0
- package/output-es/Data.Ord.Generic/index.js +34 -0
- package/output-es/Data.Ord.Max/index.js +34 -0
- package/output-es/Data.Ord.Min/index.js +34 -0
- package/output-es/Data.Ordering/index.js +35 -0
- package/output-es/Data.Posix/index.js +19 -0
- package/output-es/Data.Posix.Signal/index.js +405 -0
- package/output-es/Data.Predicate/index.js +14 -0
- package/output-es/Data.Profunctor/index.js +13 -0
- package/output-es/Data.Profunctor.Choice/index.js +32 -0
- package/output-es/Data.Profunctor.Closed/index.js +5 -0
- package/output-es/Data.Profunctor.Cochoice/index.js +3 -0
- package/output-es/Data.Profunctor.Costrong/index.js +3 -0
- package/output-es/Data.Profunctor.Join/index.js +13 -0
- package/output-es/Data.Profunctor.Split/index.js +11 -0
- package/output-es/Data.Profunctor.Star/index.js +250 -0
- package/output-es/Data.Profunctor.Strong/index.js +19 -0
- package/output-es/Data.Reflectable/foreign.js +5 -0
- package/output-es/Data.Reflectable/index.js +10 -0
- package/output-es/Data.Ring/foreign.js +12 -0
- package/output-es/Data.Ring/index.js +50 -0
- package/output-es/Data.Ring.Generic/index.js +10 -0
- package/output-es/Data.Semigroup/foreign.js +13 -0
- package/output-es/Data.Semigroup/index.js +25 -0
- package/output-es/Data.Semigroup.First/index.js +14 -0
- package/output-es/Data.Semigroup.Foldable/index.js +143 -0
- package/output-es/Data.Semigroup.Generic/index.js +11 -0
- package/output-es/Data.Semigroup.Last/index.js +14 -0
- package/output-es/Data.Semigroup.Traversable/index.js +39 -0
- package/output-es/Data.Semiring/foreign.js +25 -0
- package/output-es/Data.Semiring/index.js +66 -0
- package/output-es/Data.Semiring.Generic/index.js +52 -0
- package/output-es/Data.Set/index.js +310 -0
- package/output-es/Data.Set.NonEmpty/index.js +198 -0
- package/output-es/Data.Show/foreign.js +59 -0
- package/output-es/Data.Show/index.js +56 -0
- package/output-es/Data.Show.Generic/foreign.js +5 -0
- package/output-es/Data.Show.Generic/index.js +43 -0
- package/output-es/Data.String/index.js +1 -0
- package/output-es/Data.String.CaseInsensitive/index.js +12 -0
- package/output-es/Data.String.CodePoints/foreign.js +107 -0
- package/output-es/Data.String.CodePoints/index.js +201 -0
- package/output-es/Data.String.CodeUnits/foreign.js +116 -0
- package/output-es/Data.String.CodeUnits/index.js +55 -0
- package/output-es/Data.String.Common/foreign.js +52 -0
- package/output-es/Data.String.Common/index.js +6 -0
- package/output-es/Data.String.Gen/index.js +26 -0
- package/output-es/Data.String.NonEmpty/index.js +1 -0
- package/output-es/Data.String.NonEmpty.CaseInsensitive/index.js +12 -0
- package/output-es/Data.String.NonEmpty.CodePoints/index.js +89 -0
- package/output-es/Data.String.NonEmpty.CodeUnits/index.js +98 -0
- package/output-es/Data.String.NonEmpty.Internal/index.js +119 -0
- package/output-es/Data.String.Pattern/index.js +13 -0
- package/output-es/Data.String.Regex/foreign.js +103 -0
- package/output-es/Data.String.Regex/index.js +28 -0
- package/output-es/Data.String.Regex.Flags/index.js +44 -0
- package/output-es/Data.String.Regex.Unsafe/index.js +10 -0
- package/output-es/Data.String.Unicode/index.js +18 -0
- package/output-es/Data.String.Unsafe/foreign.js +11 -0
- package/output-es/Data.String.Unsafe/index.js +4 -0
- package/output-es/Data.Symbol/foreign.js +6 -0
- package/output-es/Data.Symbol/index.js +6 -0
- package/output-es/Data.Time/index.js +119 -0
- package/output-es/Data.Time.Component/index.js +138 -0
- package/output-es/Data.Time.Component.Gen/index.js +7 -0
- package/output-es/Data.Time.Duration/index.js +95 -0
- package/output-es/Data.Time.Duration.Gen/index.js +7 -0
- package/output-es/Data.Time.Gen/index.js +8 -0
- package/output-es/Data.Traversable/foreign.js +52 -0
- package/output-es/Data.Traversable/index.js +303 -0
- package/output-es/Data.Traversable.Accum/index.js +1 -0
- package/output-es/Data.Traversable.Accum.Internal/index.js +35 -0
- package/output-es/Data.TraversableWithIndex/index.js +280 -0
- package/output-es/Data.Tuple/index.js +194 -0
- package/output-es/Data.Tuple.Nested/index.js +290 -0
- package/output-es/Data.Unfoldable/foreign.js +21 -0
- package/output-es/Data.Unfoldable/index.js +45 -0
- package/output-es/Data.Unfoldable1/foreign.js +21 -0
- package/output-es/Data.Unfoldable1/index.js +39 -0
- package/output-es/Data.Unit/foreign.js +1 -0
- package/output-es/Data.Unit/index.js +3 -0
- package/output-es/Data.Void/index.js +12 -0
- package/output-es/Data.Witherable/index.js +371 -0
- package/output-es/Data.Yoneda/index.js +85 -0
- package/output-es/DataType/index.js +276 -0
- package/output-es/Debug/foreign.js +57 -0
- package/output-es/Debug/index.js +13 -0
- package/output-es/Desug/index.js +17 -0
- package/output-es/Desugarable/index.js +3 -0
- package/output-es/Dict/index.js +118 -0
- package/output-es/Effect/foreign.js +51 -0
- package/output-es/Effect/index.js +49 -0
- package/output-es/Effect.Aff/foreign.js +1154 -0
- package/output-es/Effect.Aff/index.js +268 -0
- package/output-es/Effect.Aff.Class/index.js +114 -0
- package/output-es/Effect.Aff.Compat/index.js +14 -0
- package/output-es/Effect.Class/index.js +4 -0
- package/output-es/Effect.Class.Console/index.js +25 -0
- package/output-es/Effect.Console/foreign.js +67 -0
- package/output-es/Effect.Console/index.js +17 -0
- package/output-es/Effect.Exception/foreign.js +45 -0
- package/output-es/Effect.Exception/index.js +14 -0
- package/output-es/Effect.Exception.Unsafe/index.js +4 -0
- package/output-es/Effect.Now/foreign.js +8 -0
- package/output-es/Effect.Now/index.js +16 -0
- package/output-es/Effect.Random/foreign.js +1 -0
- package/output-es/Effect.Random/index.js +17 -0
- package/output-es/Effect.Ref/foreign.js +37 -0
- package/output-es/Effect.Ref/index.js +34 -0
- package/output-es/Effect.Uncurried/foreign.js +229 -0
- package/output-es/Effect.Uncurried/index.js +386 -0
- package/output-es/Effect.Unsafe/foreign.js +3 -0
- package/output-es/Effect.Unsafe/index.js +3 -0
- package/output-es/Eval/index.js +951 -0
- package/output-es/ExitCodes/index.js +461 -0
- package/output-es/Expr/index.js +1732 -0
- package/output-es/File/index.js +125 -0
- package/output-es/Fluid/index.js +229 -0
- package/output-es/Foreign/foreign.js +19 -0
- package/output-es/Foreign/index.js +171 -0
- package/output-es/Foreign.Index/foreign.js +11 -0
- package/output-es/Foreign.Index/index.js +80 -0
- package/output-es/Foreign.Keys/foreign.js +9 -0
- package/output-es/Foreign.Keys/index.js +28 -0
- package/output-es/Foreign.Object/foreign.js +116 -0
- package/output-es/Foreign.Object/index.js +304 -0
- package/output-es/Foreign.Object.Gen/index.js +13 -0
- package/output-es/Foreign.Object.ST/foreign.js +37 -0
- package/output-es/Foreign.Object.ST/index.js +9 -0
- package/output-es/Foreign.Object.ST.Unsafe/foreign.js +5 -0
- package/output-es/Foreign.Object.ST.Unsafe/index.js +3 -0
- package/output-es/Foreign.Object.Unsafe/foreign.js +5 -0
- package/output-es/Foreign.Object.Unsafe/index.js +3 -0
- package/output-es/GaloisConnection/index.js +72 -0
- package/output-es/Graph/index.js +279 -0
- package/output-es/Graph.GraphImpl/index.js +296 -0
- package/output-es/Graph.Slice/index.js +125 -0
- package/output-es/Graph.WithGraph/index.js +190 -0
- package/output-es/JSURI/foreign.js +61 -0
- package/output-es/JSURI/index.js +10 -0
- package/output-es/Lattice/index.js +397 -0
- package/output-es/Link/index.js +84 -0
- package/output-es/Module/index.js +317 -0
- package/output-es/Module.Node/index.js +95 -0
- package/output-es/Module.Web/index.js +79 -0
- package/output-es/ModuleGraph/index.js +1 -0
- package/output-es/Node.Buffer/foreign.js +33 -0
- package/output-es/Node.Buffer/index.js +191 -0
- package/output-es/Node.Buffer.Class/index.js +48 -0
- package/output-es/Node.Buffer.Constants/foreign.js +5 -0
- package/output-es/Node.Buffer.Constants/index.js +3 -0
- package/output-es/Node.Buffer.Immutable/foreign.js +45 -0
- package/output-es/Node.Buffer.Immutable/index.js +121 -0
- package/output-es/Node.Buffer.ST/index.js +98 -0
- package/output-es/Node.Buffer.Types/index.js +36 -0
- package/output-es/Node.Encoding/foreign.js +3 -0
- package/output-es/Node.Encoding/index.js +55 -0
- package/output-es/Node.EventEmitter/foreign.js +24 -0
- package/output-es/Node.EventEmitter/index.js +142 -0
- package/output-es/Node.EventEmitter.UtilTypes/index.js +1 -0
- package/output-es/Node.FS/index.js +27 -0
- package/output-es/Node.FS.Aff/index.js +132 -0
- package/output-es/Node.FS.Async/foreign.js +28 -0
- package/output-es/Node.FS.Async/index.js +241 -0
- package/output-es/Node.FS.Constants/foreign.js +17 -0
- package/output-es/Node.FS.Constants/index.js +103 -0
- package/output-es/Node.FS.Perms/index.js +125 -0
- package/output-es/Node.FS.Stats/foreign.js +27 -0
- package/output-es/Node.FS.Stats/index.js +102 -0
- package/output-es/Node.FS.Stream/foreign.js +11 -0
- package/output-es/Node.FS.Stream/index.js +20 -0
- package/output-es/Node.FS.Sync/foreign.js +30 -0
- package/output-es/Node.FS.Sync/index.js +258 -0
- package/output-es/Node.Path/foreign.js +30 -0
- package/output-es/Node.Path/index.js +3 -0
- package/output-es/Node.Platform/index.js +104 -0
- package/output-es/Node.Process/foreign.js +65 -0
- package/output-es/Node.Process/index.js +180 -0
- package/output-es/Node.Stream/foreign.js +97 -0
- package/output-es/Node.Stream/index.js +310 -0
- package/output-es/Node.Stream.Aff/index.js +445 -0
- package/output-es/Node.Symbol/foreign.js +3 -0
- package/output-es/Node.Symbol/index.js +12 -0
- package/output-es/Options.Applicative/index.js +1 -0
- package/output-es/Options.Applicative.BashCompletion/index.js +417 -0
- package/output-es/Options.Applicative.Builder/index.js +505 -0
- package/output-es/Options.Applicative.Builder.Completer/foreign.js +8 -0
- package/output-es/Options.Applicative.Builder.Completer/index.js +133 -0
- package/output-es/Options.Applicative.Builder.Internal/index.js +122 -0
- package/output-es/Options.Applicative.Common/index.js +497 -0
- package/output-es/Options.Applicative.Extra/index.js +273 -0
- package/output-es/Options.Applicative.Help/index.js +3 -0
- package/output-es/Options.Applicative.Help.Chunk/index.js +229 -0
- package/output-es/Options.Applicative.Help.Core/index.js +450 -0
- package/output-es/Options.Applicative.Help.Levenshtein/index.js +22 -0
- package/output-es/Options.Applicative.Help.Pretty/index.js +1 -0
- package/output-es/Options.Applicative.Help.Types/index.js +112 -0
- package/output-es/Options.Applicative.Internal/index.js +447 -0
- package/output-es/Options.Applicative.Internal.Utils/index.js +36 -0
- package/output-es/Options.Applicative.Types/index.js +979 -0
- package/output-es/PSCI.Support/index.js +15 -0
- package/output-es/Parse/index.js +2003 -0
- package/output-es/Parse.Number/index.js +390 -0
- package/output-es/Parse.Parser/index.js +428 -0
- package/output-es/Parsing/index.js +342 -0
- package/output-es/Parsing.Combinators/index.js +901 -0
- package/output-es/Parsing.Combinators.Array/index.js +131 -0
- package/output-es/Parsing.Expr/index.js +317 -0
- package/output-es/Parsing.Indent/index.js +492 -0
- package/output-es/Parsing.Language/index.js +224 -0
- package/output-es/Parsing.String/index.js +378 -0
- package/output-es/Parsing.String.Basic/index.js +236 -0
- package/output-es/Parsing.String.Replace/index.js +342 -0
- package/output-es/Parsing.Token/index.js +1980 -0
- package/output-es/Partial/foreign.js +5 -0
- package/output-es/Partial/index.js +6 -0
- package/output-es/Partial.Unsafe/foreign.js +5 -0
- package/output-es/Partial.Unsafe/index.js +8 -0
- package/output-es/Prelude/index.js +13 -0
- package/output-es/Pretty/index.js +1334 -0
- package/output-es/Pretty.Doc/index.js +139 -0
- package/output-es/Pretty.Util/index.js +90 -0
- package/output-es/Primitive/index.js +304 -0
- package/output-es/Primitive.Defs/index.js +872 -0
- package/output-es/Primitive.Parse/index.js +93 -0
- package/output-es/Random.LCG/index.js +35 -0
- package/output-es/Record/index.js +23 -0
- package/output-es/Record.Builder/foreign.js +44 -0
- package/output-es/Record.Builder/index.js +20 -0
- package/output-es/Record.Unsafe/foreign.js +38 -0
- package/output-es/Record.Unsafe/index.js +9 -0
- package/output-es/Record.Unsafe.Union/foreign.js +14 -0
- package/output-es/Record.Unsafe.Union/index.js +4 -0
- package/output-es/SExpr/index.js +3972 -0
- package/output-es/Safe.Coerce/index.js +3 -0
- package/output-es/Test.Assert/foreign.js +21 -0
- package/output-es/Test.Assert/index.js +37 -0
- package/output-es/Test.Benchmark.Util/foreign.js +3 -0
- package/output-es/Test.Benchmark.Util/index.js +273 -0
- package/output-es/Test.QuickCheck/index.js +297 -0
- package/output-es/Test.QuickCheck.Arbitrary/index.js +482 -0
- package/output-es/Test.QuickCheck.Gen/foreign.js +10 -0
- package/output-es/Test.QuickCheck.Gen/index.js +270 -0
- package/output-es/Test.Specs.Bwd/index.js +220 -0
- package/output-es/Test.Specs.Comments/index.js +25 -0
- package/output-es/Test.Specs.Desugar/index.js +17 -0
- package/output-es/Test.Specs.Graphics/index.js +7 -0
- package/output-es/Test.Specs.LinkedInputs/index.js +52 -0
- package/output-es/Test.Specs.LinkedOutputs/index.js +61 -0
- package/output-es/Test.Specs.Misc/index.js +35 -0
- package/output-es/Test.Specs.Paragraph/index.js +5 -0
- package/output-es/Test.Test/index.js +106 -0
- package/output-es/Test.Util/index.js +239 -0
- package/output-es/Test.Util.Debug/index.js +6 -0
- package/output-es/Test.Util.Debug.Defaults/index.js +16 -0
- package/output-es/Test.Util.Mocha/foreign.js +55 -0
- package/output-es/Test.Util.Mocha/index.js +21 -0
- package/output-es/Test.Util.Puppeteer/index.js +83 -0
- package/output-es/Test.Util.Suite/index.js +197 -0
- package/output-es/Text.PrettyPrint.Leijen/index.js +700 -0
- package/output-es/Toppokki/foreign.js +170 -0
- package/output-es/Toppokki/index.js +122 -0
- package/output-es/Type.Data.Boolean/index.js +21 -0
- package/output-es/Type.Data.Ordering/index.js +56 -0
- package/output-es/Type.Data.Symbol/index.js +7 -0
- package/output-es/Type.Equality/index.js +5 -0
- package/output-es/Type.Function/index.js +1 -0
- package/output-es/Type.Prelude/index.js +1 -0
- package/output-es/Type.Proxy/index.js +51 -0
- package/output-es/Type.Row/index.js +1 -0
- package/output-es/Type.Row.Homogeneous/index.js +4 -0
- package/output-es/Type.RowList/index.js +10 -0
- package/output-es/Unsafe.Coerce/foreign.js +5 -0
- package/output-es/Unsafe.Coerce/index.js +3 -0
- package/output-es/Util/index.js +340 -0
- package/output-es/Util.Map/foreign.js +13 -0
- package/output-es/Util.Map/index.js +129 -0
- package/output-es/Util.Pair/index.js +90 -0
- package/output-es/Util.Set/index.js +75 -0
- package/output-es/Val/index.js +1771 -0
- package/output-es/Web.DOM/index.js +1 -0
- package/output-es/Web.DOM.CharacterData/foreign.js +61 -0
- package/output-es/Web.DOM.CharacterData/index.js +13 -0
- package/output-es/Web.DOM.ChildNode/foreign.js +5 -0
- package/output-es/Web.DOM.ChildNode/index.js +3 -0
- package/output-es/Web.DOM.Comment/index.js +13 -0
- package/output-es/Web.DOM.DOMTokenList/foreign.js +49 -0
- package/output-es/Web.DOM.DOMTokenList/index.js +15 -0
- package/output-es/Web.DOM.Document/foreign.js +112 -0
- package/output-es/Web.DOM.Document/index.js +75 -0
- package/output-es/Web.DOM.DocumentFragment/index.js +13 -0
- package/output-es/Web.DOM.DocumentType/foreign.js +9 -0
- package/output-es/Web.DOM.DocumentType/index.js +11 -0
- package/output-es/Web.DOM.Element/foreign.js +210 -0
- package/output-es/Web.DOM.Element/index.js +101 -0
- package/output-es/Web.DOM.HTMLCollection/foreign.js +27 -0
- package/output-es/Web.DOM.HTMLCollection/index.js +25 -0
- package/output-es/Web.DOM.Internal.Types/index.js +1 -0
- package/output-es/Web.DOM.MutationObserver/foreign.js +29 -0
- package/output-es/Web.DOM.MutationObserver/index.js +4 -0
- package/output-es/Web.DOM.MutationRecord/foreign.js +53 -0
- package/output-es/Web.DOM.MutationRecord/index.js +66 -0
- package/output-es/Web.DOM.Node/foreign.js +153 -0
- package/output-es/Web.DOM.Node/index.js +147 -0
- package/output-es/Web.DOM.NodeList/foreign.js +19 -0
- package/output-es/Web.DOM.NodeList/index.js +15 -0
- package/output-es/Web.DOM.NodeType/index.js +199 -0
- package/output-es/Web.DOM.NonDocumentTypeChildNode/foreign.js +11 -0
- package/output-es/Web.DOM.NonDocumentTypeChildNode/index.js +19 -0
- package/output-es/Web.DOM.NonElementParentNode/foreign.js +7 -0
- package/output-es/Web.DOM.NonElementParentNode/index.js +15 -0
- package/output-es/Web.DOM.ParentNode/foreign.js +28 -0
- package/output-es/Web.DOM.ParentNode/index.js +35 -0
- package/output-es/Web.DOM.ProcessingInstruction/foreign.js +5 -0
- package/output-es/Web.DOM.ProcessingInstruction/index.js +15 -0
- package/output-es/Web.DOM.ShadowRoot/foreign.js +9 -0
- package/output-es/Web.DOM.ShadowRoot/index.js +23 -0
- package/output-es/Web.DOM.Text/foreign.js +13 -0
- package/output-es/Web.DOM.Text/index.js +15 -0
- package/output-es/Web.Event.CustomEvent/foreign.js +18 -0
- package/output-es/Web.Event.CustomEvent/index.js +20 -0
- package/output-es/Web.Event.Event/foreign.js +51 -0
- package/output-es/Web.Event.Event/index.js +23 -0
- package/output-es/Web.Event.EventPhase/index.js +99 -0
- package/output-es/Web.Event.EventTarget/foreign.js +51 -0
- package/output-es/Web.Event.EventTarget/index.js +3 -0
- package/output-es/Web.Event.Internal.Types/index.js +1 -0
- package/output-es/Web.File.Blob/foreign.js +19 -0
- package/output-es/Web.File.Blob/index.js +18 -0
- package/output-es/Web.File.File/foreign.js +2 -0
- package/output-es/Web.File.File/index.js +13 -0
- package/output-es/Web.File.FileList/foreign.js +7 -0
- package/output-es/Web.File.FileList/index.js +16 -0
- package/output-es/Web.File.FileReader/foreign.js +51 -0
- package/output-es/Web.File.FileReader/index.js +19 -0
- package/output-es/Web.File.FileReader.ReadyState/index.js +94 -0
- package/output-es/Web.File.Url/foreign.js +11 -0
- package/output-es/Web.File.Url/index.js +3 -0
- package/output-es/Web.HTML/foreign.js +4 -0
- package/output-es/Web.HTML/index.js +3 -0
- package/output-es/Web.HTML.Common/index.js +15 -0
- package/output-es/Web.HTML.Event.BeforeUnloadEvent/foreign.js +13 -0
- package/output-es/Web.HTML.Event.BeforeUnloadEvent/index.js +7 -0
- package/output-es/Web.HTML.Event.BeforeUnloadEvent.EventTypes/index.js +2 -0
- package/output-es/Web.HTML.Event.DataTransfer/foreign.js +55 -0
- package/output-es/Web.HTML.Event.DataTransfer/index.js +63 -0
- package/output-es/Web.HTML.Event.DataTransfer.DataTransferItem/foreign.js +23 -0
- package/output-es/Web.HTML.Event.DataTransfer.DataTransferItem/index.js +41 -0
- package/output-es/Web.HTML.Event.DragEvent/foreign.js +3 -0
- package/output-es/Web.HTML.Event.DragEvent/index.js +7 -0
- package/output-es/Web.HTML.Event.DragEvent.EventTypes/index.js +9 -0
- package/output-es/Web.HTML.Event.ErrorEvent/foreign.js +15 -0
- package/output-es/Web.HTML.Event.ErrorEvent/index.js +7 -0
- package/output-es/Web.HTML.Event.EventTypes/index.js +68 -0
- package/output-es/Web.HTML.Event.HashChangeEvent/foreign.js +7 -0
- package/output-es/Web.HTML.Event.HashChangeEvent/index.js +7 -0
- package/output-es/Web.HTML.Event.HashChangeEvent.EventTypes/index.js +2 -0
- package/output-es/Web.HTML.Event.PageTransitionEvent/foreign.js +3 -0
- package/output-es/Web.HTML.Event.PageTransitionEvent/index.js +7 -0
- package/output-es/Web.HTML.Event.PageTransitionEvent.EventTypes/index.js +3 -0
- package/output-es/Web.HTML.Event.PopStateEvent/foreign.js +3 -0
- package/output-es/Web.HTML.Event.PopStateEvent/index.js +7 -0
- package/output-es/Web.HTML.Event.PopStateEvent.EventTypes/index.js +2 -0
- package/output-es/Web.HTML.Event.TrackEvent/index.js +5 -0
- package/output-es/Web.HTML.Event.TrackEvent.EventTypes/index.js +3 -0
- package/output-es/Web.HTML.HTMLAnchorElement/foreign.js +117 -0
- package/output-es/Web.HTML.HTMLAnchorElement/index.js +36 -0
- package/output-es/Web.HTML.HTMLAreaElement/foreign.js +133 -0
- package/output-es/Web.HTML.HTMLAreaElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLAudioElement/foreign.js +9 -0
- package/output-es/Web.HTML.HTMLAudioElement/index.js +40 -0
- package/output-es/Web.HTML.HTMLBRElement/index.js +32 -0
- package/output-es/Web.HTML.HTMLBaseElement/foreign.js +29 -0
- package/output-es/Web.HTML.HTMLBaseElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLBodyElement/index.js +32 -0
- package/output-es/Web.HTML.HTMLButtonElement/foreign.js +223 -0
- package/output-es/Web.HTML.HTMLButtonElement/index.js +73 -0
- package/output-es/Web.HTML.HTMLCanvasElement/foreign.js +29 -0
- package/output-es/Web.HTML.HTMLCanvasElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLDListElement/index.js +32 -0
- package/output-es/Web.HTML.HTMLDataElement/foreign.js +13 -0
- package/output-es/Web.HTML.HTMLDataElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLDataListElement/foreign.js +5 -0
- package/output-es/Web.HTML.HTMLDataListElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLDivElement/index.js +32 -0
- package/output-es/Web.HTML.HTMLDocument/foreign.js +39 -0
- package/output-es/Web.HTML.HTMLDocument/index.js +76 -0
- package/output-es/Web.HTML.HTMLDocument.ReadyState/index.js +52 -0
- package/output-es/Web.HTML.HTMLDocument.VisibilityState/index.js +42 -0
- package/output-es/Web.HTML.HTMLElement/foreign.js +194 -0
- package/output-es/Web.HTML.HTMLElement/index.js +66 -0
- package/output-es/Web.HTML.HTMLEmbedElement/foreign.js +61 -0
- package/output-es/Web.HTML.HTMLEmbedElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLFieldSetElement/foreign.js +103 -0
- package/output-es/Web.HTML.HTMLFieldSetElement/index.js +44 -0
- package/output-es/Web.HTML.HTMLFormElement/foreign.js +181 -0
- package/output-es/Web.HTML.HTMLFormElement/index.js +58 -0
- package/output-es/Web.HTML.HTMLHRElement/index.js +32 -0
- package/output-es/Web.HTML.HTMLHeadElement/index.js +32 -0
- package/output-es/Web.HTML.HTMLHeadingElement/index.js +32 -0
- package/output-es/Web.HTML.HTMLHtmlElement/index.js +32 -0
- package/output-es/Web.HTML.HTMLHyperlinkElementUtils/foreign.js +165 -0
- package/output-es/Web.HTML.HTMLHyperlinkElementUtils/index.js +26 -0
- package/output-es/Web.HTML.HTMLIFrameElement/foreign.js +91 -0
- package/output-es/Web.HTML.HTMLIFrameElement/index.js +52 -0
- package/output-es/Web.HTML.HTMLImageElement/foreign.js +215 -0
- package/output-es/Web.HTML.HTMLImageElement/index.js +140 -0
- package/output-es/Web.HTML.HTMLImageElement.CORSMode/index.js +43 -0
- package/output-es/Web.HTML.HTMLImageElement.DecodingHint/index.js +53 -0
- package/output-es/Web.HTML.HTMLImageElement.Laziness/index.js +43 -0
- package/output-es/Web.HTML.HTMLInputElement/foreign.js +727 -0
- package/output-es/Web.HTML.HTMLInputElement/index.js +171 -0
- package/output-es/Web.HTML.HTMLKeygenElement/foreign.js +151 -0
- package/output-es/Web.HTML.HTMLKeygenElement/index.js +64 -0
- package/output-es/Web.HTML.HTMLLIElement/foreign.js +13 -0
- package/output-es/Web.HTML.HTMLLIElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLLabelElement/foreign.js +29 -0
- package/output-es/Web.HTML.HTMLLabelElement/index.js +52 -0
- package/output-es/Web.HTML.HTMLLegendElement/foreign.js +5 -0
- package/output-es/Web.HTML.HTMLLegendElement/index.js +44 -0
- package/output-es/Web.HTML.HTMLLinkElement/foreign.js +133 -0
- package/output-es/Web.HTML.HTMLLinkElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLMapElement/foreign.js +29 -0
- package/output-es/Web.HTML.HTMLMapElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLMediaElement/foreign.js +295 -0
- package/output-es/Web.HTML.HTMLMediaElement/index.js +103 -0
- package/output-es/Web.HTML.HTMLMediaElement.CanPlayType/index.js +52 -0
- package/output-es/Web.HTML.HTMLMediaElement.NetworkState/index.js +109 -0
- package/output-es/Web.HTML.HTMLMediaElement.ReadyState/index.js +124 -0
- package/output-es/Web.HTML.HTMLMetaElement/foreign.js +45 -0
- package/output-es/Web.HTML.HTMLMetaElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLMeterElement/foreign.js +101 -0
- package/output-es/Web.HTML.HTMLMeterElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLModElement/foreign.js +29 -0
- package/output-es/Web.HTML.HTMLModElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLOListElement/foreign.js +45 -0
- package/output-es/Web.HTML.HTMLOListElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLObjectElement/foreign.js +167 -0
- package/output-es/Web.HTML.HTMLObjectElement/index.js +74 -0
- package/output-es/Web.HTML.HTMLOptGroupElement/foreign.js +29 -0
- package/output-es/Web.HTML.HTMLOptGroupElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLOptionElement/foreign.js +109 -0
- package/output-es/Web.HTML.HTMLOptionElement/index.js +44 -0
- package/output-es/Web.HTML.HTMLOutputElement/foreign.js +119 -0
- package/output-es/Web.HTML.HTMLOutputElement/index.js +60 -0
- package/output-es/Web.HTML.HTMLParagraphElement/index.js +32 -0
- package/output-es/Web.HTML.HTMLParamElement/foreign.js +29 -0
- package/output-es/Web.HTML.HTMLParamElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLPreElement/index.js +32 -0
- package/output-es/Web.HTML.HTMLProgressElement/foreign.js +45 -0
- package/output-es/Web.HTML.HTMLProgressElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLQuoteElement/foreign.js +13 -0
- package/output-es/Web.HTML.HTMLQuoteElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLScriptElement/foreign.js +109 -0
- package/output-es/Web.HTML.HTMLScriptElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLSelectElement/foreign.js +223 -0
- package/output-es/Web.HTML.HTMLSelectElement/index.js +73 -0
- package/output-es/Web.HTML.HTMLSourceElement/foreign.js +45 -0
- package/output-es/Web.HTML.HTMLSourceElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLSpanElement/index.js +32 -0
- package/output-es/Web.HTML.HTMLStyleElement/foreign.js +29 -0
- package/output-es/Web.HTML.HTMLStyleElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLTableCaptionElement/index.js +32 -0
- package/output-es/Web.HTML.HTMLTableCellElement/foreign.js +37 -0
- package/output-es/Web.HTML.HTMLTableCellElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLTableColElement/foreign.js +13 -0
- package/output-es/Web.HTML.HTMLTableColElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLTableDataCellElement/index.js +36 -0
- package/output-es/Web.HTML.HTMLTableElement/foreign.js +153 -0
- package/output-es/Web.HTML.HTMLTableElement/index.js +103 -0
- package/output-es/Web.HTML.HTMLTableHeaderCellElement/foreign.js +29 -0
- package/output-es/Web.HTML.HTMLTableHeaderCellElement/index.js +38 -0
- package/output-es/Web.HTML.HTMLTableRowElement/foreign.js +41 -0
- package/output-es/Web.HTML.HTMLTableRowElement/index.js +38 -0
- package/output-es/Web.HTML.HTMLTableSectionElement/foreign.js +25 -0
- package/output-es/Web.HTML.HTMLTableSectionElement/index.js +38 -0
- package/output-es/Web.HTML.HTMLTemplateElement/foreign.js +5 -0
- package/output-es/Web.HTML.HTMLTemplateElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLTextAreaElement/foreign.js +403 -0
- package/output-es/Web.HTML.HTMLTextAreaElement/index.js +107 -0
- package/output-es/Web.HTML.HTMLTimeElement/foreign.js +13 -0
- package/output-es/Web.HTML.HTMLTimeElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLTitleElement/foreign.js +13 -0
- package/output-es/Web.HTML.HTMLTitleElement/index.js +34 -0
- package/output-es/Web.HTML.HTMLTrackElement/foreign.js +84 -0
- package/output-es/Web.HTML.HTMLTrackElement/index.js +44 -0
- package/output-es/Web.HTML.HTMLTrackElement.ReadyState/index.js +109 -0
- package/output-es/Web.HTML.HTMLUListElement/index.js +32 -0
- package/output-es/Web.HTML.HTMLVideoElement/foreign.js +63 -0
- package/output-es/Web.HTML.HTMLVideoElement/index.js +38 -0
- package/output-es/Web.HTML.History/foreign.js +49 -0
- package/output-es/Web.HTML.History/index.js +16 -0
- package/output-es/Web.HTML.Location/foreign.js +169 -0
- package/output-es/Web.HTML.Location/index.js +25 -0
- package/output-es/Web.HTML.Navigator/foreign.js +29 -0
- package/output-es/Web.HTML.Navigator/index.js +3 -0
- package/output-es/Web.HTML.SelectionMode/index.js +62 -0
- package/output-es/Web.HTML.ValidityState/foreign.js +3 -0
- package/output-es/Web.HTML.ValidityState/index.js +15 -0
- package/output-es/Web.HTML.Window/foreign.js +239 -0
- package/output-es/Web.HTML.Window/index.js +86 -0
- package/output-es/Web.Internal.FFI/foreign.js +20 -0
- package/output-es/Web.Internal.FFI/index.js +5 -0
- package/output-es/Web.Storage.Event.StorageEvent/foreign.js +19 -0
- package/output-es/Web.Storage.Event.StorageEvent/index.js +13 -0
- package/output-es/Web.Storage.Storage/foreign.js +45 -0
- package/output-es/Web.Storage.Storage/index.js +52 -0
- package/output-es/Web.XHR.EventTypes/index.js +8 -0
- package/output-es/Web.XHR.FormData/foreign.js +32 -0
- package/output-es/Web.XHR.FormData/index.js +52 -0
- package/output-es/Web.XHR.ProgressEvent/foreign.js +11 -0
- package/output-es/Web.XHR.ProgressEvent/index.js +7 -0
- package/output-es/Web.XHR.ReadyState/index.js +99 -0
- package/output-es/Web.XHR.ResponseType/index.js +5 -0
- package/output-es/Web.XHR.XMLHttpRequest/foreign.js +41 -0
- package/output-es/Web.XHR.XMLHttpRequest/index.js +95 -0
- package/output-es/Web.XHR.XMLHttpRequestUpload/index.js +3 -0
- package/output-es/Website.Test.Article.EnergyScatter/index.js +12 -0
- package/output-es/Website.Test.Article.RenewablesLinked/index.js +14 -0
- package/output-es/package.json +1 -0
- package/output-es/runtime.js +33 -0
- package/package.json +13 -26
- package/script/install-website.sh +34 -9
- package/web/lib/CodeMirror.svelte +19 -0
- package/web/lib/DataPane.svelte +46 -0
- package/web/lib/Figure.svelte +38 -0
- package/web/lib/FigureSrc.svelte +35 -0
- package/web/lib/Grid.svelte +32 -0
- package/web/lib/index.js +5 -0
- package/web/lib/view-styles.css +262 -0
- package/website/article/eslint.config.js +45 -0
- package/website/article/package.json +46 -0
- package/website/article/src/app.d.ts +13 -0
- package/website/article/src/app.html +12 -0
- package/website/article/src/lib/assets/css/styles.css +245 -0
- package/website/article/src/lib/assets/image/bristol.png +0 -0
- package/website/article/src/lib/assets/image/fluid.png +0 -0
- package/website/article/src/lib/assets/image/iccs.png +0 -0
- package/website/article/src/lib/assets/image/schmidt.png +0 -0
- package/website/article/src/lib/assets/image/turing.jpg +0 -0
- package/website/article/src/lib/config/nav.ts +7 -0
- package/website/article/src/lib/config/supporters.ts +27 -0
- package/website/article/src/routes/+layout.svelte +15 -0
- package/website/article/src/routes/+layout.ts +1 -0
- package/website/article/src/routes/+page.svelte +31 -0
- package/website/article/src/routes/convolution/+page.svelte +62 -0
- package/website/article/src/routes/energy-scatter/+page.svelte +34 -0
- package/website/article/src/routes/methane/+page.svelte +35 -0
- package/website/article/src/routes/moving-average/+page.svelte +57 -0
- package/website/article/src/routes/non-renewables/+page.svelte +40 -0
- package/website/article/src/routes/renewables-linked/+page.svelte +34 -0
- package/website/article/src/routes/scigen-1805.02474v1-10/+page.svelte +40 -0
- package/website/article/static/fluid/lib/graphics.fld +274 -0
- package/website/article/static/fluid/lib/matrix.fld +40 -0
- package/website/article/static/fluid/lib/prelude.fld +348 -0
- package/website/article/static/fluid/lib/stats.fld +83 -0
- package/website/article/svelte.config.js +13 -0
- package/website/article/test.mjs +66 -11
- package/website/article/tsconfig.json +20 -0
- package/website/article/vite.config.ts +6 -0
- package/.spago/aff/v7.1.0/.editorconfig +0 -13
- package/.spago/aff/v7.1.0/.eslintrc.json +0 -28
- package/.spago/aff/v7.1.0/.gitignore +0 -14
- package/.spago/aff/v7.1.0/.tidyrc.json +0 -10
- package/.spago/affjax/v13.0.0/.editorconfig +0 -13
- package/.spago/affjax/v13.0.0/.eslintrc.json +0 -28
- package/.spago/affjax/v13.0.0/.gitignore +0 -14
- package/.spago/affjax/v13.0.0/.tidyrc.json +0 -10
- package/.spago/affjax-web/v1.0.0/.editorconfig +0 -13
- package/.spago/affjax-web/v1.0.0/.eslintrc.json +0 -30
- package/.spago/affjax-web/v1.0.0/.gitignore +0 -14
- package/.spago/affjax-web/v1.0.0/.tidyrc.json +0 -10
- package/.spago/argonaut-codecs/v9.1.0/.editorconfig +0 -13
- package/.spago/argonaut-codecs/v9.1.0/.gitignore +0 -9
- package/.spago/argonaut-codecs/v9.1.0/.tidyrc.json +0 -10
- package/.spago/argonaut-core/v7.0.0/.editorconfig +0 -13
- package/.spago/argonaut-core/v7.0.0/.eslintrc.json +0 -29
- package/.spago/argonaut-core/v7.0.0/.gitignore +0 -14
- package/.spago/argonaut-core/v7.0.0/.tidyrc.json +0 -10
- package/.spago/arraybuffer-types/v3.0.2/.editorconfig +0 -13
- package/.spago/arraybuffer-types/v3.0.2/.gitignore +0 -9
- package/.spago/arraybuffer-types/v3.0.2/.tidyrc.json +0 -10
- package/.spago/arrays/v7.2.1/.eslintrc.json +0 -26
- package/.spago/arrays/v7.2.1/.gitignore +0 -9
- package/.spago/assert/v6.0.0/.eslintrc.json +0 -26
- package/.spago/assert/v6.0.0/.gitignore +0 -8
- package/.spago/bifunctors/v6.0.0/.gitignore +0 -7
- package/.spago/catenable-lists/v7.0.0/.gitignore +0 -7
- package/.spago/console/v6.1.0/.eslintrc.json +0 -30
- package/.spago/console/v6.1.0/.gitignore +0 -9
- package/.spago/const/v6.0.0/.gitignore +0 -7
- package/.spago/contravariant/v6.0.0/.gitignore +0 -7
- package/.spago/control/v6.0.0/.gitignore +0 -7
- package/.spago/datetime/v6.1.0/.eslintrc.json +0 -26
- package/.spago/datetime/v6.1.0/.gitignore +0 -8
- package/.spago/debug/v6.0.2/.eslintrc.json +0 -36
- package/.spago/debug/v6.0.2/.gitignore +0 -8
- package/.spago/distributive/v6.0.0/.gitignore +0 -7
- package/.spago/effect/v4.0.0/.eslintrc.json +0 -26
- package/.spago/effect/v4.0.0/.gitignore +0 -8
- package/.spago/either/v6.1.0/.gitignore +0 -7
- package/.spago/enums/v6.0.1/.gitignore +0 -7
- package/.spago/exceptions/v6.0.0/.eslintrc.json +0 -26
- package/.spago/exceptions/v6.0.0/.gitignore +0 -8
- package/.spago/exists/v6.0.0/.gitignore +0 -7
- package/.spago/filterable/v5.0.0/.gitignore +0 -11
- package/.spago/foldable-traversable/v6.0.0/.eslintrc.json +0 -26
- package/.spago/foldable-traversable/v6.0.0/.gitignore +0 -8
- package/.spago/foreign/v7.0.0/.eslintrc.json +0 -26
- package/.spago/foreign/v7.0.0/.gitignore +0 -8
- package/.spago/foreign-object/v4.1.0/.eslintrc.json +0 -26
- package/.spago/foreign-object/v4.1.0/.gitignore +0 -8
- package/.spago/form-urlencoded/v7.0.0/.editorconfig +0 -13
- package/.spago/form-urlencoded/v7.0.0/.gitignore +0 -9
- package/.spago/form-urlencoded/v7.0.0/.tidyrc.json +0 -10
- package/.spago/free/v7.1.0/.gitignore +0 -8
- package/.spago/functions/v6.0.0/.eslintrc.json +0 -26
- package/.spago/functions/v6.0.0/.gitignore +0 -8
- package/.spago/functors/v5.0.0/.gitignore +0 -7
- package/.spago/gen/v4.0.0/.gitignore +0 -8
- package/.spago/graphs/v8.1.0/.gitignore +0 -7
- package/.spago/http-methods/v6.0.0/.editorconfig +0 -13
- package/.spago/http-methods/v6.0.0/.gitignore +0 -9
- package/.spago/http-methods/v6.0.0/.tidyrc.json +0 -10
- package/.spago/identity/v6.0.0/.gitignore +0 -7
- package/.spago/integers/v6.0.0/.eslintrc.json +0 -26
- package/.spago/integers/v6.0.0/.gitignore +0 -8
- package/.spago/invariant/v6.0.0/.gitignore +0 -7
- package/.spago/js-date/v8.0.0/.editorconfig +0 -13
- package/.spago/js-date/v8.0.0/.eslintrc.json +0 -29
- package/.spago/js-date/v8.0.0/.gitignore +0 -14
- package/.spago/js-date/v8.0.0/.tidyrc.json +0 -10
- package/.spago/js-uri/v3.1.0/.eslintrc.json +0 -30
- package/.spago/js-uri/v3.1.0/.gitignore +0 -14
- package/.spago/js-uri/v3.1.0/.tidyrc.json +0 -10
- package/.spago/lazy/v6.0.0/.eslintrc.json +0 -26
- package/.spago/lazy/v6.0.0/.gitignore +0 -8
- package/.spago/lcg/v4.0.0/.gitignore +0 -8
- package/.spago/lists/v7.0.0/.gitignore +0 -7
- package/.spago/maybe/v6.0.0/.gitignore +0 -7
- package/.spago/media-types/v6.0.0/.editorconfig +0 -13
- package/.spago/media-types/v6.0.0/.gitignore +0 -9
- package/.spago/media-types/v6.0.0/.tidyrc.json +0 -10
- package/.spago/newtype/v5.0.0/.gitignore +0 -7
- package/.spago/node-buffer/v9.0.0/.eslintrc.json +0 -26
- package/.spago/node-buffer/v9.0.0/.gitignore +0 -8
- package/.spago/node-fs/v9.1.0/.eslintrc.json +0 -29
- package/.spago/node-fs/v9.1.0/.gitignore +0 -9
- package/.spago/node-path/v5.0.0/.eslintrc.json +0 -26
- package/.spago/node-path/v5.0.0/.gitignore +0 -8
- package/.spago/node-process/v11.2.0/.eslintrc.json +0 -29
- package/.spago/node-process/v11.2.0/.gitignore +0 -8
- package/.spago/node-streams/v9.0.0/.eslintrc.json +0 -29
- package/.spago/node-streams/v9.0.0/.gitignore +0 -8
- package/.spago/nonempty/v7.0.0/.gitignore +0 -7
- package/.spago/now/v6.0.0/.editorconfig +0 -13
- package/.spago/now/v6.0.0/.eslintrc.json +0 -29
- package/.spago/now/v6.0.0/.gitignore +0 -14
- package/.spago/now/v6.0.0/.tidyrc.json +0 -10
- package/.spago/nullable/v6.0.0/.editorconfig +0 -13
- package/.spago/nullable/v6.0.0/.eslintrc.json +0 -29
- package/.spago/nullable/v6.0.0/.gitignore +0 -14
- package/.spago/nullable/v6.0.0/.tidyrc.json +0 -10
- package/.spago/optparse/v6.0.0/.gitignore +0 -8
- package/.spago/optparse/v6.0.0/.npmrc +0 -1
- package/.spago/ordered-collections/v3.1.1/.gitignore +0 -8
- package/.spago/orders/v6.0.0/.gitignore +0 -7
- package/.spago/parallel/v7.0.0/.gitignore +0 -7
- package/.spago/parsing/v10.3.1/.editorconfig +0 -13
- package/.spago/parsing/v10.3.1/.gitignore +0 -12
- package/.spago/parsing/v10.3.1/.tidyoperators +0 -231
- package/.spago/parsing/v10.3.1/.tidyrc.json +0 -10
- package/.spago/partial/v4.0.0/.eslintrc.json +0 -26
- package/.spago/partial/v4.0.0/.gitignore +0 -8
- package/.spago/posix-types/v6.0.0/.gitignore +0 -7
- package/.spago/prelude/v6.0.1/.eslintrc.json +0 -26
- package/.spago/prelude/v6.0.1/.gitignore +0 -8
- package/.spago/profunctor/v6.0.0/.gitignore +0 -7
- package/.spago/psci-support/v6.0.0/.eslintrc.json +0 -28
- package/.spago/psci-support/v6.0.0/.gitignore +0 -8
- package/.spago/quickcheck/v8.0.1/.eslintrc.json +0 -26
- package/.spago/quickcheck/v8.0.1/.gitignore +0 -8
- package/.spago/random/v6.0.0/.eslintrc.json +0 -26
- package/.spago/random/v6.0.0/.gitignore +0 -8
- package/.spago/record/v4.0.0/.eslintrc.json +0 -26
- package/.spago/record/v4.0.0/.gitignore +0 -8
- package/.spago/refs/v6.0.0/.eslintrc.json +0 -26
- package/.spago/refs/v6.0.0/.gitignore +0 -8
- package/.spago/st/v6.2.0/.eslintrc.json +0 -26
- package/.spago/st/v6.2.0/.gitignore +0 -8
- package/.spago/strings/v6.0.1/.eslintrc.json +0 -26
- package/.spago/strings/v6.0.1/.gitignore +0 -8
- package/.spago/tailrec/v6.1.0/.gitignore +0 -7
- package/.spago/transformers/v6.0.0/.gitignore +0 -7
- package/.spago/tuples/v7.0.0/.gitignore +0 -7
- package/.spago/type-equality/v4.0.1/.gitignore +0 -7
- package/.spago/typelevel-prelude/v7.0.0/.gitignore +0 -8
- package/.spago/unfoldable/v6.0.0/.eslintrc.json +0 -26
- package/.spago/unfoldable/v6.0.0/.gitignore +0 -8
- package/.spago/unicode/v6.0.0/.editorconfig +0 -13
- package/.spago/unicode/v6.0.0/.gitattributes +0 -2
- package/.spago/unicode/v6.0.0/.gitignore +0 -19
- package/.spago/unicode/v6.0.0/.tidyrc.json +0 -10
- package/.spago/unsafe-coerce/v6.0.0/.eslintrc.json +0 -26
- package/.spago/unsafe-coerce/v6.0.0/.gitignore +0 -8
- package/.spago/web-dom/v6.0.0/.eslintrc.json +0 -29
- package/.spago/web-dom/v6.0.0/.gitignore +0 -9
- package/.spago/web-events/v4.0.0/.eslintrc.json +0 -29
- package/.spago/web-events/v4.0.0/.gitignore +0 -8
- package/.spago/web-file/v4.0.0/.eslintrc.json +0 -29
- package/.spago/web-file/v4.0.0/.gitignore +0 -8
- package/.spago/web-html/v4.1.0/.eslintrc.json +0 -29
- package/.spago/web-html/v4.1.0/.gitignore +0 -8
- package/.spago/web-storage/v5.0.0/.eslintrc.json +0 -29
- package/.spago/web-storage/v5.0.0/.gitignore +0 -8
- package/.spago/web-xhr/v5.0.1/.eslintrc.json +0 -29
- package/.spago/web-xhr/v5.0.1/.gitignore +0 -8
- package/LICENSE +0 -21
- package/README.md +0 -95
- package/dist/fluid/shared/website-test.js +0 -41
- package/dist/fluid/shared/webtest-lib.js +0 -300023
- package/script/bundle-website.sh +0 -52
- package/script/util/clean.sh +0 -5
- package/script/util/lisp-case.sh +0 -10
- package/website/article/convolution/index.html +0 -97
- package/website/article/css/styles.css +0 -325
- package/website/article/css/view-styles.css +0 -205
- package/website/article/energy-scatter/index.html +0 -47
- package/website/article/index.html +0 -40
- package/website/article/methane/index.html +0 -46
- package/website/article/moving-average/index.html +0 -64
- package/website/article/non-renewables/index.html +0 -52
- package/website/article/renewables-linked/index.html +0 -46
- package/website/article/scigen-1805.02474v1-10/index.html +0 -54
- package/website/article/shared/util.js +0 -15
- /package/website/article/{favicon.ico → src/lib/assets/image/favicon.ico} +0 -0
- /package/website/article/{dataset → static/dataset}/SciGen/1805.02474v1-10.json +0 -0
- /package/website/article/{dataset → static/dataset}/methane-emissions.json +0 -0
- /package/website/article/{dataset → static/dataset}/non-renewables.json +0 -0
- /package/website/article/{dataset → static/dataset}/renewable-new.json +0 -0
- /package/website/article/{dataset → static/dataset}/renewable.json +0 -0
- /package/website/article/{fluid → static/fluid}/1805.02474v1-10.fld +0 -0
- /package/website/article/{fluid → static/fluid}/bar-chart-line-chart.fld +0 -0
- /package/website/article/{fluid → static/fluid}/convolution/emboss.fld +0 -0
- /package/website/article/{fluid → static/fluid}/convolution/testImage.fld +0 -0
- /package/website/article/{fluid → static/fluid}/convolution.fld +0 -0
- /package/website/article/{fluid → static/fluid}/dataset/scigen/_1805_02474v1_10.fld +0 -0
- /package/website/article/{fluid → static/fluid}/energyscatter.fld +0 -0
- /package/website/article/{fluid → static/fluid}/methane.fld +0 -0
- /package/website/article/{fluid → static/fluid}/methane_data.fld +0 -0
- /package/website/article/{fluid → static/fluid}/moving-average.fld +0 -0
- /package/website/article/{fluid → static/fluid}/non-renewables.fld +0 -0
- /package/website/article/{fluid → static/fluid}/nonRenewables.fld +0 -0
- /package/website/article/{fluid → static/fluid}/renewables.fld +0 -0
- /package/website/article/{fluid → static/fluid}/scigen.fld +0 -0
- /package/website/article/{fluid → static/fluid}/util.fld +0 -0
|
@@ -0,0 +1,119 @@
|
|
|
1
|
+
import * as $runtime from "../runtime.js";
|
|
2
|
+
import * as Data$dInt from "../Data.Int/index.js";
|
|
3
|
+
import * as Data$dMaybe from "../Data.Maybe/index.js";
|
|
4
|
+
import * as Data$dNumber from "../Data.Number/index.js";
|
|
5
|
+
import * as Data$dOrd from "../Data.Ord/index.js";
|
|
6
|
+
import * as Data$dOrdering from "../Data.Ordering/index.js";
|
|
7
|
+
import * as Data$dShow from "../Data.Show/index.js";
|
|
8
|
+
import * as Data$dTuple from "../Data.Tuple/index.js";
|
|
9
|
+
const $Time = (_1, _2, _3, _4) => ({tag: "Time", _1, _2, _3, _4});
|
|
10
|
+
const Time = value0 => value1 => value2 => value3 => $Time(value0, value1, value2, value3);
|
|
11
|
+
const showTime = {
|
|
12
|
+
show: v => "(Time (Hour " + Data$dShow.showIntImpl(v._1) + ") (Minute " + Data$dShow.showIntImpl(v._2) + ") (Second " + Data$dShow.showIntImpl(v._3) + ") (Millisecond " + Data$dShow.showIntImpl(v._4) + "))"
|
|
13
|
+
};
|
|
14
|
+
const setSecond = s => v => $Time(v._1, v._2, s, v._4);
|
|
15
|
+
const setMinute = m => v => $Time(v._1, m, v._3, v._4);
|
|
16
|
+
const setMillisecond = ms => v => $Time(v._1, v._2, v._3, ms);
|
|
17
|
+
const setHour = h => v => $Time(h, v._2, v._3, v._4);
|
|
18
|
+
const second = v => v._3;
|
|
19
|
+
const minute = v => v._2;
|
|
20
|
+
const millisecond = v => v._4;
|
|
21
|
+
const millisToTime = v => {
|
|
22
|
+
const hours = Data$dNumber.floor(v / 3600000.0);
|
|
23
|
+
const minutes = Data$dNumber.floor((v - hours * 3600000.0) / 60000.0);
|
|
24
|
+
const seconds = Data$dNumber.floor((v - (hours * 3600000.0 + minutes * 60000.0)) / 1000.0);
|
|
25
|
+
const $0 = Data$dInt.unsafeClamp(Data$dNumber.floor(hours));
|
|
26
|
+
const $1 = $0 >= 0 && $0 <= 23 ? Data$dMaybe.$Maybe("Just", $0) : Data$dMaybe.Nothing;
|
|
27
|
+
if ($1.tag === "Just") {
|
|
28
|
+
const $2 = Data$dInt.unsafeClamp(Data$dNumber.floor(minutes));
|
|
29
|
+
if ($2 >= 0 && $2 <= 59) {
|
|
30
|
+
const $3 = Data$dInt.unsafeClamp(Data$dNumber.floor(seconds));
|
|
31
|
+
if ($3 >= 0 && $3 <= 59) {
|
|
32
|
+
const $4 = Data$dInt.unsafeClamp(Data$dNumber.floor(v - (hours * 3600000.0 + minutes * 60000.0 + seconds * 1000.0)));
|
|
33
|
+
if ($4 >= 0 && $4 <= 999) { return $Time($1._1, $2, $3, $4); }
|
|
34
|
+
$runtime.fail();
|
|
35
|
+
}
|
|
36
|
+
const $4 = Data$dInt.unsafeClamp(Data$dNumber.floor(v - (hours * 3600000.0 + minutes * 60000.0 + seconds * 1000.0)));
|
|
37
|
+
$runtime.fail();
|
|
38
|
+
}
|
|
39
|
+
const $3 = Data$dInt.unsafeClamp(Data$dNumber.floor(seconds));
|
|
40
|
+
if ($3 >= 0 && $3 <= 59) {
|
|
41
|
+
const $4 = Data$dInt.unsafeClamp(Data$dNumber.floor(v - (hours * 3600000.0 + minutes * 60000.0 + seconds * 1000.0)));
|
|
42
|
+
$runtime.fail();
|
|
43
|
+
}
|
|
44
|
+
const $4 = Data$dInt.unsafeClamp(Data$dNumber.floor(v - (hours * 3600000.0 + minutes * 60000.0 + seconds * 1000.0)));
|
|
45
|
+
$runtime.fail();
|
|
46
|
+
}
|
|
47
|
+
const $2 = Data$dInt.unsafeClamp(Data$dNumber.floor(minutes));
|
|
48
|
+
if ($2 >= 0 && $2 <= 59) {
|
|
49
|
+
const $3 = Data$dInt.unsafeClamp(Data$dNumber.floor(seconds));
|
|
50
|
+
if ($3 >= 0 && $3 <= 59) {
|
|
51
|
+
const $4 = Data$dInt.unsafeClamp(Data$dNumber.floor(v - (hours * 3600000.0 + minutes * 60000.0 + seconds * 1000.0)));
|
|
52
|
+
$runtime.fail();
|
|
53
|
+
}
|
|
54
|
+
const $4 = Data$dInt.unsafeClamp(Data$dNumber.floor(v - (hours * 3600000.0 + minutes * 60000.0 + seconds * 1000.0)));
|
|
55
|
+
$runtime.fail();
|
|
56
|
+
}
|
|
57
|
+
const $3 = Data$dInt.unsafeClamp(Data$dNumber.floor(seconds));
|
|
58
|
+
if ($3 >= 0 && $3 <= 59) {
|
|
59
|
+
const $4 = Data$dInt.unsafeClamp(Data$dNumber.floor(v - (hours * 3600000.0 + minutes * 60000.0 + seconds * 1000.0)));
|
|
60
|
+
$runtime.fail();
|
|
61
|
+
}
|
|
62
|
+
const $4 = Data$dInt.unsafeClamp(Data$dNumber.floor(v - (hours * 3600000.0 + minutes * 60000.0 + seconds * 1000.0)));
|
|
63
|
+
$runtime.fail();
|
|
64
|
+
};
|
|
65
|
+
const hour = v => v._1;
|
|
66
|
+
const timeToMillis = t => 3600000.0 * Data$dInt.toNumber(t._1) + 60000.0 * Data$dInt.toNumber(t._2) + 1000.0 * Data$dInt.toNumber(t._3) + Data$dInt.toNumber(t._4);
|
|
67
|
+
const eqTime = {eq: x => y => x._1 === y._1 && x._2 === y._2 && x._3 === y._3 && x._4 === y._4};
|
|
68
|
+
const ordTime = {
|
|
69
|
+
compare: x => y => {
|
|
70
|
+
const v = Data$dOrd.ordInt.compare(x._1)(y._1);
|
|
71
|
+
if (v === "LT") { return Data$dOrdering.LT; }
|
|
72
|
+
if (v === "GT") { return Data$dOrdering.GT; }
|
|
73
|
+
const v1 = Data$dOrd.ordInt.compare(x._2)(y._2);
|
|
74
|
+
if (v1 === "LT") { return Data$dOrdering.LT; }
|
|
75
|
+
if (v1 === "GT") { return Data$dOrdering.GT; }
|
|
76
|
+
const v2 = Data$dOrd.ordInt.compare(x._3)(y._3);
|
|
77
|
+
if (v2 === "LT") { return Data$dOrdering.LT; }
|
|
78
|
+
if (v2 === "GT") { return Data$dOrdering.GT; }
|
|
79
|
+
return Data$dOrd.ordInt.compare(x._4)(y._4);
|
|
80
|
+
},
|
|
81
|
+
Eq0: () => eqTime
|
|
82
|
+
};
|
|
83
|
+
const diff = dictDuration => t1 => t2 => dictDuration.toDuration(timeToMillis(t1) + -timeToMillis(t2));
|
|
84
|
+
const boundedTime = {bottom: /* #__PURE__ */ $Time(0, 0, 0, 0), top: /* #__PURE__ */ $Time(23, 59, 59, 999), Ord0: () => ordTime};
|
|
85
|
+
const maxTime = /* #__PURE__ */ timeToMillis(/* #__PURE__ */ $Time(23, 59, 59, 999));
|
|
86
|
+
const minTime = /* #__PURE__ */ timeToMillis(/* #__PURE__ */ $Time(0, 0, 0, 0));
|
|
87
|
+
const adjust = dictDuration => d => t => {
|
|
88
|
+
const d$p = dictDuration.fromDuration(d);
|
|
89
|
+
const wholeDays = Data$dNumber.floor(d$p / 86400000.0);
|
|
90
|
+
const msAdjusted = timeToMillis(t) + d$p + -(wholeDays * 86400000.0);
|
|
91
|
+
const wrap = (() => {
|
|
92
|
+
if (msAdjusted > maxTime) { return 1.0; }
|
|
93
|
+
if (msAdjusted < minTime) { return -1.0; }
|
|
94
|
+
return 0.0;
|
|
95
|
+
})();
|
|
96
|
+
return Data$dTuple.$Tuple(wholeDays + wrap, millisToTime(msAdjusted + 86400000.0 * -wrap));
|
|
97
|
+
};
|
|
98
|
+
export {
|
|
99
|
+
$Time,
|
|
100
|
+
Time,
|
|
101
|
+
adjust,
|
|
102
|
+
boundedTime,
|
|
103
|
+
diff,
|
|
104
|
+
eqTime,
|
|
105
|
+
hour,
|
|
106
|
+
maxTime,
|
|
107
|
+
millisToTime,
|
|
108
|
+
millisecond,
|
|
109
|
+
minTime,
|
|
110
|
+
minute,
|
|
111
|
+
ordTime,
|
|
112
|
+
second,
|
|
113
|
+
setHour,
|
|
114
|
+
setMillisecond,
|
|
115
|
+
setMinute,
|
|
116
|
+
setSecond,
|
|
117
|
+
showTime,
|
|
118
|
+
timeToMillis
|
|
119
|
+
};
|
|
@@ -0,0 +1,138 @@
|
|
|
1
|
+
import * as Data$dEq from "../Data.Eq/index.js";
|
|
2
|
+
import * as Data$dMaybe from "../Data.Maybe/index.js";
|
|
3
|
+
import * as Data$dOrd from "../Data.Ord/index.js";
|
|
4
|
+
import * as Data$dShow from "../Data.Show/index.js";
|
|
5
|
+
const showSecond = {show: v => "(Second " + Data$dShow.showIntImpl(v) + ")"};
|
|
6
|
+
const showMinute = {show: v => "(Minute " + Data$dShow.showIntImpl(v) + ")"};
|
|
7
|
+
const showMillisecond = {show: v => "(Millisecond " + Data$dShow.showIntImpl(v) + ")"};
|
|
8
|
+
const showHour = {show: v => "(Hour " + Data$dShow.showIntImpl(v) + ")"};
|
|
9
|
+
const ordSecond = Data$dOrd.ordInt;
|
|
10
|
+
const ordMinute = Data$dOrd.ordInt;
|
|
11
|
+
const ordMillisecond = Data$dOrd.ordInt;
|
|
12
|
+
const ordHour = Data$dOrd.ordInt;
|
|
13
|
+
const eqSecond = Data$dEq.eqInt;
|
|
14
|
+
const eqMinute = Data$dEq.eqInt;
|
|
15
|
+
const eqMillisecond = Data$dEq.eqInt;
|
|
16
|
+
const eqHour = Data$dEq.eqInt;
|
|
17
|
+
const boundedSecond = {bottom: 0, top: 59, Ord0: () => Data$dOrd.ordInt};
|
|
18
|
+
const boundedMinute = {bottom: 0, top: 59, Ord0: () => Data$dOrd.ordInt};
|
|
19
|
+
const boundedMillisecond = {bottom: 0, top: 999, Ord0: () => Data$dOrd.ordInt};
|
|
20
|
+
const boundedHour = {bottom: 0, top: 23, Ord0: () => Data$dOrd.ordInt};
|
|
21
|
+
const boundedEnumSecond = {
|
|
22
|
+
cardinality: 60,
|
|
23
|
+
toEnum: n => {
|
|
24
|
+
if (n >= 0 && n <= 59) { return Data$dMaybe.$Maybe("Just", n); }
|
|
25
|
+
return Data$dMaybe.Nothing;
|
|
26
|
+
},
|
|
27
|
+
fromEnum: v => v,
|
|
28
|
+
Bounded0: () => boundedSecond,
|
|
29
|
+
Enum1: () => enumSecond
|
|
30
|
+
};
|
|
31
|
+
const enumSecond = {
|
|
32
|
+
succ: x => {
|
|
33
|
+
const $0 = x + 1 | 0;
|
|
34
|
+
if ($0 >= 0 && $0 <= 59) { return Data$dMaybe.$Maybe("Just", $0); }
|
|
35
|
+
return Data$dMaybe.Nothing;
|
|
36
|
+
},
|
|
37
|
+
pred: x => {
|
|
38
|
+
const $0 = x - 1 | 0;
|
|
39
|
+
if ($0 >= 0 && $0 <= 59) { return Data$dMaybe.$Maybe("Just", $0); }
|
|
40
|
+
return Data$dMaybe.Nothing;
|
|
41
|
+
},
|
|
42
|
+
Ord0: () => Data$dOrd.ordInt
|
|
43
|
+
};
|
|
44
|
+
const boundedEnumMinute = {
|
|
45
|
+
cardinality: 60,
|
|
46
|
+
toEnum: n => {
|
|
47
|
+
if (n >= 0 && n <= 59) { return Data$dMaybe.$Maybe("Just", n); }
|
|
48
|
+
return Data$dMaybe.Nothing;
|
|
49
|
+
},
|
|
50
|
+
fromEnum: v => v,
|
|
51
|
+
Bounded0: () => boundedMinute,
|
|
52
|
+
Enum1: () => enumMinute
|
|
53
|
+
};
|
|
54
|
+
const enumMinute = {
|
|
55
|
+
succ: x => {
|
|
56
|
+
const $0 = x + 1 | 0;
|
|
57
|
+
if ($0 >= 0 && $0 <= 59) { return Data$dMaybe.$Maybe("Just", $0); }
|
|
58
|
+
return Data$dMaybe.Nothing;
|
|
59
|
+
},
|
|
60
|
+
pred: x => {
|
|
61
|
+
const $0 = x - 1 | 0;
|
|
62
|
+
if ($0 >= 0 && $0 <= 59) { return Data$dMaybe.$Maybe("Just", $0); }
|
|
63
|
+
return Data$dMaybe.Nothing;
|
|
64
|
+
},
|
|
65
|
+
Ord0: () => Data$dOrd.ordInt
|
|
66
|
+
};
|
|
67
|
+
const boundedEnumMillisecond = {
|
|
68
|
+
cardinality: 1000,
|
|
69
|
+
toEnum: n => {
|
|
70
|
+
if (n >= 0 && n <= 999) { return Data$dMaybe.$Maybe("Just", n); }
|
|
71
|
+
return Data$dMaybe.Nothing;
|
|
72
|
+
},
|
|
73
|
+
fromEnum: v => v,
|
|
74
|
+
Bounded0: () => boundedMillisecond,
|
|
75
|
+
Enum1: () => enumMillisecond
|
|
76
|
+
};
|
|
77
|
+
const enumMillisecond = {
|
|
78
|
+
succ: x => {
|
|
79
|
+
const $0 = x + 1 | 0;
|
|
80
|
+
if ($0 >= 0 && $0 <= 999) { return Data$dMaybe.$Maybe("Just", $0); }
|
|
81
|
+
return Data$dMaybe.Nothing;
|
|
82
|
+
},
|
|
83
|
+
pred: x => {
|
|
84
|
+
const $0 = x - 1 | 0;
|
|
85
|
+
if ($0 >= 0 && $0 <= 999) { return Data$dMaybe.$Maybe("Just", $0); }
|
|
86
|
+
return Data$dMaybe.Nothing;
|
|
87
|
+
},
|
|
88
|
+
Ord0: () => Data$dOrd.ordInt
|
|
89
|
+
};
|
|
90
|
+
const boundedEnumHour = {
|
|
91
|
+
cardinality: 24,
|
|
92
|
+
toEnum: n => {
|
|
93
|
+
if (n >= 0 && n <= 23) { return Data$dMaybe.$Maybe("Just", n); }
|
|
94
|
+
return Data$dMaybe.Nothing;
|
|
95
|
+
},
|
|
96
|
+
fromEnum: v => v,
|
|
97
|
+
Bounded0: () => boundedHour,
|
|
98
|
+
Enum1: () => enumHour
|
|
99
|
+
};
|
|
100
|
+
const enumHour = {
|
|
101
|
+
succ: x => {
|
|
102
|
+
const $0 = x + 1 | 0;
|
|
103
|
+
if ($0 >= 0 && $0 <= 23) { return Data$dMaybe.$Maybe("Just", $0); }
|
|
104
|
+
return Data$dMaybe.Nothing;
|
|
105
|
+
},
|
|
106
|
+
pred: x => {
|
|
107
|
+
const $0 = x - 1 | 0;
|
|
108
|
+
if ($0 >= 0 && $0 <= 23) { return Data$dMaybe.$Maybe("Just", $0); }
|
|
109
|
+
return Data$dMaybe.Nothing;
|
|
110
|
+
},
|
|
111
|
+
Ord0: () => Data$dOrd.ordInt
|
|
112
|
+
};
|
|
113
|
+
export {
|
|
114
|
+
boundedEnumHour,
|
|
115
|
+
boundedEnumMillisecond,
|
|
116
|
+
boundedEnumMinute,
|
|
117
|
+
boundedEnumSecond,
|
|
118
|
+
boundedHour,
|
|
119
|
+
boundedMillisecond,
|
|
120
|
+
boundedMinute,
|
|
121
|
+
boundedSecond,
|
|
122
|
+
enumHour,
|
|
123
|
+
enumMillisecond,
|
|
124
|
+
enumMinute,
|
|
125
|
+
enumSecond,
|
|
126
|
+
eqHour,
|
|
127
|
+
eqMillisecond,
|
|
128
|
+
eqMinute,
|
|
129
|
+
eqSecond,
|
|
130
|
+
ordHour,
|
|
131
|
+
ordMillisecond,
|
|
132
|
+
ordMinute,
|
|
133
|
+
ordSecond,
|
|
134
|
+
showHour,
|
|
135
|
+
showMillisecond,
|
|
136
|
+
showMinute,
|
|
137
|
+
showSecond
|
|
138
|
+
};
|
|
@@ -0,0 +1,7 @@
|
|
|
1
|
+
import * as Data$dEnum$dGen from "../Data.Enum.Gen/index.js";
|
|
2
|
+
import * as Data$dTime$dComponent from "../Data.Time.Component/index.js";
|
|
3
|
+
const genSecond = dictMonadGen => Data$dEnum$dGen.genBoundedEnum(dictMonadGen)(Data$dTime$dComponent.boundedEnumSecond);
|
|
4
|
+
const genMinute = dictMonadGen => Data$dEnum$dGen.genBoundedEnum(dictMonadGen)(Data$dTime$dComponent.boundedEnumMinute);
|
|
5
|
+
const genMillisecond = dictMonadGen => Data$dEnum$dGen.genBoundedEnum(dictMonadGen)(Data$dTime$dComponent.boundedEnumMillisecond);
|
|
6
|
+
const genHour = dictMonadGen => Data$dEnum$dGen.genBoundedEnum(dictMonadGen)(Data$dTime$dComponent.boundedEnumHour);
|
|
7
|
+
export {genHour, genMillisecond, genMinute, genSecond};
|
|
@@ -0,0 +1,95 @@
|
|
|
1
|
+
import * as Data$dEq from "../Data.Eq/index.js";
|
|
2
|
+
import * as Data$dOrd from "../Data.Ord/index.js";
|
|
3
|
+
import * as Data$dShow from "../Data.Show/index.js";
|
|
4
|
+
const identity = x => x;
|
|
5
|
+
const Seconds = x => x;
|
|
6
|
+
const Minutes = x => x;
|
|
7
|
+
const Milliseconds = x => x;
|
|
8
|
+
const Hours = x => x;
|
|
9
|
+
const Days = x => x;
|
|
10
|
+
const toDuration = dict => dict.toDuration;
|
|
11
|
+
const showSeconds = {show: v => "(Seconds " + Data$dShow.showNumberImpl(v) + ")"};
|
|
12
|
+
const showMinutes = {show: v => "(Minutes " + Data$dShow.showNumberImpl(v) + ")"};
|
|
13
|
+
const showMilliseconds = {show: v => "(Milliseconds " + Data$dShow.showNumberImpl(v) + ")"};
|
|
14
|
+
const showHours = {show: v => "(Hours " + Data$dShow.showNumberImpl(v) + ")"};
|
|
15
|
+
const showDays = {show: v => "(Days " + Data$dShow.showNumberImpl(v) + ")"};
|
|
16
|
+
const semigroupSeconds = {append: v => v1 => v + v1};
|
|
17
|
+
const semigroupMinutes = {append: v => v1 => v + v1};
|
|
18
|
+
const semigroupMilliseconds = {append: v => v1 => v + v1};
|
|
19
|
+
const semigroupHours = {append: v => v1 => v + v1};
|
|
20
|
+
const semigroupDays = {append: v => v1 => v + v1};
|
|
21
|
+
const ordSeconds = Data$dOrd.ordNumber;
|
|
22
|
+
const ordMinutes = Data$dOrd.ordNumber;
|
|
23
|
+
const ordMilliseconds = Data$dOrd.ordNumber;
|
|
24
|
+
const ordHours = Data$dOrd.ordNumber;
|
|
25
|
+
const ordDays = Data$dOrd.ordNumber;
|
|
26
|
+
const newtypeSeconds = {Coercible0: () => {}};
|
|
27
|
+
const newtypeMinutes = {Coercible0: () => {}};
|
|
28
|
+
const newtypeMilliseconds = {Coercible0: () => {}};
|
|
29
|
+
const newtypeHours = {Coercible0: () => {}};
|
|
30
|
+
const newtypeDays = {Coercible0: () => {}};
|
|
31
|
+
const monoidSeconds = {mempty: 0.0, Semigroup0: () => semigroupSeconds};
|
|
32
|
+
const monoidMinutes = {mempty: 0.0, Semigroup0: () => semigroupMinutes};
|
|
33
|
+
const monoidMilliseconds = {mempty: 0.0, Semigroup0: () => semigroupMilliseconds};
|
|
34
|
+
const monoidHours = {mempty: 0.0, Semigroup0: () => semigroupHours};
|
|
35
|
+
const monoidDays = {mempty: 0.0, Semigroup0: () => semigroupDays};
|
|
36
|
+
const fromDuration = dict => dict.fromDuration;
|
|
37
|
+
const negateDuration = dictDuration => x => dictDuration.toDuration(-dictDuration.fromDuration(x));
|
|
38
|
+
const eqSeconds = Data$dEq.eqNumber;
|
|
39
|
+
const eqMinutes = Data$dEq.eqNumber;
|
|
40
|
+
const eqMilliseconds = Data$dEq.eqNumber;
|
|
41
|
+
const eqHours = Data$dEq.eqNumber;
|
|
42
|
+
const eqDays = Data$dEq.eqNumber;
|
|
43
|
+
const durationSeconds = {fromDuration: v => v * 1000.0, toDuration: v => v / 1000.0};
|
|
44
|
+
const durationMinutes = {fromDuration: v => v * 60000.0, toDuration: v => v / 60000.0};
|
|
45
|
+
const durationMilliseconds = {fromDuration: identity, toDuration: identity};
|
|
46
|
+
const durationHours = {fromDuration: v => v * 3600000.0, toDuration: v => v / 3600000.0};
|
|
47
|
+
const durationDays = {fromDuration: v => v * 86400000.0, toDuration: v => v / 86400000.0};
|
|
48
|
+
const convertDuration = dictDuration => dictDuration1 => x => dictDuration1.toDuration(dictDuration.fromDuration(x));
|
|
49
|
+
export {
|
|
50
|
+
Days,
|
|
51
|
+
Hours,
|
|
52
|
+
Milliseconds,
|
|
53
|
+
Minutes,
|
|
54
|
+
Seconds,
|
|
55
|
+
convertDuration,
|
|
56
|
+
durationDays,
|
|
57
|
+
durationHours,
|
|
58
|
+
durationMilliseconds,
|
|
59
|
+
durationMinutes,
|
|
60
|
+
durationSeconds,
|
|
61
|
+
eqDays,
|
|
62
|
+
eqHours,
|
|
63
|
+
eqMilliseconds,
|
|
64
|
+
eqMinutes,
|
|
65
|
+
eqSeconds,
|
|
66
|
+
fromDuration,
|
|
67
|
+
identity,
|
|
68
|
+
monoidDays,
|
|
69
|
+
monoidHours,
|
|
70
|
+
monoidMilliseconds,
|
|
71
|
+
monoidMinutes,
|
|
72
|
+
monoidSeconds,
|
|
73
|
+
negateDuration,
|
|
74
|
+
newtypeDays,
|
|
75
|
+
newtypeHours,
|
|
76
|
+
newtypeMilliseconds,
|
|
77
|
+
newtypeMinutes,
|
|
78
|
+
newtypeSeconds,
|
|
79
|
+
ordDays,
|
|
80
|
+
ordHours,
|
|
81
|
+
ordMilliseconds,
|
|
82
|
+
ordMinutes,
|
|
83
|
+
ordSeconds,
|
|
84
|
+
semigroupDays,
|
|
85
|
+
semigroupHours,
|
|
86
|
+
semigroupMilliseconds,
|
|
87
|
+
semigroupMinutes,
|
|
88
|
+
semigroupSeconds,
|
|
89
|
+
showDays,
|
|
90
|
+
showHours,
|
|
91
|
+
showMilliseconds,
|
|
92
|
+
showMinutes,
|
|
93
|
+
showSeconds,
|
|
94
|
+
toDuration
|
|
95
|
+
};
|
|
@@ -0,0 +1,7 @@
|
|
|
1
|
+
import * as Data$dTime$dDuration from "../Data.Time.Duration/index.js";
|
|
2
|
+
const genSeconds = dictMonadGen => dictMonadGen.Monad0().Bind1().Apply0().Functor0().map(Data$dTime$dDuration.Seconds)(dictMonadGen.chooseFloat(0.0)(600.0));
|
|
3
|
+
const genMinutes = dictMonadGen => dictMonadGen.Monad0().Bind1().Apply0().Functor0().map(Data$dTime$dDuration.Minutes)(dictMonadGen.chooseFloat(0.0)(600.0));
|
|
4
|
+
const genMilliseconds = dictMonadGen => dictMonadGen.Monad0().Bind1().Apply0().Functor0().map(Data$dTime$dDuration.Milliseconds)(dictMonadGen.chooseFloat(0.0)(600000.0));
|
|
5
|
+
const genHours = dictMonadGen => dictMonadGen.Monad0().Bind1().Apply0().Functor0().map(Data$dTime$dDuration.Hours)(dictMonadGen.chooseFloat(0.0)(240.0));
|
|
6
|
+
const genDays = dictMonadGen => dictMonadGen.Monad0().Bind1().Apply0().Functor0().map(Data$dTime$dDuration.Days)(dictMonadGen.chooseFloat(0.0)(42.0));
|
|
7
|
+
export {genDays, genHours, genMilliseconds, genMinutes, genSeconds};
|
|
@@ -0,0 +1,8 @@
|
|
|
1
|
+
import * as Data$dEnum$dGen from "../Data.Enum.Gen/index.js";
|
|
2
|
+
import * as Data$dTime from "../Data.Time/index.js";
|
|
3
|
+
import * as Data$dTime$dComponent from "../Data.Time.Component/index.js";
|
|
4
|
+
const genTime = dictMonadGen => {
|
|
5
|
+
const Apply0 = dictMonadGen.Monad0().Bind1().Apply0();
|
|
6
|
+
return Apply0.apply(Apply0.apply(Apply0.apply(Apply0.Functor0().map(Data$dTime.Time)(Data$dEnum$dGen.genBoundedEnum(dictMonadGen)(Data$dTime$dComponent.boundedEnumHour)))(Data$dEnum$dGen.genBoundedEnum(dictMonadGen)(Data$dTime$dComponent.boundedEnumMinute)))(Data$dEnum$dGen.genBoundedEnum(dictMonadGen)(Data$dTime$dComponent.boundedEnumSecond)))(Data$dEnum$dGen.genBoundedEnum(dictMonadGen)(Data$dTime$dComponent.boundedEnumMillisecond));
|
|
7
|
+
};
|
|
8
|
+
export {genTime};
|
|
@@ -0,0 +1,52 @@
|
|
|
1
|
+
// jshint maxparams: 3
|
|
2
|
+
|
|
3
|
+
export const traverseArrayImpl = (function () {
|
|
4
|
+
function array1(a) {
|
|
5
|
+
return [a];
|
|
6
|
+
}
|
|
7
|
+
|
|
8
|
+
function array2(a) {
|
|
9
|
+
return function (b) {
|
|
10
|
+
return [a, b];
|
|
11
|
+
};
|
|
12
|
+
}
|
|
13
|
+
|
|
14
|
+
function array3(a) {
|
|
15
|
+
return function (b) {
|
|
16
|
+
return function (c) {
|
|
17
|
+
return [a, b, c];
|
|
18
|
+
};
|
|
19
|
+
};
|
|
20
|
+
}
|
|
21
|
+
|
|
22
|
+
function concat2(xs) {
|
|
23
|
+
return function (ys) {
|
|
24
|
+
return xs.concat(ys);
|
|
25
|
+
};
|
|
26
|
+
}
|
|
27
|
+
|
|
28
|
+
return function (apply) {
|
|
29
|
+
return function (map) {
|
|
30
|
+
return function (pure) {
|
|
31
|
+
return function (f) {
|
|
32
|
+
return function (array) {
|
|
33
|
+
function go(bot, top) {
|
|
34
|
+
switch (top - bot) {
|
|
35
|
+
case 0: return pure([]);
|
|
36
|
+
case 1: return map(array1)(f(array[bot]));
|
|
37
|
+
case 2: return apply(map(array2)(f(array[bot])))(f(array[bot + 1]));
|
|
38
|
+
case 3: return apply(apply(map(array3)(f(array[bot])))(f(array[bot + 1])))(f(array[bot + 2]));
|
|
39
|
+
default:
|
|
40
|
+
// This slightly tricky pivot selection aims to produce two
|
|
41
|
+
// even-length partitions where possible.
|
|
42
|
+
var pivot = bot + Math.floor((top - bot) / 4) * 2;
|
|
43
|
+
return apply(map(concat2)(go(bot, pivot)))(go(pivot, top));
|
|
44
|
+
}
|
|
45
|
+
}
|
|
46
|
+
return go(0, array.length);
|
|
47
|
+
};
|
|
48
|
+
};
|
|
49
|
+
};
|
|
50
|
+
};
|
|
51
|
+
};
|
|
52
|
+
})();
|