Control.Subcategory.Functor.HasPure

class HasPure c f  where

Members

• pure' :: forall v. ObjectOf c v => Proxy3 c -> v -> f v

Instances

• (Applicative f) => HasPure Function f
• (ObjectOf c v, Restrictable Function c) => HasPure c (c v)

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

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

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

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

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