Fresnel.Functor.Ap1

Documentation

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

Constructors

Ap1

Fields

• getAp1 :: f a

Instances

Applicative f => Applicative (Ap1 f)

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)

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)

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)

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)

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