Tintin.Core

Documentation

type Effectful context result = ReaderT context IO result

type Pure context result = Reader context result

(|>) :: a -> (a -> b) -> b

(|$>) :: Functor f => f a -> (a -> b) -> f b

(|>>) :: Monad m => m a -> (a -> m b) -> m b

runEffects :: Effectful context result -> context -> IO result