Freelude.Impl.MonoidAsCategory

Documentation

newtype MonoidAsCategory a

Constructors

MonoidAsCategory

Fields

• getMonoidAsCategory :: a

Instances

(Semigroup m, Monoid m) => Category (MonoidAsCategory m)

Methods

id :: (CategoryC (MonoidAsCategory m) a a, ExoCategoryC (MonoidAsCategory m) a a, (Type ~ t) (CategoryT (MonoidAsCategory m) a a), (Type ~ t) (ExoCategoryT (MonoidAsCategory m) a a)) => t

Semigroup m => Semigroupoid (MonoidAsCategory m)

Methods

(.) :: (CategoryC (MonoidAsCategory m) b c, CategoryC (MonoidAsCategory m) a b, CategoryC (MonoidAsCategory m) a c) => CategoryT (MonoidAsCategory m) b c -> CategoryT (MonoidAsCategory m) a b -> CategoryT (MonoidAsCategory m) a c

type CategoryDstC' (MonoidAsCategory _)

type CategoryDstC' (MonoidAsCategory _)

type CategorySrcC' (MonoidAsCategory _)

type CategorySrcC' (MonoidAsCategory _)

type CategoryT (MonoidAsCategory a) Void Void

type CategoryT (MonoidAsCategory a) Void Void = MonoidAsCategory a