Module

Control.Subcategory.HasUnit

Package: purescript-subcategory
Repository: matthew-hilty/purescript-subcategory

#HasUnit Source

class (HasTerminate c u) <= HasUnit (c :: Type -> Type -> Type) (u :: Type) | c -> u where

Members

unit' :: HasTerminate c u => Proxy3 c -> u

Instances

HasUnit Function Unit
HasUnit Builder (Record ())

#unit Source

unit :: forall u c. HasUnit c u => u

Modules: Control.Subcategory.Adjoint; Control.Subcategory.Category; Control.Subcategory.Closed; Control.Subcategory.ClosedMonoidal; Control.Subcategory.ClosedSemimonoidal; Control.Subcategory.Constituency; Control.Subcategory.Endofunctor; Control.Subcategory.Endofunctor.Applicative; Control.Subcategory.Endofunctor.Apply; Control.Subcategory.Endofunctor.Bind; Control.Subcategory.Endofunctor.Discard; Control.Subcategory.Endofunctor.HasApply; Control.Subcategory.Endofunctor.HasBind; Control.Subcategory.Endofunctor.HasCompose; Control.Subcategory.Endofunctor.HasConst; Control.Subcategory.Endofunctor.HasMap; Control.Subcategory.Endofunctor.HasPoint; Control.Subcategory.Endofunctor.HasPure; Control.Subcategory.Endofunctor.HasUnpoint; Control.Subcategory.Endofunctor.Monad; Control.Subcategory.Endofunctor.Parameterized.HasConst; Control.Subcategory.Functor; Control.Subcategory.Functor.Discard; Control.Subcategory.Functor.HasApply; Control.Subcategory.Functor.HasBind; Control.Subcategory.Functor.HasConst; Control.Subcategory.Functor.HasMap; Control.Subcategory.Functor.HasPure; Control.Subcategory.Functor.Parameterized.HasConst; Control.Subcategory.HasCompose; Control.Subcategory.HasCurriedEval; Control.Subcategory.HasCurry; Control.Subcategory.HasIdentity; Control.Subcategory.HasIntroduce; Control.Subcategory.HasStart; Control.Subcategory.HasTJoin; Control.Subcategory.HasTUnit; Control.Subcategory.HasTerminate; Control.Subcategory.HasUncurriedEval; Control.Subcategory.HasUncurry; Control.Subcategory.HasUnit; Control.Subcategory.Monoidal; Control.Subcategory.Profunctor; Control.Subcategory.Profunctor.HasDimap; Control.Subcategory.Relation.Reflexive; Control.Subcategory.Relation.Symmetric; Control.Subcategory.Restrictable; Control.Subcategory.Semigroupoid; Control.Subcategory.Semimonoidal; Control.Subcategory.Slackable; Control.Subcategory.Strength