pandora-0.3.9: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Paradigm.Structure.Modification.Comprehension

Documentation

newtype Comprehension t a Source #

Constructors

Comprehension ((t <:.> Construction t) := a) 

Instances

Instances details
Covariant (t <:.> Construction t) => Covariant (Comprehension t) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

(<$>) :: (a -> b) -> Comprehension t a -> Comprehension t b Source #

comap :: (a -> b) -> Comprehension t a -> Comprehension t b Source #

(<$) :: a -> Comprehension t b -> Comprehension t a Source #

($>) :: Comprehension t a -> b -> Comprehension t b Source #

void :: Comprehension t a -> Comprehension t () Source #

loeb :: Comprehension t (a <:= Comprehension t) -> Comprehension t a Source #

(<&>) :: Comprehension t a -> (a -> b) -> Comprehension t b Source #

(<$$>) :: Covariant u => (a -> b) -> ((Comprehension t :. u) := a) -> (Comprehension t :. u) := b Source #

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> ((Comprehension t :. (u :. v)) := a) -> (Comprehension t :. (u :. v)) := b Source #

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> ((Comprehension t :. (u :. (v :. w))) := a) -> (Comprehension t :. (u :. (v :. w))) := b Source #

(<&&>) :: Covariant u => ((Comprehension t :. u) := a) -> (a -> b) -> (Comprehension t :. u) := b Source #

(<&&&>) :: (Covariant u, Covariant v) => ((Comprehension t :. (u :. v)) := a) -> (a -> b) -> (Comprehension t :. (u :. v)) := b Source #

(<&&&&>) :: (Covariant u, Covariant v, Covariant w) => ((Comprehension t :. (u :. (v :. w))) := a) -> (a -> b) -> (Comprehension t :. (u :. (v :. w))) := b Source #

(forall a. Semigroup ((t <:.> Construction t) := a), Bindable t) => Bindable (Comprehension t) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

(>>=) :: Comprehension t a -> (a -> Comprehension t b) -> Comprehension t b Source #

(=<<) :: (a -> Comprehension t b) -> Comprehension t a -> Comprehension t b Source #

bind :: (a -> Comprehension t b) -> Comprehension t a -> Comprehension t b Source #

join :: ((Comprehension t :. Comprehension t) := a) -> Comprehension t a Source #

(>=>) :: (a -> Comprehension t b) -> (b -> Comprehension t c) -> a -> Comprehension t c Source #

(<=<) :: (b -> Comprehension t c) -> (a -> Comprehension t b) -> a -> Comprehension t c Source #

($>>=) :: Covariant u => ((u :. Comprehension t) := a) -> (a -> Comprehension t b) -> (u :. Comprehension t) := b Source #

(forall a. Semigroup ((t <:.> Construction t) := a), Bindable t, Pointable t, Avoidable t) => Applicative (Comprehension t) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

(<*>) :: Comprehension t (a -> b) -> Comprehension t a -> Comprehension t b Source #

apply :: Comprehension t (a -> b) -> Comprehension t a -> Comprehension t b Source #

(*>) :: Comprehension t a -> Comprehension t b -> Comprehension t b Source #

(<*) :: Comprehension t a -> Comprehension t b -> Comprehension t a Source #

forever :: Comprehension t a -> Comprehension t b Source #

(<%>) :: Comprehension t a -> Comprehension t (a -> b) -> Comprehension t b Source #

(<**>) :: Applicative u => ((Comprehension t :. u) := (a -> b)) -> ((Comprehension t :. u) := a) -> (Comprehension t :. u) := b Source #

(<***>) :: (Applicative u, Applicative v) => ((Comprehension t :. (u :. v)) := (a -> b)) -> ((Comprehension t :. (u :. v)) := a) -> (Comprehension t :. (u :. v)) := b Source #

(<****>) :: (Applicative u, Applicative v, Applicative w) => ((Comprehension t :. (u :. (v :. w))) := (a -> b)) -> ((Comprehension t :. (u :. (v :. w))) := a) -> (Comprehension t :. (u :. (v :. w))) := b Source #

Alternative t => Alternative (Comprehension t) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

(Avoidable t, Alternative t) => Avoidable (Comprehension t) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

empty :: Comprehension t a Source #

(Avoidable t, Pointable t) => Pointable (Comprehension t) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

(forall a. Semigroup ((t <:.> Construction t) := a), Pointable t, Avoidable t, Bindable t) => Monad (Comprehension t) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Traversable (t <:.> Construction t) => Traversable (Comprehension t) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

(->>) :: (Pointable u, Applicative u) => Comprehension t a -> (a -> u b) -> (u :. Comprehension t) := b Source #

traverse :: (Pointable u, Applicative u) => (a -> u b) -> Comprehension t a -> (u :. Comprehension t) := b Source #

sequence :: (Pointable u, Applicative u) => ((Comprehension t :. u) := a) -> (u :. Comprehension t) := a Source #

(->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. Comprehension t) := a) -> (a -> u b) -> (u :. (v :. Comprehension t)) := b Source #

(->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. Comprehension t)) := a) -> (a -> u b) -> (u :. (w :. (v :. Comprehension t))) := b Source #

(->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Comprehension t))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. Comprehension t)))) := b Source #

Interpreted (Comprehension t) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Associated Types

type Primary (Comprehension t) a Source #

Nullable (t <:.> Construction t) => Nullable (Comprehension t :: Type -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

null :: forall (a :: k). (Predicate :. Comprehension t) := a Source #

Semigroup ((t <:.> Construction t) := a) => Semigroup (Comprehension t a) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

(+) :: Comprehension t a -> Comprehension t a -> Comprehension t a Source #

Monoid ((t <:.> Construction t) := a) => Monoid (Comprehension t a) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

zero :: Comprehension t a Source #

Setoid ((t <:.> Construction t) := a) => Setoid (Comprehension t a) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Pointable t => Morphable ('Push :: a -> Morph a) (Comprehension t) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Associated Types

type Morphing 'Push (Comprehension t) :: Type -> Type Source #

type Primary (Comprehension t) a Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

type Morphing ('Push :: a -> Morph a) (Comprehension t) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

type Morphing ('Push :: a -> Morph a) (Comprehension t) = (Identity <:.:> Comprehension t) := ((->) :: Type -> Type -> Type)

Orphan instances

Pointable t => Morphable ('Push :: a -> Morph a) (Comprehension t) Source # 
Instance details

Associated Types

type Morphing 'Push (Comprehension t) :: Type -> Type Source #