Control.Subcategory.Restrictable

class Restrictable (c0 :: Type -> Type -> Type) (c1 :: Type -> Type -> Type)  where

Members

• restrict' :: forall v1 v0. ObjectOf c1 v0 => ObjectOf c1 v1 => Proxy3 c1 -> c0 v0 v1 -> c1 v0 v1

Instances

• Restrictable Function Builder
• Restrictable Function Function

restrict :: forall v1 v0 c1 c0. ObjectOf c1 v0 => ObjectOf c1 v1 => Restrictable c0 c1 => c0 v0 v1 -> c1 v0 v1