Control.Newtyper

Documentation

packM :: (Monad m, Newtype n o) => (a -> m o) -> a -> m n

unpackM :: (Monad m, Newtype n o) => (a -> m n) -> a -> m o

packF :: (Functor f, Newtype n o) => (a -> f o) -> a -> f n

unpackF :: (Functor f, Newtype n o) => (a -> f n) -> a -> f o