pointed-4.2.0.2: Pointed and copointed data

Safe HaskellSafe
LanguageHaskell98

Data.Pointed

Documentation

class Pointed p where Source

Methods

point :: a -> p a Source

Instances

Pointed [] 
Pointed IO 
Pointed ZipList 
Pointed STM 
Pointed Dual 
Pointed Endo 
Pointed Sum 
Pointed Product 
Pointed First 
Pointed Last 
Pointed Maybe 
Pointed Identity 
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 (Rift 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)