Module

Control.Subcategory.Endofunctor.HasPure

#HasPure 

class HasPure c f  where

Members

Instances

#pure 

pure :: forall c f v. HasPure c f => ObjectOf c v => ObjectOf c (f v) => c v (f v)

#unless 

unless :: forall c f u. HasPure c f => HasUnit c u => HasUnpoint c u => ObjectOf c u => ObjectOf c (f u) => Restrictable Function c => Boolean -> c (f u) (f u)

#when 

when :: forall c f u. HasPure c f => HasUnit c u => HasUnpoint c u => ObjectOf c u => ObjectOf c (f u) => Restrictable Function c => Boolean -> c (f u) (f u)

Modules