pandora-0.3.6: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Pattern.Functor.Divisible

Documentation

class Contravariant t => Divisible t where Source #

Methods

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

Instances

Instances details
Divisible Equivalence Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Equivalence

Methods

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

Divisible Predicate Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Predicate

Methods

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