Pandora.Pattern.Functor.Divisible

Documentation

class Contravariant t => Divisible t where

Methods

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

Instances

Divisible Equivalence

Defined in Pandora.Paradigm.Primary.Functor.Equivalence

Methods

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

Divisible Predicate

Defined in Pandora.Paradigm.Primary.Functor.Predicate

Methods

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