Rebase.Data.Semigroupoid · rebase-1.21.2

classclass Semigroupoid (c :: k -> k -> Type) where

Instances16Semigroupoid, …

Semigroupoid OpDefined in semigroupoids-6.0.1 · Data.Semigroupoid
Semigroupoid Tuple2Defined in semigroupoids-6.0.1 · Data.Semigroupoid
http://en.wikipedia.org/wiki/Band_(mathematics)#Rectangular_bands
Apply f => Semigroupoid (Static f)Defined in semigroupoids-6.0.1 · Data.Semigroupoid.Static
Bind m => Semigroupoid (Kleisli m)Defined in semigroupoids-6.0.1 · Data.Semigroupoid
Semigroupoid ConstDefined in semigroupoids-6.0.1 · Data.Semigroupoid
Semigroupoid CoercionDefined in semigroupoids-6.0.1 · Data.Semigroupoid
Semigroupoid TaggedDefined in semigroupoids-6.0.1 · Data.Semigroupoid
Semigroupoid (:~:)Defined in semigroupoids-6.0.1 · Data.Semigroupoid
Semigroupoid s => Semigroupoid (Categorical s)Defined in semigroupoids-6.0.1 · Data.Semigroupoid.Categorical
Extend w => Semigroupoid (Cokleisli w)Defined in semigroupoids-6.0.1 · Data.Semigroupoid
Semigroupoid (:~~:)Defined in semigroupoids-6.0.1 · Data.Semigroupoid
Semigroupoid (->)Defined in semigroupoids-6.0.1 · Data.Semigroupoid
Semigroupoid k2 => Semigroupoid (Iso k2)Defined in semigroupoids-6.0.1 · Data.Isomorphism
Semigroup m => Semigroupoid (Semi m)Defined in semigroupoids-6.0.1 · Data.Semigroupoid
Category k2 => Semigroupoid (WrappedCategory k2)Defined in semigroupoids-6.0.1 · Data.Semigroupoid
Semigroupoid k2 => Semigroupoid (Dual k2)Defined in semigroupoids-6.0.1 · Data.Semigroupoid.Dual

newtypenewtype Semi m (a :: k) (b :: k1)

Instances2Category, Semigroupoid

Monoid m => Category (Semi m)Defined in semigroupoids-6.0.1 · Data.Semigroupoid
Semigroup m => Semigroupoid (Semi m)Defined in semigroupoids-6.0.1 · Data.Semigroupoid

newtypenewtype WrappedCategory (k2 :: k -> k1 -> Type) (a :: k) (b :: k1)

Instances2Category, Semigroupoid

Category k2 => Category (WrappedCategory k2)Defined in semigroupoids-6.0.1 · Data.Semigroupoid
Category k2 => Semigroupoid (WrappedCategory k2)Defined in semigroupoids-6.0.1 · Data.Semigroupoid