Data.Pointed

Documentation

class Pointed p where

Pointed does not require a Functor, as the only relationship between point and fmap is given by a free theorem.

Methods

point :: a -> p a

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 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 (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)