Polysemy.View

Effect

data View v m a where

A View is an expensive computation that should be cached.

Constructors

See :: View v m v

Actions

see :: forall v r. Member (View v) r => Sem r v

Interpretations

viewToState :: forall v s r a. Member (State s) r => (s -> Sem r v) -> Sem (View v ': r) a -> Sem r a

Get a View as an exensive computation over an underlying State effect. This View is only invalidated when the underlying State changes.

viewToInput :: forall v i r a. Member (Input i) r => (i -> v) -> Sem (View v ': r) a -> Sem r a

Transform a View into an Input.