Pandora.Paradigm.Inventory.Provision

Documentation

newtype Provision e a

Constructors

Provision (e -> a)

Instances

Monoidal (-->) (-->) (:*:) (:*:) (Provision e)

Defined in Pandora.Paradigm.Inventory.Provision

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> Provision e a

Semimonoidal (-->) (:*:) (:*:) (Provision e :: Type -> Type)

Defined in Pandora.Paradigm.Inventory.Provision

Methods

mult :: forall (a :: k) (b :: k). (Provision e a :*: Provision e b) --> Provision e (a :*: b)

Bindable ((->) :: Type -> Type -> Type) (Provision e)

Defined in Pandora.Paradigm.Inventory.Provision

Methods

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

Interpreted ((->) :: Type -> Type -> Type) (Provision e)

Defined in Pandora.Paradigm.Inventory.Provision

Associated Types

type Primary (Provision e) a

Methods

run :: Provision e a -> Primary (Provision e) a

unite :: Primary (Provision e) a -> Provision e a

(!) :: Provision e a -> Primary (Provision e) a

(||=) :: (Semigroupoid (->), Interpreted (->) u) => (Primary (Provision e) a -> Primary u b) -> Provision e a -> u b

(=||) :: (Semigroupoid (->), Interpreted (->) u) => (Provision e a -> u b) -> Primary (Provision e) a -> Primary u b

(<$||=) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (Primary (Provision e) a -> Primary u b) -> (j := Provision e a) -> (j := u b)

(=||$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (Provision e a -> u b) -> (j := Primary (Provision e) a) -> (j := Primary u b)

Monad ((->) :: Type -> Type -> Type) (Provision e)

Defined in Pandora.Paradigm.Inventory.Provision

Monadic ((->) :: Type -> Type -> Type) (Provision e)

Defined in Pandora.Paradigm.Inventory.Provision

Methods

wrap :: forall (u :: Type -> Type) a. Pointable u => Provision e a -> (Provision e :> u) a

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Provision e)

Defined in Pandora.Paradigm.Inventory.Provision

Methods

(<-|-) :: (a -> b) -> Provision e a -> Provision e b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Provision e)) => (a -> b) -> Provision e (u a) -> Provision e (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Provision e)) => (a -> b) -> Provision e (u (v a)) -> Provision e (u (v b))

Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Provision e)

Defined in Pandora.Paradigm.Inventory.Provision

Methods

(-<<) :: Covariant (->) (->) u => (a -> Provision e b) -> u a -> Provision e (u b)

Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Equipment e) (Provision e)

Defined in Pandora.Paradigm.Inventory

Methods

(-|) :: (Equipment e a -> b) -> a -> Provision e b

(|-) :: (a -> Provision e b) -> Equipment e a -> b

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip Provision a)

Defined in Pandora.Paradigm.Inventory.Provision

Methods

(>-|-) :: (a0 -> b) -> Flip Provision a b -> Flip Provision a a0

type Schematic Monad (Provision e)

Defined in Pandora.Paradigm.Inventory.Provision

type Schematic Monad (Provision e) = (<:.>) ((->) e :: Type -> Type)

type Primary (Provision e) a

Defined in Pandora.Paradigm.Inventory.Provision

type Primary (Provision e) a = e -> a

type Provided e t = Adaptable t (->) (Provision e)

provided :: Provided e t => t e