Control.Applicative.Graph

Documentation

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

Minimal complete definition

gap

Associated Types

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

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

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

Methods

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

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

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

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

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

Instances

Applicative f => GApplicative * (GWrapped f)

Associated Types

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

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

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

Methods

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

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

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