pointed-5: Pointed and copointed data

Safe HaskellNone
LanguageHaskell98

Data.Pointed

Documentation

class Pointed p where Source

Methods

point :: a -> p a Source

Instances

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