Documentation

newtype Data a m Source #

getData :: HasEff (Data a) r m => EffT r m a Source #

localData :: HasEff (Data a) r m => (a -> a) -> EffT r m x -> EffT r m x Source #