Safe Haskell	None
Language	Haskell98

Data.Pointed

Documentation

class Pointed p where Source #

Minimal complete definition

point

Methods

point :: a -> p a Source #

Instances

Pointed [] Source #
Methods point :: a -> [a] Source #
Pointed Maybe Source #
Methods point :: a -> Maybe a Source #
Pointed IO Source #
Methods point :: a -> IO a Source #
Pointed Identity Source #
Methods point :: a -> Identity a Source #
Pointed Min Source #
Methods point :: a -> Min a Source #
Pointed Max Source #
Methods point :: a -> Max a Source #
Pointed First Source #
Methods point :: a -> First a Source #
Pointed Last Source #
Methods point :: a -> Last a Source #
Pointed WrappedMonoid Source #
Methods point :: a -> WrappedMonoid a Source #
Pointed Option Source #
Methods point :: a -> Option a Source #
Pointed NonEmpty Source #
Methods point :: a -> NonEmpty a Source #
Pointed ZipList Source #
Methods point :: a -> ZipList a Source #
Pointed STM Source #
Methods point :: a -> STM a Source #
Pointed Dual Source #
Methods point :: a -> Dual a Source #
Pointed Endo Source #
Methods point :: a -> Endo a Source #
Pointed Sum Source #
Methods point :: a -> Sum a Source #
Pointed Product Source #
Methods point :: a -> Product a Source #
Pointed First Source #
Methods point :: a -> First a Source #
Pointed Last Source #
Methods point :: a -> Last a Source #
Pointed Tree Source #
Methods point :: a -> Tree a Source #
Pointed Seq Source #
Methods point :: a -> Seq a Source #
Pointed ViewL Source #
Methods point :: a -> ViewL a Source #
Pointed ViewR Source #
Methods point :: a -> ViewR a Source #
Pointed Set Source #
Methods point :: a -> Set a Source #
Pointed ((->) e) Source #
Methods point :: a -> e -> a Source #
Pointed (Either a) Source #
Methods point :: a -> Either a a Source #
Default e => Pointed ((,) e) Source #
Methods point :: a -> (e, a) Source #
Default a => Pointed (Arg a) Source #
Methods point :: a -> Arg a a Source #
Monad m => Pointed (WrappedMonad m) Source #
Methods point :: a -> WrappedMonad m a Source #
Pointed (Proxy *) Source #
Methods point :: a -> Proxy * a Source #
Default k => Pointed (Map k) Source #
Methods point :: a -> Map k a Source #
(Default k, Hashable k) => Pointed (HashMap k) Source #
Methods point :: a -> HashMap k a Source #
Pointed f => Pointed (WrappedApplicative f) Source #
Methods point :: a -> WrappedApplicative f a Source #
Pointed (MaybeApply f) Source #
Methods point :: a -> MaybeApply f a Source #
Pointed (Lift f) Source #
Methods point :: a -> Lift f a Source #
Pointed m => Pointed (MaybeT m) Source #
Methods point :: a -> MaybeT m a Source #
Pointed m => Pointed (ListT m) Source #
Methods point :: a -> ListT m a Source #
Arrow a => Pointed (WrappedArrow a b) Source #
Methods point :: a -> WrappedArrow a b a Source #
Default m => Pointed (Const * m) Source #
Methods point :: a -> Const * m a Source #
Pointed (Cokleisli w a) Source #
Methods point :: a -> Cokleisli w a a Source #
Pointed m => Pointed (IdentityT * m) Source #
Methods point :: a -> IdentityT * m a Source #
(Functor g, (~) (* -> *) g h) => Pointed (Curried g h) Source #
Methods point :: a -> Curried g h a Source #
Pointed m => Pointed (ErrorT e m) Source #
Methods point :: a -> ErrorT e m a Source #
Pointed m => Pointed (Static m a) Source #
Methods point :: a -> Static m a a Source #
Pointed (Tagged * a) Source #
Methods point :: a -> Tagged * a a Source #
Pointed f => Pointed (Reverse * f) Source #
Methods point :: a -> Reverse * f a Source #
Pointed f => Pointed (Backwards * f) Source #
Methods point :: a -> Backwards * f a Source #
(Default w, Pointed m) => Pointed (WriterT w m) Source #
Methods point :: a -> WriterT w m a Source #
(Default w, Pointed m) => Pointed (WriterT w m) Source #
Methods point :: a -> WriterT w m a Source #
Pointed m => Pointed (StateT s m) Source #
Methods point :: a -> StateT s m a Source #
Pointed m => Pointed (StateT s m) Source #
Methods point :: a -> StateT s m a Source #
Pointed m => Pointed (ExceptT e m) Source #
Methods point :: a -> ExceptT e m a Source #
Default m => Pointed (Constant * m) Source #
Methods point :: a -> Constant * m a Source #
(Pointed p, Pointed q) => Pointed (Product * p q) Source #
Methods point :: a -> Product * p q a Source #
Pointed m => Pointed (ReaderT * r m) Source #
Methods point :: a -> ReaderT * r m a Source #
Pointed (ContT * r m) Source #
Methods point :: a -> ContT * r m a Source #
(Pointed p, Pointed q) => Pointed (Compose * * p q) Source #
Methods point :: a -> Compose * * p q a Source #
(Default w, Pointed m) => Pointed (RWST r w s m) Source #
Methods point :: a -> RWST r w s m a Source #
(Default w, Pointed m) => Pointed (RWST r w s m) Source #
Methods point :: a -> RWST r w s m a Source #