Control.Subcategory.Functor.Parameterized.HasConst

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

Members

• const :: forall v'. ObjectOf c v => ObjectOf c v' => v' -> c v v'

Instances

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