$ | Pandora.Pattern.Category, Pandora.Pattern |
$$$$|- | Pandora.Pattern.Functor.Adjoint, Pandora.Pattern.Functor, Pandora.Pattern |
$$$|- | Pandora.Pattern.Functor.Adjoint, Pandora.Pattern.Functor, Pandora.Pattern |
$$|- | Pandora.Pattern.Functor.Adjoint, Pandora.Pattern.Functor, Pandora.Pattern |
$< | Pandora.Pattern.Functor.Contravariant, Pandora.Pattern.Functor, Pandora.Pattern |
$=>> | Pandora.Pattern.Functor.Extendable, Pandora.Pattern.Functor, Pandora.Pattern |
$> | Pandora.Pattern.Functor.Covariant, Pandora.Pattern.Functor, Pandora.Pattern |
$>>= | Pandora.Pattern.Functor.Bindable, Pandora.Pattern.Functor, Pandora.Pattern |
$|- | Pandora.Pattern.Functor.Adjoint, Pandora.Pattern.Functor, Pandora.Pattern |