Skip to content

Commit d71ddee

Browse files
paf31paf31
committed
Fix prettyPrintType and update docs purescript#174 
1 parent 20505a8 commit d71ddee

File tree

4 files changed

+136
-120
lines changed

4 files changed

+136
-120
lines changed

‎docs/source/prelude.rst‎

Lines changed: 56 additions & 56 deletions
Original file line numberDiff line numberDiff line change
@@ -59,11 +59,11 @@ Type Classes
5959
(/=) :: a -> a -> Prelude.Boolean
6060

6161
class Functor f where
62-
(<$>) :: forall b. forall a. Prelude.Function a b -> f a -> f b
62+
(<$>) :: forall b. forall a. (a -> b) -> f a -> f b
6363

6464
class Monad m where
6565
ret :: forall a. a -> m a
66-
(>>=) :: forall b. forall a. m a -> Prelude.Function a (m b) -> m b
66+
(>>=) :: forall b. forall a. m a -> (a -> m b) -> m b
6767

6868
class Num a where
6969
(+) :: a -> a -> a
@@ -106,7 +106,7 @@ Type Class Instances
106106

107107
instance Eq Prelude.Boolean
108108

109-
(Eq (a)) => instance Eq Prelude.Array a
109+
(Eq (a)) => instance Eq [a]
110110

111111
(Applicative (f)) => instance Functor f
112112

@@ -129,11 +129,11 @@ Values
129129

130130
::
131131

132-
(!!) :: forall a. Prelude.Array a -> Prelude.Number -> a
132+
(!!) :: forall a. [a] -> Prelude.Number -> a
133133

