You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Monadic contravariant functions like the above ones are used in co-log. Does it make sense in general to have such abstractions? And do they have a proper name?
The text was updated successfully, but these errors were encountered:
I've discovered that if contravariant data types have access to a monad, it's possible to implement monadic versions of them:
Monadic contravariant functions like the above ones are used in
co-log
. Does it make sense in general to have such abstractions? And do they have a proper name?The text was updated successfully, but these errors were encountered: