Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Contravariant t => Divisible t where Source #
Instances
Divisible Predicate Source # | |
Ringoid r => Divisible (Convergence r) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Convergence (>*<) :: Convergence r b -> Convergence r c -> Convergence r (b :*: c) Source # |