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 ()

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

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

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