Pandora.Paradigm.Structure.Ability.Comprehension

Documentation

newtype Comprehension t a

Constructors

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

Instances

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

Defined in Pandora.Paradigm.Structure.Ability.Comprehension

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

(forall a. Semigroup ((t <:.> Construction t) := a), Bindable t) => Bindable (Comprehension t)

Defined in Pandora.Paradigm.Structure.Ability.Comprehension

Methods

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Structure.Ability.Comprehension

Methods

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

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

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

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

forever :: Comprehension t a -> Comprehension t b

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

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

(<****>) :: (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

(Avoidable t, Pointable t) => Pointable (Comprehension t)

Defined in Pandora.Paradigm.Structure.Ability.Comprehension

Methods

point :: a :=> Comprehension t

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

Defined in Pandora.Paradigm.Structure.Ability.Comprehension

Methods

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

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

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

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

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

(->>>>>) :: (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

Interpreted (Comprehension t)

Defined in Pandora.Paradigm.Structure.Ability.Comprehension

Associated Types

type Primary (Comprehension t) a

Methods

run :: Comprehension t a -> Primary (Comprehension t) a

unite :: Primary (Comprehension t) a -> Comprehension t a

(||=) :: (Primary (Comprehension t) a -> Primary (Comprehension t) b) -> Comprehension t a -> Comprehension t b

type Primary (Comprehension t) a

Defined in Pandora.Paradigm.Structure.Ability.Comprehension

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