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 Par1 #
Methods point :: a -> Par1 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 Identity #
Methods point :: a -> Identity 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 (Either a) #
Methods point :: a -> Either a a #
Pointed (U1 *) #
Methods point :: a -> U1 * 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 #
(Default k, Hashable k) => Pointed (HashMap k) #
Methods point :: a -> HashMap k 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 #
Pointed f => Pointed (Rec1 * f) #
Methods point :: a -> Rec1 * f 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 (ErrorT e m) #
Methods point :: a -> ErrorT e m a #
Pointed m => Pointed (ExceptT e m) #
Methods point :: a -> ExceptT 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 #
Default m => Pointed (Constant * m) #
Methods point :: a -> Constant * m a #
Pointed f => Pointed (Backwards * f) #
Methods point :: a -> Backwards * f a #
Pointed ((->) LiftedRep LiftedRep e) #
Methods point :: a -> (LiftedRep -> LiftedRep) e a #
(Pointed f, Pointed g) => Pointed ((::) f g) #
Methods point :: a -> (* :*: f) g 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 f => Pointed (M1 * i c f) #
Methods point :: a -> M1 * i c f a #
(Pointed f, Pointed g) => Pointed ((:.:) * * f g) #
Methods point :: a -> (* :.: *) f g 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 #