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

git.iko.soy/rowtype-yoga/psfp

on 2003541 help sign in

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

169 lines 9.3 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 Prelude

82 , module Type.Proxy

83 , module Unsafe.Coerce

84 , module Effect.Console

85 ) where

87import Effect.Console

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

90import Control.Alternative (class Alternative)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

114import Control.MonadPlus (class MonadPlus, guard)

115import Control.Semigroupoid (composeFlipped)

116import Data.Array.NonEmpty (NonEmptyArray)

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

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

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

120import Data.Char (fromCharCode, toCharCode)

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

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

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

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

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

126import Data.Function (applyFlipped, on)

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

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

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

130import Data.FunctorWithIndex (mapWithIndex)

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

132import Data.Identity (Identity(Identity))

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

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

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

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

137import Data.List.ZipList (ZipList(ZipList))

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

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

140import Data.Maybe.First (First(First))

141import Data.Maybe.Last (Last(Last))

142import Data.Monoid (class Monoid, mempty)

143import Data.Monoid.Additive (Additive(Additive))

144import Data.Monoid.Conj (Conj(Conj))

145import Data.Monoid.Disj (Disj(Disj))

146import Data.Monoid.Dual (Dual(Dual))

147import Data.Monoid.Endo (Endo(Endo))

148import Data.Monoid.Multiplicative (Multiplicative(Multiplicative))

149import Data.NaturalTransformation (NaturalTransformation)

150import Data.NonEmpty (NonEmpty(..))

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

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

153import Data.Ord.Down (Down(Down))

154import Data.Ord.Max (Max(Max))

155import Data.Ord.Min (Min(Min))

156import Data.Ordering (invert)

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

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

159import Data.String.Unsafe (char)

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

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

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

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

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

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

166import Effect.Class (liftEffect)

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

168import Type.Proxy (Proxy(Proxy))

169import Unsafe.Coerce (unsafeCoerce)