summaryrefslogtreecommitdiff
path: root/tests/purs/publish/basic-example/output/Control.Comonad/docs.json
diff options
context:
space:
mode:
Diffstat (limited to 'tests/purs/publish/basic-example/output/Control.Comonad/docs.json')
-rw-r--r--tests/purs/publish/basic-example/output/Control.Comonad/docs.json1
1 files changed, 0 insertions, 1 deletions
diff --git a/tests/purs/publish/basic-example/output/Control.Comonad/docs.json b/tests/purs/publish/basic-example/output/Control.Comonad/docs.json
deleted file mode 100644
index eb53426..0000000
--- a/tests/purs/publish/basic-example/output/Control.Comonad/docs.json
+++ /dev/null
@@ -1 +0,0 @@
-{"reExports":[],"name":"Control.Comonad","comments":null,"declarations":[{"children":[{"comments":null,"title":"extract","info":{"declType":"typeClassMember","type":{"annotation":[],"tag":"ForAll","contents":["a",{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeVar","contents":"w"},{"annotation":[],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[],"tag":"TypeVar","contents":"a"}]},null]}},"sourceSpan":{"start":[21,3],"name":"../../../support/bower_components/purescript-control/src/Control/Comonad.purs","end":[21,32]}}],"comments":"`Comonad` extends the `Extend` class with the `extract` function\nwhich extracts a value, discarding the comonadic context.\n\n`Comonad` is the dual of `Monad`, and `extract` is the dual of `pure`.\n\nLaws:\n\n- Left Identity: `extract <<= xs = xs`\n- Right Identity: `extract (f <<= xs) = f xs`\n","title":"Comonad","info":{"fundeps":[],"arguments":[["w",null]],"declType":"typeClass","superclasses":[{"constraintAnn":[],"constraintClass":[["Control","Extend"],"Extend"],"constraintArgs":[{"annotation":[],"tag":"TypeVar","contents":"w"}],"constraintData":null}]},"sourceSpan":{"start":[20,1],"name":"../../../support/bower_components/purescript-control/src/Control/Comonad.purs","end":[21,32]}}]} \ No newline at end of file