Control.Joint.Effects.Store

Documentation

newtype Store s a

Constructors

Store (((,) s :. (->) s) := a)

Instances

Functor (Store s)

Defined in Control.Joint.Effects.Store

Methods

fmap :: (a -> b) -> Store s a -> Store s b

(<$) :: a -> Store s b -> Store s a

Comonad (Store s)

Defined in Control.Joint.Effects.Store

Methods

extract :: Store s a -> a

duplicate :: Store s a -> Store s (Store s a)

extend :: (Store s a -> b) -> Store s a -> Store s b

Interpreted (Store s)

Defined in Control.Joint.Effects.Store

Associated Types

type Primary (Store s) a :: Type

Methods

run :: Store s a -> Primary (Store s) a

type Primary (Store s) a

Defined in Control.Joint.Effects.Store

type Primary (Store s) a = ((,) s :. ((->) s :: Type -> Type)) := a