Skip to content

Instantly share code, notes, and snippets.

@paulp

paulp/monad.hs

Created August 23, 2018 06:42
Show Gist options
  • Save paulp/29c8b46f445552e1b5183a8a7693d16c to your computer and use it in GitHub Desktop.
Save paulp/29c8b46f445552e1b5183a8a7693d16c to your computer and use it in GitHub Desktop.
Download ZIP
Raw
monad.hs
instance Monad f => Monad (OptionalT f) where
f =<< x = OptionalT $ runOptionalT x >>= \case
Empty -> return Empty
Full a -> runOptionalT $ f a
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment