{-# LANGUAGE CPP #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
#if __GLASGOW_HASKELL__ >= 706
{-# LANGUAGE PolyKinds #-}
#endif
#if __GLASGOW_HASKELL__ >= 702
{-# LANGUAGE Trustworthy #-}
#endif
module Data.Groupoid
( Groupoid(..)
) where
import Data.Semigroupoid
import Data.Semigroupoid.Dual
#if MIN_VERSION_base(4,7,0)
import qualified Data.Type.Coercion as Co
import qualified Data.Type.Equality as Eq
#endif
class Semigroupoid k => Groupoid k where
inv :: k a b -> k b a
instance Groupoid k => Groupoid (Dual k) where
inv :: Dual k a b -> Dual k b a
inv (Dual k b a
k) = k a b -> Dual k b a
forall k k (k :: k -> k -> *) (a :: k) (b :: k).
k b a -> Dual k a b
Dual (k b a -> k a b
forall k (k :: k -> k -> *) (a :: k) (b :: k).
Groupoid k =>
k a b -> k b a
inv k b a
k)
#if MIN_VERSION_base(4,7,0)
instance Groupoid Co.Coercion where
inv :: Coercion a b -> Coercion b a
inv = Coercion a b -> Coercion b a
forall k (a :: k) (b :: k). Coercion a b -> Coercion b a
Co.sym
instance Groupoid (Eq.:~:) where
inv :: (a :~: b) -> b :~: a
inv = (a :~: b) -> b :~: a
forall k (a :: k) (b :: k). (a :~: b) -> b :~: a
Eq.sym
#endif
#if MIN_VERSION_base(4,10,0)
instance Groupoid (Eq.:~~:) where
inv :: (a :~~: b) -> b :~~: a
inv a :~~: b
Eq.HRefl = b :~~: a
forall k1 (a :: k1). a :~~: a
Eq.HRefl
#endif