Module

Control.Subcategory.Slackable

#Slackable

class Slackable (c :: Type -> Type -> Type)  where

Members

Instances

#slacken

slacken :: forall c v0 v1. ObjectOf c v0 => ObjectOf c v1 => Slackable c => c v0 v1 -> v0 -> v1

Modules