pandora-0.1.8: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Inventory.Environmental

Documentation

newtype Environmental e a Source #

Constructors

Environmental (e -> a) 
Instances
Covariant (Environmental e) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Environmental

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Bindable (Environmental e) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Environmental

Methods

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

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

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

join :: (Environmental e :.: Environmental e) a -> Environmental e a Source #

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

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

Applicative (Environmental e) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Environmental

Methods

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

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

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

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

forever :: Environmental e a -> Environmental e b Source #

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

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

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

Pointable (Environmental e) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Environmental

Methods

point :: a -> Environmental e a Source #

Monad (Environmental e) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Environmental

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