Data.Pointed

pointed-5: Pointed and copointed data

Safe Haskell | None
Language | Haskell98

Data.Pointed

# Documentation

class Pointed p where

Methods

point :: a -> p a

Instances

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