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