Control.Applicative.Restricted

Definitions

interface RApplicative : (Type -> Type) -> (Type -> Type) -> Type

Parameters: r, f
Constraints: RFunctor r f
Methods:

rpure : r x => x -> f x

rliftA2 : (r x, (r y, r z)) => (x -> y -> z) -> f x -> f y -> f z

rpure : RApplicative r f => r x => x -> f x

Visibility: public export

rliftA2 : RApplicative r f => (r x, (r y, r z)) => (x -> y -> z) -> f x -> f y -> f z

Visibility: public export

(<*) : (RApplicative r f, (r x, r y)) => f x -> f y -> f x

Visibility: export
Fixity Declarations:
infixl operator, level 3
infixl operator, level 4

(*>) : (RApplicative r f, (r x, r y)) => f x -> f y -> f y

Visibility: export
Fixity Declarations:
infixl operator, level 3
infixl operator, level 4

data RApp : (Type -> Type) -> (Type -> Type) -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkRApp : f x -> RApp r f x

Hints:

(RApplicative r f, (Monoid m, r m)) => Monoid (RApp r f m)

(RApplicative r f, (Monoid m, r m)) => Semigroup (RApp r f m)