Modulesemigroupoids-6.0.2
Data.Semigroupoid
Synopsis
- newtype Semi
- class Semigroupoid
- newtype WrappedCategory
- Packagesemigroupoids-6.0.2
- Exports3
- LicenceBSD-2-Clause
Methods
o :: c j k1 -> c i j -> c i k1
Instances16Semigroupoid, …
Semigroupoid OpDefined in semigroupoids-6.0.2 · Data.SemigroupoidSemigroupoid Tuple2Defined in semigroupoids-6.0.2 · Data.SemigroupoidApply f => Semigroupoid (Static f)Defined in semigroupoids-6.0.2 · Data.Semigroupoid.StaticBind m => Semigroupoid (Kleisli m)Defined in semigroupoids-6.0.2 · Data.SemigroupoidSemigroupoid ConstDefined in semigroupoids-6.0.2 · Data.SemigroupoidSemigroupoid CoercionDefined in semigroupoids-6.0.2 · Data.SemigroupoidSemigroupoid TaggedDefined in semigroupoids-6.0.2 · Data.SemigroupoidSemigroupoid (:~:)Defined in semigroupoids-6.0.2 · Data.SemigroupoidSemigroupoid s => Semigroupoid (Categorical s)Defined in semigroupoids-6.0.2 · Data.Semigroupoid.CategoricalExtend w => Semigroupoid (Cokleisli w)Defined in semigroupoids-6.0.2 · Data.SemigroupoidSemigroupoid (:~~:)Defined in semigroupoids-6.0.2 · Data.SemigroupoidSemigroupoid (->)Defined in semigroupoids-6.0.2 · Data.SemigroupoidSemigroupoid k => Semigroupoid (Iso k)Defined in semigroupoids-6.0.2 · Data.IsomorphismSemigroup m => Semigroupoid (Semi m)Defined in semigroupoids-6.0.2 · Data.SemigroupoidCategory k2 => Semigroupoid (WrappedCategory k2)Defined in semigroupoids-6.0.2 · Data.SemigroupoidSemigroupoid k => Semigroupoid (Dual k)Defined in semigroupoids-6.0.2 · Data.Semigroupoid.Dual
Constructors
WrapCategoryunwrapCategory :: k3 a b
Instances2Category, Semigroupoid
Category k => Category (WrappedCategory k)Defined in semigroupoids-6.0.2 · Data.SemigroupoidCategory k2 => Semigroupoid (WrappedCategory k2)Defined in semigroupoids-6.0.2 · Data.Semigroupoid