Control.Subcategory.Pointed

Documentation

class Constrained f => CPointed f where

Minimal complete definition

Nothing

Methods

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

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

Instances

CPointed ZipList

Defined in Control.Subcategory.Pointed

Methods

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

CPointed Identity

Defined in Control.Subcategory.Pointed

Methods

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

CPointed First

Defined in Control.Subcategory.Pointed

Methods

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

CPointed Last

Defined in Control.Subcategory.Pointed

Methods

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

CPointed Down

Defined in Control.Subcategory.Pointed

Methods

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

CPointed First

Defined in Control.Subcategory.Pointed

Methods

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

CPointed Last

Defined in Control.Subcategory.Pointed

Methods

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

CPointed Max

Defined in Control.Subcategory.Pointed

Methods

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

CPointed Min

Defined in Control.Subcategory.Pointed

Methods

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

CPointed Dual

Defined in Control.Subcategory.Pointed

Methods

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

CPointed Product

Defined in Control.Subcategory.Pointed

Methods

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

CPointed Sum

Defined in Control.Subcategory.Pointed

Methods

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

CPointed NonEmpty

Defined in Control.Subcategory.Pointed

Methods

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

CPointed STM

Defined in Control.Subcategory.Pointed

Methods

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

CPointed Par1

Defined in Control.Subcategory.Pointed

Methods

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

CPointed ReadP

Defined in Control.Subcategory.Pointed

Methods

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

CPointed ReadPrec

Defined in Control.Subcategory.Pointed

Methods

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

CPointed Seq

Defined in Control.Subcategory.Pointed

Methods

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

CPointed Set

Defined in Control.Subcategory.Pointed

Methods

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

CPointed Tree

Defined in Control.Subcategory.Pointed

Methods

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

CPointed IO

Defined in Control.Subcategory.Pointed

Methods

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

CPointed Array

Defined in Control.Subcategory.Pointed

Methods

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

CPointed PrimArray

Defined in Control.Subcategory.Pointed

Methods

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

CPointed SmallArray

Defined in Control.Subcategory.Pointed

Methods

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

CPointed HashSet

Defined in Control.Subcategory.Pointed

Methods

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

CPointed Vector

Defined in Control.Subcategory.Pointed

Methods

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

CPointed Vector

Defined in Control.Subcategory.Pointed

Methods

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

CPointed Vector

Defined in Control.Subcategory.Pointed

Methods

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

CPointed Vector

Defined in Control.Subcategory.Pointed

Methods

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

CPointed Maybe

Defined in Control.Subcategory.Pointed

Methods

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

CPointed List

Defined in Control.Subcategory.Pointed

Methods

cpure :: Dom List a => a -> [a]

CPointed (ST s)

Defined in Control.Subcategory.Pointed

Methods

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

CPointed (Either a)

Defined in Control.Subcategory.Pointed

Methods

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

CPointed (Proxy :: Type -> Type)

Defined in Control.Subcategory.Pointed

Methods

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

CPointed (U1 :: Type -> Type)

Defined in Control.Subcategory.Pointed

Methods

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

CPointed (ST s)

Defined in Control.Subcategory.Pointed

Methods

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

(Functor f, Pointed f) => CPointed (WrapFunctor f)

Defined in Control.Subcategory.Pointed

Methods

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

Pointed f => CPointed (Rec1 f)

Defined in Control.Subcategory.Pointed

Methods

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

CPointed f => CPointed (CAlt f)

Defined in Control.Subcategory.Alternative

Methods

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

CPointed f => CPointed (CApp f)

Defined in Control.Subcategory.Applicative

Methods

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

CPointed (WrapMono IntSet :: Type -> Type)

Defined in Control.Subcategory.Pointed

Methods

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

MonoPointed mono => CPointed (WrapMono mono :: Type -> Type)

Defined in Control.Subcategory.Pointed

Methods

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

(CPointed p, CPointed q) => CPointed (Product p q)

Defined in Control.Subcategory.Pointed

Methods

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

(Pointed p, Pointed q) => CPointed (p :*: q)

Defined in Control.Subcategory.Pointed

Methods

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

(Constrained p, Constrained q, Pointed p, Pointed q) => CPointed (Compose p q)

Defined in Control.Subcategory.Pointed

Methods

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

(Pointed p, Pointed q) => CPointed (p :.: q)

Defined in Control.Subcategory.Pointed

Methods

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