Parameterized.Control.Applicative

Documentation

type family PUnary (m :: k -> Type -> Type) (t :: k) = (r :: Type -> Type) | r -> m t

Instances

type PUnary * (ManyReader m) r

type PUnary * (ManyReader m) r = ManyReader m r

type PUnary * (DistinctWhichReader m) r

type PUnary * (DistinctWhichReader m) r = DistinctWhichReader m r

type PUnary * (OverlappingWhichReader m) r

type PUnary * (OverlappingWhichReader m) r = OverlappingWhichReader m r

type PUnary * (ChangingState m) st

type PUnary * (ChangingState m) st = ChangingState m st

type PUnary * (ManyState m) s

type PUnary * (ManyState m) s = ManyState m s

class PPointed m id where

Parameterized version of pure in Applicative An instance of this should create a parameterized unary type where the parameter is an identity in respect to papply NB. For ChangingState, the id s "parameter" cannot be purely determined from m, so unlike pappend there is not functional dependency to help type inference. Hint: use ppure @_ @_ id@ to specify the id type to avoid ambiguity.

Minimal complete definition

ppure

Methods

ppure :: a -> PUnary m id a

lift a value.

Instances

Applicative m => PPointed * (ManyReader m) (Many ([] Type))

Methods

ppure :: a -> PUnary (ManyReader m) (Many [Type]) id a

Applicative m => PPointed * (DistinctWhichReader m) (Which ([] Type))

Methods

ppure :: a -> PUnary (DistinctWhichReader m) (Which [Type]) id a

Applicative m => PPointed * (OverlappingWhichReader m) (Which ([] Type))

Methods

ppure :: a -> PUnary (OverlappingWhichReader m) (Which [Type]) id a

Monad m => PPointed * (ManyState m) (Many ([] Type))

Methods

ppure :: a -> PUnary (ManyState m) (Many [Type]) id a

Applicative m => PPointed * (ChangingState m) (s, s)

Methods

ppure :: a -> PUnary (ChangingState m) (s, s) id a

class (Functor (PUnary m t), Functor (PUnary m u), Functor (PUnary m v)) => PApplicative m t u v | t u -> v where

Parameterized version of ap in Applicative NB. PPointed cannot be made a superclass because type variable id is not in scope.

Minimal complete definition

papply

Methods

papply :: PUnary m t (a -> b) -> PUnary m u a -> PUnary m v b infixl 4

Sequential application.

Instances

(Functor (ManyReader m (Many c)), Applicative m, Select a c, Select b c, (~) [Type] c (AppendUnique Type a b)) => PApplicative * (ManyReader m) (Many a) (Many b) (Many c)

Methods

papply :: PUnary (ManyReader m) (Many a) (Many b) (a -> b) -> PUnary (ManyReader m) (Many a) (Many c) a -> PUnary (ManyReader m) (Many a) v b

(Monad m, Select a c, Select b c, Amend' a c, Amend' b c, (~) [Type] c (AppendUnique Type a b)) => PApplicative * (ManyState m) (Many a) (Many b) (Many c)

Methods

papply :: PUnary (ManyState m) (Many a) (Many b) (a -> b) -> PUnary (ManyState m) (Many a) (Many c) a -> PUnary (ManyState m) (Many a) v b

Monad m => PApplicative * (ChangingState m) (s, t) (t, u) (s, u)

Methods

papply :: PUnary (ChangingState m) (s, t) (t, u) (a -> b) -> PUnary (ChangingState m) (s, t) (s, u) a -> PUnary (ChangingState m) (s, t) v b

(&<*>) :: PApplicative m t u v => PUnary m t (a -> b) -> PUnary m u a -> PUnary m v b infixl 4

Sequential application.

(&*>) :: PApplicative m t u v => PUnary m t a -> PUnary m u b -> PUnary m v b infixl 4

Sequence actions, discarding the value of the first argument.

