Control.Applicative.Graph

Documentation

class (GFunctor f, GPointed f) => GApplicative f where

Graph indexed applicative functor.

Minimal complete definition

gap

Associated Types

type Apply f (i :: p) (j :: p) :: p

The apply operation (<*>) on the graph index.

Default instance: Apply f i j = Combine f i j

type ApplyInv f (i :: p) (j :: p) :: Constraint

An invariant on the indexes of Apply.

Default instance: ApplyInv m i j = Inv m i j

type Then f (i :: p) (j :: p) :: p

The then operation (*>) on the graph index.

Default instance: Then f i j = Apply f (Fconst f i) j

type ThenInv f (i :: p) (j :: p) :: Constraint

An invariant on the indexes of Then.

Default instance: ThenInv m i j = ApplyInv m i j

type But f (i :: p) (j :: p) :: p

The but operation (<*) on the graph index.

Default instance: But f i j = Apply f (Apply f (Pure f) i) j

type ButInv f (i :: p) (j :: p) :: Constraint

An invariant on the indexes of But.

Default instance: ButInv m i j = ApplyInv m i j

Methods

gap :: ApplyInv f i j => f i (a -> b) -> f j a -> f (Apply f i j) b

Sequential application (<*>).

gthen :: ThenInv f i j => f i a -> f j b -> f (Then f i j) b

Sequence actions, discarding the value of the first argument (*>).

Default implementation requires the default instance of Then.

gthen :: (Apply f (Fconst f i) j ~ Then f i j, ApplyInv f (Fconst f i) j, ThenInv f (Fconst f i) j) => f i a -> f j b -> f (Then f i j) b

Sequence actions, discarding the value of the first argument (*>).

Default implementation requires the default instance of Then.

gbut :: ButInv f i j => f i a -> f j b -> f (But f i j) a

Sequence actions, discarding values of the second argument (<*).

Default implementation requires the default instance of But.

gbut :: (Apply f (Apply f (Pure f) i) j ~ But f i j, ApplyInv f (Pure f) i, ApplyInv f (Apply f (Pure f) i) j, ButInv f (Apply f (Pure f) i) j) => f i a -> f j b -> f (But f i j) a

Sequence actions, discarding values of the second argument (<*).

Default implementation requires the default instance of But.

Instances

Applicative f => GApplicative * (GWrapped f)

Associated Types

type Apply (GWrapped f) (f :: GWrapped f -> * -> *) (i :: GWrapped f) (j :: GWrapped f) :: p

type ApplyInv (GWrapped f) (f :: GWrapped f -> * -> *) (i :: GWrapped f) (j :: GWrapped f) :: Constraint

type Then (GWrapped f) (f :: GWrapped f -> * -> *) (i :: GWrapped f) (j :: GWrapped f) :: p

type ThenInv (GWrapped f) (f :: GWrapped f -> * -> *) (i :: GWrapped f) (j :: GWrapped f) :: Constraint

type But (GWrapped f) (f :: GWrapped f -> * -> *) (i :: GWrapped f) (j :: GWrapped f) :: p

type ButInv (GWrapped f) (f :: GWrapped f -> * -> *) (i :: GWrapped f) (j :: GWrapped f) :: Constraint

Methods

gap :: ApplyInv (GWrapped f) f i j => f i (a -> b) -> f j a -> f (Apply (GWrapped f) f i j) b

gthen :: ThenInv (GWrapped f) f i j => f i a -> f j b -> f (Then (GWrapped f) f i j) b

gbut :: ButInv (GWrapped f) f i j => f i a -> f j b -> f (But (GWrapped f) f i j) a

IxApplicative * f => GApplicative (*, *) (WrappedIx f)

Associated Types

type Apply (WrappedIx f) (f :: WrappedIx f -> * -> *) (i :: WrappedIx f) (j :: WrappedIx f) :: p

type ApplyInv (WrappedIx f) (f :: WrappedIx f -> * -> *) (i :: WrappedIx f) (j :: WrappedIx f) :: Constraint

type Then (WrappedIx f) (f :: WrappedIx f -> * -> *) (i :: WrappedIx f) (j :: WrappedIx f) :: p

type ThenInv (WrappedIx f) (f :: WrappedIx f -> * -> *) (i :: WrappedIx f) (j :: WrappedIx f) :: Constraint

type But (WrappedIx f) (f :: WrappedIx f -> * -> *) (i :: WrappedIx f) (j :: WrappedIx f) :: p

type ButInv (WrappedIx f) (f :: WrappedIx f -> * -> *) (i :: WrappedIx f) (j :: WrappedIx f) :: Constraint

Methods

gap :: ApplyInv (WrappedIx f) f i j => f i (a -> b) -> f j a -> f (Apply (WrappedIx f) f i j) b

gthen :: ThenInv (WrappedIx f) f i j => f i a -> f j b -> f (Then (WrappedIx f) f i j) b

gbut :: ButInv (WrappedIx f) f i j => f i a -> f j b -> f (But (WrappedIx f) f i j) a