subcategories-0.2.1.0: Subcategories induced by class constraints
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.Subcategory.Pointed

Documentation

class Constrained f => CPointed f where Source #

Minimal complete definition

Nothing

Methods

cpure :: Dom f a => a -> f a Source #

default cpure :: Applicative f => a -> f a Source #

Instances

Instances details
CPointed ZipList Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom ZipList a => a -> ZipList a Source #

CPointed Identity Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom Identity a => a -> Identity a Source #

CPointed First Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom First a => a -> First a Source #

CPointed Last Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom Last a => a -> Last a Source #

CPointed Down Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom Down a => a -> Down a Source #

CPointed First Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom First a => a -> First a Source #

CPointed Last Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom Last a => a -> Last a Source #

CPointed Max Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom Max a => a -> Max a Source #

CPointed Min Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom Min a => a -> Min a Source #

CPointed Dual Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom Dual a => a -> Dual a Source #

CPointed Product Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom Product a => a -> Product a Source #

CPointed Sum Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom Sum a => a -> Sum a Source #

CPointed STM Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom STM a => a -> STM a Source #

CPointed Par1 Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom Par1 a => a -> Par1 a Source #

CPointed ReadP Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom ReadP a => a -> ReadP a Source #

CPointed ReadPrec Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom ReadPrec a => a -> ReadPrec a Source #

CPointed Seq Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom Seq a => a -> Seq a Source #

CPointed Set Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom Set a => a -> Set a Source #

CPointed Tree Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom Tree a => a -> Tree a Source #

CPointed IO Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom IO a => a -> IO a Source #

CPointed Array Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom Array a => a -> Array a Source #

CPointed PrimArray Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom PrimArray a => a -> PrimArray a Source #

CPointed SmallArray Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom SmallArray a => a -> SmallArray a Source #

CPointed HashSet Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom HashSet a => a -> HashSet a Source #

CPointed Vector Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom Vector a => a -> Vector a Source #

CPointed Vector Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom Vector a => a -> Vector a Source #

CPointed Vector Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom Vector a => a -> Vector a Source #

CPointed Vector Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom Vector a => a -> Vector a Source #

CPointed NonEmpty Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom NonEmpty a => a -> NonEmpty a Source #

CPointed Maybe Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom Maybe a => a -> Maybe a Source #

CPointed [] Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom [] a => a -> [a] Source #

CPointed (ST s) Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom (ST s) a => a -> ST s a Source #

CPointed (Either a) Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom (Either a) a0 => a0 -> Either a a0 Source #

CPointed (Proxy :: Type -> Type) Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom Proxy a => a -> Proxy a Source #

CPointed (U1 :: Type -> Type) Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom U1 a => a -> U1 a Source #

CPointed (ST s) Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom (ST s) a => a -> ST s a Source #

(Functor f, Pointed f) => CPointed (WrapFunctor f) Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom (WrapFunctor f) a => a -> WrapFunctor f a Source #

Pointed f => CPointed (Rec1 f) Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom (Rec1 f) a => a -> Rec1 f a Source #

CPointed f => CPointed (CAlt f) Source # 
Instance details

Defined in Control.Subcategory.Alternative

Methods

cpure :: Dom (CAlt f) a => a -> CAlt f a Source #

CPointed f => CPointed (CApp f) Source # 
Instance details

Defined in Control.Subcategory.Applicative

Methods

cpure :: Dom (CApp f) a => a -> CApp f a Source #

CPointed (WrapMono IntSet :: Type -> Type) Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom (WrapMono IntSet) a => a -> WrapMono IntSet a Source #

MonoPointed mono => CPointed (WrapMono mono :: Type -> Type) Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom (WrapMono mono) a => a -> WrapMono mono a Source #

(CPointed p, CPointed q) => CPointed (Product p q) Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom (Product p q) a => a -> Product p q a Source #

(Pointed p, Pointed q) => CPointed (p :*: q) Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom (p :*: q) a => a -> (p :*: q) a Source #

(Constrained p, Constrained q, Pointed p, Pointed q) => CPointed (Compose p q) Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom (Compose p q) a => a -> Compose p q a Source #

(Pointed p, Pointed q) => CPointed (p :.: q) Source # 
Instance details

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom (p :.: q) a => a -> (p :.: q) a Source #