Safe Haskell	Safe
Language	Haskell2010

Control.Category.Dual

Documentation

newtype Dual k a b Source #

Constructors

Dual
Fields dual :: k b a

Instances

Category k2 => Category (Dual k2 :: k1 -> k1 -> Type) Source #
Instance details Defined in Control.Category.Dual Methods id :: Dual k2 a a # (.) :: Dual k2 b c -> Dual k2 a b -> Dual k2 a c #
Bitraversable k => Bitraversable (Dual k) Source #
Instance details Defined in Control.Category.Dual Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Dual k a b -> f (Dual k c d) #
Bifoldable k => Bifoldable (Dual k) Source #
Instance details Defined in Control.Category.Dual Methods bifold :: Monoid m => Dual k m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> Dual k a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> Dual k a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> Dual k a b -> c #
Bifunctor k => Bifunctor (Dual k) Source #
Instance details Defined in Control.Category.Dual Methods bimap :: (a -> b) -> (c -> d) -> Dual k a c -> Dual k b d # first :: (a -> b) -> Dual k a c -> Dual k b c # second :: (b -> c) -> Dual k a b -> Dual k a c #
Eq2 k => Eq2 (Dual k) Source #
Instance details Defined in Control.Category.Dual Methods liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> Dual k a c -> Dual k b d -> Bool #
Ord2 k => Ord2 (Dual k) Source #
Instance details Defined in Control.Category.Dual Methods liftCompare2 :: (a -> b -> Ordering) -> (c -> d -> Ordering) -> Dual k a c -> Dual k b d -> Ordering #
Read2 k => Read2 (Dual k) Source #
Instance details Defined in Control.Category.Dual Methods liftReadsPrec2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> Int -> ReadS (Dual k a b) # liftReadList2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> ReadS [Dual k a b] # liftReadPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec (Dual k a b) # liftReadListPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec [Dual k a b] #
Show2 k => Show2 (Dual k) Source #
Instance details Defined in Control.Category.Dual Methods liftShowsPrec2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> Int -> Dual k a b -> ShowS # liftShowList2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> [Dual k a b] -> ShowS #
Bounded (k3 b a) => Bounded (Dual k3 a b) Source #
Instance details Defined in Control.Category.Dual Methods minBound :: Dual k3 a b # maxBound :: Dual k3 a b #
Eq (k3 b a) => Eq (Dual k3 a b) Source #
Instance details Defined in Control.Category.Dual Methods (==) :: Dual k3 a b -> Dual k3 a b -> Bool # (/=) :: Dual k3 a b -> Dual k3 a b -> Bool #
Ord (k3 b a) => Ord (Dual k3 a b) Source #
Instance details Defined in Control.Category.Dual Methods compare :: Dual k3 a b -> Dual k3 a b -> Ordering # (<) :: Dual k3 a b -> Dual k3 a b -> Bool # (<=) :: Dual k3 a b -> Dual k3 a b -> Bool # (>) :: Dual k3 a b -> Dual k3 a b -> Bool # (>=) :: Dual k3 a b -> Dual k3 a b -> Bool # max :: Dual k3 a b -> Dual k3 a b -> Dual k3 a b # min :: Dual k3 a b -> Dual k3 a b -> Dual k3 a b #
Read (k3 b a) => Read (Dual k3 a b) Source #
Instance details Defined in Control.Category.Dual Methods readsPrec :: Int -> ReadS (Dual k3 a b) # readList :: ReadS [Dual k3 a b] # readPrec :: ReadPrec (Dual k3 a b) # readListPrec :: ReadPrec [Dual k3 a b] #
Show (k3 b a) => Show (Dual k3 a b) Source #
Instance details Defined in Control.Category.Dual Methods showsPrec :: Int -> Dual k3 a b -> ShowS # show :: Dual k3 a b -> String # showList :: [Dual k3 a b] -> ShowS #
Semigroup (k3 b a) => Semigroup (Dual k3 a b) Source #
Instance details Defined in Control.Category.Dual Methods (<>) :: Dual k3 a b -> Dual k3 a b -> Dual k3 a b # sconcat :: NonEmpty (Dual k3 a b) -> Dual k3 a b # stimes :: Integral b0 => b0 -> Dual k3 a b -> Dual k3 a b #
Monoid (k3 b a) => Monoid (Dual k3 a b) Source #
Instance details Defined in Control.Category.Dual Methods mempty :: Dual k3 a b # mappend :: Dual k3 a b -> Dual k3 a b -> Dual k3 a b # mconcat :: [Dual k3 a b] -> Dual k3 a b #