Pandora.Paradigm.Inventory.Environmental

Documentation

newtype Environmental e a

Constructors

Environmental (e -> a)

Instances

Covariant (Environmental e)

Defined in Pandora.Paradigm.Inventory.Environmental

Methods

(<$>) :: (a -> b) -> Environmental e a -> Environmental e b

comap :: (a -> b) -> Environmental e a -> Environmental e b

(<$) :: a -> Environmental e b -> Environmental e a

($>) :: Environmental e a -> b -> Environmental e b

void :: Environmental e a -> Environmental e ()

loeb :: Environmental e (Environmental e a -> a) -> Environmental e a

(<&>) :: Environmental e a -> (a -> b) -> Environmental e b

(<$$>) :: Covariant u => (a -> b) -> ((Environmental e :. u) := a) -> (Environmental e :. u) := b

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> ((Environmental e :. (u :. v)) := a) -> (Environmental e :. (u :. v)) := b

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

(<&&>) :: Covariant u => ((Environmental e :. u) := a) -> (a -> b) -> (Environmental e :. u) := b

(<&&&>) :: (Covariant u, Covariant v) => ((Environmental e :. (u :. v)) := a) -> (a -> b) -> (Environmental e :. (u :. v)) := b

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

Bindable (Environmental e)

Defined in Pandora.Paradigm.Inventory.Environmental

Methods

(>>=) :: Environmental e a -> (a -> Environmental e b) -> Environmental e b

(=<<) :: (a -> Environmental e b) -> Environmental e a -> Environmental e b

bind :: (a -> Environmental e b) -> Environmental e a -> Environmental e b

join :: ((Environmental e :. Environmental e) := a) -> Environmental e a

(>=>) :: (a -> Environmental e b) -> (b -> Environmental e c) -> a -> Environmental e c

(<=<) :: (b -> Environmental e c) -> (a -> Environmental e b) -> a -> Environmental e c

Applicative (Environmental e)

Defined in Pandora.Paradigm.Inventory.Environmental

Methods

(<*>) :: Environmental e (a -> b) -> Environmental e a -> Environmental e b

apply :: Environmental e (a -> b) -> Environmental e a -> Environmental e b

(*>) :: Environmental e a -> Environmental e b -> Environmental e b

(<*) :: Environmental e a -> Environmental e b -> Environmental e a

forever :: Environmental e a -> Environmental e b

(<**>) :: Applicative u => ((Environmental e :. u) := (a -> b)) -> ((Environmental e :. u) := a) -> (Environmental e :. u) := b

(<***>) :: (Applicative u, Applicative v) => ((Environmental e :. (u :. v)) := (a -> b)) -> ((Environmental e :. (u :. v)) := a) -> (Environmental e :. (u :. v)) := b

(<****>) :: (Applicative u, Applicative v, Applicative w) => ((Environmental e :. (u :. (v :. w))) := (a -> b)) -> ((Environmental e :. (u :. (v :. w))) := a) -> (Environmental e :. (u :. (v :. w))) := b

Pointable (Environmental e)

Defined in Pandora.Paradigm.Inventory.Environmental

Methods

point :: a -> Environmental e a

Monad (Environmental e)

Defined in Pandora.Paradigm.Inventory.Environmental

env :: Environmental e e

local :: (e -> e) -> Environmental e a -> Environmental e a