Skip to content
This repository was archived by the owner on Oct 4, 2020. It is now read-only.

Commit d111652

Browse files
committed
Generated docs
1 parent 9404c9f commit d111652

File tree

4 files changed

+37
-39
lines changed

4 files changed

+37
-39
lines changed

MODULE.md

Lines changed: 0 additions & 36 deletions
This file was deleted.

README.md

Lines changed: 36 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1,36 @@
1-
# purescript-inject
1+
# Module Documentation
2+
3+
## Module Data.Inject
4+
5+
#### `Inject`
6+
7+
``` purescript
8+
class Inject f g where
9+
inj :: forall a. f a -> g a
10+
prj :: forall a. g a -> Maybe (f a)
11+
```
12+
13+
14+
#### `injectReflexive`
15+
16+
``` purescript
17+
instance injectReflexive :: Inject f f
18+
```
19+
20+
21+
#### `injectLeft`
22+
23+
``` purescript
24+
instance injectLeft :: Inject f (Coproduct f g)
25+
```
26+
27+
28+
#### `injectRight`
29+
30+
``` purescript
31+
instance injectRight :: (Inject f g) => Inject f (Coproduct h g)
32+
```
33+
34+
35+
36+

gulpfile.js

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ var gulp = require('gulp')
1212
'src/**/*.purs'
1313
],
1414
dest: 'dist',
15-
docs: 'MODULE.md'
15+
docs: 'README.md'
1616
}
1717
}
1818
;

package.json

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
{
2-
"name": "purescript-inject",
32
"private": true,
43
"devDependencies": {
54
"del": "0.1.3",

0 commit comments

Comments
 (0)