Arrow a => Arrow (Bijection a) Source #  In order to use all the Arrow functions, we make a partially broken instance, where arr creates a bijection with a broken biFrom . See note on BiArrow' .
&&& is firstbiased, and uses only the left argument's biFrom . 
Instance detailsDefined in Data.Invertible.Bijection 
ArrowZero a => ArrowZero (Bijection a) Source #  
Instance detailsDefined in Data.Invertible.Bijection 
ArrowChoice a => ArrowChoice (Bijection a) Source #   is Leftbiased, and uses only the left argument's biFrom .

Instance detailsDefined in Data.Invertible.Bijection 
Invariant2 (Bijection ((>) :: Type > Type > Type)) Source #  
Instance detailsDefined in Data.Invertible.Bijection 
(Semigroupoid a, Arrow a) => BiArrow' (Bijection a) Source #  
Instance detailsDefined in Control.Invertible.BiArrow 
(Semigroupoid a, Arrow a) => BiArrow (Bijection a) Source #  
Instance detailsDefined in Control.Invertible.BiArrow 
Category a => Category (Bijection a :: Type > Type > Type) Source #  
Instance detailsDefined in Data.Invertible.Bijection 
Semigroupoid a => Groupoid (Bijection a :: Type > Type > Type) Source #  
Instance detailsDefined in Data.Invertible.Bijection 
Semigroupoid a => Semigroupoid (Bijection a :: Type > Type > Type) Source #  
Instance detailsDefined in Data.Invertible.Bijection 
Monad m => Arrow (MonadArrow (<>) m) Source #  
Instance detailsDefined in Control.Invertible.MonadArrow 
MonadPlus m => ArrowZero (MonadArrow (<>) m) Source #  
Instance detailsDefined in Control.Invertible.MonadArrow 
MonadPlus m => ArrowPlus (MonadArrow (<>) m) Source #  
Instance detailsDefined in Control.Invertible.MonadArrow 
Monad m => ArrowChoice (MonadArrow (<>) m) Source #  
Instance detailsDefined in Control.Invertible.MonadArrow 
Invariant (Bijection ((>) :: Type > Type > Type) b) Source #  
Instance detailsDefined in Data.Invertible.Bijection 
Monad m => BiArrow' (MonadArrow (<>) m) Source #  
Instance detailsDefined in Control.Invertible.MonadArrow 
(Semigroupoid a, Arrow a) => Functor (Bijection a b) Source #  
Instance detailsDefined in Control.Invertible.Functor 
Monoidal (Bijection ((>) :: Type > Type > Type) ()) Source #  
Instance detailsDefined in Control.Invertible.Monoidal 