Copyright | (C) 2008 Edward Kmett (C) 2024 Koji Miyazato |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Koji Miyazato <viercc@gmail.com> |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Documentation
foldMutual :: Bifunctor p => (forall a b. t a -> (a -> p b (t b)) -> t b) -> (forall a. m a -> t a) -> (forall a. n a -> t a) -> Mutual p m n c -> t c Source #
unfoldMutual :: Bifunctor p => (forall a b. (p a (s a) -> b) -> s a -> s b) -> (forall a. s a -> w a) -> (forall a. s a -> v a) -> s c -> Mutual p w v c Source #