134-
(#) :: forall b. forall a. a -> Prelude.Function a b -> b
134+
(#) :: forall b. forall a. a -> (a -> b) -> b
135135

136-
($) :: forall b. forall a. Prelude.Function a b -> a -> b
136+
($) :: forall b. forall a. (a -> b) -> a -> b
137137

138138
(++) :: Prelude.String -> Prelude.String -> Prelude.String
139139

@@ -143,7 +143,7 @@ Values
143143

144144
boolOr :: Prelude.Boolean -> Prelude.Boolean -> Prelude.Boolean
145145

146-
flip :: forall c. forall b. forall a. Prelude.Function a (b -> c) -> b -> a -> c
146+
flip :: forall c. forall b. forall a. (a -> b -> c) -> b -> a -> c
147147

148148
konst :: forall b. forall a. a -> b -> a
149149

@@ -218,7 +218,7 @@ Values
218218

219219
::
220220

221-
mconcat :: forall m. (Monoid (m)) => Prelude.Array m -> m
221+
mconcat :: forall m. (Monoid (m)) => [m] -> m
222222

223223
Module Monad
224224
------------
@@ -237,19 +237,19 @@ Values
237237

238238
::
239239

240-
(<=<) :: forall c. forall b. forall a. forall m. (Monad (m)) => Prelude.Function b (m c) -> Prelude.Function a (m b) -> a -> m c
240+
(<=<) :: forall c. forall b. forall a. forall m. (Monad (m)) => (b -> m c) -> (a -> m b) -> a -> m c
241241

242-
(>=>) :: forall c. forall b. forall a. forall m. (Monad (m)) => Prelude.Function a (m b) -> Prelude.Function b (m c) -> a -> m c
242+
(>=>) :: forall c. forall b. forall a. forall m. (Monad (m)) => (a -> m b) -> (b -> m c) -> a -> m c
243243

244-
foldM :: forall b. forall a. forall m. (Monad (m)) => Prelude.Function a (b -> m a) -> a -> Prelude.Array b -> m a
244+
foldM :: forall b. forall a. forall m. (Monad (m)) => (a -> b -> m a) -> a -> [b] -> m a
245245

246246
join :: forall a. forall m. (Monad (m)) => m (m a) -> m a
247247

248-
mapM :: forall b. forall a. forall m. (Monad (m)) => Prelude.Function a (m b) -> Prelude.Array a -> m [b]
248+
mapM :: forall b. forall a. forall m. (Monad (m)) => (a -> m b) -> [a] -> m [b]
249249

250250
replicateM :: forall a. forall m. (Monad (m)) => Prelude.Number -> m a -> m [a]
251251

252-
sequence :: forall a. forall m. (Monad (m)) => Prelude.Array (m a) -> m [a]
252+
sequence :: forall a. forall m. (Monad (m)) => [m a] -> m [a]
253253

254254
when :: forall m. (Monad (m)) => Prelude.Boolean -> m { } -> m { }
255255

@@ -282,7 +282,7 @@ Values
282282

283283
fromMaybe :: forall a. a -> Maybe a -> a
284284

285-
maybe :: forall b. forall a. b -> Prelude.Function a b -> Maybe a -> b
285+
maybe :: forall b. forall a. b -> (a -> b) -> Maybe a -> b
286286

287287
Module Either
288288
-------------
@@ -311,7 +311,7 @@ Values
311311

312312
::
313313

314-
either :: forall c. forall b. forall a. Prelude.Function a c -> Prelude.Function b c -> Either a b -> c
314+
either :: forall c. forall b. forall a. (a -> c) -> (b -> c) -> Either a b -> c
315315

316316
Module Arrays
317317
-------------
@@ -331,68 +331,68 @@ Type Class Instances
331331

332332
instance Prelude.Monad Prelude.Array
333333

334-
(Prelude.Show (a)) => instance Prelude.Show Prelude.Array a
334+
(Prelude.Show (a)) => instance Prelude.Show [a]
335335

336336
Values
337337
~~~~~~
338338

339339
::
340340

341-
(:) :: forall a. a -> Prelude.Array a -> Prelude.Array a
341+
(:) :: forall a. a -> [a] -> [a]
342342

343-
all :: forall a. Prelude.Function a Prelude.Boolean -> Prelude.Array a -> Prelude.Boolean
343+
all :: forall a. (a -> Prelude.Boolean) -> [a] -> Prelude.Boolean
344344

345-
any :: forall a. Prelude.Function a Prelude.Boolean -> Prelude.Array a -> Prelude.Boolean
345+
any :: forall a. (a -> Prelude.Boolean) -> [a] -> Prelude.Boolean
346346

347-
concat :: forall a. Prelude.Array a -> Prelude.Array a -> Prelude.Array a
347+
concat :: forall a. [a] -> [a] -> [a]
348348

349-
concatMap :: forall b. forall a. Prelude.Array a -> Prelude.Function a [b] -> Prelude.Array b
349+
concatMap :: forall b. forall a. [a] -> (a -> [b]) -> [b]
350350

351-
filter :: forall a. Prelude.Function a Prelude.Boolean -> Prelude.Array a -> Prelude.Array a
351+
filter :: forall a. (a -> Prelude.Boolean) -> [a] -> [a]
352352

353-
foldl :: forall b. forall a. Prelude.Function a (b -> b) -> b -> Prelude.Array a -> b
353+
foldl :: forall b. forall a. (a -> b -> b) -> b -> [a] -> b
354354

355-
foldr :: forall b. forall a. Prelude.Function a (b -> a) -> a -> Prelude.Array b -> a
355+
foldr :: forall b. forall a. (a -> b -> a) -> a -> [b] -> a
356356

357-
head :: forall a. Prelude.Array a -> a
357+
head :: forall a. [a] -> a
358358

359-
headSafe :: forall a. Prelude.Array a -> Maybe a
359+
headSafe :: forall a. [a] -> Maybe a
360360

361-
indexOf :: forall a. Prelude.Array a -> a -> Prelude.Number
361+
indexOf :: forall a. [a] -> a -> Prelude.Number
362362

363-
isEmpty :: forall a. Prelude.Array a -> Prelude.Boolean
363+
isEmpty :: forall a. [a] -> Prelude.Boolean
364364

365-
joinS :: Prelude.Array Prelude.String -> Prelude.String
365+
joinS :: [Prelude.String] -> Prelude.String
366366

367-
joinWith :: Prelude.Array Prelude.String -> Prelude.String -> Prelude.String
367+
joinWith :: [Prelude.String] -> Prelude.String -> Prelude.String
368368

369-
lastIndexOf :: forall a. Prelude.Array a -> a -> Prelude.Number
369+
lastIndexOf :: forall a. [a] -> a -> Prelude.Number
370370

371-
length :: forall a. Prelude.Array a -> Prelude.Number
371+
length :: forall a. [a] -> Prelude.Number
372372

373-
map :: forall b. forall a. Prelude.Function a b -> Prelude.Array a -> Prelude.Array b
373+
map :: forall b. forall a. (a -> b) -> [a] -> [b]
374374

375-
push :: forall a. Prelude.Array a -> a -> Prelude.Array a
375+
push :: forall a. [a] -> a -> [a]
376376

377-
range :: Prelude.Number -> Prelude.Number -> Prelude.Array Prelude.Number
377+
range :: Prelude.Number -> Prelude.Number -> [Prelude.Number]
378378

379-
reverse :: forall a. Prelude.Array a -> Prelude.Array a
379+
reverse :: forall a. [a] -> [a]
380380

381-
shift :: forall a. Prelude.Array a -> Prelude.Array a
381+
shift :: forall a. [a] -> [a]
382382

383-
singleton :: forall a. a -> Prelude.Array a
383+
singleton :: forall a. a -> [a]
384384

385-
slice :: forall a. Prelude.Number -> Prelude.Number -> Prelude.Array a -> Prelude.Array a
385+
slice :: forall a. Prelude.Number -> Prelude.Number -> [a] -> [a]
386386

387-
sort :: forall a. Prelude.Array a -> Prelude.Array a
387+
sort :: forall a. [a] -> [a]
388388

389-
splice :: forall a. Prelude.Number -> Prelude.Number -> Prelude.Array a -> Prelude.Array a -> Prelude.Array a
389+
splice :: forall a. Prelude.Number -> Prelude.Number -> [a] -> [a] -> [a]
390390

391-
tail :: forall a. Prelude.Array a -> Prelude.Array a
391+
tail :: forall a. [a] -> [a]
392392

393-
tailSafe :: forall a. Prelude.Array a -> Maybe [a]
393+
tailSafe :: forall a. [a] -> Maybe [a]
394394

395-
zipWith :: forall c. forall b. forall a. Prelude.Function a (b -> c) -> Prelude.Array a -> Prelude.Array b -> Prelude.Array c
395+
zipWith :: forall c. forall b. forall a. (a -> b -> c) -> [a] -> [b] -> [c]
396396

397397
Module Tuple
398398
------------
@@ -415,15 +415,15 @@ Values
415415

416416
::
417417

418-
curry :: forall c. forall b. forall a. Prelude.Function (Tuple a b) c -> a -> b -> c
418+
curry :: forall c. forall b. forall a. (Tuple a b -> c) -> a -> b -> c
419419

420420
tuple :: forall b. forall a. a -> b -> Tuple a b
421421

422-
uncurry :: forall c. forall b. forall a. Prelude.Function a (b -> c) -> Tuple a b -> c
422+
uncurry :: forall c. forall b. forall a. (a -> b -> c) -> Tuple a b -> c
423423

424-
unzip :: forall b. forall a. Prelude.Array (Tuple a b) -> Tuple [a] [b]
424+
unzip :: forall b. forall a. [Tuple a b] -> Tuple [a] [b]
425425

426-
zip :: forall b. forall a. Prelude.Array a -> Prelude.Array b -> Prelude.Array (Tuple a b)
426+
zip :: forall b. forall a. [a] -> [b] -> [Tuple a b]
427427

428428
Module String
429429
-------------
@@ -456,7 +456,7 @@ Values
456456

457457
sliceS :: Prelude.Number -> Prelude.Number -> Prelude.String -> Prelude.String
458458

459-
split :: Prelude.String -> Prelude.String -> Prelude.Array Prelude.String
459+
split :: Prelude.String -> Prelude.String -> [Prelude.String]
460460

461461
substr :: Prelude.Number -> Prelude.Number -> Prelude.String -> Prelude.String
462462

@@ -489,7 +489,7 @@ Values
489489

490490
::
491491

492-
match :: Regex -> Prelude.String -> Prelude.Array Prelude.String
492+
match :: Regex -> Prelude.String -> [Prelude.String]
493493

494494
regex :: Prelude.String -> Prelude.String -> Regex
495495

@@ -620,11 +620,11 @@ Values
620620

621621
::
622622

623-
bindEff :: forall b. forall a. forall e. Eff e a -> Prelude.Function a (Eff e b) -> Eff e b
623+
bindEff :: forall b. forall a. forall e. Eff e a -> (a -> Eff e b) -> Eff e b
624624

625-
forE :: forall e. Prelude.Number -> Prelude.Number -> Prelude.Function Prelude.Number (Eff e { }) -> Eff e { }
625+
forE :: forall e. Prelude.Number -> Prelude.Number -> (Prelude.Number -> Eff e { }) -> Eff e { }
626626

627-
foreachE :: forall a. forall e. Prelude.Array a -> Prelude.Function a (Eff e { }) -> Eff e { }
627+
foreachE :: forall a. forall e. [a] -> (a -> Eff e { }) -> Eff e { }
628628

629629
retEff :: forall a. forall e. a -> Eff e a
630630

@@ -678,7 +678,7 @@ Values
678678

679679
::
680680

681-
catchError :: forall a. forall r. forall e. Prelude.Function e (Eff r a) -> Eff err :: Error e | r a -> Eff r a
681+
catchError :: forall a. forall r. forall e. (e -> Eff r a) -> Eff err :: Error e | r a -> Eff r a
682682

683683
throwError :: forall r. forall e. forall a. e -> Eff err :: Error e | r a
684684

@@ -705,7 +705,7 @@ Values
705705

706706
::
707707

708-
modifyIORef :: forall r. forall s. IORef s -> Prelude.Function s s -> Eff ref :: Ref | r { }
708+
modifyIORef :: forall r. forall s. IORef s -> (s -> s) -> Eff ref :: Ref | r { }
709709

710710
newIORef :: forall r. forall s. s -> Eff ref :: Ref | r (IORef s)
711711

@@ -761,7 +761,7 @@ Values
761761

762762
::
763763

764-
modifySTRef :: forall r. forall h. forall a. STRef h a -> Prelude.Function a a -> Eff st :: ST h | r { }
764+
modifySTRef :: forall r. forall h. forall a. STRef h a -> (a -> a) -> Eff st :: ST h | r { }
765765

766766
newSTRef :: forall r. forall h. forall a. a -> Eff st :: ST h | r (STRef h a)
767767

0 commit comments

Comments
 (0)