Safe Haskell	None
Language	GHC2021

Control.Category.Dual

Documentation

newtype Dual (cat :: k -> k -> Type) (a :: k) (b :: k) Source #

Constructors

Dual
Fields getDual :: cat b a

Instances details

Category cat => Category (Dual cat :: k -> k -> Type) Source #
Instance details Defined in Control.Category.Dual Methods id :: forall (a :: k). Dual cat a a # (.) :: forall (b :: k) (c :: k) (a :: k). Dual cat b c -> Dual cat a b -> Dual cat a c #