Portability | non-portable (rank-2 polymorphism/existentials) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Documentation
liftColimit :: (f :~> g) -> Colimit f -> Colimit gSource
Portability | non-portable (rank-2 polymorphism/existentials) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
liftColimit :: (f :~> g) -> Colimit f -> Colimit gSource