add star skeleton

evilsoft · Mar 2, 2017 · 9b24cd5 · 9b24cd5
1 parent 0d23be8
commit 9b24cd5
Show file tree

Hide file tree

Showing 2 changed files with 62 additions and 17 deletions.
diff --git a/docs/crocks/Arrow.md b/docs/crocks/Arrow.md
@@ -14,14 +14,10 @@
 
 | Constructor | Instance |
 |:---|:---|
-| [`empty`](#empty), [`type`](#type) | [`both`](#both), [`concat`](#concat), [`contramap`](#contramap), [`empty`](#empty), [`first`](#first), [`inspect`](#inspect), [`map`](#map), [`promap`](#promap), [`runWith`](#runWith), [`second`](#second), [`type`](#type), [`value`](#value) |
+| [`type`](#type) | [`both`](#both), [`contramap`](#contramap), [`first`](#first), [`inspect`](#inspect), [`map`](#map), [`promap`](#promap), [`runWith`](#runWith), [`second`](#second), [`type`](#type) |
 
 ## Constructor
 
-### empty
-
-`Arrow m => () -> m a a`
-
 ### type
 
 `() -> String`
@@ -32,18 +28,10 @@
 
 `Arrow m, Pair p => m a b ~> () -> m (p a a) (p b b)`
 
-### concat
-
-`Arrow m => m a b ~> m a b -> m a b`
-
 ### contramap
 
 `Arrow m => m a b ~> (c -> a) -> m c b`
 
-### empty
-
-`Arrow m => () -> m a a`
-
 ### first
 
 `Arrow m, Pair p => m a b ~> () -> m (p a c) (p b c)`
@@ -71,7 +59,3 @@
 ### type
 
 `() -> String`
-
-### value
-
-`Arrow m => m a b ~> (a -> b)`
diff --git a/docs/crocks/Star.md b/docs/crocks/Star.md
@@ -0,0 +1,61 @@
+# Star
+
+`Monad m => Star a (m b)`
+
+--
+
+--
+
+```js
+--
+```
+
+`Star` exposes the following functions on the constructor and instance:
+
+| Constructor | Instance |
+|:---|:---|
+| [`type`](#type) | [`both`](#both), [`contramap`](#contramap), [`first`](#first), [`inspect`](#inspect), [`map`](#map), [`promap`](#promap), [`runWith`](#runWith), [`second`](#second), [`type`](#type) |
+
+## Constructor
+
+### type
+
+`() -> String`
+
+## Instance
+
+### both
+
+`Star s, Pair p, Monad m => s a (m b) ~> () -> s (p a a) (p (m b) (m b))`
+
+### contramap
+
+`Star s, Monad m => s a (m b) ~> (c -> a) -> s c (m b)`
+
+### first
+
+`Star s, Pair p, Monad m => s a (m b) ~> () -> s (p a c) (p (m b) c)`
+
+### inspect
+
+`() -> String`
+
+### map
+
+`Star s, Monad m => s a (m b) ~> (b -> c) -> m a (m c)`
+
+### promap
+
+`Star s, Monad m => s a (m b) ~> ((a -> c), (b -> d) -> s c (m d)`
+
+### runWith
+
+`Star s, Monad m => s a (m b) ~> a -> m b`
+
+### second
+
+`Star s, Pair p, Monad m => s a (m b) ~> () -> m (p c a) (p c (m b))`
+
+### type
+
+`() -> String`