semigroupoids-syntax-0.0.1: RebindableSyntax using the semigroupoids package

Safe HaskellSafe
LanguageHaskell2010

Data.Functor.Point

Documentation

class Apply f => Point f where Source

Methods

point :: a -> f a Source

Instances

Point [] 
Point IO 
Point ZipList 
Point Maybe 
Point Identity 
Point Tree 
Point Seq 
Point Option 
Point NonEmpty 
Point ((->) m) 
Point (Either a) 
(Semigroup m, Monoid m) => Point ((,) m) 
(Semigroup m, Monoid m) => Point (Const m) 
Monad f => Point (WrappedMonad f) 
(Apply f, Applicative f) => Point (IdentityT f) 
(Apply f, Applicative f) => Point (WrappedApplicative f) 
Point f => Point (MaybeApply f) 
(Bind f, Monad f) => Point (MaybeT f) 
(Apply f, Applicative f) => Point (ListT f) 
Arrow a => Point (WrappedArrow a b) 
(Apply f, Applicative f) => Point (TracedT t f) 
(Apply f, Applicative f, Semigroup m, Monoid m) => Point (StoreT m f) 
(Apply f, Applicative f, Semigroup m, Monoid m) => Point (EnvT m f) 
Point (Cokleisli f a) 
(Apply f, Applicative f) => Point (Static f a) 
(Applicative f, Apply f, Applicative g, Apply g) => Point (Product f g) 
(Applicative f, Apply f, Applicative g, Apply g) => Point (Compose f g) 
(Applicative f, Apply f, Semigroup w, Monoid w) => Point (WriterT w f) 
(Applicative f, Apply f, Semigroup w, Monoid w) => Point (WriterT w f) 
(Bind f, Monad f) => Point (StateT e f) 
(Bind f, Monad f) => Point (StateT e f) 
(Applicative f, Apply f) => Point (ReaderT r f) 
Point (ContT r f) 
(Bind f, Monad f, Semigroup w, Monoid w) => Point (RWST r w s f) 
(Bind f, Monad f, Semigroup w, Monoid w) => Point (RWST r w s f)