Pandora.Paradigm.Structure.Ability.Comprehension

Documentation

newtype Comprehension t a

Constructors

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

Instances

Interpreted (Comprehension t)

Defined in Pandora.Paradigm.Structure.Ability.Comprehension

Associated Types

type Primary (Comprehension t) a :: Type

Methods

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

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 => (a -> Comprehension t b) -> ((u :. Comprehension t) := a) -> (u :. Comprehension t) := b

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

type Primary (Comprehension t) a

Defined in Pandora.Paradigm.Structure.Ability.Comprehension

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