git.iko.soy/rowtype-yoga/psfp
on master help sign in
Update playground to 0.14
6709b95Mark Eibes
playground/packages.dhall+2−8
compare with master
unifiedsplit
@@ -116,13 +116,7 @@ let additions =
116 }
116 }
117-------------------------------
117-------------------------------
118-}
118-}
119−
120−
121let upstream =
119let upstream =
122− https://github.com/purescript/package-sets/releases/download/psc-0.13.6-20200123/packages.dhall sha256:687bb9a2d38f2026a89772c47390d02939340b01e31aaa22de9247eadd64af05
120+ https://github.com/purescript/package-sets/releases/download/psc-0.14.0-20210317/packages.dhall sha256:e2e744972f9b60188dcf07f41418661b505c9ee2e9f91e57e67daefad3a5ae09
123−
124−let overrides = {=}
125−
126−let additions = {=}
127
121
128−in upstream // overrides // additions
122+in upstream
playground/spago.dhall+17−16
@@ -4,22 +4,23 @@ You can edit this file as you like.
4-}
4-}
5{ name = "my-project"
5{ name = "my-project"
6, dependencies =
6, dependencies =
7− [ "aff"
7+ [ "aff"
8+ , "argonaut"
9+ , "argonaut-codecs"
8− , "avar"
10+ , "avar"
9− , "console"
11+ , "console"
10− , "debug"
12+ , "debug"
11− , "effect"
13+ , "effect"
12− , "foldable-traversable"
14+ , "foldable-traversable"
13− , "maybe"
15+ , "maybe"
14− , "newtype"
16+ , "newtype"
17+ , "nullable"
15− , "ordered-collections"
18+ , "ordered-collections"
16− , "psci-support"
19+ , "psci-support"
17− , "record-extra"
18− , "simple-json"
19− , "stringutils"
20+ , "stringutils"
20− , "tuples"
21+ , "tuples"
21− , "validation"
22+ , "validation"
22− ]
23+ ]
23, packages = ./packages.dhall
24, packages = ./packages.dhall
24, sources = [ "src/**/*.purs", "test/**/*.purs" ]
25, sources = [ "src/**/*.purs", "test/**/*.purs" ]
25}
26}
playground/src/Basics.pursnew file+171
@@ -0,0 +1,171 @@
1+module Basics
2+ ( module Basics
3+ , module Control.Alt
4+ , module Control.Alternative
5+ , module Control.Apply
6+ , module Control.Bind
7+ , module Control.Lazy
8+ , module Effect.Aff
9+ , module Effect
10+ , module Effect.Class
11+ , module Control.Monad.Cont.Class
12+ , module Control.Monad.Cont.Trans
13+ , module Control.Monad.Error.Class
14+ , module Control.Monad.Except
15+ , module Control.Monad.Except.Trans
16+ , module Control.Monad.List.Trans
17+ , module Control.Monad.Maybe.Trans
18+ , module Control.Monad.RWS
19+ , module Control.Monad.RWS.Trans
20+ , module Control.Monad.Reader
21+ , module Control.Monad.Reader.Class
22+ , module Control.Monad.Reader.Trans
23+ , module Control.Monad.Rec.Class
24+ , module Control.Monad.State
25+ , module Control.Monad.State.Class
26+ , module Control.Monad.State.Trans
27+ , module Control.Monad.Trans.Class
28+ , module Control.Monad.Writer
29+ , module Control.Monad.Writer.Class
30+ , module Control.Monad.Writer.Trans
31+ , module Control.MonadPlus
32+ , module Control.Semigroupoid
33+ , module Data.Bifoldable
34+ , module Data.Bifunctor
35+ , module Data.FunctorWithIndex
36+ , module Data.Bitraversable
37+ , module Data.Char
38+ , module Data.Distributive
39+ , module Data.Either
40+ , module Data.Either.Nested
41+ , module Data.Enum
42+ , module Data.Foldable
43+ , module Data.Function
44+ , module Data.Function.Uncurried
45+ , module Data.Functor
46+ , module Data.Functor.Invariant
47+ , module Data.HeytingAlgebra
48+ , module Data.Identity
49+ , module Data.Int
50+ , module Data.Int.Bits
51+ , module Data.List
52+ , module Data.List.Lazy
53+ , module Data.List.ZipList
54+ , module Data.Map
55+ , module Data.Maybe
56+ , module Data.Maybe.First
57+ , module Data.NonEmpty
58+ , module Data.Maybe.Last
59+ , module Data.Monoid
60+ , module Data.Monoid.Additive
61+ , module Data.Monoid.Conj
62+ , module Data.Monoid.Disj
63+ , module Data.Monoid.Dual
64+ , module Data.Monoid.Endo
65+ ,module Data.Array.NonEmpty
66+ , module Data.Monoid.Multiplicative
67+ , module Data.NaturalTransformation
68+ , module Data.Nullable
69+ , module Data.Ord
70+ , module Data.Ord.Down
71+ , module Data.Ord.Max
72+ , module Data.Ord.Min
73+ , module Data.Ordering
74+ , module Data.Set
75+ , module Data.String.Regex
76+ , module Data.String.Unsafe
77+ , module Data.Tuple
78+ , module Data.Tuple.Nested
79+ , module Data.Traversable
80+ , module Debug
81+ , module Math
82+ , module Prelude
83+ , module Type.Proxy
84+ , module Unsafe.Coerce
85+ , module Effect.Console
86+ ) where
87+
88+import Effect.Console
89+
90+import Control.Alt (class Alt, alt, (<|>))
91+import Control.Alternative (class Alternative)
92+import Control.Apply (applyFirst, applySecond, lift2, lift3, lift4, lift5)
93+import Control.Bind (bindFlipped, composeKleisli, composeKleisliFlipped, ifM, join)
94+import Control.Lazy (class Lazy, defer, fix)
95+import Control.Monad.Cont.Class (class MonadCont, callCC)
96+import Control.Monad.Cont.Trans (ContT(ContT), mapContT, runContT, withContT)
97+import Control.Monad.Error.Class (class MonadError, catchError, catchJust, throwError)
98+import Control.Monad.Except (Except, except, mapExcept, runExcept, withExcept)
99+import Control.Monad.Except.Trans (ExceptT(ExceptT), mapExceptT, runExceptT, withExceptT)
100+import Control.Monad.List.Trans (ListT, fromEffect, prepend, prepend', unfold, wrapEffect, wrapLazy, zipWith')
101+import Control.Monad.Maybe.Trans (MaybeT(MaybeT), mapMaybeT, runMaybeT)
102+import Control.Monad.RWS (RWS, evalRWS, execRWS, mapRWS, runRWS, rws, withRWS)
103+import Control.Monad.RWS.Trans (RWSResult(RWSResult), RWST(RWST), evalRWST, execRWST, mapRWST, runRWST, withRWST)
104+import Control.Monad.Reader (Reader, mapReader, runReader, withReader)
105+import Control.Monad.Reader.Class (class MonadReader, class MonadAsk, ask, asks, local)
106+import Control.Monad.Reader.Trans (ReaderT(ReaderT), mapReaderT, runReaderT, withReaderT)
107+import Control.Monad.Rec.Class (class MonadRec, forever, tailRec, tailRecM, tailRecM2, tailRecM3)
108+import Control.Monad.State (State, evalState, execState, mapState, runState, withState)
109+import Control.Monad.State.Class (class MonadState, get, gets, modify, put, state)
110+import Control.Monad.State.Trans (StateT(StateT), evalStateT, execStateT, mapStateT, runStateT, withStateT)
111+import Control.Monad.Trans.Class (class MonadTrans, lift)
112+import Control.Monad.Writer (Writer, execWriter, mapWriter, runWriter)
113+import Control.Monad.Writer.Class (class MonadWriter, class MonadTell, tell, censor, listen, pass, listens)
114+import Control.Monad.Writer.Trans (WriterT(WriterT), execWriterT, mapWriterT, runWriterT)
115+import Control.MonadPlus (class MonadPlus, guard)
116+import Control.Semigroupoid (composeFlipped)
117+import Data.Array.NonEmpty (NonEmptyArray)
118+import Data.Bifoldable (class Bifoldable, biall, biany, bifold, bifoldl, bifoldMap, bifoldr, bifor_, bisequence_, bitraverse_)
119+import Data.Bifunctor (class Bifunctor, lmap, rmap)
120+import Data.Bitraversable (class Bitraversable, bifor, bisequence, bitraverse)
121+import Data.Char (fromCharCode, toCharCode)
122+import Data.Distributive (class Distributive, collect, cotraverse, distribute)
123+import Data.Either (Either(Left, Right), either, isLeft, isRight)
124+import Data.Either.Nested (in1, in2, in3, in4, in5, in6, in7, in8, in9, in10, at1, at2, at3, at4, at5, at6, at7, at8, at9, at10, Either1, Either2, Either3, Either4, Either5, Either6, Either7, Either8, Either9, Either10, either1, either2, either3, either4, either5, either6, either7, either8, either9, either10)
125+import Data.Enum (class Enum, succ, pred, defaultSucc, defaultPred, enumFromTo, enumFromThenTo, upFrom, downFrom, Cardinality(..), class BoundedEnum, cardinality, toEnum, fromEnum, toEnumWithDefaults, defaultCardinality, defaultToEnum, defaultFromEnum)
126+import Data.Foldable (class Foldable, all, and, any, elem, find, fold, foldl, foldMap, foldr, for_, intercalate, maximum, maximumBy, minimum, minimumBy, notElem, or, product, sequence_, sum, traverse_)
127+import Data.Function (applyFlipped, on)
128+import Data.Function.Uncurried (Fn0, Fn1, Fn10, Fn2, Fn3, Fn4, Fn5, Fn6, Fn7, Fn8, Fn9, mkFn0, mkFn1, mkFn10, mkFn2, mkFn3, mkFn4, mkFn5, mkFn6, mkFn7, mkFn8, mkFn9, runFn0, runFn1, runFn10, runFn2, runFn3, runFn4, runFn5, runFn6, runFn7, runFn8, runFn9)
129+import Data.Functor (mapFlipped, voidLeft, voidRight)
130+import Data.Functor.Invariant (class Invariant, imap, imapF)
131+import Data.FunctorWithIndex (mapWithIndex)
132+import Data.HeytingAlgebra (ff, implies, tt)
133+import Data.Identity (Identity(Identity))
134+import Data.Int (ceil, even, floor, fromNumber, odd, round, toNumber)
135+import Data.Int.Bits (complement, shl, shr, zshr, (.&.), (.^.), (.|.))
136+import Data.List (List(Cons, Nil))
137+import Data.List.Lazy (cycle, step)
138+import Data.List.ZipList (ZipList(ZipList))
139+import Data.Map (Map, showTree, unionWith)
140+import Data.Maybe (Maybe(Nothing, Just), fromMaybe, isJust, isNothing, maybe, maybe')
141+import Data.Maybe.First (First(First))
142+import Data.Maybe.Last (Last(Last))
143+import Data.Monoid (class Monoid, mempty)
144+import Data.Monoid.Additive (Additive(Additive))
145+import Data.Monoid.Conj (Conj(Conj))
146+import Data.Monoid.Disj (Disj(Disj))
147+import Data.Monoid.Dual (Dual(Dual))
148+import Data.Monoid.Endo (Endo(Endo))
149+import Data.Monoid.Multiplicative (Multiplicative(Multiplicative))
150+import Data.NaturalTransformation (NaturalTransformation)
151+import Data.NonEmpty (NonEmpty(..))
152+import Data.Nullable (Nullable, toMaybe, toNullable)
153+import Data.Ord (abs, greaterThan, greaterThanOrEq, lessThan, lessThanOrEq, signum)
154+import Data.Ord.Down (Down(Down))
155+import Data.Ord.Max (Max(Max))
156+import Data.Ord.Min (Min(Min))
157+import Data.Ordering (invert)
158+import Data.Set (Set, difference, intersection, properSubset, subset)
159+import Data.String.Regex (Regex, regex, source, flags, renderFlags, parseFlags, test, match, replace, replace', search, split)
160+import Data.String.Unsafe (char)
161+import Data.Traversable (class Traversable, traverse, sequence, traverseDefault, sequenceDefault, for, scanl, scanr, mapAccumL, mapAccumR)
162+import Data.Tuple (Tuple(Tuple), curry, fst, snd, swap, uncurry)
163+import Data.Tuple.Nested (Tuple10, Tuple2, Tuple3, Tuple4, Tuple5, Tuple6, Tuple7, Tuple8, Tuple9, curry10, curry2, curry3, curry4, curry5, curry6, curry7, curry8, curry9, tuple10, tuple2, tuple3, tuple4, tuple5, tuple6, tuple7, tuple8, tuple9, uncurry10, uncurry2, uncurry3, uncurry4, uncurry5, uncurry6, uncurry7, uncurry8, uncurry9, (/\))
164+import Debug (spy, spyWith, trace, traceM)
165+import Effect (Effect, untilE, whileE, forE, foreachE)
166+import Effect.Aff (Aff, Canceler(Canceler), apathize, attempt, cancelWith, finally, forkAff, delay, launchAff, makeAff, nonCanceler, runAff)
167+import Effect.Class (liftEffect)
168+import Math (Radians, acos, asin, atan, atan2, cos, e, exp, ln10, ln2, log10e, log2e, pi, pow, sin, sqrt, sqrt1_2, sqrt2, tan, (%))
169+import Prelude (class Applicative, class Apply, class Bind, class BooleanAlgebra, class Bounded, class Category, class CommutativeRing, class Eq, class EuclideanRing, class Field, class Functor, class HeytingAlgebra, class Monad, class Ord, class Ring, class Semigroup, class Semigroupoid, class Semiring, class Show, Ordering(LT, EQ, GT), Unit, Void, absurd, add, ap, append, apply, between, bind, bottom, clamp, compare, comparing, compose, conj, const, degree, disj, div, eq, flip, liftA1, liftM1, map, max, min, mod, mul, negate, not, notEq, one, otherwise, pure, show, sub, top, unit, unless, void, zero, type (~>), (-), (*), (*>), (/), (/=), (&&), (#), (+), (<), (<*), (<*>), (<#>), (<<<), (<=), (<=<), (<>), (<$), (<$>), (=<<), (==), (>), (>=), (>=>), (>>=), (>>>), (||), ($), ($>))
170+import Type.Proxy (Proxy(Proxy), Proxy2(Proxy2), Proxy3(Proxy3))
171+import Unsafe.Coerce (unsafeCoerce)
playground/src/Grimoire.pursdeleted−1075
@@ -1,1075 +0,0 @@
1−module Grimoire
2− ( module Grimoire
3− , module Control.Alt
4− , module Control.Alternative
5− , module Control.Apply
6− , module Control.Bind
7− , module Control.Lazy
8− , module Effect.Aff
9− , module Effect
10− , module Effect.Class
11− , module Control.Monad.Cont.Class
12− , module Control.Monad.Cont.Trans
13− , module Control.Monad.Error.Class
14− , module Control.Monad.Except
15− , module Control.Monad.Except.Trans
16− , module Control.Monad.List.Trans
17− , module Control.Monad.Maybe.Trans
18− , module Control.Monad.RWS
19− , module Control.Monad.RWS.Trans
20− , module Control.Monad.Reader
21− , module Control.Monad.Reader.Class
22− , module Control.Monad.Reader.Trans
23− , module Control.Monad.Rec.Class
24− , module Control.Monad.State
25− , module Control.Monad.State.Class
26− , module Control.Monad.State.Trans
27− , module Control.Monad.Trans.Class
28− , module Control.Monad.Writer
29− , module Control.Monad.Writer.Class
30− , module Control.Monad.Writer.Trans
31− , module Control.MonadPlus
32− , module Control.Semigroupoid
33− , module Data.Bifoldable
34− , module Data.Bifunctor
35− , module Data.Bifunctor.Clown
36− , module Data.Bifunctor.Flip
37− , module Data.Bifunctor.Join
38− , module Data.Bifunctor.Joker
39− , module Data.Bifunctor.Product
40− , module Data.Bifunctor.Wrap
41− , module Data.Bitraversable
42− , module Data.Char
43− , module Data.Distributive
44− , module Data.Either
45− , module Data.Either.Nested
46− , module Data.Enum
47− , module Data.Foldable
48− , module Data.Function
49− , module Data.Function.Uncurried
50− , module Data.Functor
51− , module Data.Functor.Invariant
52− , module Data.HeytingAlgebra
53− , module Data.Identity
54− , module Data.Int
55− , module Data.Int.Bits
56− , module Data.List
57− , module Data.List.Lazy
58− , module Data.List.ZipList
59− , module Data.Map
60− , module Data.Maybe
61− , module Data.Maybe.First
62− , module Data.Maybe.Last
63− , module Data.Monoid
64− , module Data.Monoid.Additive
65− , module Data.Monoid.Conj
66− , module Data.Monoid.Disj
67− , module Data.Monoid.Dual
68− , module Data.Monoid.Endo
69− , module Data.Monoid.Multiplicative
70− , module Data.NaturalTransformation
71− , module Data.Nullable
72− , module Data.Ord
73− , module Data.Ord.Down
74− , module Data.Ord.Max
75− , module Data.Ord.Min
76− , module Data.Ord.Unsafe
77− , module Data.Ordering
78− , module Data.Set
79− , module Data.String.Regex
80− , module Data.String.Unsafe
81− , module Data.Tuple
82− , module Data.Tuple.Nested
83− , module Data.Traversable
84− , module Debug.Trace
85− , module Global
86− , module Global.Unsafe
87− , module Math
88− , module Prelude
89− , module Type.Proxy
90− , module Unsafe.Coerce
91− , module Simple.JSON
92− , module Effect.Console
93− ) where
94−
95−import Effect.Console (log, logShow)
96−import Simple.JSON (
97− writeJSON, readJSON, class ReadForeign, class WriteForeign,
98− readJSON_, readJSON'
99−)
100−import Control.Alt
101− ( class Alt
102− , alt
103− , (<|>)
104− )
105−import Control.Alternative
106− ( class Alternative
107− )
108−import Control.Apply
109− ( applyFirst
110− , applySecond
111− , lift2
112− , lift3
113− , lift4
114− , lift5
115− )
116−import Control.Bind
117− ( bindFlipped
118− , composeKleisli
119− , composeKleisliFlipped
120− , ifM
121− , join
122− )
123−import Control.Lazy
124− ( class Lazy
125− , defer
126− , fix
127− )
128−import Effect
129− ( Effect
130− , untilE
131− , whileE
132− , forE
133− , foreachE
134− )
135−import Effect.Class
136− ( liftEffect
137− )
138−import Effect.Aff
139− ( Aff
140− , Canceler(Canceler)
141− , apathize
142− , attempt
143− , cancelWith
144− , finally
145− , forkAff
146− , delay
147− , launchAff
148− , makeAff
149− , nonCanceler
150− , runAff
151− )
152−import Control.Monad.Cont.Class
153− ( class MonadCont
154− , callCC
155− )
156−import Control.Monad.Cont.Trans
157− ( ContT(ContT)
158− , mapContT
159− , runContT
160− , withContT
161− )
162−import Data.Traversable
163− ( class Traversable, traverse, sequence
164− , traverseDefault, sequenceDefault
165− , for
166− , scanl
167− , scanr
168− , mapAccumL
169− , mapAccumR
170− )
171−import Control.Monad.Error.Class
172− ( class MonadError
173− , catchError
174− , catchJust
175− , throwError
176− )
177−import Control.Monad.Except
178− ( Except
179− , except
180− , mapExcept
181− , runExcept
182− , withExcept
183− )
184−import Control.Monad.Except.Trans
185− ( ExceptT(ExceptT)
186− , mapExceptT
187− , runExceptT
188− , withExceptT
189− )
190−import Control.Monad.List.Trans
191− ( ListT
192− -- , catMaybes -- TODO
193− -- , cons -- TODO
194− -- , drop -- TODO
195− -- , dropWhile -- TODO
196− -- , filter -- TODO
197− -- , foldl -- NOTE: Data.Foldable
198− -- , foldl' -- NOTE: Data.Foldable
199− , fromEffect
200− -- , head -- TODO
201− -- , iterate -- TODO
202− -- , mapMaybe -- TODO
203− -- , nil -- TODO
204− , prepend
205− , prepend'
206− -- , repeat -- TODO
207− -- , scanl -- NOTE: Data.Traversable
208− -- , singleton -- NOTE: Data.Unfoldable
209− -- , tail -- TODO
210− -- , take -- TODO
211− -- , takeWhile -- TODO
212− -- , uncons -- TODO
213− , unfold
214− , wrapEffect
215− , wrapLazy
216− -- , zipWith -- TODO
217− , zipWith'
218− )
219−import Control.Monad.Maybe.Trans
220− ( MaybeT(MaybeT)
221− , mapMaybeT
222− , runMaybeT
223− )
224−import Control.Monad.RWS
225− ( RWS
226− , evalRWS
227− , execRWS
228− , mapRWS
229− , runRWS
230− , rws
231− , withRWS
232− )
233−import Control.Monad.RWS.Trans
234− ( RWSResult(RWSResult)
235− , RWST(RWST)
236− , evalRWST
237− , execRWST
238− , mapRWST
239− , runRWST
240− , withRWST
241− )
242−import Control.Monad.Reader
243− ( Reader
244− , mapReader
245− , runReader
246− , withReader
247− )
248−import Control.Monad.Reader.Class
249− ( class MonadReader
250− , class MonadAsk
251− , ask
252− , asks
253− , local
254− )
255−import Control.Monad.Reader.Trans
256− ( ReaderT(ReaderT)
257− , mapReaderT
258− , runReaderT
259− , withReaderT
260− )
261−import Control.Monad.Rec.Class
262− ( class MonadRec
263− , forever
264− , tailRec
265− , tailRecM
266− , tailRecM2
267− , tailRecM3
268− )
269−import Control.Monad.State
270− ( State
271− , evalState
272− , execState
273− , mapState
274− , runState
275− , withState
276− )
277−import Control.Monad.State.Class
278− ( class MonadState
279− , get
280− , gets
281− , modify
282− , put
283− , state
284− )
285−import Control.Monad.State.Trans
286− ( StateT(StateT)
287− , evalStateT
288− , execStateT
289− , mapStateT
290− , runStateT
291− , withStateT
292− )
293−import Control.Monad.Trans.Class
294− ( class MonadTrans
295− , lift
296− )
297−import Control.Monad.Writer
298− ( Writer
299− , execWriter
300− , mapWriter
301− , runWriter
302− )
303−import Control.Monad.Writer.Class
304− ( class MonadWriter
305− , class MonadTell
306− , tell
307− , censor
308− , listen
309− , pass
310− , listens
311− )
312−import Control.Monad.Writer.Trans
313− ( WriterT(WriterT)
314− , execWriterT
315− , mapWriterT
316− , runWriterT
317− )
318−import Control.MonadPlus
319− ( class MonadPlus
320− , guard
321− )
322−import Control.Semigroupoid
323− ( composeFlipped
324− )
325−-- import Data.Array -- TODO
326−-- import Data.Array.Unsafe -- TODO
327−import Data.Bifoldable
328− ( class Bifoldable
329− , biall
330− , biany
331− , bifold
332− , bifoldl
333− , bifoldMap
334− , bifoldr
335− , bifor_
336− , bisequence_
337− , bitraverse_
338− )
339−import Data.Bifunctor
340− ( class Bifunctor
341− , lmap
342− , rmap
343− )
344−import Data.Bifunctor.Clown
345− ( Clown(Clown)
346− )
347−import Data.Bifunctor.Flip
348− ( Flip(Flip)
349− )
350−import Data.Bifunctor.Join
351− ( Join(Join)
352− )
353−import Data.Bifunctor.Joker
354− ( Joker(Joker)
355− )
356−import Data.Bifunctor.Product
357− ( Product(Product)
358− )
359−import Data.Bifunctor.Wrap
360− ( Wrap(Wrap)
361− )
362−import Data.Bitraversable
363− ( class Bitraversable
364− , bifor
365− , bisequence
366− , bitraverse
367− )
368−import Data.Char
369− ( fromCharCode
370− , toCharCode
371− -- , toLower -- NOTE: Data.String
372− -- , toUpper -- NOTE: Data.String
373− )
374−import Data.Distributive
375− ( class Distributive
376− , collect
377− , cotraverse
378− , distribute
379− )
380−import Data.Either
381− ( Either(Left, Right)
382− , either
383− , isLeft
384− , isRight
385− )
386−import Data.Either.Nested
387− ( in1
388− , in2
389− , in3
390− , in4
391− , in5
392− , in6
393− , in7
394− , in8
395− , in9
396− , in10
397− , at1
398− , at2
399− , at3
400− , at4
401− , at5
402− , at6
403− , at7
404− , at8
405− , at9
406− , at10
407− , Either1
408− , Either2
409− , Either3
410− , Either4
411− , Either5
412− , Either6
413− , Either7
414− , Either8
415− , Either9
416− , Either10
417− , either1
418− , either2
419− , either3
420− , either4
421− , either5
422− , either6
423− , either7
424− , either8
425− , either9
426− , either10
427− )
428−import Data.Enum
429− ( class Enum
430− , succ
431− , pred
432− , defaultSucc
433− , defaultPred
434− , enumFromTo
435− , enumFromThenTo
436− , upFrom
437− , downFrom
438− , Cardinality(..)
439− , class BoundedEnum
440− , cardinality
441− , toEnum
442− , fromEnum
443− , toEnumWithDefaults
444− , defaultCardinality
445− , defaultToEnum
446− , defaultFromEnum
447− )
448−-- import Data.FingerTree -- FIXME: update upstream
449−-- ( Digit
450−-- , FingerTree(Deep, Empty, Single)
451−-- , LazySplit(LazySplit)
452−-- , Node(Node2, Node3)
453−-- , Split(Split)
454−-- , ViewL(ConsL, NilL)
455−-- , ViewR(NilR, SnocR)
456−-- , app3
457−-- , append -- NOTE: Prelude
458−-- , compareFingerTree
459−-- , cons -- TODO
460−-- , consAll
461−-- , deep
462−-- , deepL
463−-- , deepR
464−-- , eqFingerTree
465−-- , filter -- TODO
466−-- , fullyForce -- TODO
467−-- , head -- TODO
468−-- , headDigit
469−-- , init -- TODO
470−-- , initDigit
471−-- , isEmpty -- TODO
472−-- , last -- TODO
473−-- , lastDigit
474−-- , lazyEmpty
475−-- , node2
476−-- , node3
477−-- , nodes
478−-- , nodeToDigit
479−-- , snoc -- TODO
480−-- , snocAll
481−-- , split -- NOTE: Data.String.Regex
482−-- , tail -- TODO
483−-- , tailDigit
484−-- , toFingerTree
485−-- , unfoldLeft
486−-- , unfoldRight
487−-- , unsafeSplitDigit
488−-- , unsafeSplitTree
489−-- , viewL
490−-- , viewR
491−-- )
492−import Data.Foldable
493− ( class Foldable
494− , all
495− , and
496− , any
497− , elem
498− , find
499− , fold
500− , foldl
501− , foldMap
502− , foldr
503− , for_
504− , intercalate
505− , maximum
506− , maximumBy
507− , minimum
508− , minimumBy
509− , notElem
510− , or
511− , product
512− , sequence_
513− , sum
514− , traverse_
515− )
516−import Data.Function
517− ( applyFlipped
518− , on
519− )
520−import Data.Function.Uncurried
521− ( Fn0
522− , Fn1
523− , Fn10
524− , Fn2
525− , Fn3
526− , Fn4
527− , Fn5
528− , Fn6
529− , Fn7
530− , Fn8
531− , Fn9
532− , mkFn0
533− , mkFn1
534− , mkFn10
535− , mkFn2
536− , mkFn3
537− , mkFn4
538− , mkFn5
539− , mkFn6
540− , mkFn7
541− , mkFn8
542− , mkFn9
543− , runFn0
544− , runFn1
545− , runFn10
546− , runFn2
547− , runFn3
548− , runFn4
549− , runFn5
550− , runFn6
551− , runFn7
552− , runFn8
553− , runFn9
554− )
555−import Data.Functor
556− ( mapFlipped
557− , voidLeft
558− , voidRight
559− )
560−import Data.Functor.Invariant
561− ( class Invariant
562− , imap
563− , imapF
564− )
565−import Data.HeytingAlgebra
566− ( ff
567− , implies
568− , tt
569− )
570−import Data.Identity
571− ( Identity(Identity)
572− )
573−import Data.Int
574− ( ceil
575− , even
576− , floor
577− , fromNumber
578− -- , fromString -- TODO
579− , odd
580− , round
581− , toNumber
582− )
583−import Data.Int.Bits
584− ( complement
585− , shl
586− , shr
587− , zshr
588− , (.&.)
589− , (.^.)
590− , (.|.)
591− )
592−-- import Data.Lazy
593−-- ( -- Lazy -- NOTE: Control.Lazy -- , defer -- NOTE: Control.Lazy force
594−-- )
595−import Data.List
596− ( List(Cons, Nil)
597− -- , alterAt -- TODO
598− -- , catMaybes -- TODO
599− -- , concat -- TODO
600− -- , concatMap -- TODO
601− -- , delete -- TODO
602− -- , deleteAt -- TODO
603− -- , deleteBy -- TODO
604− -- , drop -- TODO
605− -- , dropWhile -- TODO
606− -- , elemIndex -- TODO
607− -- , elemLastIndex -- TODO
608− -- , filter -- TODO
609− -- , filterM -- TODO
610− -- , findIndex -- TODO
611− -- , findLastIndex -- TODO
612− -- , foldM -- TODO
613− -- , fromList -- TODO
614− -- , group -- TODO
615− -- , group' -- TODO
616− -- , groupBy -- TODO
617− -- , head -- TODO
618− -- , index -- TODO
619− -- , init -- TODO
620− -- , insert -- TODO
621− -- , insertAt -- TODO
622− -- , insertBy -- TODO
623− -- , intersect -- TODO
624− -- , intersectBy -- TODO
625− -- , last -- TODO
626− -- , length -- TODO
627− -- , many -- TODO
628− -- , mapMaybe -- TODO
629− -- , modifyAt -- TODO
630− -- , nub -- TODO
631− -- , nubBy -- TODO
632− -- , null -- TODO
633− -- , range -- TODO
634− -- , replicate -- NOTE: Data.Unfoldable
635− -- , replicateM -- TODO
636− -- , reverse -- TODO
637− -- , singleton -- NOTE: Data.Unfoldable
638− -- , slice -- TODO
639− -- , snoc -- TODO
640− -- , some -- TODO
641− -- , sort -- TODO
642− -- , sortBy -- TODO
643− -- , span -- TODO
644− -- , tail -- TODO
645− -- , take -- TODO
646− -- , takeWhile -- TODO
647− -- , toList -- TODO
648− -- , uncons -- TODO
649− -- , union -- TODO
650− -- , unionBy -- TODO
651− -- , unzip -- TODO
652− -- , updateAt -- TODO
653− -- , zip -- TODO
654− -- , zipWith -- TODO
655− -- , zipWithA -- TODO
656− -- , (:) -- TODO
657− -- , (!!) -- TODO
658− -- , (..) -- TODO
659− -- , (\\) -- TODO
660− )
661−import Data.List.Lazy
662− ( -- List(List) -- NOTE: Data.List -- , Step(Cons, NIl) -- NOTE: Data.List -- , alterAt -- TODO -- , catMaybes -- TODO
663− -- , concat -- TODO
664− -- , concatMap -- TODO
665− -- , cons -- TODO
666− cycle
667− -- , delete -- TODO
668− -- , deleteAt -- TODO
669− -- , deleteBy -- TODO
670− -- , drop -- TODO
671− -- , dropWhile -- TODO
672− -- , filter -- TODO
673− -- , fromList -- TODO
674− -- , group -- TODO
675− -- , groupBy -- TODO
676− -- , head -- TODO
677− -- , index -- TODO
678− -- , init -- TODO
679− -- , insert -- TODO
680− -- , insertAt -- TODO
681− -- , insertBy -- TODO
682− -- , intersect -- TODO
683− -- , intersectBy -- TODO
684− -- , iterate -- TODO
685− -- , last -- TODO
686− -- , length -- TODO
687− -- , mapMaybe -- TODO
688− -- , modifyAt -- TODO
689− -- , nil -- TODO
690− -- , nub -- TODO
691− -- , nubBy -- TODO
692− -- , null -- TODO
693− -- , range -- TODO
694− -- , repeat -- TODO
695− -- , reverse -- TODO
696− -- , singleton -- NOTE: Data.Unfoldable
697− -- , span -- TODO
698− , step
699− -- , tail -- TODO
700− -- , take -- TODO
701− -- , takeWhile -- TODO
702− -- , toList -- TODO
703− -- , uncons -- TODO
704− -- , union -- TODO
705− -- , unionBy -- TODO
706− -- , updateAt -- TODO
707− -- , zip -- TODO
708− -- , zipWith -- TODO
709− -- , (:) -- TODO
710− -- , (!!) -- TODO
711− -- , (..) -- TODO
712− -- , (\\) -- TODO
713− )
714−-- import Data.List.Unsafe -- TODO
715−import Data.List.ZipList
716− ( ZipList(ZipList)
717− )
718−import Data.Map
719− ( Map
720− -- , alter -- TODO
721− -- , checkValid -- TODO
722− -- , delete -- TODO
723− -- , empty -- NOTE: Control.Plus
724− -- , fromFoldable -- TODO
725− -- , fromFoldableWith -- TODO
726− -- , fromList -- TODO
727− -- , fromListWith -- TODO
728− -- , insert -- TODO
729− -- , isEmpty -- TODO
730− -- , keys -- TODO
731− -- , lookup -- TODO
732− -- , member -- TODO
733− , showTree
734− -- , singleton -- NOTE: Data.Unfoldable
735− -- , size -- TODO
736− -- , toList -- TODO
737− -- , union -- TODO
738− -- , unions -- TODO
739− , unionWith
740− -- , update -- TODO
741− -- , values -- TODO
742− )
743−import Data.Maybe
744− ( Maybe(Nothing, Just)
745− , fromMaybe
746− , isJust
747− , isNothing
748− , maybe
749− , maybe'
750− )
751−import Data.Maybe.First
752− ( First(First)
753− )
754−import Data.Maybe.Last
755− ( Last(Last)
756− )
757−import Data.Monoid
758− ( class Monoid
759− , mempty
760− )
761−import Data.Monoid.Additive
762− ( Additive(Additive)
763− )
764−import Data.Monoid.Conj
765− ( Conj(Conj)
766− )
767−import Data.Monoid.Disj
768− ( Disj(Disj)
769− )
770−import Data.Monoid.Dual
771− ( Dual(Dual)
772− )
773−import Data.Monoid.Endo
774− ( Endo(Endo)
775− )
776−import Data.Monoid.Multiplicative
777− ( Multiplicative(Multiplicative)
778− )
779−import Data.NaturalTransformation
780− ( NaturalTransformation
781− )
782−import Data.Nullable
783− ( Nullable
784− , toMaybe
785− , toNullable
786− )
787−import Data.Ord
788− ( abs
789− , greaterThan
790− , greaterThanOrEq
791− , lessThan
792− , lessThanOrEq
793− , signum
794− )
795−import Data.Ordering
796− ( invert
797− )
798−import Data.Ord.Unsafe
799− ( unsafeCompare
800− )
801−import Data.Ord.Down
802− ( Down(Down)
803− )
804−import Data.Ord.Max
805− ( Max(Max)
806− )
807−import Data.Ord.Min
808− ( Min(Min)
809− )
810−import Data.Set
811− ( Set
812− -- , checkValid -- TODO
813− -- , delete -- TODO
814− , difference
815− -- , empty -- NOTE: Control.Plus
816− -- , fromList -- TODO
817− -- , insert -- TODO
818− , intersection
819− -- , isEmpty -- TODO
820− -- , member -- TODO
821− , properSubset
822− -- , singleton -- NOTE: Data.Unfoldable
823− -- , size -- TODO
824− , subset
825− -- , toList -- TODO
826− -- , union -- TODO
827− -- , unions -- TODO
828− )
829−-- import Data.StrMap.Unsafe -- TODO
830−-- import Data.String.CodeUnits
831−-- ( stripPrefix
832−-- , stripSuffix
833−-- , contains
834−-- , singleton
835−-- , fromCharArray
836−-- , toCharArray
837−-- , charAt
838−-- , toChar
839−-- , uncons
840−-- , length
841−-- , countPrefix
842−-- , indexOf
843−-- , indexOf'
844−-- , lastIndexOf
845−-- , lastIndexOf'
846−-- , take
847−-- , takeRight
848−-- , takeWhile
849−-- , drop
850−-- , dropRight
851−-- , dropWhile
852−-- , slice
853−-- , splitAt
854−-- )
855−import Data.String.Regex
856− ( Regex
857− , regex
858− , source
859− , flags
860− , renderFlags
861− , parseFlags
862− , test
863− , match
864− , replace
865− , replace'
866− , search
867− , split
868− )
869−import Data.String.Unsafe
870− ( char
871− -- , charAt -- NOTE: Data.String
872− -- , charCodeAt -- NOTE: Data.String
873− )
874−import Data.Tuple
875− ( Tuple(Tuple)
876− , curry
877− , fst
878− -- , lookup -- TODO
879− , snd
880− , swap
881− , uncurry
882− )
883−import Data.Tuple.Nested
884− ( Tuple10
885− , Tuple2
886− , Tuple3
887− , Tuple4
888− , Tuple5
889− , Tuple6
890− , Tuple7
891− , Tuple8
892− , Tuple9
893− , curry10
894− , curry2
895− , curry3
896− , curry4
897− , curry5
898− , curry6
899− , curry7
900− , curry8
901− , curry9
902− , tuple10
903− , tuple2
904− , tuple3
905− , tuple4
906− , tuple5
907− , tuple6
908− , tuple7
909− , tuple8
910− , tuple9
911− , uncurry10
912− , uncurry2
913− , uncurry3
914− , uncurry4
915− , uncurry5
916− , uncurry6
917− , uncurry7
918− , uncurry8
919− , uncurry9
920− , (/\)
921− )
922−-- import Data.Validation.Sempigroup
923−-- ( V
924−-- , invalid
925−-- , isValid
926−-- , unV
927−-- )
928−import Debug.Trace
929− ( spy
930− , trace
931− )
932−import Global
933− ( decodeURI
934− , decodeURIComponent
935− , encodeURI
936− , encodeURIComponent
937− , infinity
938− , isFinite
939− , isNaN
940− , nan
941− , readFloat
942− -- , readInt -- NOTE: Data.Foreign
943− )
944−import Global.Unsafe
945− ( unsafeStringify
946− )
947−import Math
948− ( Radians
949− -- , abs -- NOTE: Prelude
950− , acos
951− , asin
952− , atan
953− , atan2
954− -- , ceil -- NOTE: Data.Int
955− , cos
956− , e
957− , exp
958− -- , floor -- NOTE: Data.Int
959− , ln10
960− , ln2
961− -- , log
962− , log10e
963− , log2e
964− -- , max -- NOTE: Prelude
965− -- , min -- NOTE: Prelude
966− , pi
967− , pow
968− -- , round -- NOTE: Data.Int
969− , sin
970− , sqrt
971− , sqrt1_2
972− , sqrt2
973− , tan
974− , (%)
975− )
976−import Prelude
977− ( class Applicative
978− , class Apply
979− , class Bind
980− , class BooleanAlgebra
981− , class Bounded
982− , class Category
983− , class CommutativeRing
984− , class Eq
985− , class EuclideanRing
986− , class Field
987− , class Functor
988− , class HeytingAlgebra
989− , class Monad
990− , class Ord
991− , class Ring
992− , class Semigroup
993− , class Semigroupoid
994− , class Semiring
995− , class Show
996− , Ordering(LT, EQ, GT)
997− , Unit
998− , Void
999− , absurd
1000− , add
1001− , ap
1002− , append
1003− , apply
1004− , between
1005− , bind
1006− , bottom
1007− , clamp
1008− , compare
1009− , comparing
1010− , compose
1011− , conj
1012− , const
1013− , degree
1014− , disj
1015− , div
1016− , eq
1017− , flip
1018− , liftA1
1019− , liftM1
1020− , map
1021− , max
1022− , min
1023− , mod
1024− , mul
1025− , negate
1026− , not
1027− , notEq
1028− , one
1029− , otherwise
1030− , pure
1031− , show
1032− , sub
1033− , top
1034− , unit
1035− , unless
1036− , void
1037− , zero
1038− , type (~>)
1039− , (-)
1040− , (*)
1041− , (*>)
1042− , (/)
1043− , (/=)
1044− , (&&)
1045− , (#)
1046− , (+)
1047− , (<)
1048− , (<*)
1049− , (<*>)
1050− , (<#>)
1051− , (<<<)
1052− , (<=)
1053− , (<=<)
1054− , (<>)
1055− , (<$)
1056− , (<$>)
1057− , (=<<)
1058− , (==)
1059− , (>)
1060− , (>=)
1061− , (>=>)
1062− , (>>=)
1063− , (>>>)
1064− , (||)
1065− , ($)
1066− , ($>)
1067− )
1068−import Type.Proxy
1069− ( Proxy(Proxy)
1070− , Proxy2(Proxy2)
1071− , Proxy3(Proxy3)
1072− )
1073−import Unsafe.Coerce
1074− ( unsafeCoerce
1075− )
playground/src/Main.purs+1−1
@@ -1,6 +1,6 @@
1module Main where
1module Main where
2
2
3−import Grimoire
3+import Basics
4
4
5main :: Effect Unit
5main :: Effect Unit
6main = log "Abracadabra"
6main = log "Abracadabra"