Pandora.Paradigm.Inventory.Some.Provision

Documentation

newtype Provision e a

Constructors

Provision (e -> a)

Instances

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

Defined in Pandora.Paradigm.Inventory.Some.Provision

Methods

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

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

Defined in Pandora.Paradigm.Inventory.Some.Provision

Methods

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

Gettable Provision

Defined in Pandora.Paradigm.Inventory.Some.Provision

Associated Types

type Getting Provision e r

Methods

get :: Getting Provision e r

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

Defined in Pandora.Paradigm.Inventory.Some.Provision

Methods

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Inventory.Some.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

(<~~~~~~~) :: ((->) < Provision e a) < Primary (Provision e) a

(<~~~~~~) :: ((->) < Provision e a) < Primary (Provision e) a

(<~~~~~) :: ((->) < Provision e a) < Primary (Provision e) a

(<~~~~) :: ((->) < Provision e a) < Primary (Provision e) a

(<~~~) :: ((->) < Provision e a) < Primary (Provision e) a

(<~~) :: ((->) < Provision e a) < Primary (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.Some.Provision

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

Defined in Pandora.Paradigm.Inventory.Some.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.Some.Provision

Methods

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

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

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

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

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

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

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

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

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

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

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

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Provision e)) => (a -> b) -> Provision e (u a) -> Provision e (u 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.Some.Provision

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Inventory.Some.Provision

Methods

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

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

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

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

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

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

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

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

(>-|-|-) :: (Contravariant (->) (Betwixt (->) (->)) u, Contravariant (Betwixt (->) (->)) (->) (Flip Provision a)) => (a0 -> b) -> Flip Provision a (u a0) -> Flip Provision a (u b)

type Schematic Monad (Provision e)

Defined in Pandora.Paradigm.Inventory.Some.Provision

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

type Primary (Provision e) a

Defined in Pandora.Paradigm.Inventory.Some.Provision

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

type Getting Provision p ouput

Defined in Pandora.Paradigm.Inventory.Some.Provision

type Getting Provision p ouput = Provision p p

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

provided :: Provided e t => t e