@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,451 @@
|
|
|
1
|
+
import * as $runtime from "../runtime.js";
|
|
2
|
+
import * as Data$dEq from "../Data.Eq/index.js";
|
|
3
|
+
import * as Data$dMaybe from "../Data.Maybe/index.js";
|
|
4
|
+
import * as Data$dOrd from "../Data.Ord/index.js";
|
|
5
|
+
import * as Data$dOrdering from "../Data.Ordering/index.js";
|
|
6
|
+
import * as Data$dShow from "../Data.Show/index.js";
|
|
7
|
+
const $Month = tag => tag;
|
|
8
|
+
const $Weekday = tag => tag;
|
|
9
|
+
const Monday = /* #__PURE__ */ $Weekday("Monday");
|
|
10
|
+
const Tuesday = /* #__PURE__ */ $Weekday("Tuesday");
|
|
11
|
+
const Wednesday = /* #__PURE__ */ $Weekday("Wednesday");
|
|
12
|
+
const Thursday = /* #__PURE__ */ $Weekday("Thursday");
|
|
13
|
+
const Friday = /* #__PURE__ */ $Weekday("Friday");
|
|
14
|
+
const Saturday = /* #__PURE__ */ $Weekday("Saturday");
|
|
15
|
+
const Sunday = /* #__PURE__ */ $Weekday("Sunday");
|
|
16
|
+
const January = /* #__PURE__ */ $Month("January");
|
|
17
|
+
const February = /* #__PURE__ */ $Month("February");
|
|
18
|
+
const March = /* #__PURE__ */ $Month("March");
|
|
19
|
+
const April = /* #__PURE__ */ $Month("April");
|
|
20
|
+
const May = /* #__PURE__ */ $Month("May");
|
|
21
|
+
const June = /* #__PURE__ */ $Month("June");
|
|
22
|
+
const July = /* #__PURE__ */ $Month("July");
|
|
23
|
+
const August = /* #__PURE__ */ $Month("August");
|
|
24
|
+
const September = /* #__PURE__ */ $Month("September");
|
|
25
|
+
const October = /* #__PURE__ */ $Month("October");
|
|
26
|
+
const November = /* #__PURE__ */ $Month("November");
|
|
27
|
+
const December = /* #__PURE__ */ $Month("December");
|
|
28
|
+
const showYear = {show: v => "(Year " + Data$dShow.showIntImpl(v) + ")"};
|
|
29
|
+
const showWeekday = {
|
|
30
|
+
show: v => {
|
|
31
|
+
if (v === "Monday") { return "Monday"; }
|
|
32
|
+
if (v === "Tuesday") { return "Tuesday"; }
|
|
33
|
+
if (v === "Wednesday") { return "Wednesday"; }
|
|
34
|
+
if (v === "Thursday") { return "Thursday"; }
|
|
35
|
+
if (v === "Friday") { return "Friday"; }
|
|
36
|
+
if (v === "Saturday") { return "Saturday"; }
|
|
37
|
+
if (v === "Sunday") { return "Sunday"; }
|
|
38
|
+
$runtime.fail();
|
|
39
|
+
}
|
|
40
|
+
};
|
|
41
|
+
const showMonth = {
|
|
42
|
+
show: v => {
|
|
43
|
+
if (v === "January") { return "January"; }
|
|
44
|
+
if (v === "February") { return "February"; }
|
|
45
|
+
if (v === "March") { return "March"; }
|
|
46
|
+
if (v === "April") { return "April"; }
|
|
47
|
+
if (v === "May") { return "May"; }
|
|
48
|
+
if (v === "June") { return "June"; }
|
|
49
|
+
if (v === "July") { return "July"; }
|
|
50
|
+
if (v === "August") { return "August"; }
|
|
51
|
+
if (v === "September") { return "September"; }
|
|
52
|
+
if (v === "October") { return "October"; }
|
|
53
|
+
if (v === "November") { return "November"; }
|
|
54
|
+
if (v === "December") { return "December"; }
|
|
55
|
+
$runtime.fail();
|
|
56
|
+
}
|
|
57
|
+
};
|
|
58
|
+
const showDay = {show: v => "(Day " + Data$dShow.showIntImpl(v) + ")"};
|
|
59
|
+
const ordYear = Data$dOrd.ordInt;
|
|
60
|
+
const ordDay = Data$dOrd.ordInt;
|
|
61
|
+
const eqYear = Data$dEq.eqInt;
|
|
62
|
+
const eqWeekday = {
|
|
63
|
+
eq: x => y => {
|
|
64
|
+
if (x === "Monday") { return y === "Monday"; }
|
|
65
|
+
if (x === "Tuesday") { return y === "Tuesday"; }
|
|
66
|
+
if (x === "Wednesday") { return y === "Wednesday"; }
|
|
67
|
+
if (x === "Thursday") { return y === "Thursday"; }
|
|
68
|
+
if (x === "Friday") { return y === "Friday"; }
|
|
69
|
+
if (x === "Saturday") { return y === "Saturday"; }
|
|
70
|
+
return x === "Sunday" && y === "Sunday";
|
|
71
|
+
}
|
|
72
|
+
};
|
|
73
|
+
const ordWeekday = {
|
|
74
|
+
compare: x => y => {
|
|
75
|
+
if (x === "Monday") {
|
|
76
|
+
if (y === "Monday") { return Data$dOrdering.EQ; }
|
|
77
|
+
return Data$dOrdering.LT;
|
|
78
|
+
}
|
|
79
|
+
if (y === "Monday") { return Data$dOrdering.GT; }
|
|
80
|
+
if (x === "Tuesday") {
|
|
81
|
+
if (y === "Tuesday") { return Data$dOrdering.EQ; }
|
|
82
|
+
return Data$dOrdering.LT;
|
|
83
|
+
}
|
|
84
|
+
if (y === "Tuesday") { return Data$dOrdering.GT; }
|
|
85
|
+
if (x === "Wednesday") {
|
|
86
|
+
if (y === "Wednesday") { return Data$dOrdering.EQ; }
|
|
87
|
+
return Data$dOrdering.LT;
|
|
88
|
+
}
|
|
89
|
+
if (y === "Wednesday") { return Data$dOrdering.GT; }
|
|
90
|
+
if (x === "Thursday") {
|
|
91
|
+
if (y === "Thursday") { return Data$dOrdering.EQ; }
|
|
92
|
+
return Data$dOrdering.LT;
|
|
93
|
+
}
|
|
94
|
+
if (y === "Thursday") { return Data$dOrdering.GT; }
|
|
95
|
+
if (x === "Friday") {
|
|
96
|
+
if (y === "Friday") { return Data$dOrdering.EQ; }
|
|
97
|
+
return Data$dOrdering.LT;
|
|
98
|
+
}
|
|
99
|
+
if (y === "Friday") { return Data$dOrdering.GT; }
|
|
100
|
+
if (x === "Saturday") {
|
|
101
|
+
if (y === "Saturday") { return Data$dOrdering.EQ; }
|
|
102
|
+
return Data$dOrdering.LT;
|
|
103
|
+
}
|
|
104
|
+
if (y === "Saturday") { return Data$dOrdering.GT; }
|
|
105
|
+
if (x === "Sunday" && y === "Sunday") { return Data$dOrdering.EQ; }
|
|
106
|
+
$runtime.fail();
|
|
107
|
+
},
|
|
108
|
+
Eq0: () => eqWeekday
|
|
109
|
+
};
|
|
110
|
+
const eqMonth = {
|
|
111
|
+
eq: x => y => {
|
|
112
|
+
if (x === "January") { return y === "January"; }
|
|
113
|
+
if (x === "February") { return y === "February"; }
|
|
114
|
+
if (x === "March") { return y === "March"; }
|
|
115
|
+
if (x === "April") { return y === "April"; }
|
|
116
|
+
if (x === "May") { return y === "May"; }
|
|
117
|
+
if (x === "June") { return y === "June"; }
|
|
118
|
+
if (x === "July") { return y === "July"; }
|
|
119
|
+
if (x === "August") { return y === "August"; }
|
|
120
|
+
if (x === "September") { return y === "September"; }
|
|
121
|
+
if (x === "October") { return y === "October"; }
|
|
122
|
+
if (x === "November") { return y === "November"; }
|
|
123
|
+
return x === "December" && y === "December";
|
|
124
|
+
}
|
|
125
|
+
};
|
|
126
|
+
const ordMonth = {
|
|
127
|
+
compare: x => y => {
|
|
128
|
+
if (x === "January") {
|
|
129
|
+
if (y === "January") { return Data$dOrdering.EQ; }
|
|
130
|
+
return Data$dOrdering.LT;
|
|
131
|
+
}
|
|
132
|
+
if (y === "January") { return Data$dOrdering.GT; }
|
|
133
|
+
if (x === "February") {
|
|
134
|
+
if (y === "February") { return Data$dOrdering.EQ; }
|
|
135
|
+
return Data$dOrdering.LT;
|
|
136
|
+
}
|
|
137
|
+
if (y === "February") { return Data$dOrdering.GT; }
|
|
138
|
+
if (x === "March") {
|
|
139
|
+
if (y === "March") { return Data$dOrdering.EQ; }
|
|
140
|
+
return Data$dOrdering.LT;
|
|
141
|
+
}
|
|
142
|
+
if (y === "March") { return Data$dOrdering.GT; }
|
|
143
|
+
if (x === "April") {
|
|
144
|
+
if (y === "April") { return Data$dOrdering.EQ; }
|
|
145
|
+
return Data$dOrdering.LT;
|
|
146
|
+
}
|
|
147
|
+
if (y === "April") { return Data$dOrdering.GT; }
|
|
148
|
+
if (x === "May") {
|
|
149
|
+
if (y === "May") { return Data$dOrdering.EQ; }
|
|
150
|
+
return Data$dOrdering.LT;
|
|
151
|
+
}
|
|
152
|
+
if (y === "May") { return Data$dOrdering.GT; }
|
|
153
|
+
if (x === "June") {
|
|
154
|
+
if (y === "June") { return Data$dOrdering.EQ; }
|
|
155
|
+
return Data$dOrdering.LT;
|
|
156
|
+
}
|
|
157
|
+
if (y === "June") { return Data$dOrdering.GT; }
|
|
158
|
+
if (x === "July") {
|
|
159
|
+
if (y === "July") { return Data$dOrdering.EQ; }
|
|
160
|
+
return Data$dOrdering.LT;
|
|
161
|
+
}
|
|
162
|
+
if (y === "July") { return Data$dOrdering.GT; }
|
|
163
|
+
if (x === "August") {
|
|
164
|
+
if (y === "August") { return Data$dOrdering.EQ; }
|
|
165
|
+
return Data$dOrdering.LT;
|
|
166
|
+
}
|
|
167
|
+
if (y === "August") { return Data$dOrdering.GT; }
|
|
168
|
+
if (x === "September") {
|
|
169
|
+
if (y === "September") { return Data$dOrdering.EQ; }
|
|
170
|
+
return Data$dOrdering.LT;
|
|
171
|
+
}
|
|
172
|
+
if (y === "September") { return Data$dOrdering.GT; }
|
|
173
|
+
if (x === "October") {
|
|
174
|
+
if (y === "October") { return Data$dOrdering.EQ; }
|
|
175
|
+
return Data$dOrdering.LT;
|
|
176
|
+
}
|
|
177
|
+
if (y === "October") { return Data$dOrdering.GT; }
|
|
178
|
+
if (x === "November") {
|
|
179
|
+
if (y === "November") { return Data$dOrdering.EQ; }
|
|
180
|
+
return Data$dOrdering.LT;
|
|
181
|
+
}
|
|
182
|
+
if (y === "November") { return Data$dOrdering.GT; }
|
|
183
|
+
if (x === "December" && y === "December") { return Data$dOrdering.EQ; }
|
|
184
|
+
$runtime.fail();
|
|
185
|
+
},
|
|
186
|
+
Eq0: () => eqMonth
|
|
187
|
+
};
|
|
188
|
+
const eqDay = Data$dEq.eqInt;
|
|
189
|
+
const boundedYear = {bottom: -271820, top: 275759, Ord0: () => Data$dOrd.ordInt};
|
|
190
|
+
const boundedWeekday = {bottom: Monday, top: Sunday, Ord0: () => ordWeekday};
|
|
191
|
+
const boundedMonth = {bottom: January, top: December, Ord0: () => ordMonth};
|
|
192
|
+
const boundedEnumYear = {
|
|
193
|
+
cardinality: 547580,
|
|
194
|
+
toEnum: n => {
|
|
195
|
+
if (n >= -271820 && n <= 275759) { return Data$dMaybe.$Maybe("Just", n); }
|
|
196
|
+
return Data$dMaybe.Nothing;
|
|
197
|
+
},
|
|
198
|
+
fromEnum: v => v,
|
|
199
|
+
Bounded0: () => boundedYear,
|
|
200
|
+
Enum1: () => enumYear
|
|
201
|
+
};
|
|
202
|
+
const enumYear = {
|
|
203
|
+
succ: x => {
|
|
204
|
+
const $0 = x + 1 | 0;
|
|
205
|
+
if ($0 >= -271820 && $0 <= 275759) { return Data$dMaybe.$Maybe("Just", $0); }
|
|
206
|
+
return Data$dMaybe.Nothing;
|
|
207
|
+
},
|
|
208
|
+
pred: x => {
|
|
209
|
+
const $0 = x - 1 | 0;
|
|
210
|
+
if ($0 >= -271820 && $0 <= 275759) { return Data$dMaybe.$Maybe("Just", $0); }
|
|
211
|
+
return Data$dMaybe.Nothing;
|
|
212
|
+
},
|
|
213
|
+
Ord0: () => Data$dOrd.ordInt
|
|
214
|
+
};
|
|
215
|
+
const boundedEnumWeekday = {
|
|
216
|
+
cardinality: 7,
|
|
217
|
+
toEnum: v => {
|
|
218
|
+
if (v === 1) { return Data$dMaybe.$Maybe("Just", Monday); }
|
|
219
|
+
if (v === 2) { return Data$dMaybe.$Maybe("Just", Tuesday); }
|
|
220
|
+
if (v === 3) { return Data$dMaybe.$Maybe("Just", Wednesday); }
|
|
221
|
+
if (v === 4) { return Data$dMaybe.$Maybe("Just", Thursday); }
|
|
222
|
+
if (v === 5) { return Data$dMaybe.$Maybe("Just", Friday); }
|
|
223
|
+
if (v === 6) { return Data$dMaybe.$Maybe("Just", Saturday); }
|
|
224
|
+
if (v === 7) { return Data$dMaybe.$Maybe("Just", Sunday); }
|
|
225
|
+
return Data$dMaybe.Nothing;
|
|
226
|
+
},
|
|
227
|
+
fromEnum: v => {
|
|
228
|
+
if (v === "Monday") { return 1; }
|
|
229
|
+
if (v === "Tuesday") { return 2; }
|
|
230
|
+
if (v === "Wednesday") { return 3; }
|
|
231
|
+
if (v === "Thursday") { return 4; }
|
|
232
|
+
if (v === "Friday") { return 5; }
|
|
233
|
+
if (v === "Saturday") { return 6; }
|
|
234
|
+
if (v === "Sunday") { return 7; }
|
|
235
|
+
$runtime.fail();
|
|
236
|
+
},
|
|
237
|
+
Bounded0: () => boundedWeekday,
|
|
238
|
+
Enum1: () => enumWeekday
|
|
239
|
+
};
|
|
240
|
+
const enumWeekday = {
|
|
241
|
+
succ: x => {
|
|
242
|
+
const $0 = (() => {
|
|
243
|
+
if (x === "Monday") { return 2; }
|
|
244
|
+
if (x === "Tuesday") { return 3; }
|
|
245
|
+
if (x === "Wednesday") { return 4; }
|
|
246
|
+
if (x === "Thursday") { return 5; }
|
|
247
|
+
if (x === "Friday") { return 6; }
|
|
248
|
+
if (x === "Saturday") { return 7; }
|
|
249
|
+
if (x === "Sunday") { return 8; }
|
|
250
|
+
$runtime.fail();
|
|
251
|
+
})();
|
|
252
|
+
if ($0 === 1) { return Data$dMaybe.$Maybe("Just", Monday); }
|
|
253
|
+
if ($0 === 2) { return Data$dMaybe.$Maybe("Just", Tuesday); }
|
|
254
|
+
if ($0 === 3) { return Data$dMaybe.$Maybe("Just", Wednesday); }
|
|
255
|
+
if ($0 === 4) { return Data$dMaybe.$Maybe("Just", Thursday); }
|
|
256
|
+
if ($0 === 5) { return Data$dMaybe.$Maybe("Just", Friday); }
|
|
257
|
+
if ($0 === 6) { return Data$dMaybe.$Maybe("Just", Saturday); }
|
|
258
|
+
if ($0 === 7) { return Data$dMaybe.$Maybe("Just", Sunday); }
|
|
259
|
+
return Data$dMaybe.Nothing;
|
|
260
|
+
},
|
|
261
|
+
pred: x => {
|
|
262
|
+
const $0 = (() => {
|
|
263
|
+
if (x === "Monday") { return 0; }
|
|
264
|
+
if (x === "Tuesday") { return 1; }
|
|
265
|
+
if (x === "Wednesday") { return 2; }
|
|
266
|
+
if (x === "Thursday") { return 3; }
|
|
267
|
+
if (x === "Friday") { return 4; }
|
|
268
|
+
if (x === "Saturday") { return 5; }
|
|
269
|
+
if (x === "Sunday") { return 6; }
|
|
270
|
+
$runtime.fail();
|
|
271
|
+
})();
|
|
272
|
+
if ($0 === 1) { return Data$dMaybe.$Maybe("Just", Monday); }
|
|
273
|
+
if ($0 === 2) { return Data$dMaybe.$Maybe("Just", Tuesday); }
|
|
274
|
+
if ($0 === 3) { return Data$dMaybe.$Maybe("Just", Wednesday); }
|
|
275
|
+
if ($0 === 4) { return Data$dMaybe.$Maybe("Just", Thursday); }
|
|
276
|
+
if ($0 === 5) { return Data$dMaybe.$Maybe("Just", Friday); }
|
|
277
|
+
if ($0 === 6) { return Data$dMaybe.$Maybe("Just", Saturday); }
|
|
278
|
+
if ($0 === 7) { return Data$dMaybe.$Maybe("Just", Sunday); }
|
|
279
|
+
return Data$dMaybe.Nothing;
|
|
280
|
+
},
|
|
281
|
+
Ord0: () => ordWeekday
|
|
282
|
+
};
|
|
283
|
+
const boundedEnumMonth = {
|
|
284
|
+
cardinality: 12,
|
|
285
|
+
toEnum: v => {
|
|
286
|
+
if (v === 1) { return Data$dMaybe.$Maybe("Just", January); }
|
|
287
|
+
if (v === 2) { return Data$dMaybe.$Maybe("Just", February); }
|
|
288
|
+
if (v === 3) { return Data$dMaybe.$Maybe("Just", March); }
|
|
289
|
+
if (v === 4) { return Data$dMaybe.$Maybe("Just", April); }
|
|
290
|
+
if (v === 5) { return Data$dMaybe.$Maybe("Just", May); }
|
|
291
|
+
if (v === 6) { return Data$dMaybe.$Maybe("Just", June); }
|
|
292
|
+
if (v === 7) { return Data$dMaybe.$Maybe("Just", July); }
|
|
293
|
+
if (v === 8) { return Data$dMaybe.$Maybe("Just", August); }
|
|
294
|
+
if (v === 9) { return Data$dMaybe.$Maybe("Just", September); }
|
|
295
|
+
if (v === 10) { return Data$dMaybe.$Maybe("Just", October); }
|
|
296
|
+
if (v === 11) { return Data$dMaybe.$Maybe("Just", November); }
|
|
297
|
+
if (v === 12) { return Data$dMaybe.$Maybe("Just", December); }
|
|
298
|
+
return Data$dMaybe.Nothing;
|
|
299
|
+
},
|
|
300
|
+
fromEnum: v => {
|
|
301
|
+
if (v === "January") { return 1; }
|
|
302
|
+
if (v === "February") { return 2; }
|
|
303
|
+
if (v === "March") { return 3; }
|
|
304
|
+
if (v === "April") { return 4; }
|
|
305
|
+
if (v === "May") { return 5; }
|
|
306
|
+
if (v === "June") { return 6; }
|
|
307
|
+
if (v === "July") { return 7; }
|
|
308
|
+
if (v === "August") { return 8; }
|
|
309
|
+
if (v === "September") { return 9; }
|
|
310
|
+
if (v === "October") { return 10; }
|
|
311
|
+
if (v === "November") { return 11; }
|
|
312
|
+
if (v === "December") { return 12; }
|
|
313
|
+
$runtime.fail();
|
|
314
|
+
},
|
|
315
|
+
Bounded0: () => boundedMonth,
|
|
316
|
+
Enum1: () => enumMonth
|
|
317
|
+
};
|
|
318
|
+
const enumMonth = {
|
|
319
|
+
succ: x => {
|
|
320
|
+
const $0 = (() => {
|
|
321
|
+
if (x === "January") { return 2; }
|
|
322
|
+
if (x === "February") { return 3; }
|
|
323
|
+
if (x === "March") { return 4; }
|
|
324
|
+
if (x === "April") { return 5; }
|
|
325
|
+
if (x === "May") { return 6; }
|
|
326
|
+
if (x === "June") { return 7; }
|
|
327
|
+
if (x === "July") { return 8; }
|
|
328
|
+
if (x === "August") { return 9; }
|
|
329
|
+
if (x === "September") { return 10; }
|
|
330
|
+
if (x === "October") { return 11; }
|
|
331
|
+
if (x === "November") { return 12; }
|
|
332
|
+
if (x === "December") { return 13; }
|
|
333
|
+
$runtime.fail();
|
|
334
|
+
})();
|
|
335
|
+
if ($0 === 1) { return Data$dMaybe.$Maybe("Just", January); }
|
|
336
|
+
if ($0 === 2) { return Data$dMaybe.$Maybe("Just", February); }
|
|
337
|
+
if ($0 === 3) { return Data$dMaybe.$Maybe("Just", March); }
|
|
338
|
+
if ($0 === 4) { return Data$dMaybe.$Maybe("Just", April); }
|
|
339
|
+
if ($0 === 5) { return Data$dMaybe.$Maybe("Just", May); }
|
|
340
|
+
if ($0 === 6) { return Data$dMaybe.$Maybe("Just", June); }
|
|
341
|
+
if ($0 === 7) { return Data$dMaybe.$Maybe("Just", July); }
|
|
342
|
+
if ($0 === 8) { return Data$dMaybe.$Maybe("Just", August); }
|
|
343
|
+
if ($0 === 9) { return Data$dMaybe.$Maybe("Just", September); }
|
|
344
|
+
if ($0 === 10) { return Data$dMaybe.$Maybe("Just", October); }
|
|
345
|
+
if ($0 === 11) { return Data$dMaybe.$Maybe("Just", November); }
|
|
346
|
+
if ($0 === 12) { return Data$dMaybe.$Maybe("Just", December); }
|
|
347
|
+
return Data$dMaybe.Nothing;
|
|
348
|
+
},
|
|
349
|
+
pred: x => {
|
|
350
|
+
const $0 = (() => {
|
|
351
|
+
if (x === "January") { return 0; }
|
|
352
|
+
if (x === "February") { return 1; }
|
|
353
|
+
if (x === "March") { return 2; }
|
|
354
|
+
if (x === "April") { return 3; }
|
|
355
|
+
if (x === "May") { return 4; }
|
|
356
|
+
if (x === "June") { return 5; }
|
|
357
|
+
if (x === "July") { return 6; }
|
|
358
|
+
if (x === "August") { return 7; }
|
|
359
|
+
if (x === "September") { return 8; }
|
|
360
|
+
if (x === "October") { return 9; }
|
|
361
|
+
if (x === "November") { return 10; }
|
|
362
|
+
if (x === "December") { return 11; }
|
|
363
|
+
$runtime.fail();
|
|
364
|
+
})();
|
|
365
|
+
if ($0 === 1) { return Data$dMaybe.$Maybe("Just", January); }
|
|
366
|
+
if ($0 === 2) { return Data$dMaybe.$Maybe("Just", February); }
|
|
367
|
+
if ($0 === 3) { return Data$dMaybe.$Maybe("Just", March); }
|
|
368
|
+
if ($0 === 4) { return Data$dMaybe.$Maybe("Just", April); }
|
|
369
|
+
if ($0 === 5) { return Data$dMaybe.$Maybe("Just", May); }
|
|
370
|
+
if ($0 === 6) { return Data$dMaybe.$Maybe("Just", June); }
|
|
371
|
+
if ($0 === 7) { return Data$dMaybe.$Maybe("Just", July); }
|
|
372
|
+
if ($0 === 8) { return Data$dMaybe.$Maybe("Just", August); }
|
|
373
|
+
if ($0 === 9) { return Data$dMaybe.$Maybe("Just", September); }
|
|
374
|
+
if ($0 === 10) { return Data$dMaybe.$Maybe("Just", October); }
|
|
375
|
+
if ($0 === 11) { return Data$dMaybe.$Maybe("Just", November); }
|
|
376
|
+
if ($0 === 12) { return Data$dMaybe.$Maybe("Just", December); }
|
|
377
|
+
return Data$dMaybe.Nothing;
|
|
378
|
+
},
|
|
379
|
+
Ord0: () => ordMonth
|
|
380
|
+
};
|
|
381
|
+
const boundedDay = {bottom: 1, top: 31, Ord0: () => Data$dOrd.ordInt};
|
|
382
|
+
const boundedEnumDay = {
|
|
383
|
+
cardinality: 31,
|
|
384
|
+
toEnum: n => {
|
|
385
|
+
if (n >= 1 && n <= 31) { return Data$dMaybe.$Maybe("Just", n); }
|
|
386
|
+
return Data$dMaybe.Nothing;
|
|
387
|
+
},
|
|
388
|
+
fromEnum: v => v,
|
|
389
|
+
Bounded0: () => boundedDay,
|
|
390
|
+
Enum1: () => enumDay
|
|
391
|
+
};
|
|
392
|
+
const enumDay = {
|
|
393
|
+
succ: x => {
|
|
394
|
+
const $0 = x + 1 | 0;
|
|
395
|
+
if ($0 >= 1 && $0 <= 31) { return Data$dMaybe.$Maybe("Just", $0); }
|
|
396
|
+
return Data$dMaybe.Nothing;
|
|
397
|
+
},
|
|
398
|
+
pred: x => {
|
|
399
|
+
const $0 = x - 1 | 0;
|
|
400
|
+
if ($0 >= 1 && $0 <= 31) { return Data$dMaybe.$Maybe("Just", $0); }
|
|
401
|
+
return Data$dMaybe.Nothing;
|
|
402
|
+
},
|
|
403
|
+
Ord0: () => Data$dOrd.ordInt
|
|
404
|
+
};
|
|
405
|
+
export {
|
|
406
|
+
$Month,
|
|
407
|
+
$Weekday,
|
|
408
|
+
April,
|
|
409
|
+
August,
|
|
410
|
+
December,
|
|
411
|
+
February,
|
|
412
|
+
Friday,
|
|
413
|
+
January,
|
|
414
|
+
July,
|
|
415
|
+
June,
|
|
416
|
+
March,
|
|
417
|
+
May,
|
|
418
|
+
Monday,
|
|
419
|
+
November,
|
|
420
|
+
October,
|
|
421
|
+
Saturday,
|
|
422
|
+
September,
|
|
423
|
+
Sunday,
|
|
424
|
+
Thursday,
|
|
425
|
+
Tuesday,
|
|
426
|
+
Wednesday,
|
|
427
|
+
boundedDay,
|
|
428
|
+
boundedEnumDay,
|
|
429
|
+
boundedEnumMonth,
|
|
430
|
+
boundedEnumWeekday,
|
|
431
|
+
boundedEnumYear,
|
|
432
|
+
boundedMonth,
|
|
433
|
+
boundedWeekday,
|
|
434
|
+
boundedYear,
|
|
435
|
+
enumDay,
|
|
436
|
+
enumMonth,
|
|
437
|
+
enumWeekday,
|
|
438
|
+
enumYear,
|
|
439
|
+
eqDay,
|
|
440
|
+
eqMonth,
|
|
441
|
+
eqWeekday,
|
|
442
|
+
eqYear,
|
|
443
|
+
ordDay,
|
|
444
|
+
ordMonth,
|
|
445
|
+
ordWeekday,
|
|
446
|
+
ordYear,
|
|
447
|
+
showDay,
|
|
448
|
+
showMonth,
|
|
449
|
+
showWeekday,
|
|
450
|
+
showYear
|
|
451
|
+
};
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
import * as $runtime from "../runtime.js";
|
|
2
|
+
import * as Data$dDate$dComponent from "../Data.Date.Component/index.js";
|
|
3
|
+
import * as Data$dEnum$dGen from "../Data.Enum.Gen/index.js";
|
|
4
|
+
const genYear = dictMonadGen => dictMonadGen.Monad0().Bind1().Apply0().Functor0().map(x => {
|
|
5
|
+
if (x >= -271820 && x <= 275759) { return x; }
|
|
6
|
+
$runtime.fail();
|
|
7
|
+
})(dictMonadGen.chooseInt(1900)(2100));
|
|
8
|
+
const genWeekday = dictMonadGen => Data$dEnum$dGen.genBoundedEnum(dictMonadGen)(Data$dDate$dComponent.boundedEnumWeekday);
|
|
9
|
+
const genMonth = dictMonadGen => Data$dEnum$dGen.genBoundedEnum(dictMonadGen)(Data$dDate$dComponent.boundedEnumMonth);
|
|
10
|
+
const genDay = dictMonadGen => Data$dEnum$dGen.genBoundedEnum(dictMonadGen)(Data$dDate$dComponent.boundedEnumDay);
|
|
11
|
+
export {genDay, genMonth, genWeekday, genYear};
|
|
@@ -0,0 +1,25 @@
|
|
|
1
|
+
import * as $runtime from "../runtime.js";
|
|
2
|
+
import * as Data$dDate from "../Data.Date/index.js";
|
|
3
|
+
import * as Data$dDate$dComponent from "../Data.Date.Component/index.js";
|
|
4
|
+
import * as Data$dInt from "../Data.Int/index.js";
|
|
5
|
+
import * as Data$dMaybe from "../Data.Maybe/index.js";
|
|
6
|
+
const genDate = dictMonadGen => {
|
|
7
|
+
const Monad0 = dictMonadGen.Monad0();
|
|
8
|
+
const Bind1 = Monad0.Bind1();
|
|
9
|
+
return Bind1.bind(dictMonadGen.Monad0().Bind1().Apply0().Functor0().map(x => {
|
|
10
|
+
if (x >= -271820 && x <= 275759) { return x; }
|
|
11
|
+
$runtime.fail();
|
|
12
|
+
})(dictMonadGen.chooseInt(1900)(2100)))(year => Bind1.bind(Bind1.Apply0().Functor0().map(x => Data$dInt.toNumber(x))(dictMonadGen.chooseInt(0)(Data$dDate.isLeapYear(year)
|
|
13
|
+
? 365
|
|
14
|
+
: 364)))(days => Monad0.Applicative0().pure((() => {
|
|
15
|
+
const $0 = Data$dDate.exactDate(year)(Data$dDate$dComponent.January)(1);
|
|
16
|
+
const $1 = (() => {
|
|
17
|
+
if ($0.tag === "Just") { return Data$dDate.adjust(days)($0._1); }
|
|
18
|
+
if ($0.tag === "Nothing") { return Data$dMaybe.Nothing; }
|
|
19
|
+
$runtime.fail();
|
|
20
|
+
})();
|
|
21
|
+
if ($1.tag === "Just") { return $1._1; }
|
|
22
|
+
$runtime.fail();
|
|
23
|
+
})())));
|
|
24
|
+
};
|
|
25
|
+
export {genDate};
|
|
@@ -0,0 +1,33 @@
|
|
|
1
|
+
var createUTC = function (y, mo, d, h, m, s, ms) {
|
|
2
|
+
var date = new Date(Date.UTC(y, mo, d, h, m, s, ms));
|
|
3
|
+
if (y >= 0 && y < 100) {
|
|
4
|
+
date.setUTCFullYear(y);
|
|
5
|
+
}
|
|
6
|
+
return date.getTime();
|
|
7
|
+
};
|
|
8
|
+
|
|
9
|
+
export function calcDiff(rec1, rec2) {
|
|
10
|
+
var msUTC1 = createUTC(rec1.year, rec1.month - 1, rec1.day, rec1.hour, rec1.minute, rec1.second, rec1.millisecond);
|
|
11
|
+
var msUTC2 = createUTC(rec2.year, rec2.month - 1, rec2.day, rec2.hour, rec2.minute, rec2.second, rec2.millisecond);
|
|
12
|
+
return msUTC1 - msUTC2;
|
|
13
|
+
}
|
|
14
|
+
|
|
15
|
+
export function adjustImpl(just) {
|
|
16
|
+
return function (nothing) {
|
|
17
|
+
return function (offset) {
|
|
18
|
+
return function (rec) {
|
|
19
|
+
var msUTC = createUTC(rec.year, rec.month - 1, rec.day, rec.hour, rec.minute, rec.second, rec.millisecond);
|
|
20
|
+
var dt = new Date(msUTC + offset);
|
|
21
|
+
return isNaN(dt.getTime()) ? nothing : just({
|
|
22
|
+
year: dt.getUTCFullYear(),
|
|
23
|
+
month: dt.getUTCMonth() + 1,
|
|
24
|
+
day: dt.getUTCDate(),
|
|
25
|
+
hour: dt.getUTCHours(),
|
|
26
|
+
minute: dt.getUTCMinutes(),
|
|
27
|
+
second: dt.getUTCSeconds(),
|
|
28
|
+
millisecond: dt.getUTCMilliseconds()
|
|
29
|
+
});
|
|
30
|
+
};
|
|
31
|
+
};
|
|
32
|
+
};
|
|
33
|
+
}
|
|
@@ -0,0 +1,131 @@
|
|
|
1
|
+
import * as $runtime from "../runtime.js";
|
|
2
|
+
import * as Data$dDate from "../Data.Date/index.js";
|
|
3
|
+
import * as Data$dDate$dComponent from "../Data.Date.Component/index.js";
|
|
4
|
+
import * as Data$dMaybe from "../Data.Maybe/index.js";
|
|
5
|
+
import * as Data$dOrdering from "../Data.Ordering/index.js";
|
|
6
|
+
import * as Data$dTime from "../Data.Time/index.js";
|
|
7
|
+
import {adjustImpl, calcDiff} from "./foreign.js";
|
|
8
|
+
const $DateTime = (_1, _2) => ({tag: "DateTime", _1, _2});
|
|
9
|
+
const DateTime = value0 => value1 => $DateTime(value0, value1);
|
|
10
|
+
const toRecord = v => (
|
|
11
|
+
{
|
|
12
|
+
year: v._1._1,
|
|
13
|
+
month: (() => {
|
|
14
|
+
if (v._1._2 === "January") { return 1; }
|
|
15
|
+
if (v._1._2 === "February") { return 2; }
|
|
16
|
+
if (v._1._2 === "March") { return 3; }
|
|
17
|
+
if (v._1._2 === "April") { return 4; }
|
|
18
|
+
if (v._1._2 === "May") { return 5; }
|
|
19
|
+
if (v._1._2 === "June") { return 6; }
|
|
20
|
+
if (v._1._2 === "July") { return 7; }
|
|
21
|
+
if (v._1._2 === "August") { return 8; }
|
|
22
|
+
if (v._1._2 === "September") { return 9; }
|
|
23
|
+
if (v._1._2 === "October") { return 10; }
|
|
24
|
+
if (v._1._2 === "November") { return 11; }
|
|
25
|
+
if (v._1._2 === "December") { return 12; }
|
|
26
|
+
$runtime.fail();
|
|
27
|
+
})(),
|
|
28
|
+
day: v._1._3,
|
|
29
|
+
hour: v._2._1,
|
|
30
|
+
minute: v._2._2,
|
|
31
|
+
second: v._2._3,
|
|
32
|
+
millisecond: v._2._4
|
|
33
|
+
}
|
|
34
|
+
);
|
|
35
|
+
const time = v => v._2;
|
|
36
|
+
const showDateTime = {show: v => "(DateTime " + Data$dDate.showDate.show(v._1) + " " + Data$dTime.showTime.show(v._2) + ")"};
|
|
37
|
+
const modifyTimeF = dictFunctor => f => v => dictFunctor.map(DateTime(v._1))(f(v._2));
|
|
38
|
+
const modifyTime = f => v => $DateTime(v._1, f(v._2));
|
|
39
|
+
const modifyDateF = dictFunctor => f => v => {
|
|
40
|
+
const $0 = v._2;
|
|
41
|
+
return dictFunctor.map(a => $DateTime(a, $0))(f(v._1));
|
|
42
|
+
};
|
|
43
|
+
const modifyDate = f => v => $DateTime(f(v._1), v._2);
|
|
44
|
+
const eqDateTime = {eq: x => y => Data$dDate.eqDate.eq(x._1)(y._1) && x._2._1 === y._2._1 && x._2._2 === y._2._2 && x._2._3 === y._2._3 && x._2._4 === y._2._4};
|
|
45
|
+
const ordDateTime = {
|
|
46
|
+
compare: x => y => {
|
|
47
|
+
const v = Data$dDate.ordDate.compare(x._1)(y._1);
|
|
48
|
+
if (v === "LT") { return Data$dOrdering.LT; }
|
|
49
|
+
if (v === "GT") { return Data$dOrdering.GT; }
|
|
50
|
+
return Data$dTime.ordTime.compare(x._2)(y._2);
|
|
51
|
+
},
|
|
52
|
+
Eq0: () => eqDateTime
|
|
53
|
+
};
|
|
54
|
+
const diff = dictDuration => dt1 => dt2 => dictDuration.toDuration(calcDiff(toRecord(dt1), toRecord(dt2)));
|
|
55
|
+
const date = v => v._1;
|
|
56
|
+
const boundedDateTime = {
|
|
57
|
+
bottom: /* #__PURE__ */ $DateTime(/* #__PURE__ */ Data$dDate.$$$Date(-271820, Data$dDate$dComponent.January, 1), /* #__PURE__ */ Data$dTime.$Time(0, 0, 0, 0)),
|
|
58
|
+
top: /* #__PURE__ */ $DateTime(/* #__PURE__ */ Data$dDate.$$$Date(275759, Data$dDate$dComponent.December, 31), /* #__PURE__ */ Data$dTime.$Time(23, 59, 59, 999)),
|
|
59
|
+
Ord0: () => ordDateTime
|
|
60
|
+
};
|
|
61
|
+
const adjust = dictDuration => d => dt => {
|
|
62
|
+
const $0 = adjustImpl(Data$dMaybe.Just)(Data$dMaybe.Nothing)(dictDuration.fromDuration(d))(toRecord(dt));
|
|
63
|
+
if ($0.tag === "Just") {
|
|
64
|
+
const $1 = $0._1.year >= -271820 && $0._1.year <= 275759 ? Data$dMaybe.$Maybe("Just", $0._1.year) : Data$dMaybe.Nothing;
|
|
65
|
+
const $2 = $1.tag === "Just" ? Data$dMaybe.$Maybe("Just", Data$dDate.exactDate($1._1)) : Data$dMaybe.Nothing;
|
|
66
|
+
const $3 = (() => {
|
|
67
|
+
if ($0._1.month === 1) { return Data$dMaybe.$Maybe("Just", Data$dDate$dComponent.January); }
|
|
68
|
+
if ($0._1.month === 2) { return Data$dMaybe.$Maybe("Just", Data$dDate$dComponent.February); }
|
|
69
|
+
if ($0._1.month === 3) { return Data$dMaybe.$Maybe("Just", Data$dDate$dComponent.March); }
|
|
70
|
+
if ($0._1.month === 4) { return Data$dMaybe.$Maybe("Just", Data$dDate$dComponent.April); }
|
|
71
|
+
if ($0._1.month === 5) { return Data$dMaybe.$Maybe("Just", Data$dDate$dComponent.May); }
|
|
72
|
+
if ($0._1.month === 6) { return Data$dMaybe.$Maybe("Just", Data$dDate$dComponent.June); }
|
|
73
|
+
if ($0._1.month === 7) { return Data$dMaybe.$Maybe("Just", Data$dDate$dComponent.July); }
|
|
74
|
+
if ($0._1.month === 8) { return Data$dMaybe.$Maybe("Just", Data$dDate$dComponent.August); }
|
|
75
|
+
if ($0._1.month === 9) { return Data$dMaybe.$Maybe("Just", Data$dDate$dComponent.September); }
|
|
76
|
+
if ($0._1.month === 10) { return Data$dMaybe.$Maybe("Just", Data$dDate$dComponent.October); }
|
|
77
|
+
if ($0._1.month === 11) { return Data$dMaybe.$Maybe("Just", Data$dDate$dComponent.November); }
|
|
78
|
+
if ($0._1.month === 12) { return Data$dMaybe.$Maybe("Just", Data$dDate$dComponent.December); }
|
|
79
|
+
return Data$dMaybe.Nothing;
|
|
80
|
+
})();
|
|
81
|
+
const $4 = (() => {
|
|
82
|
+
if ($2.tag === "Just") {
|
|
83
|
+
if ($3.tag === "Just") {
|
|
84
|
+
if ($0._1.day >= 1 && $0._1.day <= 31) { return Data$dMaybe.$Maybe("Just", $2._1($3._1)($0._1.day)); }
|
|
85
|
+
return Data$dMaybe.Nothing;
|
|
86
|
+
}
|
|
87
|
+
return Data$dMaybe.Nothing;
|
|
88
|
+
}
|
|
89
|
+
if ($2.tag === "Nothing") { return Data$dMaybe.Nothing; }
|
|
90
|
+
$runtime.fail();
|
|
91
|
+
})();
|
|
92
|
+
const $5 = (() => {
|
|
93
|
+
if ($4.tag === "Just") { return $4._1; }
|
|
94
|
+
if ($4.tag === "Nothing") { return Data$dMaybe.Nothing; }
|
|
95
|
+
$runtime.fail();
|
|
96
|
+
})();
|
|
97
|
+
const $6 = $5.tag === "Just" ? Data$dMaybe.$Maybe("Just", DateTime($5._1)) : Data$dMaybe.Nothing;
|
|
98
|
+
if ($0._1.hour >= 0 && $0._1.hour <= 23) {
|
|
99
|
+
if ($0._1.minute >= 0 && $0._1.minute <= 59) {
|
|
100
|
+
if ($0._1.second >= 0 && $0._1.second <= 59) {
|
|
101
|
+
if ($0._1.millisecond >= 0 && $0._1.millisecond <= 999) {
|
|
102
|
+
if ($6.tag === "Just") { return Data$dMaybe.$Maybe("Just", $6._1(Data$dTime.$Time($0._1.hour, $0._1.minute, $0._1.second, $0._1.millisecond))); }
|
|
103
|
+
if ($6.tag === "Nothing") { return Data$dMaybe.Nothing; }
|
|
104
|
+
$runtime.fail();
|
|
105
|
+
}
|
|
106
|
+
if ($6.tag === "Just") { return Data$dMaybe.Nothing; }
|
|
107
|
+
if ($6.tag === "Nothing") { return Data$dMaybe.Nothing; }
|
|
108
|
+
$runtime.fail();
|
|
109
|
+
}
|
|
110
|
+
if ($6.tag === "Just") { return Data$dMaybe.Nothing; }
|
|
111
|
+
if ($6.tag === "Nothing") { return Data$dMaybe.Nothing; }
|
|
112
|
+
$runtime.fail();
|
|
113
|
+
}
|
|
114
|
+
if ($0._1.second >= 0 && $0._1.second <= 59) {
|
|
115
|
+
if ($6.tag === "Just") { return Data$dMaybe.Nothing; }
|
|
116
|
+
if ($6.tag === "Nothing") { return Data$dMaybe.Nothing; }
|
|
117
|
+
$runtime.fail();
|
|
118
|
+
}
|
|
119
|
+
if ($6.tag === "Just") { return Data$dMaybe.Nothing; }
|
|
120
|
+
if ($6.tag === "Nothing") { return Data$dMaybe.Nothing; }
|
|
121
|
+
$runtime.fail();
|
|
122
|
+
}
|
|
123
|
+
if ($6.tag === "Just") { return Data$dMaybe.Nothing; }
|
|
124
|
+
if ($6.tag === "Nothing") { return Data$dMaybe.Nothing; }
|
|
125
|
+
$runtime.fail();
|
|
126
|
+
}
|
|
127
|
+
if ($0.tag === "Nothing") { return Data$dMaybe.Nothing; }
|
|
128
|
+
$runtime.fail();
|
|
129
|
+
};
|
|
130
|
+
export {$DateTime, DateTime, adjust, boundedDateTime, date, diff, eqDateTime, modifyDate, modifyDateF, modifyTime, modifyTimeF, ordDateTime, showDateTime, time, toRecord};
|
|
131
|
+
export * from "./foreign.js";
|
|
@@ -0,0 +1,8 @@
|
|
|
1
|
+
import * as Data$dDate$dGen from "../Data.Date.Gen/index.js";
|
|
2
|
+
import * as Data$dDateTime from "../Data.DateTime/index.js";
|
|
3
|
+
import * as Data$dTime$dGen from "../Data.Time.Gen/index.js";
|
|
4
|
+
const genDateTime = dictMonadGen => {
|
|
5
|
+
const Apply0 = dictMonadGen.Monad0().Bind1().Apply0();
|
|
6
|
+
return Apply0.apply(Apply0.Functor0().map(Data$dDateTime.DateTime)(Data$dDate$dGen.genDate(dictMonadGen)))(Data$dTime$dGen.genTime(dictMonadGen));
|
|
7
|
+
};
|
|
8
|
+
export {genDateTime};
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
var createDateTime = function (y, m, d, h, mi, s, ms) {
|
|
2
|
+
var dateTime = new Date(Date.UTC(y, m, d, h, mi, s, ms));
|
|
3
|
+
if (y >= 0 && y < 100) {
|
|
4
|
+
dateTime.setUTCFullYear(y);
|
|
5
|
+
}
|
|
6
|
+
return dateTime;
|
|
7
|
+
};
|
|
8
|
+
|
|
9
|
+
export function fromDateTimeImpl(y, mo, d, h, mi, s, ms) {
|
|
10
|
+
return createDateTime(y, mo - 1, d, h, mi, s, ms).getTime();
|
|
11
|
+
}
|
|
12
|
+
|
|
13
|
+
export function toDateTimeImpl(ctor) {
|
|
14
|
+
return function (instant) {
|
|
15
|
+
var dt = new Date(instant);
|
|
16
|
+
return ctor (dt.getUTCFullYear())(dt.getUTCMonth() + 1)(dt.getUTCDate())(dt.getUTCHours())(dt.getUTCMinutes())(dt.getUTCSeconds())(dt.getUTCMilliseconds());
|
|
17
|
+
};
|
|
18
|
+
}
|