Module

Control.Subcategory.Functor.HasPure

#HasPure 

class HasPure c f  where

Members

Instances

#pure 

pure :: forall c f v. HasPure c f => ObjectOf c v => v -> f v

#unless 

unless :: forall c f u. HasPure c f => HasUnit c u => ObjectOf c u => Boolean -> f u -> f u

#unless' 

unless' :: forall c f u. HasPure c f => HasUnit c u => ObjectOf c u => Proxy3 c -> Boolean -> f u -> f u

#when 

when :: forall c f u. HasPure c f => HasUnit c u => ObjectOf c u => Boolean -> f u -> f u

#when' 

when' :: forall c f u. HasPure c f => HasUnit c u => ObjectOf c u => Proxy3 c -> Boolean -> f u -> f u

Modules