Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
Documentation
hoistMonadView :: (forall x. s x -> t x) -> (m a -> n a) -> MonadView s m a -> MonadView t n a Source
hoistSkeleton :: (forall x. s x -> t x) -> Skeleton s a -> Skeleton t a Source
Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
hoistMonadView :: (forall x. s x -> t x) -> (m a -> n a) -> MonadView s m a -> MonadView t n a Source
hoistSkeleton :: (forall x. s x -> t x) -> Skeleton s a -> Skeleton t a Source