planet-mitchell-0.1.0: Planet Mitchell

Safe HaskellNone
LanguageHaskell2010

Pointed

Contents

Synopsis

Pointed

class Pointed (p :: * -> *) where #

Minimal complete definition

point

Methods

point :: a -> p a #

Instances
Pointed [] 
Instance details

Defined in Data.Pointed

Methods

point :: a -> [a] #

Pointed Maybe 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Maybe a #

Pointed IO 
Instance details

Defined in Data.Pointed

Methods

point :: a -> IO a #

Pointed Par1 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Par1 a #

Pointed Approximate 
Instance details

Defined in Data.Approximate.Type

Methods

point :: a -> Approximate a #

Pointed Min 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Min a #

Pointed Max 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Max a #

Pointed First 
Instance details

Defined in Data.Pointed

Methods

point :: a -> First a #

Pointed Last 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Last a #

Pointed WrappedMonoid 
Instance details

Defined in Data.Pointed

Methods

point :: a -> WrappedMonoid a #

Pointed Option 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Option a #

Pointed ZipList 
Instance details

Defined in Data.Pointed

Methods

point :: a -> ZipList a #

Pointed Identity 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Identity a #

Pointed STM 
Instance details

Defined in Data.Pointed

Methods

point :: a -> STM a #

Pointed First 
Instance details

Defined in Data.Pointed

Methods

point :: a -> First a #

Pointed Last 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Last a #

Pointed Dual 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Dual a #

Pointed Endo 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Endo a #

Pointed Sum 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Sum a #

Pointed Product 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Product a #

Pointed NonEmpty 
Instance details

Defined in Data.Pointed

Methods

point :: a -> NonEmpty a #

Pointed Tree 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Tree a #

Pointed Seq 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Seq a #

Pointed ViewL 
Instance details

Defined in Data.Pointed

Methods

point :: a -> ViewL a #

Pointed ViewR 
Instance details

Defined in Data.Pointed

Methods

point :: a -> ViewR a #

Pointed Set 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Set a #

Pointed (Either a) 
Instance details

Defined in Data.Pointed

Methods

point :: a0 -> Either a a0 #

Pointed (U1 :: * -> *) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> U1 a #

Default e => Pointed ((,) e) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> (e, a) #

(Default k, Hashable k) => Pointed (HashMap k) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> HashMap k a #

Default k => Pointed (Map k) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Map k a #

Default a => Pointed (Arg a) 
Instance details

Defined in Data.Pointed

Methods

point :: a0 -> Arg a a0 #

Monad m => Pointed (WrappedMonad m) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> WrappedMonad m a #

Pointed (Proxy :: * -> *) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Proxy a #

Pointed m => Pointed (MaybeT m) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> MaybeT m a #

Pointed m => Pointed (ListT m) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> ListT m a #

Pointed f => Pointed (WrappedApplicative f) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> WrappedApplicative f a #

Pointed (MaybeApply f) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> MaybeApply f a #

Pointed (Lift f) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Lift f a #

Pointed f => Pointed (Rec1 f) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Rec1 f a #

Arrow a => Pointed (WrappedArrow a b) 
Instance details

Defined in Data.Pointed

Methods

point :: a0 -> WrappedArrow a b a0 #

Default m => Pointed (Const m :: * -> *) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Const m a #

Pointed m => Pointed (IdentityT m) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> IdentityT m a #

Pointed m => Pointed (ExceptT e m) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> ExceptT e m a #

(Functor g, g ~ h) => Pointed (Curried g h) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Curried g h a #

Pointed m => Pointed (ErrorT e m) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> ErrorT e m a #

Pointed f => Pointed (Backwards f) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Backwards f a #

(Default w, Pointed m) => Pointed (WriterT w m) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> WriterT w m a #

Pointed m => Pointed (StateT s m) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> StateT s m a #

Pointed m => Pointed (StateT s m) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> StateT s m a #

(Default w, Pointed m) => Pointed (WriterT w m) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> WriterT w m a #

Pointed m => Pointed (Static m a) 
Instance details

Defined in Data.Pointed

Methods

point :: a0 -> Static m a a0 #

Pointed (Tagged a) 
Instance details

Defined in Data.Pointed

Methods

point :: a0 -> Tagged a a0 #

Pointed f => Pointed (Reverse f) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Reverse f a #

Default m => Pointed (Constant m :: * -> *) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Constant m a #

Pointed ((->) e :: * -> *) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> e -> a #

(Pointed f, Pointed g) => Pointed (f :*: g) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> (f :*: g) a #

(Pointed p, Pointed q) => Pointed (Product p q) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Product p q a #

Pointed (Cokleisli w a) 
Instance details

Defined in Data.Pointed

Methods

point :: a0 -> Cokleisli w a a0 #

Pointed m => Pointed (ReaderT r m) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> ReaderT r m a #

Pointed (ContT r m) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> ContT r m a #

Pointed f => Pointed (M1 i c f) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> M1 i c f a #

(Pointed f, Pointed g) => Pointed (f :.: g) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> (f :.: g) a #

(Pointed p, Pointed q) => Pointed (Compose p q) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> Compose p q a #

(Default w, Pointed m) => Pointed (RWST r w s m) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> RWST r w s m a #

(Default w, Pointed m) => Pointed (RWST r w s m) 
Instance details

Defined in Data.Pointed

Methods

point :: a -> RWST r w s m a #