Data.Pointed

Documentation

class Pointed p where

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 Identity

Pointed Set

Pointed Tree

Pointed Seq

Pointed Min

Pointed Max

Pointed First

Pointed Last

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)

Pointed m => Pointed (ListT m)

Pointed f => Pointed (Reverse f)

Pointed f => Pointed (Backwards f)

Pointed m => Pointed (MaybeT m)

Pointed (Lift f)

Default m => Pointed (Constant m)

Arrow a => Pointed (WrappedArrow a b)

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