Data.Pointed

pointed-5.0.5: Pointed and copointed data

Safe Haskell | Safe-Inferred
Language | Haskell2010

Data.Pointed

# Documentation

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

Methods

point :: a -> p a #

#### Instances

Instances details

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 Max # |
Instance details Defined in Data.Pointed Methods point :: a -> Max a #
Pointed Min # |
Instance details Defined in Data.Pointed Methods point :: a -> Min a #
Pointed WrappedMonoid # |
Instance details Defined in Data.Pointed Methods point :: a -> WrappedMonoid 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 Tree # |
Instance details Defined in Data.Pointed Methods point :: a -> Tree a #
Pointed NonEmpty # |
Instance details Defined in Data.Pointed Methods point :: a -> NonEmpty a #
Pointed STM # |
Instance details Defined in Data.Pointed Methods point :: a -> STM a #
Pointed Identity # |
Instance details Defined in Data.Pointed Methods point :: a -> Identity 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 Product # |
Instance details Defined in Data.Pointed Methods point :: a -> Product a #
Pointed Sum # |
Instance details Defined in Data.Pointed Methods point :: a -> Sum a #
Pointed ZipList # |
Instance details Defined in Data.Pointed Methods point :: a -> ZipList a #
Pointed Par1 # |
Instance details Defined in Data.Pointed Methods point :: a -> Par1 a #
Pointed IO # |
Instance details Defined in Data.Pointed Methods point :: a -> IO a #
Pointed Maybe # |
Instance details Defined in Data.Pointed Methods point :: a -> Maybe a #
Pointed [] # |
Instance details Defined in Data.Pointed Methods point :: a -> [a] #
Monad m => Pointed (WrappedMonad m) # |
Instance details Defined in Data.Pointed Methods point :: a -> WrappedMonad m a #
Default a => Pointed (Arg a) # |
Instance details Defined in Data.Pointed Methods point :: a0 -> Arg a a0 #
Default k => Pointed (Map k) # |
Instance details Defined in Data.Pointed Methods point :: a -> Map k a #
Pointed (Either a) # |
Instance details Defined in Data.Pointed Methods point :: a0 -> Either a a0 #
Pointed (Proxy :: Type -> Type) # |
Instance details Defined in Data.Pointed Methods point :: a -> Proxy a #
Pointed (U1 :: Type -> Type) # |
Instance details Defined in Data.Pointed Methods point :: a -> U1 a #
Pointed (MaybeApply f) # |
Instance details Defined in Data.Pointed Methods point :: a -> MaybeApply f a #
Pointed f => Pointed (WrappedApplicative f) # |
Instance details Defined in Data.Pointed Methods point :: a -> WrappedApplicative f a #
Pointed (Lift f) # |
Instance details Defined in Data.Pointed Methods point :: a -> Lift f a #
Pointed m => Pointed (MaybeT m) # |
Instance details Defined in Data.Pointed Methods point :: a -> MaybeT m a #
(Default k, Hashable k) => Pointed (HashMap k) # |
Instance details Defined in Data.Pointed Methods point :: a -> HashMap k a #
Default e => Pointed ((,) e) # |
Instance details Defined in Data.Pointed Methods point :: a -> (e, 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 :: Type -> Type) # |
Instance details Defined in Data.Pointed Methods point :: a -> Const m a #
Pointed f => Pointed (Rec1 f) # |
Instance details Defined in Data.Pointed Methods point :: a -> Rec1 f 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 (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 (Backwards f) # |
Instance details Defined in Data.Pointed Methods point :: a -> Backwards f a #
Pointed m => Pointed (ExceptT e m) # |
Instance details Defined in Data.Pointed Methods point :: a -> ExceptT e m a #
Pointed m => Pointed (IdentityT m) # |
Instance details Defined in Data.Pointed Methods point :: a -> IdentityT m a #
Pointed m => Pointed (ReaderT r m) # |
Instance details Defined in Data.Pointed Methods point :: a -> ReaderT r 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 #
(Default w, Pointed m) => Pointed (WriterT w m) # |
Instance details Defined in Data.Pointed Methods point :: a -> WriterT w m a #
Default m => Pointed (Constant m :: Type -> Type) # |
Instance details Defined in Data.Pointed Methods point :: a -> Constant m a #
Pointed f => Pointed (Reverse f) # |
Instance details Defined in Data.Pointed Methods point :: a -> Reverse f 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 f, Pointed g) => Pointed (f :*: g) # |
Instance details Defined in Data.Pointed Methods point :: a -> (f :*: g) a #
Pointed (ContT r m) # |
Instance details Defined in Data.Pointed Methods point :: a -> ContT r m a #
Pointed ((->) e) # |
Instance details Defined in Data.Pointed Methods point :: a -> e -> a #
(Pointed p, Pointed q) => Pointed (Compose p q) # |
Instance details Defined in Data.Pointed Methods point :: a -> Compose p q a #
(Pointed f, Pointed g) => Pointed (f :.: g) # |
Instance details Defined in Data.Pointed Methods point :: a -> (f :.: g) a #
Pointed f => Pointed (M1 i c f) # |
Instance details Defined in Data.Pointed Methods point :: a -> M1 i c f 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 #