tweag/distributed-closure
1
1
Fork 0
mirror of https://github.com/tweag/distributed-closure.git synced 2024-11-25 08:19:05 +03:00
Code Issues Projects Releases Wiki Activity

Fix Apply/Bind laws.

Browse Source
This commit is contained in:
Mathieu Boespflug 2017-08-12 23:31:34 +02:00
parent ed07c6fed5
commit 5f4521be44
1 changed files with 11 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/Control/Distributed/Closure/Class.hs
View File

@ -46,9 +46,9 @@ class Typeable f => StaticFunctor f where
-- 'staticMap', 'staticApply' as infix @('<$>')@, @('<*>')@, respectively):
--
-- @
-- cduplicate staticCompose '<$>' u '<*>' v '<*>' w = u '<*>' (v '<*>' w)
-- x '<*>' (f '<$>' y) = (cduplicate (flip staticCompose) ``cap`` f) '<$>' x '<*>' y
-- f '<$>' (x '<*>' y) = (cduplicate staticCompose ``cap`` f) '<$>' x '<*>' y
-- static staticCompose '<$>' u '<*>' v '<*>' w = u '<*>' (v '<*>' w)
-- x '<*>' (f '<$>' y) = (static (flip staticCompose) ``capDup`` f) '<$>' x '<*>' y
-- f '<$>' (x '<*>' y) = (static staticCompose ``capDup`` f) '<$>' x '<*>' y
-- @
--
-- where
@ -72,9 +72,16 @@ class StaticApply f => StaticApplicative f where
-- respectively):
--
-- @
-- (m >>= f) >>= g = m >>= static (.) ``cap`` (static (>>=) ``cap`` g) ``cap`` f
-- (m >>= f) >>= g = m >>= static (.) ``cap`` (staticFlippedBind g) `cap` f
-- 'staticJoin' . 'staticJoin' = 'staticJoin' . 'staticMap' (static 'staticJoin')
-- @
--
-- where
--
-- @
-- staticFlippedBind :: Closure (b -> m c) -> Closure (m b -> m c)
-- staticFlippedBind = capDup (static (flip staticBind))
-- @
class StaticApply m => StaticBind m where
staticBind :: (Typeable a, Typeable b) => m a -> Closure (a -> m b) -> m b
staticBind m k = staticJoin (staticMap k m)