Pandora.Paradigm.Inventory.Environmental

Documentation

newtype Environmental e t a

Constructors

Environmental

Fields

• environmentally :: ((->) e :.: t) a

Instances

Liftable (Environmental e :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.Environmental

Methods

lift :: Covariant u => u ~> Environmental e u

Covariant t => Covariant (Environmental e t)

Defined in Pandora.Paradigm.Inventory.Environmental

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Bindable t => Bindable (Environmental e t)

Defined in Pandora.Paradigm.Inventory.Environmental

Methods

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

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

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

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

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

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

Applicative t => Applicative (Environmental e t)

Defined in Pandora.Paradigm.Inventory.Environmental

Methods

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

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

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

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

forever :: Environmental e t a -> Environmental e t b

Alternative t => Alternative (Environmental e t)

Defined in Pandora.Paradigm.Inventory.Environmental

Methods

(<+>) :: Environmental e t a -> Environmental e t a -> Environmental e t a

alter :: Environmental e t a -> Environmental e t a -> Environmental e t a

Pointable t => Pointable (Environmental e t)

Defined in Pandora.Paradigm.Inventory.Environmental

Methods

point :: a -> Environmental e t a

Monad t => Monad (Environmental e t)

Defined in Pandora.Paradigm.Inventory.Environmental

type Environ e = Environmental e Identity

ask :: Pointable t => Environmental e t e

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