Webb.State.Prelude

newtype ShowRef s

Constructors

• S (Ref s)

Instances

• Refer s (ShowRef s)
• (Show s) => Show (ShowRef s)
• (Eq s) => Eq (ShowRef s)

newRef :: forall m s. MonadEffect m => s -> m (Ref s)

newShowRef :: forall m s. MonadEffect m => s -> m (ShowRef s)

class Refer s r | r -> s where

Members

• aread :: forall m. MonadEffect m => r -> m s
• awrite :: forall m. MonadEffect m => s -> r -> m Unit

Instances

• Refer s (ShowRef s)
• Refer s (Ref s)

areads :: forall m r s a. MonadEffect m => Refer s r => (s -> a) -> r -> m a

amodify_ :: forall m r s. MonadEffect m => Refer s r => (s -> s) -> r -> m Unit

amodify :: forall m r s. MonadEffect m => Refer s r => (s -> s) -> r -> m s

Operator alias for Webb.State.Prelude.areads (non-associative / precedence 5)

Operator alias for Webb.State.Prelude.fwrite (non-associative / precedence 5)

Operator alias for Webb.State.Prelude.amodify_ (non-associative / precedence 5)

fread :: forall m r s. MonadEffect m => Refer s r => r -> m s

freads :: forall m r s a. MonadEffect m => Refer s r => r -> (s -> a) -> m a

fmodify_ :: forall m r s. MonadEffect m => Refer s r => r -> (s -> s) -> m Unit

fmodify :: forall m r s. MonadEffect m => Refer s r => r -> (s -> s) -> m s

fwrite :: forall m r s. MonadEffect m => Refer s r => r -> s -> m Unit

modifyAndWrite :: forall m r s a. MonadEffect m => Refer s r => (s -> (Tuple a s)) -> r -> m a

Operator alias for Webb.State.Prelude.modifyAndWrite (non-associative / precedence 5)

class ReferM :: Type -> (Type -> Type) -> Constraintclass (Monad m) <= ReferM s m | m -> s where

Members

• mread :: m s
• mwrite :: s -> m Unit

Instances

• (Monad m) => ReferM s (StateT s m)

mreads :: forall m s a. ReferM s m => (s -> a) -> m a

mmodify_ :: forall m s. ReferM s m => (s -> s) -> m Unit

mmodify :: forall m s. ReferM s m => (s -> s) -> m s

views :: forall a b r. Lens' r a -> (a -> b) -> r -> b

applyState :: forall m r s a. MonadEffect m => Refer s r => State s a -> r -> m a

applyStateFlipped :: forall m r s a. MonadEffect m => Refer s r => r -> State s a -> m a

Operator alias for Webb.State.Prelude.applyState (non-associative / precedence 5)

Operator alias for Webb.State.Prelude.applyStateFlipped (non-associative / precedence 5)