git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Update Prelude documentation
6826392Phil Freeman
prelude/README.md+9−15
compare with golang
unifiedsplit
@@ -27,9 +27,9 @@
27 (>>=) :: forall a b. m a -> (a -> m b) -> m b
27 (>>=) :: forall a b. m a -> (a -> m b) -> m b
28
28
29 class Bits b where
29 class Bits b where
30− (&) :: b -> b -> b
30+ (.&.) :: b -> b -> b
31− (|) :: b -> b -> b
31+ (.|.) :: b -> b -> b
32− (^) :: b -> b -> b
32+ (.^.) :: b -> b -> b
33 shl :: b -> Number -> b
33 shl :: b -> Number -> b
34 shr :: b -> Number -> b
34 shr :: b -> Number -> b
35 zshr :: b -> Number -> b
35 zshr :: b -> Number -> b
@@ -146,6 +146,8 @@
146
146
147 (:) :: forall a. a -> [a] -> [a]
147 (:) :: forall a. a -> [a] -> [a]
148
148
149+ (<#>) :: forall f a b. (Functor f) => f a -> (a -> b) -> f b
150+
149 (<) :: forall a. (Ord a) => a -> a -> Boolean
151 (<) :: forall a. (Ord a) => a -> a -> Boolean
150
152
151 (<=) :: forall a. (Ord a) => a -> a -> Boolean
153 (<=) :: forall a. (Ord a) => a -> a -> Boolean
@@ -170,6 +172,8 @@
170
172
171 liftM1 :: forall m a b. (Monad m) => (a -> b) -> m a -> m b
173 liftM1 :: forall m a b. (Monad m) => (a -> b) -> m a -> m b
172
174
175+ otherwise :: Boolean
176+
173 refEq :: forall a. a -> a -> Boolean
177 refEq :: forall a. a -> a -> Boolean
174
178
175 refIneq :: forall a. a -> a -> Boolean
179 refIneq :: forall a. a -> a -> Boolean
@@ -262,7 +266,7 @@
262### Types
266### Types
263
267
264 newtype Ref a where
268 newtype Ref a where
265− Ref :: a -> Ref
269+ Ref :: a -> Ref a
266
270
267
271
268### Type Class Instances
272### Type Class Instances
@@ -350,8 +354,6 @@
350
354
351 data ST :: * -> !
355 data ST :: * -> !
352
356
353− data STArray :: * -> * -> *
354−
355 data STRef :: * -> * -> *
357 data STRef :: * -> * -> *
356
358
357
359
@@ -359,22 +361,14 @@
359
361
360 modifySTRef :: forall a h r. STRef h a -> (a -> a) -> Eff (st :: ST h | r) a
362 modifySTRef :: forall a h r. STRef h a -> (a -> a) -> Eff (st :: ST h | r) a
361
363
362− newSTArray :: forall a h r. Number -> a -> Eff (st :: ST h | r) (STArray h a)
363−
364 newSTRef :: forall a h r. a -> Eff (st :: ST h | r) (STRef h a)
364 newSTRef :: forall a h r. a -> Eff (st :: ST h | r) (STRef h a)
365
365
366− peekSTArray :: forall a h r. STArray h a -> Number -> Eff (st :: ST h | r) a
366+ pureST :: forall a. (forall h r. Eff (st :: ST h | r) a) -> a
367−
368− pokeSTArray :: forall a h r. STArray h a -> Number -> a -> Eff (st :: ST h | r) a
369
367
370 readSTRef :: forall a h r. STRef h a -> Eff (st :: ST h | r) a
368 readSTRef :: forall a h r. STRef h a -> Eff (st :: ST h | r) a
371
369
372 runST :: forall a r. (forall h. Eff (st :: ST h | r) a) -> Eff r a
370 runST :: forall a r. (forall h. Eff (st :: ST h | r) a) -> Eff r a
373
371
374− pureST :: forall a. (forall h r. Eff (st :: ST h | r) a) -> a
375−
376− runSTArray :: forall a r. (forall h. Eff (st :: ST h | r) (STArray h a)) -> Eff r [a]
377−
378 writeSTRef :: forall a h r. STRef h a -> a -> Eff (st :: ST h | r) a
372 writeSTRef :: forall a h r. STRef h a -> a -> Eff (st :: ST h | r) a
379
373
380
374
prelude/images/Prelude.png

Binary file not shown.

prelude/updateDocs.sh+1−1
@@ -1,4 +1,4 @@
1−../dist/build/docgen/docgen --hierarchy-images prelude.purs > README.md
1+../dist/build/psc-docs/psc-docs --hierarchy-images prelude.purs > README.md
2../dist/build/hierarchy/hierarchy prelude.purs -o prelude
2../dist/build/hierarchy/hierarchy prelude.purs -o prelude
3
3
4mkdir -p images
4mkdir -p images