Control.Subcategory.Endofunctor.Parameterized.HasConst

class HasConst (c :: Type -> Type -> Type) (v :: Type)  where

Members

• const :: forall v'. ObjectOf c v' => ObjectOf c v => ObjectOf c (c v v') => c v' (c v v')

Instances

• (HasPure c (c v), Restrictable Function c) => HasConst c v