Pandora.Pattern.Functor.Divisible

Documentation

class Contravariant t => Divisible t where

Methods

(>*<) :: t b -> t c -> t (b :*: c) infixr 5

Instances

Divisible Predicate

Defined in Pandora.Paradigm.Primary.Functor.Predicate

Methods

(>*<) :: Predicate b -> Predicate c -> Predicate (b :*: c)

Ringoid r => Divisible (Convergence r)

Defined in Pandora.Paradigm.Primary.Functor.Convergence

Methods

(>*<) :: Convergence r b -> Convergence r c -> Convergence r (b :*: c)

class Bivariant v => Divisible_ t v source target where

Methods

divide :: Bivariant v => source r (v a b) -> target (v (t a) (t b)) (t r)

Instances

Divisible_ Predicate (:*:) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Predicate

Methods

divide :: Bivariant (:*:) => (r -> (a :*: b)) -> (Predicate a :*: Predicate b) -> Predicate r