Safe Haskell	None
Language	Haskell2010

Control.Subcategory.Pointed

Documentation

class Constrained f => CPointed (f :: Type -> Type) 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 NonEmpty Source #
Instance details Defined in Control.Subcategory.Pointed Methods cpure :: Dom NonEmpty a => a -> NonEmpty 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 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 :: Type -> Type) a => a -> Proxy a Source #
CPointed (U1 :: Type -> Type) Source #
Instance details Defined in Control.Subcategory.Pointed Methods cpure :: Dom (U1 :: Type -> Type) 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 :: Type -> Type) 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 :: Type -> Type) 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 #