Safe Haskell	None
Language	Haskell2010

Data.Bifunctor.Conjunction

Contents

Synopsis

class Conj c where
- (>!!<) :: Applicative f => f a -> f b -> f (a `c` b)
- exl :: Contravariant k => k a -> k (a `c` b)
- exr :: Contravariant k => k b -> k (a `c` b)
exlF :: (Functor f, Conj c) => f (a `c` b) -> f a
exrF :: (Functor f, Conj c) => f (a `c` b) -> f b
deMorganConj :: (Contravariant k, Conj c) => Either (k a) (k b) -> k (a `c` b)

Conjunctions

class Conj c where Source #

Methods

(>!!<) :: Applicative f => f a -> f b -> f (a `c` b) infixr 3 Source #

exl :: Contravariant k => k a -> k (a `c` b) Source #

exr :: Contravariant k => k b -> k (a `c` b) Source #

Instances details

Conj (,) Source #
Instance details Defined in Data.Bifunctor.Conjunction Methods (>!!<) :: Applicative f => f a -> f b -> f (a, b) Source # exl :: Contravariant k => k a -> k (a, b) Source # exr :: Contravariant k => k b -> k (a, b) Source #

exlF :: (Functor f, Conj c) => f (a `c` b) -> f a Source #

exrF :: (Functor f, Conj c) => f (a `c` b) -> f b Source #

deMorganConj :: (Contravariant k, Conj c) => Either (k a) (k b) -> k (a `c` b) Source #