Safe Haskell	Safe-Infered

Data.Pointed

Documentation

class Pointed p whereSource

Methods

point :: a -> p aSource

Instances

Pointed []
Pointed IO
Pointed ZipList
Pointed STM
Pointed Dual
Pointed Endo
Pointed Sum
Pointed Product
Pointed First
Pointed Last
Pointed Maybe
Pointed Tree
Pointed Seq
Pointed Set
Pointed Min
Pointed Max
Pointed First
Pointed Last
Pointed NonEmpty
Pointed Identity
Pointed ((->) e)
Pointed (Either a)
Default e => Pointed ((,) e)
Default m => Pointed (Const m)
Monad m => Pointed (WrappedMonad m)
Pointed m => Pointed (IdentityT m)
Pointed m => Pointed (MaybeT m)
Pointed m => Pointed (ListT m)
Default m => Pointed (Constant m)
Arrow a => Pointed (WrappedArrow a b)
Pointed m => Pointed (ErrorT e m)
Pointed m => Pointed (Static m a)
(Default w, Pointed m) => Pointed (WriterT w m)
(Default w, Pointed m) => Pointed (WriterT w m)
Pointed m => Pointed (StateT s m)
Pointed m => Pointed (StateT s m)
Pointed m => Pointed (ReaderT r m)
Pointed (ContT r m)
(Pointed p, Pointed q) => Pointed (Compose p q)
(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)