pointed-5: Pointed and copointed data

Safe Haskell | None
Language | Haskell98

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 #