playground/src/Basics.purs · rowtype-yoga/psfp

git.iko.soy/rowtype-yoga/psfp

on 3ddabbe help sign in

rowtype-yoga/psfp/playground/src/Basics.purs

171 lines 9.5 kB history raw

1module 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

88import Effect.Console

90import Control.Alt (class Alt, alt, (<|>))

91import Control.Alternative (class Alternative)

92import Control.Apply (applyFirst, applySecond, lift2, lift3, lift4, lift5)

93import Control.Bind (bindFlipped, composeKleisli, composeKleisliFlipped, ifM, join)

94import Control.Lazy (class Lazy, defer, fix)

95import Control.Monad.Cont.Class (class MonadCont, callCC)

96import Control.Monad.Cont.Trans (ContT(ContT), mapContT, runContT, withContT)

97import Control.Monad.Error.Class (class MonadError, catchError, catchJust, throwError)

98import Control.Monad.Except (Except, except, mapExcept, runExcept, withExcept)

99import Control.Monad.Except.Trans (ExceptT(ExceptT), mapExceptT, runExceptT, withExceptT)

100import Control.Monad.List.Trans (ListT, fromEffect, prepend, prepend', unfold, wrapEffect, wrapLazy, zipWith')

101import Control.Monad.Maybe.Trans (MaybeT(MaybeT), mapMaybeT, runMaybeT)

102import Control.Monad.RWS (RWS, evalRWS, execRWS, mapRWS, runRWS, rws, withRWS)

103import Control.Monad.RWS.Trans (RWSResult(RWSResult), RWST(RWST), evalRWST, execRWST, mapRWST, runRWST, withRWST)

104import Control.Monad.Reader (Reader, mapReader, runReader, withReader)

105import Control.Monad.Reader.Class (class MonadReader, class MonadAsk, ask, asks, local)

106import Control.Monad.Reader.Trans (ReaderT(ReaderT), mapReaderT, runReaderT, withReaderT)

107import Control.Monad.Rec.Class (class MonadRec, forever, tailRec, tailRecM, tailRecM2, tailRecM3)

108import Control.Monad.State (State, evalState, execState, mapState, runState, withState)

109import Control.Monad.State.Class (class MonadState, get, gets, modify, put, state)

110import Control.Monad.State.Trans (StateT(StateT), evalStateT, execStateT, mapStateT, runStateT, withStateT)

111import Control.Monad.Trans.Class (class MonadTrans, lift)

112import Control.Monad.Writer (Writer, execWriter, mapWriter, runWriter)

113import Control.Monad.Writer.Class (class MonadWriter, class MonadTell, tell, censor, listen, pass, listens)

114import Control.Monad.Writer.Trans (WriterT(WriterT), execWriterT, mapWriterT, runWriterT)

115import Control.MonadPlus (class MonadPlus, guard)

116import Control.Semigroupoid (composeFlipped)

117import Data.Array.NonEmpty (NonEmptyArray)

118import Data.Bifoldable (class Bifoldable, biall, biany, bifold, bifoldl, bifoldMap, bifoldr, bifor_, bisequence_, bitraverse_)

119import Data.Bifunctor (class Bifunctor, lmap, rmap)

120import Data.Bitraversable (class Bitraversable, bifor, bisequence, bitraverse)

121import Data.Char (fromCharCode, toCharCode)

122import Data.Distributive (class Distributive, collect, cotraverse, distribute)

123import Data.Either (Either(Left, Right), either, isLeft, isRight)

124import 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)

125import Data.Enum (class Enum, succ, pred, defaultSucc, defaultPred, enumFromTo, enumFromThenTo, upFrom, downFrom, Cardinality(..), class BoundedEnum, cardinality, toEnum, fromEnum, toEnumWithDefaults, defaultCardinality, defaultToEnum, defaultFromEnum)

126import 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_)

127import Data.Function (applyFlipped, on)

128import 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)

129import Data.Functor (mapFlipped, voidLeft, voidRight)

130import Data.Functor.Invariant (class Invariant, imap, imapF)

131import Data.FunctorWithIndex (mapWithIndex)

132import Data.HeytingAlgebra (ff, implies, tt)

133import Data.Identity (Identity(Identity))

134import Data.Int (ceil, even, floor, fromNumber, odd, round, toNumber)

135import Data.Int.Bits (complement, shl, shr, zshr, (.&.), (.^.), (.|.))

136import Data.List (List(Cons, Nil))

137import Data.List.Lazy (cycle, step)

138import Data.List.ZipList (ZipList(ZipList))

139import Data.Map (Map, showTree, unionWith)

140import Data.Maybe (Maybe(Nothing, Just), fromMaybe, isJust, isNothing, maybe, maybe')

141import Data.Maybe.First (First(First))

142import Data.Maybe.Last (Last(Last))

143import Data.Monoid (class Monoid, mempty)

144import Data.Monoid.Additive (Additive(Additive))

145import Data.Monoid.Conj (Conj(Conj))

146import Data.Monoid.Disj (Disj(Disj))

147import Data.Monoid.Dual (Dual(Dual))

148import Data.Monoid.Endo (Endo(Endo))

149import Data.Monoid.Multiplicative (Multiplicative(Multiplicative))

150import Data.NaturalTransformation (NaturalTransformation)

151import Data.NonEmpty (NonEmpty(..))

152import Data.Nullable (Nullable, toMaybe, toNullable)

153import Data.Ord (abs, greaterThan, greaterThanOrEq, lessThan, lessThanOrEq, signum)

154import Data.Ord.Down (Down(Down))

155import Data.Ord.Max (Max(Max))

156import Data.Ord.Min (Min(Min))

157import Data.Ordering (invert)

158import Data.Set (Set, difference, intersection, properSubset, subset)

159import Data.String.Regex (Regex, regex, source, flags, renderFlags, parseFlags, test, match, replace, replace', search, split)

160import Data.String.Unsafe (char)

161import Data.Traversable (class Traversable, traverse, sequence, traverseDefault, sequenceDefault, for, scanl, scanr, mapAccumL, mapAccumR)

162import Data.Tuple (Tuple(Tuple), curry, fst, snd, swap, uncurry)

163import 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, (/\))

164import Debug (spy, spyWith, trace, traceM)

165import Effect (Effect, untilE, whileE, forE, foreachE)

166import Effect.Aff (Aff, Canceler(Canceler), apathize, attempt, cancelWith, finally, forkAff, delay, launchAff, makeAff, nonCanceler, runAff)

167import Effect.Class (liftEffect)

168import Math (Radians, acos, asin, atan, atan2, cos, e, exp, ln10, ln2, log10e, log2e, pi, pow, sin, sqrt, sqrt1_2, sqrt2, tan, (%))

169import 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 (~>), (-), (*), (*>), (/), (/=), (&&), (#), (+), (<), (<*), (<*>), (<#>), (<<<), (<=), (<=<), (<>), (<$), (<$>), (=<<), (==), (>), (>=), (>=>), (>>=), (>>>), (||), ($), ($>))

170import Type.Proxy (Proxy(Proxy), Proxy2(Proxy2), Proxy3(Proxy3))

171import Unsafe.Coerce (unsafeCoerce)