Safe Haskell	None
Language	Haskell2010

Fresnel.Functor.Ap1

Documentation

newtype Ap1 (f :: Type -> Type) a Source #

Constructors

Ap1
Fields getAp1 :: f a

Instances details

Applicative f => Applicative (Ap1 f) Source #
Instance details Defined in Fresnel.Functor.Ap1 Methods pure :: a -> Ap1 f a # (<>) :: Ap1 f (a -> b) -> Ap1 f a -> Ap1 f b # liftA2 :: (a -> b -> c) -> Ap1 f a -> Ap1 f b -> Ap1 f c # (>) :: Ap1 f a -> Ap1 f b -> Ap1 f b # (<*) :: Ap1 f a -> Ap1 f b -> Ap1 f a #
Functor f => Functor (Ap1 f) Source #
Instance details Defined in Fresnel.Functor.Ap1 Methods fmap :: (a -> b) -> Ap1 f a -> Ap1 f b # (<$) :: a -> Ap1 f b -> Ap1 f a #
Monad f => Monad (Ap1 f) Source #
Instance details Defined in Fresnel.Functor.Ap1 Methods (>>=) :: Ap1 f a -> (a -> Ap1 f b) -> Ap1 f b # (>>) :: Ap1 f a -> Ap1 f b -> Ap1 f b # return :: a -> Ap1 f a #
Apply f => Apply (Ap1 f) Source #
Instance details Defined in Fresnel.Functor.Ap1 Methods (<.>) :: Ap1 f (a -> b) -> Ap1 f a -> Ap1 f b # (.>) :: Ap1 f a -> Ap1 f b -> Ap1 f b # (<.) :: Ap1 f a -> Ap1 f b -> Ap1 f a # liftF2 :: (a -> b -> c) -> Ap1 f a -> Ap1 f b -> Ap1 f c #
(Apply f, Semigroup a) => Semigroup (Ap1 f a) Source #
Instance details Defined in Fresnel.Functor.Ap1 Methods (<>) :: Ap1 f a -> Ap1 f a -> Ap1 f a # sconcat :: NonEmpty (Ap1 f a) -> Ap1 f a # stimes :: Integral b => b -> Ap1 f a -> Ap1 f a #