@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,262 @@
|
|
|
1
|
+
/* Styles for dynamically-generated content (PureScript/D3).
|
|
2
|
+
Imported by Figure and FigureSrc components.
|
|
3
|
+
These are global because PureScript renders into multiple containers
|
|
4
|
+
(#fig, #fig-input, #fig-intermediate) outside the Svelte component tree. */
|
|
5
|
+
|
|
6
|
+
.legend-box {
|
|
7
|
+
stroke: lightgray;
|
|
8
|
+
stroke-width: 0.5px;
|
|
9
|
+
fill: none;
|
|
10
|
+
}
|
|
11
|
+
|
|
12
|
+
.legend-text {
|
|
13
|
+
font-size: 8pt;
|
|
14
|
+
}
|
|
15
|
+
|
|
16
|
+
.title-text {
|
|
17
|
+
fill: Black;
|
|
18
|
+
font-size: 9pt;
|
|
19
|
+
}
|
|
20
|
+
|
|
21
|
+
.table-caption {
|
|
22
|
+
box-shadow: inset 0 -1px 2px rgba(0, 0, 0, 0.25);
|
|
23
|
+
background: #fafafa;
|
|
24
|
+
padding: 0.1em 0.2em;
|
|
25
|
+
border-radius: 1px;
|
|
26
|
+
display: inline-block;
|
|
27
|
+
}
|
|
28
|
+
|
|
29
|
+
.table-view th {
|
|
30
|
+
font-size: 11px;
|
|
31
|
+
text-align: left;
|
|
32
|
+
border-bottom: 'thin solid';
|
|
33
|
+
}
|
|
34
|
+
|
|
35
|
+
.table-view td {
|
|
36
|
+
font-size: 11px;
|
|
37
|
+
}
|
|
38
|
+
|
|
39
|
+
.table-view td:nth-child(1) {
|
|
40
|
+
color: lightgray;
|
|
41
|
+
}
|
|
42
|
+
|
|
43
|
+
table {
|
|
44
|
+
border-collapse: collapse;
|
|
45
|
+
}
|
|
46
|
+
|
|
47
|
+
thead th {
|
|
48
|
+
vertical-align: top;
|
|
49
|
+
}
|
|
50
|
+
|
|
51
|
+
.table-cell {
|
|
52
|
+
border-radius: 0px;
|
|
53
|
+
}
|
|
54
|
+
|
|
55
|
+
td,
|
|
56
|
+
th {
|
|
57
|
+
white-space: nowrap;
|
|
58
|
+
overflow: hidden;
|
|
59
|
+
text-overflow: ellipsis;
|
|
60
|
+
max-width: 120px;
|
|
61
|
+
}
|
|
62
|
+
|
|
63
|
+
td.table-cell {
|
|
64
|
+
background-color: white;
|
|
65
|
+
}
|
|
66
|
+
|
|
67
|
+
.table-cell.inert {
|
|
68
|
+
color: lightgrey;
|
|
69
|
+
}
|
|
70
|
+
|
|
71
|
+
.table-cell.selected-primary-persistent {
|
|
72
|
+
background-color: #93e9be;
|
|
73
|
+
}
|
|
74
|
+
|
|
75
|
+
.table-cell.selected-secondary-persistent {
|
|
76
|
+
background-color: rgb(226, 226, 226);
|
|
77
|
+
}
|
|
78
|
+
|
|
79
|
+
.table-cell.selected-primary-transient {
|
|
80
|
+
color: blue;
|
|
81
|
+
}
|
|
82
|
+
|
|
83
|
+
.table-row {
|
|
84
|
+
display: table-row;
|
|
85
|
+
}
|
|
86
|
+
|
|
87
|
+
.table-row.hidden {
|
|
88
|
+
visibility: collapse;
|
|
89
|
+
}
|
|
90
|
+
|
|
91
|
+
/* To hide a column, add 'hidden' to every cell in the column. visibility: collapse doesn't work here. */
|
|
92
|
+
.table-cell.hidden {
|
|
93
|
+
display: none;
|
|
94
|
+
}
|
|
95
|
+
|
|
96
|
+
/* hack to match Safari-only */
|
|
97
|
+
@supports (hanging-punctuation: first) and (font: -apple-system-body) and (-webkit-appearance: none) {
|
|
98
|
+
.table-row.hidden {
|
|
99
|
+
display: none; /* suboptimal for table rows but Safari doesn't support visibility: collapse */
|
|
100
|
+
}
|
|
101
|
+
}
|
|
102
|
+
|
|
103
|
+
.linked-text {
|
|
104
|
+
border-radius: 0px;
|
|
105
|
+
background-color: White;
|
|
106
|
+
border-bottom-style: solid;
|
|
107
|
+
border-bottom-color: white;
|
|
108
|
+
border-bottom-width: 1px;
|
|
109
|
+
display: inline;
|
|
110
|
+
}
|
|
111
|
+
|
|
112
|
+
.linked-text.inert {
|
|
113
|
+
fill: lightgrey;
|
|
114
|
+
}
|
|
115
|
+
|
|
116
|
+
.linked-text.selected-primary-persistent {
|
|
117
|
+
background-color: #93e9be;
|
|
118
|
+
}
|
|
119
|
+
|
|
120
|
+
.linked-text.selected-primary-transient {
|
|
121
|
+
border-bottom-color: blue;
|
|
122
|
+
}
|
|
123
|
+
|
|
124
|
+
.linked-text.selected-secondary-persistent {
|
|
125
|
+
background-color: rgb(226, 226, 226);
|
|
126
|
+
}
|
|
127
|
+
|
|
128
|
+
.linked-text.selected-secondary-transient {
|
|
129
|
+
border-bottom-color: lightblue;
|
|
130
|
+
}
|
|
131
|
+
|
|
132
|
+
.matrix-cell {
|
|
133
|
+
stroke: DarkGray;
|
|
134
|
+
fill: White;
|
|
135
|
+
}
|
|
136
|
+
|
|
137
|
+
.matrix-cell.inert {
|
|
138
|
+
stroke: DarkGray;
|
|
139
|
+
fill: rgb(185, 185, 185);
|
|
140
|
+
}
|
|
141
|
+
|
|
142
|
+
.matrix-cell.selected-primary-persistent {
|
|
143
|
+
fill: rgb(214, 240, 214);
|
|
144
|
+
}
|
|
145
|
+
|
|
146
|
+
.matrix-cell.selected-secondary-persistent {
|
|
147
|
+
fill: rgb(214, 240, 214);
|
|
148
|
+
}
|
|
149
|
+
|
|
150
|
+
.matrix-cell-text {
|
|
151
|
+
font-size: 10pt;
|
|
152
|
+
font-family: 'Roboto', sans-serif;
|
|
153
|
+
color: rgb(205, 205, 205);
|
|
154
|
+
}
|
|
155
|
+
|
|
156
|
+
.matrix-cell-text.selected-primary-persistent {
|
|
157
|
+
font-weight: 400;
|
|
158
|
+
color: darkgreen;
|
|
159
|
+
}
|
|
160
|
+
|
|
161
|
+
.matrix-cell-text.selected-secondary-persistent {
|
|
162
|
+
color: green;
|
|
163
|
+
}
|
|
164
|
+
|
|
165
|
+
.matrix-cell-text.selected-primary-transient {
|
|
166
|
+
font-weight: 400;
|
|
167
|
+
color: blue;
|
|
168
|
+
}
|
|
169
|
+
|
|
170
|
+
.matrix-cell-text.selected-secondary-transient {
|
|
171
|
+
color: royalblue;
|
|
172
|
+
}
|
|
173
|
+
|
|
174
|
+
.scatterplot-point {
|
|
175
|
+
fill: white;
|
|
176
|
+
stroke: black;
|
|
177
|
+
}
|
|
178
|
+
|
|
179
|
+
.scatterplot-point.inert {
|
|
180
|
+
fill: rgb(185, 185, 185);
|
|
181
|
+
stroke: black;
|
|
182
|
+
}
|
|
183
|
+
|
|
184
|
+
.scatterplot-point.selected-primary-persistent {
|
|
185
|
+
fill: LightGreen;
|
|
186
|
+
stroke: teal;
|
|
187
|
+
}
|
|
188
|
+
|
|
189
|
+
.scatterplot-point.selected-secondary-transient {
|
|
190
|
+
stroke: blue;
|
|
191
|
+
stroke-width: 1;
|
|
192
|
+
}
|
|
193
|
+
|
|
194
|
+
.scatterplot-point.selected-primary-transient {
|
|
195
|
+
stroke: blue;
|
|
196
|
+
stroke-width: 1;
|
|
197
|
+
}
|
|
198
|
+
|
|
199
|
+
.scatterplot-point.selected-secondary-persistent {
|
|
200
|
+
fill: rgb(226, 226, 226);
|
|
201
|
+
}
|
|
202
|
+
|
|
203
|
+
.scatterplot-point.selected-secondary-transient {
|
|
204
|
+
stroke-width: 1;
|
|
205
|
+
}
|
|
206
|
+
|
|
207
|
+
.para-text + .para-text {
|
|
208
|
+
margin-top: 0.75em;
|
|
209
|
+
}
|
|
210
|
+
|
|
211
|
+
.para-text {
|
|
212
|
+
font-size: 10pt;
|
|
213
|
+
}
|
|
214
|
+
|
|
215
|
+
.bar {
|
|
216
|
+
stroke-width: 1;
|
|
217
|
+
}
|
|
218
|
+
|
|
219
|
+
.tree-node {
|
|
220
|
+
display: grid;
|
|
221
|
+
grid-template-columns: auto 1fr;
|
|
222
|
+
gap: 8px;
|
|
223
|
+
align-items: start;
|
|
224
|
+
}
|
|
225
|
+
|
|
226
|
+
.tree-children {
|
|
227
|
+
display: grid;
|
|
228
|
+
grid-auto-rows: min-content;
|
|
229
|
+
gap: 4px;
|
|
230
|
+
border-left: 2px solid #ccc;
|
|
231
|
+
padding-left: 8px;
|
|
232
|
+
}
|
|
233
|
+
|
|
234
|
+
.tree-label {
|
|
235
|
+
background: #f8f8f8;
|
|
236
|
+
border: 1px solid #ccc;
|
|
237
|
+
padding: 2px 6px;
|
|
238
|
+
border-radius: 4px;
|
|
239
|
+
}
|
|
240
|
+
|
|
241
|
+
.node {
|
|
242
|
+
display: grid;
|
|
243
|
+
grid-template-columns: auto 1fr;
|
|
244
|
+
gap: 6px;
|
|
245
|
+
align-items: start;
|
|
246
|
+
}
|
|
247
|
+
|
|
248
|
+
.tree-children.columnar {
|
|
249
|
+
display: grid;
|
|
250
|
+
grid-template-columns: max-content 1fr;
|
|
251
|
+
column-gap: 12px;
|
|
252
|
+
row-gap: 4px;
|
|
253
|
+
}
|
|
254
|
+
|
|
255
|
+
.tree-children.columnar > .tree-node {
|
|
256
|
+
display: contents;
|
|
257
|
+
}
|
|
258
|
+
|
|
259
|
+
.tree-children.columnar .tree-children {
|
|
260
|
+
border-left: none;
|
|
261
|
+
padding-left: 0;
|
|
262
|
+
}
|
|
@@ -0,0 +1,45 @@
|
|
|
1
|
+
import prettier from 'eslint-config-prettier';
|
|
2
|
+
import { fileURLToPath } from 'node:url';
|
|
3
|
+
import { includeIgnoreFile } from '@eslint/compat';
|
|
4
|
+
import js from '@eslint/js';
|
|
5
|
+
import svelte from 'eslint-plugin-svelte';
|
|
6
|
+
import { defineConfig, globalIgnores } from 'eslint/config';
|
|
7
|
+
import globals from 'globals';
|
|
8
|
+
import ts from 'typescript-eslint';
|
|
9
|
+
import svelteConfig from './svelte.config.js';
|
|
10
|
+
|
|
11
|
+
const gitignorePath = fileURLToPath(new URL('./.gitignore', import.meta.url));
|
|
12
|
+
|
|
13
|
+
export default defineConfig(
|
|
14
|
+
globalIgnores(['static/**', 'src/lib/fluid/**']),
|
|
15
|
+
includeIgnoreFile(gitignorePath),
|
|
16
|
+
js.configs.recommended,
|
|
17
|
+
...ts.configs.recommended,
|
|
18
|
+
...svelte.configs.recommended,
|
|
19
|
+
prettier,
|
|
20
|
+
...svelte.configs.prettier,
|
|
21
|
+
{
|
|
22
|
+
languageOptions: { globals: { ...globals.browser, ...globals.node } },
|
|
23
|
+
|
|
24
|
+
rules: {
|
|
25
|
+
// typescript-eslint strongly recommend that you do not use the no-undef lint rule on TypeScript projects.
|
|
26
|
+
// see: https://typescript-eslint.io/troubleshooting/faqs/eslint/#i-get-errors-from-the-no-undef-rule-about-global-variables-not-being-defined-even-though-there-are-no-typescript-errors
|
|
27
|
+
'no-undef': 'off'
|
|
28
|
+
}
|
|
29
|
+
},
|
|
30
|
+
{
|
|
31
|
+
files: ['**/*.svelte', '**/*.svelte.ts', '**/*.svelte.js'],
|
|
32
|
+
|
|
33
|
+
languageOptions: {
|
|
34
|
+
parserOptions: {
|
|
35
|
+
projectService: true,
|
|
36
|
+
extraFileExtensions: ['.svelte'],
|
|
37
|
+
parser: ts.parser,
|
|
38
|
+
svelteConfig
|
|
39
|
+
}
|
|
40
|
+
},
|
|
41
|
+
rules: {
|
|
42
|
+
'svelte/no-navigation-without-resolve': 'off'
|
|
43
|
+
}
|
|
44
|
+
}
|
|
45
|
+
);
|
|
@@ -0,0 +1,46 @@
|
|
|
1
|
+
{
|
|
2
|
+
"name": "article",
|
|
3
|
+
"private": true,
|
|
4
|
+
"version": "0.0.1",
|
|
5
|
+
"type": "module",
|
|
6
|
+
"scripts": {
|
|
7
|
+
"dev": "vite dev",
|
|
8
|
+
"build": "vite build",
|
|
9
|
+
"preview": "vite preview",
|
|
10
|
+
"prepare": "svelte-kit sync || echo ''",
|
|
11
|
+
"check": "svelte-kit sync && svelte-check --tsconfig ./tsconfig.json",
|
|
12
|
+
"check:watch": "svelte-kit sync && svelte-check --tsconfig ./tsconfig.json --watch",
|
|
13
|
+
"format": "prettier --write .",
|
|
14
|
+
"lint": "prettier --check . && eslint .",
|
|
15
|
+
"test": "../../script/test-website.sh"
|
|
16
|
+
},
|
|
17
|
+
"dependencies": {
|
|
18
|
+
"@explorable-viz/fluid": "workspace:*"
|
|
19
|
+
},
|
|
20
|
+
"devDependencies": {
|
|
21
|
+
"@codemirror/commands": "^6.8.1",
|
|
22
|
+
"@codemirror/lang-python": "^6.2.1",
|
|
23
|
+
"@codemirror/state": "^6.5.2",
|
|
24
|
+
"@codemirror/theme-one-dark": "^6.1.3",
|
|
25
|
+
"@codemirror/view": "^6.38.3",
|
|
26
|
+
"@eslint/compat": "^1.4.0",
|
|
27
|
+
"@eslint/js": "^9.39.1",
|
|
28
|
+
"@fontsource/roboto": "^5.2.9",
|
|
29
|
+
"@sveltejs/adapter-static": "^3.0.10",
|
|
30
|
+
"@sveltejs/kit": "^2.49.1",
|
|
31
|
+
"@sveltejs/vite-plugin-svelte": "^6.2.1",
|
|
32
|
+
"@types/node": "^24",
|
|
33
|
+
"d3": "^7.9.0",
|
|
34
|
+
"eslint": "^9.39.1",
|
|
35
|
+
"eslint-config-prettier": "^10.1.8",
|
|
36
|
+
"eslint-plugin-svelte": "^3.13.1",
|
|
37
|
+
"globals": "^16.5.0",
|
|
38
|
+
"prettier": "^3.7.4",
|
|
39
|
+
"prettier-plugin-svelte": "^3.4.0",
|
|
40
|
+
"svelte": "^5.45.6",
|
|
41
|
+
"svelte-check": "^4.3.4",
|
|
42
|
+
"typescript": "^5.9.3",
|
|
43
|
+
"typescript-eslint": "^8.48.1",
|
|
44
|
+
"vite": "^7.2.6"
|
|
45
|
+
}
|
|
46
|
+
}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
// See https://svelte.dev/docs/kit/types#app.d.ts
|
|
2
|
+
// for information about these interfaces
|
|
3
|
+
declare global {
|
|
4
|
+
namespace App {
|
|
5
|
+
// interface Error {}
|
|
6
|
+
// interface Locals {}
|
|
7
|
+
// interface PageData {}
|
|
8
|
+
// interface PageState {}
|
|
9
|
+
// interface Platform {}
|
|
10
|
+
}
|
|
11
|
+
}
|
|
12
|
+
|
|
13
|
+
export {};
|
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
<!doctype html>
|
|
2
|
+
<html lang="en">
|
|
3
|
+
<head>
|
|
4
|
+
<meta charset="utf-8" />
|
|
5
|
+
<meta name="viewport" content="width=device-width, initial-scale=1" />
|
|
6
|
+
%sveltekit.head%
|
|
7
|
+
<title>Fluid</title>
|
|
8
|
+
</head>
|
|
9
|
+
<body data-sveltekit-preload-data="hover">
|
|
10
|
+
<div style="display: contents">%sveltekit.body%</div>
|
|
11
|
+
</body>
|
|
12
|
+
</html>
|
|
@@ -0,0 +1,245 @@
|
|
|
1
|
+
@charset "UTF-8";
|
|
2
|
+
|
|
3
|
+
a:link {
|
|
4
|
+
color: darkslategray;
|
|
5
|
+
}
|
|
6
|
+
|
|
7
|
+
a:visited {
|
|
8
|
+
color: #004d40;
|
|
9
|
+
}
|
|
10
|
+
|
|
11
|
+
a:hover {
|
|
12
|
+
color: #009688;
|
|
13
|
+
}
|
|
14
|
+
|
|
15
|
+
a:active {
|
|
16
|
+
color: #003d33;
|
|
17
|
+
}
|
|
18
|
+
|
|
19
|
+
.right-justified {
|
|
20
|
+
margin-left: auto;
|
|
21
|
+
width: fit-content;
|
|
22
|
+
}
|
|
23
|
+
|
|
24
|
+
.nowrap {
|
|
25
|
+
white-space: nowrap;
|
|
26
|
+
}
|
|
27
|
+
|
|
28
|
+
code {
|
|
29
|
+
font-family: 'Fira Code', monospace;
|
|
30
|
+
font-size: 11pt;
|
|
31
|
+
}
|
|
32
|
+
|
|
33
|
+
body {
|
|
34
|
+
font-size: 12pt;
|
|
35
|
+
font-family: 'Roboto', sans-serif;
|
|
36
|
+
font-weight: 300;
|
|
37
|
+
line-height: 1.25;
|
|
38
|
+
padding: 0;
|
|
39
|
+
margin: 0;
|
|
40
|
+
background-color: #ffffff;
|
|
41
|
+
color: #404040;
|
|
42
|
+
margin-bottom: 10em;
|
|
43
|
+
}
|
|
44
|
+
|
|
45
|
+
p {
|
|
46
|
+
margin-top: 1em;
|
|
47
|
+
margin-bottom: 1em;
|
|
48
|
+
}
|
|
49
|
+
|
|
50
|
+
p + p {
|
|
51
|
+
margin-top: 0;
|
|
52
|
+
}
|
|
53
|
+
|
|
54
|
+
svg {
|
|
55
|
+
overflow: visible;
|
|
56
|
+
}
|
|
57
|
+
|
|
58
|
+
.highlight {
|
|
59
|
+
font-style: oblique;
|
|
60
|
+
}
|
|
61
|
+
|
|
62
|
+
.align-right {
|
|
63
|
+
text-align: right;
|
|
64
|
+
}
|
|
65
|
+
|
|
66
|
+
h2 {
|
|
67
|
+
font-size: 18pt;
|
|
68
|
+
}
|
|
69
|
+
|
|
70
|
+
h3 {
|
|
71
|
+
width: 100%;
|
|
72
|
+
font-size: 16pt;
|
|
73
|
+
font-weight: 500;
|
|
74
|
+
margin-top: 10pt;
|
|
75
|
+
margin-bottom: 4pt;
|
|
76
|
+
border-bottom: 0.5px solid lightgray;
|
|
77
|
+
font-variant: all-small-caps;
|
|
78
|
+
}
|
|
79
|
+
|
|
80
|
+
h4 {
|
|
81
|
+
font-size: 16pt;
|
|
82
|
+
font-weight: 500;
|
|
83
|
+
margin-top: 0.4em;
|
|
84
|
+
margin-bottom: 0;
|
|
85
|
+
}
|
|
86
|
+
|
|
87
|
+
ul {
|
|
88
|
+
padding-left: 20px;
|
|
89
|
+
margin-top: 0;
|
|
90
|
+
margin-bottom: 0;
|
|
91
|
+
}
|
|
92
|
+
|
|
93
|
+
li {
|
|
94
|
+
margin-bottom: 1ex;
|
|
95
|
+
}
|
|
96
|
+
|
|
97
|
+
li:last-child {
|
|
98
|
+
margin-bottom: 0;
|
|
99
|
+
}
|
|
100
|
+
|
|
101
|
+
.table-caption {
|
|
102
|
+
text-align: left;
|
|
103
|
+
}
|
|
104
|
+
|
|
105
|
+
nav ul {
|
|
106
|
+
padding-left: 0;
|
|
107
|
+
list-style: none;
|
|
108
|
+
}
|
|
109
|
+
|
|
110
|
+
nav ul li {
|
|
111
|
+
float: left;
|
|
112
|
+
overflow: hidden;
|
|
113
|
+
margin-bottom: 0;
|
|
114
|
+
}
|
|
115
|
+
|
|
116
|
+
nav ul li a {
|
|
117
|
+
font-size: 16pt;
|
|
118
|
+
font-variant: all-small-caps;
|
|
119
|
+
}
|
|
120
|
+
|
|
121
|
+
nav ul li:not(:last-child)::after {
|
|
122
|
+
content: '•';
|
|
123
|
+
margin-right: 5px;
|
|
124
|
+
margin-left: 5px;
|
|
125
|
+
}
|
|
126
|
+
|
|
127
|
+
nav ul li.active-page a {
|
|
128
|
+
pointer-events: none;
|
|
129
|
+
color: inherit;
|
|
130
|
+
text-decoration: none;
|
|
131
|
+
cursor: default;
|
|
132
|
+
/* color: rgb(135, 129, 255); */
|
|
133
|
+
}
|
|
134
|
+
|
|
135
|
+
.cm-editor {
|
|
136
|
+
background: #2d2d2d;
|
|
137
|
+
color: #f0f0f0;
|
|
138
|
+
}
|
|
139
|
+
|
|
140
|
+
.cm-line {
|
|
141
|
+
font-family: 'Fira Code';
|
|
142
|
+
font-size: 9pt;
|
|
143
|
+
}
|
|
144
|
+
|
|
145
|
+
.cm-gutter {
|
|
146
|
+
background-color: #232323;
|
|
147
|
+
}
|
|
148
|
+
|
|
149
|
+
.cm-gutterElement {
|
|
150
|
+
font-family: 'Fira Code';
|
|
151
|
+
font-size: 9pt;
|
|
152
|
+
color: #88c0d0;
|
|
153
|
+
}
|
|
154
|
+
|
|
155
|
+
.right-border {
|
|
156
|
+
border-right: 0.5px solid lightgray;
|
|
157
|
+
padding-right: 6px;
|
|
158
|
+
}
|
|
159
|
+
|
|
160
|
+
.right-border + div {
|
|
161
|
+
padding-left: 4px;
|
|
162
|
+
}
|
|
163
|
+
|
|
164
|
+
:root {
|
|
165
|
+
--toggle-button-width: 24px;
|
|
166
|
+
}
|
|
167
|
+
|
|
168
|
+
.flex-bottom-align {
|
|
169
|
+
display: flex;
|
|
170
|
+
flex-direction: row;
|
|
171
|
+
}
|
|
172
|
+
|
|
173
|
+
.flex-bottom-align:first-child {
|
|
174
|
+
margin-top: auto;
|
|
175
|
+
}
|
|
176
|
+
|
|
177
|
+
.flex-left-align {
|
|
178
|
+
display: flex;
|
|
179
|
+
flex-direction: column;
|
|
180
|
+
align-items: start;
|
|
181
|
+
}
|
|
182
|
+
|
|
183
|
+
.flex-right-align {
|
|
184
|
+
display: flex;
|
|
185
|
+
flex-direction: column;
|
|
186
|
+
align-items: flex-end;
|
|
187
|
+
}
|
|
188
|
+
|
|
189
|
+
.flex-top-align {
|
|
190
|
+
display: flex;
|
|
191
|
+
flex-direction: row;
|
|
192
|
+
align-items: flex-start;
|
|
193
|
+
}
|
|
194
|
+
|
|
195
|
+
.flex-bottom-align {
|
|
196
|
+
display: flex;
|
|
197
|
+
flex-direction: row;
|
|
198
|
+
align-items: flex-end;
|
|
199
|
+
}
|
|
200
|
+
|
|
201
|
+
.data-pane-button {
|
|
202
|
+
font-size: 10pt;
|
|
203
|
+
}
|
|
204
|
+
|
|
205
|
+
.data-pane-column {
|
|
206
|
+
border-right: 1px dotted #cccccc;
|
|
207
|
+
}
|
|
208
|
+
|
|
209
|
+
.data-pane-hidden .data-pane {
|
|
210
|
+
visibility: hidden;
|
|
211
|
+
}
|
|
212
|
+
|
|
213
|
+
.data-pane-hidden .data-pane * {
|
|
214
|
+
display: none;
|
|
215
|
+
}
|
|
216
|
+
|
|
217
|
+
.data-pane {
|
|
218
|
+
padding-right: 0.25em;
|
|
219
|
+
}
|
|
220
|
+
|
|
221
|
+
.data-pane * {
|
|
222
|
+
font-size: 10pt;
|
|
223
|
+
}
|
|
224
|
+
|
|
225
|
+
.data-pane p {
|
|
226
|
+
margin-right: 3px;
|
|
227
|
+
}
|
|
228
|
+
|
|
229
|
+
/* Not actually double-size any more.. */
|
|
230
|
+
.double-size {
|
|
231
|
+
transform: scale(1.5);
|
|
232
|
+
transform-origin: top;
|
|
233
|
+
}
|
|
234
|
+
|
|
235
|
+
body.standalone {
|
|
236
|
+
height: 100%;
|
|
237
|
+
display: grid;
|
|
238
|
+
justify-items: center;
|
|
239
|
+
align-items: start;
|
|
240
|
+
}
|
|
241
|
+
|
|
242
|
+
/* Needed for contained height specifications to work */
|
|
243
|
+
html {
|
|
244
|
+
height: 100%;
|
|
245
|
+
}
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
@@ -0,0 +1,27 @@
|
|
|
1
|
+
import BristolLogo from '$lib/assets/image/bristol.png';
|
|
2
|
+
import ICCSLogo from '$lib/assets/image/iccs.png';
|
|
3
|
+
import SchmidtLogo from '$lib/assets/image/schmidt.png';
|
|
4
|
+
import TuringLogo from '$lib/assets/image/turing.jpg';
|
|
5
|
+
|
|
6
|
+
export const supporters = [
|
|
7
|
+
{
|
|
8
|
+
url: 'https://www.turing.ac.uk/',
|
|
9
|
+
name: 'The Alan Turing Institute',
|
|
10
|
+
logo: TuringLogo
|
|
11
|
+
},
|
|
12
|
+
{
|
|
13
|
+
url: 'https://plrg-bristol.github.io/',
|
|
14
|
+
name: 'University of Bristol',
|
|
15
|
+
logo: BristolLogo
|
|
16
|
+
},
|
|
17
|
+
{
|
|
18
|
+
url: 'https://iccs.cam.ac.uk/',
|
|
19
|
+
name: 'Institute of Computing for Climate Science',
|
|
20
|
+
logo: ICCSLogo
|
|
21
|
+
},
|
|
22
|
+
{
|
|
23
|
+
url: 'https://www.schmidtsciences.org/',
|
|
24
|
+
name: 'Schmidt Sciences',
|
|
25
|
+
logo: SchmidtLogo
|
|
26
|
+
}
|
|
27
|
+
] as const;
|
|
@@ -0,0 +1,15 @@
|
|
|
1
|
+
<script lang="ts">
|
|
2
|
+
import '$lib/assets/css/styles.css';
|
|
3
|
+
import '@fontsource/roboto/latin-300.css';
|
|
4
|
+
import '@fontsource/roboto/latin-500.css';
|
|
5
|
+
|
|
6
|
+
import favicon from '$lib/assets/image/favicon.ico';
|
|
7
|
+
|
|
8
|
+
let { children } = $props();
|
|
9
|
+
</script>
|
|
10
|
+
|
|
11
|
+
<svelte:head>
|
|
12
|
+
<link rel="icon" href={favicon} />
|
|
13
|
+
</svelte:head>
|
|
14
|
+
|
|
15
|
+
{@render children()}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
export const prerender = true;
|