Safe Haskell	None
Language	Haskell2010

Pointed

Contents

Pointed

Synopsis

class Pointed (p :: * -> *) where

Pointed

class Pointed (p :: * -> *) where #

Minimal complete definition

point

Methods

point :: a -> p a #

Instances

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