Safe Haskell	None
Language	Haskell2010

FCI.Control.Applicative

Synopsis

pattern Applicative :: (Inst (Functor f)) -> (forall (a :: Type). a -> f a) -> (forall (a :: Type) (b :: Type). f (a -> b) -> f a -> f b) -> (forall (a :: Type) (b :: Type) (c :: Type). (a -> b -> c) -> f a -> f b -> f c) -> (forall (a :: Type) (b :: Type). f a -> f b -> f b) -> (forall (a :: Type) (b :: Type). f a -> f b -> f a) -> Dict (Applicative (f :: Type -> Type))
$sel:_Functor:Applicative :: Dict (Applicative (f :: Type -> Type)) -> Inst (Functor f)
$sel:_pure:Applicative :: Dict (Applicative (f :: Type -> Type)) -> forall (a :: Type). a -> f a
$sel:|<*>:Applicative :: Dict (Applicative (f :: Type -> Type)) -> forall (a :: Type) (b :: Type). f (a -> b) -> f a -> f b
$sel:_liftA2:Applicative :: Dict (Applicative (f :: Type -> Type)) -> forall (a :: Type) (b :: Type) (c :: Type). (a -> b -> c) -> f a -> f b -> f c
$sel:|*>:Applicative :: Dict (Applicative (f :: Type -> Type)) -> forall (a :: Type) (b :: Type). f a -> f b -> f b
$sel:|<*:Applicative :: Dict (Applicative (f :: Type -> Type)) -> forall (a :: Type) (b :: Type). f a -> f b -> f a
applyApplicative :: (forall a. a -> f a) -> (forall a b. f (a -> b) -> f a -> f b) -> Inst (Applicative f)
liftA2Applicative :: (forall a. a -> f a) -> (forall a b c. (a -> b -> c) -> f a -> f b -> f c) -> Inst (Applicative f)
coerceApplicative :: forall f. Newtype f => Inst (Applicative f)
module FCI.Data.Functor

Documentation

pattern Applicative :: (Inst (Functor f)) -> (forall (a :: Type). a -> f a) -> (forall (a :: Type) (b :: Type). f (a -> b) -> f a -> f b) -> (forall (a :: Type) (b :: Type) (c :: Type). (a -> b -> c) -> f a -> f b -> f c) -> (forall (a :: Type) (b :: Type). f a -> f b -> f b) -> (forall (a :: Type) (b :: Type). f a -> f b -> f a) -> Dict (Applicative (f :: Type -> Type)) Source #

$sel:_Functor:Applicative :: Dict (Applicative (f :: Type -> Type)) -> Inst (Functor f) Source #

$sel:_pure:Applicative :: Dict (Applicative (f :: Type -> Type)) -> forall (a :: Type). a -> f a Source #

$sel:|<*>:Applicative :: Dict (Applicative (f :: Type -> Type)) -> forall (a :: Type) (b :: Type). f (a -> b) -> f a -> f b Source #

$sel:_liftA2:Applicative :: Dict (Applicative (f :: Type -> Type)) -> forall (a :: Type) (b :: Type) (c :: Type). (a -> b -> c) -> f a -> f b -> f c Source #

$sel:|*>:Applicative :: Dict (Applicative (f :: Type -> Type)) -> forall (a :: Type) (b :: Type). f a -> f b -> f b Source #

$sel:|<*:Applicative :: Dict (Applicative (f :: Type -> Type)) -> forall (a :: Type) (b :: Type). f a -> f b -> f a Source #

applyApplicative Source #

Arguments

:: (forall a. a -> f a)	`pure`
-> (forall a b. f (a -> b) -> f a -> f b)	(`<*>`)
-> Inst (Applicative f)

Creates Dict instance from apply (<*>) definition.

liftA2Applicative Source #

Arguments

:: (forall a. a -> f a)	`pure`
-> (forall a b c. (a -> b -> c) -> f a -> f b -> f c)	`liftA2`
-> Inst (Applicative f)

Creates Dict instance from liftA2 definition.

coerceApplicative :: forall f. Newtype f => Inst (Applicative f) Source #

Creates Dict instance for any type that can be "coerced out".

module FCI.Data.Functor