Skip to content

Instantly share code, notes, and snippets.

@mikhailshilkov

mikhailshilkov/right-identity-law.cs

Created July 11, 2018 13:39
Show Gist options
  • Save mikhailshilkov/7cf78e696e141a95e95931e818240477 to your computer and use it in GitHub Desktop.
Save mikhailshilkov/7cf78e696e141a95e95931e818240477 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
right-identity-law.cs
// Given
Monad<T> monadicValue;
// Then (== means both parts are equivalent)
monadicValue.Bind(x => new Monad<T>(x)) == monadicValue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment