pointed-5: Pointed and copointed data

Safe HaskellNone
LanguageHaskell98

Data.Pointed

Documentation

class Pointed p where #

Minimal complete definition

point

Methods

point :: a -> p a #

Instances

Pointed [] # 

Methods

point :: a -> [a] #

Pointed Maybe # 

Methods

point :: a -> Maybe a #

Pointed IO # 

Methods

point :: a -> IO a #

Pointed Identity # 

Methods

point :: a -> Identity a #

Pointed Min # 

Methods

point :: a -> Min a #

Pointed Max # 

Methods

point :: a -> Max a #

Pointed First # 

Methods

point :: a -> First a #

Pointed Last # 

Methods

point :: a -> Last a #

Pointed WrappedMonoid # 

Methods

point :: a -> WrappedMonoid a #

Pointed Option # 

Methods

point :: a -> Option a #

Pointed NonEmpty # 

Methods

point :: a -> NonEmpty a #

Pointed ZipList # 

Methods

point :: a -> ZipList a #

Pointed STM # 

Methods

point :: a -> STM a #

Pointed Dual # 

Methods

point :: a -> Dual a #

Pointed Endo # 

Methods

point :: a -> Endo a #

Pointed Sum # 

Methods

point :: a -> Sum a #

Pointed Product # 

Methods

point :: a -> Product a #

Pointed First # 

Methods

point :: a -> First a #

Pointed Last # 

Methods

point :: a -> Last a #

Pointed Tree # 

Methods

point :: a -> Tree a #

Pointed Seq # 

Methods

point :: a -> Seq a #

Pointed ViewL # 

Methods

point :: a -> ViewL a #

Pointed ViewR # 

Methods

point :: a -> ViewR a #

Pointed Set # 

Methods

point :: a -> Set a #

Pointed ((->) e) # 

Methods

point :: a -> e -> a #

Pointed (Either a) # 

Methods

point :: a -> Either a a #

Default e => Pointed ((,) e) # 

Methods

point :: a -> (e, a) #

Default a => Pointed (Arg a) # 

Methods

point :: a -> Arg a a #

Monad m => Pointed (WrappedMonad m) # 

Methods

point :: a -> WrappedMonad m a #

Pointed (Proxy *) # 

Methods

point :: a -> Proxy * a #

Default k => Pointed (Map k) # 

Methods

point :: a -> Map k a #

Pointed m => Pointed (ListT m) # 

Methods

point :: a -> ListT m a #

Pointed f => Pointed (WrappedApplicative f) # 

Methods

point :: a -> WrappedApplicative f a #

Pointed (MaybeApply f) # 

Methods

point :: a -> MaybeApply f a #

Pointed (Lift f) # 

Methods

point :: a -> Lift f a #

Pointed m => Pointed (MaybeT m) # 

Methods

point :: a -> MaybeT m a #

(Default k, Hashable k) => Pointed (HashMap k) # 

Methods

point :: a -> HashMap k a #

Arrow a => Pointed (WrappedArrow a b) # 

Methods

point :: a -> WrappedArrow a b a #

Default m => Pointed (Const * m) # 

Methods

point :: a -> Const * m a #

Pointed (Cokleisli w a) # 

Methods

point :: a -> Cokleisli w a a #

Pointed m => Pointed (IdentityT * m) # 

Methods

point :: a -> IdentityT * m a #

(Functor g, (~) (* -> *) g h) => Pointed (Curried g h) # 

Methods

point :: a -> Curried g h a #

Pointed m => Pointed (ExceptT e m) # 

Methods

point :: a -> ExceptT e m a #

Pointed m => Pointed (ErrorT e m) # 

Methods

point :: a -> ErrorT e m a #

Pointed m => Pointed (StateT s m) # 

Methods

point :: a -> StateT s m a #

Pointed m => Pointed (StateT s m) # 

Methods

point :: a -> StateT s m a #

(Default w, Pointed m) => Pointed (WriterT w m) # 

Methods

point :: a -> WriterT w m a #

(Default w, Pointed m) => Pointed (WriterT w m) # 

Methods

point :: a -> WriterT w m a #

Pointed m => Pointed (Static m a) # 

Methods

point :: a -> Static m a a #

Pointed (Tagged * a) # 

Methods

point :: a -> Tagged * a a #

Pointed f => Pointed (Reverse * f) # 

Methods

point :: a -> Reverse * f a #

Pointed f => Pointed (Backwards * f) # 

Methods

point :: a -> Backwards * f a #

Default m => Pointed (Constant * m) # 

Methods

point :: a -> Constant * m a #

(Pointed p, Pointed q) => Pointed (Product * p q) # 

Methods

point :: a -> Product * p q a #

Pointed (ContT * r m) # 

Methods

point :: a -> ContT * r m a #

Pointed m => Pointed (ReaderT * r m) # 

Methods

point :: a -> ReaderT * r m a #

(Pointed p, Pointed q) => Pointed (Compose * * p q) # 

Methods

point :: a -> Compose * * p q a #

(Default w, Pointed m) => Pointed (RWST r w s m) # 

Methods

point :: a -> RWST r w s m a #

(Default w, Pointed m) => Pointed (RWST r w s m) # 

Methods

point :: a -> RWST r w s m a #