(&<*) :: PApplicative m t u v => PUnary m t a -> PUnary m u b -> PUnary m v a infixl 4

Sequence actions, discarding the value of the second argument.

pliftA :: Functor (PUnary m t) => (a -> b) -> PUnary m t a -> PUnary m t b

Lift a function to actions.

pliftA2 :: PApplicative m t u v => (a -> b -> c) -> PUnary m t a -> PUnary m u b -> PUnary m v c

Lift a binary function to actions.

pliftA3 :: (PApplicative m t u v, PApplicative m v w x) => (a -> b -> c -> d) -> PUnary m t a -> PUnary m u b -> PUnary m w c -> PUnary m x d

Lift a ternary function to actions.

class PEmpty m id | m -> id where

Parameterized version of empty in Alternative. An instance of this should create a parameterized unary type where the parameter is an identity in respect to pappend

Minimal complete definition

pempty

Methods

pempty :: PUnary m id a

The identity of &<|>

Instances

Alternative m => PEmpty * (ManyReader m) (Many ([] Type))

Methods

pempty :: PUnary (ManyReader m) (Many [Type]) id a

Alternative m => PEmpty * (DistinctWhichReader m) (Which ([] Type))

Methods

pempty :: PUnary (DistinctWhichReader m) (Which [Type]) id a

Alternative m => PEmpty * (OverlappingWhichReader m) (Which ([] Type))

Methods

pempty :: PUnary (OverlappingWhichReader m) (Which [Type]) id a

Alternative m => PEmpty * (ManyState m) (Many ([] Type))

Methods

pempty :: PUnary (ManyState m) (Many [Type]) id a

class PAlternative m t u v | t u -> v where

Parameterized version of Alternative NB. PEmpty cannot be made a superclass because type variable id will be ambiguous. NB. PAlternative doensn't require PApplicative as a superclass, because Some things can be made instances of PAlternative but not PApplicative.

Minimal complete definition

pappend

Methods

pappend :: PUnary m t a -> PUnary m u a -> PUnary m v a infixl 3

An associative binary operation

Instances

(Alternative m, Select a c, Select b c, (~) [Type] c (AppendUnique Type a b)) => PAlternative * (ManyReader m) (Many a) (Many b) (Many c)

Methods

pappend :: PUnary (ManyReader m) (Many a) (Many b) a -> PUnary (ManyReader m) (Many a) (Many c) a -> PUnary (ManyReader m) (Many a) v a

(Reinterpret b c, (~) [Type] (Complement Type c b) a, (~) [Type] (Complement Type c a) b, (~) [Type] c (Append Type a b)) => PAlternative * (DistinctWhichReader m) (Which a) (Which b) (Which c)

Methods

pappend :: PUnary (DistinctWhichReader m) (Which a) (Which b) a -> PUnary (DistinctWhichReader m) (Which a) (Which c) a -> PUnary (DistinctWhichReader m) (Which a) v a

(Alternative m, Reinterpret b c, Reinterpret a c, (~) [Type] c (AppendUnique Type a b)) => PAlternative * (OverlappingWhichReader m) (Which a) (Which b) (Which c)

Methods

pappend :: PUnary (OverlappingWhichReader m) (Which a) (Which b) a -> PUnary (OverlappingWhichReader m) (Which a) (Which c) a -> PUnary (OverlappingWhichReader m) (Which a) v a

(Monad m, Alternative m, Select a c, Select b c, Amend' a c, Amend' b c, (~) [Type] c (AppendUnique Type a b)) => PAlternative * (ManyState m) (Many a) (Many b) (Many c)

Methods

pappend :: PUnary (ManyState m) (Many a) (Many b) a -> PUnary (ManyState m) (Many a) (Many c) a -> PUnary (ManyState m) (Many a) v a

(&<|>) :: PAlternative m t u v => PUnary m t a -> PUnary m u a -> PUnary m v a infixl 3