Control.Subcategory.HasTUnit

class (HasUnit c u1) <= HasTUnit (c :: Type -> Type -> Type) (bifunctor :: Type -> Type -> Type) (u0 :: Type) (u1 :: Type) | c -> u1, bifunctor -> u0 where

Members

• tUnit' :: ObjectOf c u1 => Proxy3 c -> Proxy3 bifunctor -> u0 -> u1

Instances

• HasTUnit Function Either Void Unit
• HasTUnit Function Tuple Unit Unit

tUnit :: forall c bf u0 u1. HasTUnit c bf u0 u1 => HasUnit c u1 => u0 -> u1