pointed-5.0.5: Pointed and copointed data
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Pointed

Documentation

class Pointed p where Source #

Methods

point :: a -> p a Source #

Instances

Instances details
Instance details

Defined in Data.Pointed

Methods

point :: a -> ZipList a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> Identity a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> First a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> Last a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> First a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> Last a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> Max a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> Min a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> WrappedMonoid a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> Dual a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> Endo a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> Product a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> Sum a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> NonEmpty a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> STM a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> Par1 a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> Seq a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> ViewL a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> ViewR a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> Set a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> Tree a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> IO a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> Maybe a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> [a] Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> WrappedMonad m a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a0 -> Either a a0 Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> Proxy a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a0 -> Arg a a0 Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> U1 a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> Map k a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> MaybeApply f a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> WrappedApplicative f a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> Lift f a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> MaybeT m a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> HashMap k a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> (e, a) 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 #

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 #

Instance details

Defined in Data.Pointed

Methods

point :: a0 -> Static m a a0 Source #

Instance details

Defined in Data.Pointed

Methods

point :: a0 -> Tagged a a0 Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> Backwards f a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> ExceptT e m a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> IdentityT m a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> ReaderT r m a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> StateT s m a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> StateT s m a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> WriterT w m a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> WriterT w m a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> Constant m a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> Reverse f a Source #

Instance details

Defined in Data.Pointed

Methods

point :: a -> Product 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 #

Instance details

Defined in Data.Pointed

Methods

point :: a0 -> Cokleisli w a a0 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 #

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 #

AltStyle によって変換されたページ (->オリジナル) /