pointed-5.0.5: Pointed and copointed data

Safe Haskell | Safe-Inferred
Language | Haskell2010

Data.Pointed

# Documentation

class Pointed (p :: Type -> Type) where Source #

Methods

point :: a -> p a Source #

#### Instances

Instances details

Pointed First Source # |
Instance details Defined in Data.Pointed Methods point :: a -> First a Source #
Pointed Last Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Last a Source #
Pointed Max Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Max a Source #
Pointed Min Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Min a Source #
Pointed WrappedMonoid Source # |
Instance details Defined in Data.Pointed Methods point :: a -> WrappedMonoid a Source #
Pointed Seq Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Seq a Source #
Pointed ViewL Source # |
Instance details Defined in Data.Pointed Methods point :: a -> ViewL a Source #
Pointed ViewR Source # |
Instance details Defined in Data.Pointed Methods point :: a -> ViewR a Source #
Pointed Set Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Set a Source #
Pointed Tree Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Tree a Source #
Pointed NonEmpty Source # |
Instance details Defined in Data.Pointed Methods point :: a -> NonEmpty a Source #
Pointed STM Source # |
Instance details Defined in Data.Pointed Methods point :: a -> STM a Source #
Pointed Identity Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Identity a Source #
Pointed First Source # |
Instance details Defined in Data.Pointed Methods point :: a -> First a Source #
Pointed Last Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Last a Source #
Pointed Dual Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Dual a Source #
Pointed Endo Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Endo a Source #
Pointed Product Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Product a Source #
Pointed Sum Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Sum a Source #
Pointed ZipList Source # |
Instance details Defined in Data.Pointed Methods point :: a -> ZipList a Source #
Pointed Par1 Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Par1 a Source #
Pointed IO Source # |
Instance details Defined in Data.Pointed Methods point :: a -> IO a Source #
Pointed Maybe Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Maybe a Source #
Pointed [] Source # |
Instance details Defined in Data.Pointed Methods point :: a -> [a] Source #
Monad m => Pointed (WrappedMonad m) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> WrappedMonad m a Source #
Default a => Pointed (Arg a) Source # |
Instance details Defined in Data.Pointed Methods point :: a0 -> Arg a a0 Source #
Default k => Pointed (Map k) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Map k a Source #
Pointed (Either a) Source # |
Instance details Defined in Data.Pointed Methods point :: a0 -> Either a a0 Source #
Pointed (Proxy :: Type -> Type) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Proxy a Source #
Pointed (U1 :: Type -> Type) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> U1 a Source #
Pointed (MaybeApply f) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> MaybeApply f a Source #
Pointed f => Pointed (WrappedApplicative f) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> WrappedApplicative f a Source #
Pointed (Lift f) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Lift f a Source #
Pointed m => Pointed (MaybeT m) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> MaybeT m a Source #
(Default k, Hashable k) => Pointed (HashMap k) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> HashMap k a Source #
Default e => Pointed ((,) e) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> (e, a) Source #
Arrow a => Pointed (WrappedArrow a b) Source # |
Instance details Defined in Data.Pointed Methods point :: a0 -> WrappedArrow a b a0 Source #
Default m => Pointed (Const m :: Type -> Type) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Const m a Source #
Pointed f => Pointed (Rec1 f) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Rec1 f a Source #
(Functor g, g ~ h) => Pointed (Curried g h) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Curried g h a Source #
Pointed m => Pointed (Static m a) Source # |
Instance details Defined in Data.Pointed Methods point :: a0 -> Static m a a0 Source #
Pointed (Tagged a) Source # |
Instance details Defined in Data.Pointed Methods point :: a0 -> Tagged a a0 Source #
Pointed f => Pointed (Backwards f) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Backwards f a Source #
Pointed m => Pointed (ExceptT e m) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> ExceptT e m a Source #
Pointed m => Pointed (IdentityT m) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> IdentityT m a Source #
Pointed m => Pointed (ReaderT r m) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> ReaderT r m a Source #
Pointed m => Pointed (StateT s m) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> StateT s m a Source #
Pointed m => Pointed (StateT s m) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> StateT s m a Source #
(Default w, Pointed m) => Pointed (WriterT w m) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> WriterT w m a Source #
(Default w, Pointed m) => Pointed (WriterT w m) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> WriterT w m a Source #
Default m => Pointed (Constant m :: Type -> Type) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Constant m a Source #
Pointed f => Pointed (Reverse f) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Reverse f a Source #
(Pointed p, Pointed q) => Pointed (Product p q) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Product p q a Source #
Pointed (Cokleisli w a) Source # |
Instance details Defined in Data.Pointed Methods point :: a0 -> Cokleisli w a a0 Source #
(Pointed f, Pointed g) => Pointed (f :*: g) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> (f :*: g) a Source #
Pointed (ContT r m) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> ContT r m a Source #
Pointed ((->) e) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> e -> a Source #
(Pointed p, Pointed q) => Pointed (Compose p q) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> Compose p q a Source #
(Pointed f, Pointed g) => Pointed (f :.: g) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> (f :.: g) a Source #
Pointed f => Pointed (M1 i c f) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> M1 i c f a Source #
(Default w, Pointed m) => Pointed (RWST r w s m) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> RWST r w s m a Source #
(Default w, Pointed m) => Pointed (RWST r w s m) Source # |
Instance details Defined in Data.Pointed Methods point :: a -> RWST r w s m a Source #